diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:04:03 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:04:03 +0000 |
commit | f8af5cf600354830d4ccf59732403f0f073eccb9 (patch) | |
tree | 2ba0398b4c42ad4f55561327538044fd2c925a8b /test/Transforms/InstCombine/exact.ll | |
parent | 59d6cff90eecf31cb3dd860c4e786674cfdd42eb (diff) |
Notes
Diffstat (limited to 'test/Transforms/InstCombine/exact.ll')
-rw-r--r-- | test/Transforms/InstCombine/exact.ll | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/test/Transforms/InstCombine/exact.ll b/test/Transforms/InstCombine/exact.ll index 88ca88c3b9275..868d60ac46b15 100644 --- a/test/Transforms/InstCombine/exact.ll +++ b/test/Transforms/InstCombine/exact.ll @@ -1,20 +1,20 @@ ; RUN: opt < %s -instcombine -S | FileCheck %s -; CHECK: @sdiv1 +; CHECK-LABEL: @sdiv1( ; CHECK: sdiv i32 %x, 8 define i32 @sdiv1(i32 %x) { %y = sdiv i32 %x, 8 ret i32 %y } -; CHECK: @sdiv2 +; CHECK-LABEL: @sdiv2( ; CHECK: ashr exact i32 %x, 3 define i32 @sdiv2(i32 %x) { %y = sdiv exact i32 %x, 8 ret i32 %y } -; CHECK: @sdiv3 +; CHECK-LABEL: @sdiv3( ; CHECK: %y = srem i32 %x, 3 ; CHECK: %z = sub i32 %x, %y ; CHECK: ret i32 %z @@ -24,7 +24,7 @@ define i32 @sdiv3(i32 %x) { ret i32 %z } -; CHECK: @sdiv4 +; CHECK-LABEL: @sdiv4( ; CHECK: ret i32 %x define i32 @sdiv4(i32 %x) { %y = sdiv exact i32 %x, 3 @@ -42,7 +42,7 @@ define i32 @sdiv5(i32 %x) { ret i32 %z } -; CHECK: @sdiv6 +; CHECK-LABEL: @sdiv6( ; CHECK: %z = sub i32 0, %x ; CHECK: ret i32 %z define i32 @sdiv6(i32 %x) { @@ -51,7 +51,7 @@ define i32 @sdiv6(i32 %x) { ret i32 %z } -; CHECK: @udiv1 +; CHECK-LABEL: @udiv1( ; CHECK: ret i32 %x define i32 @udiv1(i32 %x, i32 %w) { %y = udiv exact i32 %x, %w @@ -59,7 +59,7 @@ define i32 @udiv1(i32 %x, i32 %w) { ret i32 %z } -; CHECK: @udiv2 +; CHECK-LABEL: @udiv2( ; CHECK: %z = lshr exact i32 %x, %w ; CHECK: ret i32 %z define i32 @udiv2(i32 %x, i32 %w) { @@ -68,7 +68,7 @@ define i32 @udiv2(i32 %x, i32 %w) { ret i32 %z } -; CHECK: @ashr1 +; CHECK-LABEL: @ashr1( ; CHECK: %B = ashr exact i64 %A, 2 ; CHECK: ret i64 %B define i64 @ashr1(i64 %X) nounwind { @@ -78,7 +78,7 @@ define i64 @ashr1(i64 %X) nounwind { } ; PR9120 -; CHECK: @ashr_icmp1 +; CHECK-LABEL: @ashr_icmp1( ; CHECK: %B = icmp eq i64 %X, 0 ; CHECK: ret i1 %B define i1 @ashr_icmp1(i64 %X) nounwind { @@ -87,7 +87,7 @@ define i1 @ashr_icmp1(i64 %X) nounwind { ret i1 %B } -; CHECK: @ashr_icmp2 +; CHECK-LABEL: @ashr_icmp2( ; CHECK: %Z = icmp slt i64 %X, 16 ; CHECK: ret i1 %Z define i1 @ashr_icmp2(i64 %X) nounwind { @@ -98,7 +98,7 @@ define i1 @ashr_icmp2(i64 %X) nounwind { ; PR9998 ; Make sure we don't transform the ashr here into an sdiv -; CHECK: @pr9998 +; CHECK-LABEL: @pr9998( ; CHECK: [[BIT:%[A-Za-z0-9.]+]] = and i32 %V, 1 ; CHECK-NEXT: [[CMP:%[A-Za-z0-9.]+]] = icmp ne i32 [[BIT]], 0 ; CHECK-NEXT: ret i1 [[CMP]] @@ -113,7 +113,7 @@ entry: -; CHECK: @udiv_icmp1 +; CHECK-LABEL: @udiv_icmp1( ; CHECK: icmp ne i64 %X, 0 define i1 @udiv_icmp1(i64 %X) nounwind { %A = udiv exact i64 %X, 5 ; X/5 @@ -121,7 +121,7 @@ define i1 @udiv_icmp1(i64 %X) nounwind { ret i1 %B } -; CHECK: @sdiv_icmp1 +; CHECK-LABEL: @sdiv_icmp1( ; CHECK: icmp eq i64 %X, 0 define i1 @sdiv_icmp1(i64 %X) nounwind { %A = sdiv exact i64 %X, 5 ; X/5 == 0 --> x == 0 @@ -129,7 +129,7 @@ define i1 @sdiv_icmp1(i64 %X) nounwind { ret i1 %B } -; CHECK: @sdiv_icmp2 +; CHECK-LABEL: @sdiv_icmp2( ; CHECK: icmp eq i64 %X, 5 define i1 @sdiv_icmp2(i64 %X) nounwind { %A = sdiv exact i64 %X, 5 ; X/5 == 1 --> x == 5 @@ -137,7 +137,7 @@ define i1 @sdiv_icmp2(i64 %X) nounwind { ret i1 %B } -; CHECK: @sdiv_icmp3 +; CHECK-LABEL: @sdiv_icmp3( ; CHECK: icmp eq i64 %X, -5 define i1 @sdiv_icmp3(i64 %X) nounwind { %A = sdiv exact i64 %X, 5 ; X/5 == -1 --> x == -5 @@ -145,7 +145,7 @@ define i1 @sdiv_icmp3(i64 %X) nounwind { ret i1 %B } -; CHECK: @sdiv_icmp4 +; CHECK-LABEL: @sdiv_icmp4( ; CHECK: icmp eq i64 %X, 0 define i1 @sdiv_icmp4(i64 %X) nounwind { %A = sdiv exact i64 %X, -5 ; X/-5 == 0 --> x == 0 @@ -153,7 +153,7 @@ define i1 @sdiv_icmp4(i64 %X) nounwind { ret i1 %B } -; CHECK: @sdiv_icmp5 +; CHECK-LABEL: @sdiv_icmp5( ; CHECK: icmp eq i64 %X, -5 define i1 @sdiv_icmp5(i64 %X) nounwind { %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == -5 @@ -161,7 +161,7 @@ define i1 @sdiv_icmp5(i64 %X) nounwind { ret i1 %B } -; CHECK: @sdiv_icmp6 +; CHECK-LABEL: @sdiv_icmp6( ; CHECK: icmp eq i64 %X, 5 define i1 @sdiv_icmp6(i64 %X) nounwind { %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == 5 |