70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4define i32 @ctlz_true_bitreverse(i32 %x) {5; CHECK-LABEL: @ctlz_true_bitreverse(6; CHECK-NEXT: [[B:%.*]] = call range(i32 0, 33) i32 @llvm.cttz.i32(i32 [[X:%.*]], i1 true)7; CHECK-NEXT: ret i32 [[B]]8;9 %a = tail call i32 @llvm.bitreverse.i32(i32 %x)10 %b = tail call i32 @llvm.ctlz.i32(i32 %a, i1 true)11 ret i32 %b12}13 14define <2 x i64> @ctlz_true_bitreverse_vec(<2 x i64> %x) {15; CHECK-LABEL: @ctlz_true_bitreverse_vec(16; CHECK-NEXT: [[B:%.*]] = call range(i64 0, 65) <2 x i64> @llvm.cttz.v2i64(<2 x i64> [[X:%.*]], i1 true)17; CHECK-NEXT: ret <2 x i64> [[B]]18;19 %a = tail call <2 x i64> @llvm.bitreverse.v2i64(<2 x i64> %x)20 %b = tail call <2 x i64> @llvm.ctlz.v2i64(<2 x i64> %a, i1 true)21 ret <2 x i64> %b22}23 24define i32 @ctlz_false_bitreverse(i32 %x) {25; CHECK-LABEL: @ctlz_false_bitreverse(26; CHECK-NEXT: [[B:%.*]] = call range(i32 0, 33) i32 @llvm.cttz.i32(i32 [[X:%.*]], i1 false)27; CHECK-NEXT: ret i32 [[B]]28;29 %a = tail call i32 @llvm.bitreverse.i32(i32 %x)30 %b = tail call i32 @llvm.ctlz.i32(i32 %a, i1 false)31 ret i32 %b32}33 34define i32 @cttz_true_bitreverse(i32 %x) {35; CHECK-LABEL: @cttz_true_bitreverse(36; CHECK-NEXT: [[B:%.*]] = call range(i32 0, 33) i32 @llvm.ctlz.i32(i32 [[X:%.*]], i1 true)37; CHECK-NEXT: ret i32 [[B]]38;39 %a = tail call i32 @llvm.bitreverse.i32(i32 %x)40 %b = tail call i32 @llvm.cttz.i32(i32 %a, i1 true)41 ret i32 %b42}43 44define <2 x i64> @cttz_true_bitreverse_vec(<2 x i64> %x) {45; CHECK-LABEL: @cttz_true_bitreverse_vec(46; CHECK-NEXT: [[B:%.*]] = call range(i64 0, 65) <2 x i64> @llvm.ctlz.v2i64(<2 x i64> [[X:%.*]], i1 true)47; CHECK-NEXT: ret <2 x i64> [[B]]48;49 %a = tail call <2 x i64> @llvm.bitreverse.v2i64(<2 x i64> %x)50 %b = tail call <2 x i64> @llvm.cttz.v2i64(<2 x i64> %a, i1 true)51 ret <2 x i64> %b52}53 54define i32 @cttz_false_bitreverse(i32 %x) {55; CHECK-LABEL: @cttz_false_bitreverse(56; CHECK-NEXT: [[B:%.*]] = call range(i32 0, 33) i32 @llvm.ctlz.i32(i32 [[X:%.*]], i1 false)57; CHECK-NEXT: ret i32 [[B]]58;59 %a = tail call i32 @llvm.bitreverse.i32(i32 %x)60 %b = tail call i32 @llvm.cttz.i32(i32 %a, i1 false)61 ret i32 %b62}63 64declare i32 @llvm.bitreverse.i32(i32)65declare <2 x i64> @llvm.bitreverse.v2i64(<2 x i64>)66declare i32 @llvm.ctlz.i32(i32, i1)67declare i32 @llvm.cttz.i32(i32, i1)68declare <2 x i64> @llvm.ctlz.v2i64(<2 x i64>, i1)69declare <2 x i64> @llvm.cttz.v2i64(<2 x i64>, i1)70