diff options
Diffstat (limited to 'test/Transforms/InstCombine/intrinsics.ll')
-rw-r--r-- | test/Transforms/InstCombine/intrinsics.ll | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/test/Transforms/InstCombine/intrinsics.ll b/test/Transforms/InstCombine/intrinsics.ll index c294d79f15ef..8d2f06edcaf3 100644 --- a/test/Transforms/InstCombine/intrinsics.ll +++ b/test/Transforms/InstCombine/intrinsics.ll @@ -475,66 +475,6 @@ define <2 x i1> @ctlz_knownbits3_vec(<2 x i8> %arg) { ret <2 x i1> %res } -define void @cmp.simplify(i32 %a, i32 %b, i1* %c) { - %lz = tail call i32 @llvm.ctlz.i32(i32 %a, i1 false) nounwind readnone - %lz.cmp = icmp eq i32 %lz, 32 - store volatile i1 %lz.cmp, i1* %c - %tz = tail call i32 @llvm.cttz.i32(i32 %a, i1 false) nounwind readnone - %tz.cmp = icmp ne i32 %tz, 32 - store volatile i1 %tz.cmp, i1* %c - %pop0 = tail call i32 @llvm.ctpop.i32(i32 %b) nounwind readnone - %pop0.cmp = icmp eq i32 %pop0, 0 - store volatile i1 %pop0.cmp, i1* %c - %pop1 = tail call i32 @llvm.ctpop.i32(i32 %b) nounwind readnone - %pop1.cmp = icmp eq i32 %pop1, 32 - store volatile i1 %pop1.cmp, i1* %c - ret void -; CHECK: @cmp.simplify -; CHECK-NEXT: %lz.cmp = icmp eq i32 %a, 0 -; CHECK-NEXT: store volatile i1 %lz.cmp, i1* %c -; CHECK-NEXT: %tz.cmp = icmp ne i32 %a, 0 -; CHECK-NEXT: store volatile i1 %tz.cmp, i1* %c -; CHECK-NEXT: %pop0.cmp = icmp eq i32 %b, 0 -; CHECK-NEXT: store volatile i1 %pop0.cmp, i1* %c -; CHECK-NEXT: %pop1.cmp = icmp eq i32 %b, -1 -; CHECK-NEXT: store volatile i1 %pop1.cmp, i1* %c -} - -define <2 x i1> @ctlz_cmp_vec(<2 x i32> %a) { -; CHECK-LABEL: @ctlz_cmp_vec( -; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> %a, zeroinitializer -; CHECK-NEXT: ret <2 x i1> [[CMP]] -; - %x = tail call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %a, i1 false) nounwind readnone - %cmp = icmp eq <2 x i32> %x, <i32 32, i32 32> - ret <2 x i1> %cmp -} - -define <2 x i1> @cttz_cmp_vec(<2 x i32> %a) { -; CHECK-LABEL: @cttz_cmp_vec( -; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> %a, zeroinitializer -; CHECK-NEXT: ret <2 x i1> [[CMP]] -; - %x = tail call <2 x i32> @llvm.cttz.v2i32(<2 x i32> %a, i1 false) nounwind readnone - %cmp = icmp ne <2 x i32> %x, <i32 32, i32 32> - ret <2 x i1> %cmp -} - -define void @ctpop_cmp_vec(<2 x i32> %a, <2 x i1>* %b) { - %pop0 = tail call <2 x i32> @llvm.ctpop.v2i32(<2 x i32> %a) nounwind readnone - %pop0.cmp = icmp eq <2 x i32> %pop0, zeroinitializer - store volatile <2 x i1> %pop0.cmp, <2 x i1>* %b - %pop1 = tail call <2 x i32> @llvm.ctpop.v2i32(<2 x i32> %a) nounwind readnone - %pop1.cmp = icmp eq <2 x i32> %pop1, < i32 32, i32 32 > - store volatile <2 x i1> %pop1.cmp, <2 x i1>* %b - ret void -; CHECK-LABEL: @ctpop_cmp_vec( -; CHECK-NEXT: %pop0.cmp = icmp eq <2 x i32> %a, zeroinitializer -; CHECK-NEXT: store volatile <2 x i1> %pop0.cmp, <2 x i1>* %b -; CHECK-NEXT: %pop1.cmp = icmp eq <2 x i32> %a, <i32 -1, i32 -1> -; CHECK-NEXT: store volatile <2 x i1> %pop1.cmp, <2 x i1>* %b -} - define i32 @ctlz_undef(i32 %Value) { ; CHECK-LABEL: @ctlz_undef( ; CHECK-NEXT: ret i32 undef |