diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/shift-direction-in-bit-test.ll | 77 |
1 files changed, 61 insertions, 16 deletions
diff --git a/llvm/test/Transforms/InstCombine/shift-direction-in-bit-test.ll b/llvm/test/Transforms/InstCombine/shift-direction-in-bit-test.ll index e9d5828888e..3c439192bd3 100644 --- a/llvm/test/Transforms/InstCombine/shift-direction-in-bit-test.ll +++ b/llvm/test/Transforms/InstCombine/shift-direction-in-bit-test.ll @@ -109,14 +109,59 @@ define i1 @t5_twoshifts0(i32 %a, i32 %b, i32 %c, i32 %d) { ret i1 %t3 } +define i1 @t6_twoshifts1(i32 %a, i32 %b, i32 %c, i32 %d) { +; CHECK-LABEL: @t6_twoshifts1( +; CHECK-NEXT: [[T0:%.*]] = shl i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[T1:%.*]] = shl i32 [[C:%.*]], [[D:%.*]] +; CHECK-NEXT: [[T2:%.*]] = and i32 [[T1]], [[T0]] +; CHECK-NEXT: [[T3:%.*]] = icmp eq i32 [[T2]], 0 +; CHECK-NEXT: ret i1 [[T3]] +; + %t0 = shl i32 %a, %b + %t1 = shl i32 %c, %d + %t2 = and i32 %t1, %t0 + %t3 = icmp eq i32 %t2, 0 + ret i1 %t3 +} + +define i1 @t7_twoshifts2(i32 %a, i32 %b, i32 %c, i32 %d) { +; CHECK-LABEL: @t7_twoshifts2( +; CHECK-NEXT: [[T0:%.*]] = shl i32 1, [[B:%.*]] +; CHECK-NEXT: [[T1:%.*]] = shl i32 [[C:%.*]], [[D:%.*]] +; CHECK-NEXT: [[T2:%.*]] = and i32 [[T1]], [[T0]] +; CHECK-NEXT: [[T3:%.*]] = icmp eq i32 [[T2]], 0 +; CHECK-NEXT: ret i1 [[T3]] +; + %t0 = shl i32 1, %b + %t1 = shl i32 %c, %d + %t2 = and i32 %t1, %t0 + %t3 = icmp eq i32 %t2, 0 + ret i1 %t3 +} + +define i1 @t8_twoshifts3(i32 %a, i32 %b, i32 %c, i32 %d) { +; CHECK-LABEL: @t8_twoshifts3( +; CHECK-NEXT: [[T0:%.*]] = shl i32 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[T1:%.*]] = shl i32 1, [[D:%.*]] +; CHECK-NEXT: [[T2:%.*]] = and i32 [[T1]], [[T0]] +; CHECK-NEXT: [[T3:%.*]] = icmp eq i32 [[T2]], 0 +; CHECK-NEXT: ret i1 [[T3]] +; + %t0 = shl i32 %a, %b + %t1 = shl i32 1, %d + %t2 = and i32 %t1, %t0 + %t3 = icmp eq i32 %t2, 0 + ret i1 %t3 +} + ;------------------------------------------------------------------------------; ; Extra uses ;------------------------------------------------------------------------------; declare void @use32(i32) -define i1 @t5_extrause0(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t5_extrause0( +define i1 @t9_extrause0(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t9_extrause0( ; CHECK-NEXT: [[T0:%.*]] = shl i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: call void @use32(i32 [[T0]]) ; CHECK-NEXT: [[T1:%.*]] = and i32 [[T0]], [[Z:%.*]] @@ -130,8 +175,8 @@ define i1 @t5_extrause0(i32 %x, i32 %y, i32 %z) { ret i1 %t2 } -define i1 @t6_extrause1(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t6_extrause1( +define i1 @t10_extrause1(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t10_extrause1( ; CHECK-NEXT: [[T0:%.*]] = shl i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[T1:%.*]] = and i32 [[T0]], [[Z:%.*]] ; CHECK-NEXT: call void @use32(i32 [[T1]]) @@ -145,8 +190,8 @@ define i1 @t6_extrause1(i32 %x, i32 %y, i32 %z) { ret i1 %t2 } -define i1 @t7_extrause2(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t7_extrause2( +define i1 @t11_extrause2(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t11_extrause2( ; CHECK-NEXT: [[T0:%.*]] = shl i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: call void @use32(i32 [[T0]]) ; CHECK-NEXT: [[T1:%.*]] = and i32 [[T0]], [[Z:%.*]] @@ -166,8 +211,8 @@ define i1 @t7_extrause2(i32 %x, i32 %y, i32 %z) { ; Constants ;------------------------------------------------------------------------------; -define i1 @t8_shift_of_const0(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t8_shift_of_const0( +define i1 @t12_shift_of_const0(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t12_shift_of_const0( ; CHECK-NEXT: [[T0:%.*]] = shl i32 1, [[Y:%.*]] ; CHECK-NEXT: [[T1:%.*]] = and i32 [[T0]], [[Z:%.*]] ; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[T1]], 0 @@ -178,8 +223,8 @@ define i1 @t8_shift_of_const0(i32 %x, i32 %y, i32 %z) { %t2 = icmp eq i32 %t1, 0 ret i1 %t2 } -define i1 @t9_shift_of_const1(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t9_shift_of_const1( +define i1 @t13_shift_of_const1(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t13_shift_of_const1( ; CHECK-NEXT: [[T0:%.*]] = lshr i32 1, [[Y:%.*]] ; CHECK-NEXT: [[T1:%.*]] = and i32 [[T0]], [[Z:%.*]] ; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[T1]], 0 @@ -191,8 +236,8 @@ define i1 @t9_shift_of_const1(i32 %x, i32 %y, i32 %z) { ret i1 %t2 } -define i1 @t10_and_with_const0(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t10_and_with_const0( +define i1 @t14_and_with_const0(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t14_and_with_const0( ; CHECK-NEXT: [[TMP1:%.*]] = lshr i32 1, [[Y:%.*]] ; CHECK-NEXT: [[TMP2:%.*]] = and i32 [[TMP1]], [[X:%.*]] ; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[TMP2]], 0 @@ -203,8 +248,8 @@ define i1 @t10_and_with_const0(i32 %x, i32 %y, i32 %z) { %t2 = icmp eq i32 %t1, 0 ret i1 %t2 } -define i1 @t11_and_with_const1(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @t11_and_with_const1( +define i1 @t15_and_with_const1(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @t15_and_with_const1( ; CHECK-NEXT: [[TMP1:%.*]] = shl i32 1, [[Y:%.*]] ; CHECK-NEXT: [[TMP2:%.*]] = and i32 [[TMP1]], [[X:%.*]] ; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[TMP2]], 0 @@ -220,8 +265,8 @@ define i1 @t11_and_with_const1(i32 %x, i32 %y, i32 %z) { ; Negative test ;------------------------------------------------------------------------------; -define i1 @n8(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @n8( +define i1 @n16(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @n16( ; CHECK-NEXT: [[T0:%.*]] = shl i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[T1:%.*]] = and i32 [[T0]], [[Z:%.*]] ; CHECK-NEXT: [[T2:%.*]] = icmp eq i32 [[T1]], 1 |
