forked from OSchip/llvm-project
[InstCombine] Regenerate select-ctlz-to-cttz.ll tests
Correctly test !range metadata
This commit is contained in:
Simon Pilgrim
parent
baadbe04bf
commit
9c9df05750
|
|
@ -16,7 +16,7 @@ declare void @use2(i1)
|
|||
|
||||
define i32 @select_clz_to_ctz(i32 %a) {
|
||||
; CHECK-LABEL: @select_clz_to_ctz(
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A:%.*]], i1 true), [[RNG0:!range !.*]]
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A:%.*]], i1 true), !range [[RNG0:![0-9]+]]
|
||||
; CHECK-NEXT: ret i32 [[COND]]
|
||||
;
|
||||
%sub = sub i32 0, %a
|
||||
|
|
@ -30,7 +30,7 @@ define i32 @select_clz_to_ctz(i32 %a) {
|
|||
|
||||
define i32 @select_clz_to_ctz_preserve_flag(i32 %a) {
|
||||
; CHECK-LABEL: @select_clz_to_ctz_preserve_flag(
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A:%.*]], i1 false), [[RNG0]]
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A:%.*]], i1 false), !range [[RNG0]]
|
||||
; CHECK-NEXT: ret i32 [[COND]]
|
||||
;
|
||||
%sub = sub i32 0, %a
|
||||
|
|
@ -60,10 +60,10 @@ define i32 @select_clz_to_ctz_extra_use(i32 %a) {
|
|||
; CHECK-LABEL: @select_clz_to_ctz_extra_use(
|
||||
; CHECK-NEXT: [[SUB:%.*]] = sub i32 0, [[A:%.*]]
|
||||
; CHECK-NEXT: [[AND:%.*]] = and i32 [[SUB]], [[A]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i32 @llvm.ctlz.i32(i32 [[AND]], i1 true), [[RNG0]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i32 @llvm.ctlz.i32(i32 [[AND]], i1 true), !range [[RNG0]]
|
||||
; CHECK-NEXT: [[SUB1:%.*]] = xor i32 [[LZ]], 31
|
||||
; CHECK-NEXT: call void @use(i32 [[SUB1]])
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A]], i1 true), [[RNG0]]
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A]], i1 true), !range [[RNG0]]
|
||||
; CHECK-NEXT: ret i32 [[COND]]
|
||||
;
|
||||
%sub = sub i32 0, %a
|
||||
|
|
@ -78,7 +78,7 @@ define i32 @select_clz_to_ctz_extra_use(i32 %a) {
|
|||
|
||||
define i32 @select_clz_to_ctz_and_commuted(i32 %a) {
|
||||
; CHECK-LABEL: @select_clz_to_ctz_and_commuted(
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A:%.*]], i1 true), [[RNG0]]
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A:%.*]], i1 true), !range [[RNG0]]
|
||||
; CHECK-NEXT: ret i32 [[COND]]
|
||||
;
|
||||
%sub = sub i32 0, %a
|
||||
|
|
@ -94,7 +94,7 @@ define i32 @select_clz_to_ctz_icmp_ne(i32 %a) {
|
|||
; CHECK-LABEL: @select_clz_to_ctz_icmp_ne(
|
||||
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[A:%.*]], 0
|
||||
; CHECK-NEXT: call void @use2(i1 [[TOBOOL]])
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A]], i1 true), [[RNG0]]
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i32 @llvm.cttz.i32(i32 [[A]], i1 true), !range [[RNG0]]
|
||||
; CHECK-NEXT: ret i32 [[COND]]
|
||||
;
|
||||
%sub = sub i32 0, %a
|
||||
|
|
@ -109,7 +109,7 @@ define i32 @select_clz_to_ctz_icmp_ne(i32 %a) {
|
|||
|
||||
define i64 @select_clz_to_ctz_i64(i64 %a) {
|
||||
; CHECK-LABEL: @select_clz_to_ctz_i64(
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i64 @llvm.cttz.i64(i64 [[A:%.*]], i1 true), [[RNG1:!range !.*]]
|
||||
; CHECK-NEXT: [[COND:%.*]] = call i64 @llvm.cttz.i64(i64 [[A:%.*]], i1 true), !range [[RNG1:![0-9]+]]
|
||||
; CHECK-NEXT: ret i64 [[COND]]
|
||||
;
|
||||
%sub = sub i64 0, %a
|
||||
|
|
@ -127,7 +127,7 @@ define i32 @select_clz_to_ctz_wrong_sub(i32 %a) {
|
|||
; CHECK-LABEL: @select_clz_to_ctz_wrong_sub(
|
||||
; CHECK-NEXT: [[SUB:%.*]] = sub i32 1, [[A:%.*]]
|
||||
; CHECK-NEXT: [[AND:%.*]] = and i32 [[SUB]], [[A]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i32 @llvm.ctlz.i32(i32 [[AND]], i1 true), [[RNG0]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i32 @llvm.ctlz.i32(i32 [[AND]], i1 true), !range [[RNG0]]
|
||||
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[A]], 0
|
||||
; CHECK-NEXT: [[SUB1:%.*]] = xor i32 [[LZ]], 31
|
||||
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TOBOOL]], i32 [[LZ]], i32 [[SUB1]]
|
||||
|
|
@ -146,7 +146,7 @@ define i64 @select_clz_to_ctz_i64_wrong_xor(i64 %a) {
|
|||
; CHECK-LABEL: @select_clz_to_ctz_i64_wrong_xor(
|
||||
; CHECK-NEXT: [[SUB:%.*]] = sub i64 0, [[A:%.*]]
|
||||
; CHECK-NEXT: [[AND:%.*]] = and i64 [[SUB]], [[A]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[AND]], i1 true), [[RNG1]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[AND]], i1 true), !range [[RNG1]]
|
||||
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i64 [[A]], 0
|
||||
; CHECK-NEXT: [[SUB11:%.*]] = or i64 [[LZ]], 64
|
||||
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TOBOOL]], i64 [[LZ]], i64 [[SUB11]]
|
||||
|
|
@ -165,7 +165,7 @@ define i64 @select_clz_to_ctz_i64_wrong_icmp_cst(i64 %a) {
|
|||
; CHECK-LABEL: @select_clz_to_ctz_i64_wrong_icmp_cst(
|
||||
; CHECK-NEXT: [[SUB:%.*]] = sub i64 0, [[A:%.*]]
|
||||
; CHECK-NEXT: [[AND:%.*]] = and i64 [[SUB]], [[A]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[AND]], i1 true), [[RNG1]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[AND]], i1 true), !range [[RNG1]]
|
||||
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i64 [[A]], 1
|
||||
; CHECK-NEXT: [[SUB1:%.*]] = xor i64 [[LZ]], 63
|
||||
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TOBOOL]], i64 [[LZ]], i64 [[SUB1]]
|
||||
|
|
@ -184,7 +184,7 @@ define i64 @select_clz_to_ctz_i64_wrong_icmp_pred(i64 %a) {
|
|||
; CHECK-LABEL: @select_clz_to_ctz_i64_wrong_icmp_pred(
|
||||
; CHECK-NEXT: [[SUB:%.*]] = sub i64 0, [[A:%.*]]
|
||||
; CHECK-NEXT: [[AND:%.*]] = and i64 [[SUB]], [[A]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[AND]], i1 true), [[RNG1]]
|
||||
; CHECK-NEXT: [[LZ:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[AND]], i1 true), !range [[RNG1]]
|
||||
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp slt i64 [[A]], 0
|
||||
; CHECK-NEXT: [[SUB1:%.*]] = xor i64 [[LZ]], 63
|
||||
; CHECK-NEXT: [[COND:%.*]] = select i1 [[TOBOOL]], i64 [[LZ]], i64 [[SUB1]]
|
||||
|
|
@ -220,7 +220,7 @@ define <2 x i32> @select_clz_to_ctz_vec_with_undef(<2 x i32> %a) {
|
|||
|
||||
define i4 @PR45762(i3 %x4) {
|
||||
; CHECK-LABEL: @PR45762(
|
||||
; CHECK-NEXT: [[T4:%.*]] = call i3 @llvm.cttz.i3(i3 [[X4:%.*]], i1 false), [[RNG2:!range !.*]]
|
||||
; CHECK-NEXT: [[T4:%.*]] = call i3 @llvm.cttz.i3(i3 [[X4:%.*]], i1 false), !range [[RNG2:![0-9]+]]
|
||||
; CHECK-NEXT: [[T7:%.*]] = zext i3 [[T4]] to i4
|
||||
; CHECK-NEXT: [[ONE_HOT_16:%.*]] = shl i4 1, [[T7]]
|
||||
; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i3 [[X4]], 0
|
||||
|
|
@ -249,7 +249,7 @@ define i4 @PR45762(i3 %x4) {
|
|||
|
||||
define i4 @PR45762_logical(i3 %x4) {
|
||||
; CHECK-LABEL: @PR45762_logical(
|
||||
; CHECK-NEXT: [[T4:%.*]] = call i3 @llvm.cttz.i3(i3 [[X4:%.*]], i1 false), [[RNG2]]
|
||||
; CHECK-NEXT: [[T4:%.*]] = call i3 @llvm.cttz.i3(i3 [[X4:%.*]], i1 false), !range [[RNG2]]
|
||||
; CHECK-NEXT: [[T7:%.*]] = zext i3 [[T4]] to i4
|
||||
; CHECK-NEXT: [[ONE_HOT_16:%.*]] = shl i4 1, [[T7]]
|
||||
; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i3 [[X4]], 0
|
||||
|
|
|
|||
Loading…
Reference in New Issue