From 12b2b51065960167c8e81b8ee0a657e51fc96398 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Mon, 15 Aug 2016 17:19:07 +0000 Subject: [PATCH] [InstCombine] auto-generate exact checks Note that several of these tests belong in InstSimplify rather than InstCombine because they return existing operands or constants. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@278684 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/apint-shift.ll | 359 ++++++++++++--------- 1 file changed, 209 insertions(+), 150 deletions(-) diff --git a/test/Transforms/InstCombine/apint-shift.ll b/test/Transforms/InstCombine/apint-shift.ll index 79011e988fb..398ca37e243 100644 --- a/test/Transforms/InstCombine/apint-shift.ll +++ b/test/Transforms/InstCombine/apint-shift.ll @@ -1,160 +1,196 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; This test makes sure that shift instructions are properly eliminated ; even with arbitrary precision integers. ; RUN: opt < %s -instcombine -S | FileCheck %s -; CHECK-LABEL: @test1( -; CHECK-NOT: sh define i47 @test1(i47 %A) { - %B = shl i47 %A, 0 ; [#uses=1] - ret i47 %B +; CHECK-LABEL: @test1( +; CHECK-NEXT: ret i47 %A +; + %B = shl i47 %A, 0 + ret i47 %B } -; CHECK-LABEL: @test2( -; CHECK-NOT: sh define i41 @test2(i7 %X) { - %A = zext i7 %X to i41 ; [#uses=1] - %B = shl i41 0, %A ; [#uses=1] - ret i41 %B +; CHECK-LABEL: @test2( +; CHECK-NEXT: ret i41 0 +; + %A = zext i7 %X to i41 + %B = shl i41 0, %A + ret i41 %B } -; CHECK-LABEL: @test3( -; CHECK-NOT: sh define i41 @test3(i41 %A) { - %B = ashr i41 %A, 0 ; [#uses=1] - ret i41 %B +; CHECK-LABEL: @test3( +; CHECK-NEXT: ret i41 %A +; + %B = ashr i41 %A, 0 + ret i41 %B } -; CHECK-LABEL: @test4( -; CHECK-NOT: sh define i39 @test4(i7 %X) { - %A = zext i7 %X to i39 ; [#uses=1] - %B = ashr i39 0, %A ; [#uses=1] - ret i39 %B +; CHECK-LABEL: @test4( +; CHECK-NEXT: ret i39 0 +; + %A = zext i7 %X to i39 + %B = ashr i39 0, %A + ret i39 %B } -; CHECK-LABEL: @test5( -; CHECK-NOT: sh define i55 @test5(i55 %A) { - %B = lshr i55 %A, 55 ; [#uses=1] - ret i55 %B +; CHECK-LABEL: @test5( +; CHECK-NEXT: ret i55 undef +; + %B = lshr i55 %A, 55 + ret i55 %B } -; CHECK-LABEL: @test5a( -; CHECK-NOT: sh define i32 @test5a(i32 %A) { - %B = shl i32 %A, 32 ; [#uses=1] - ret i32 %B +; CHECK-LABEL: @test5a( +; CHECK-NEXT: ret i32 undef +; + %B = shl i32 %A, 32 + ret i32 %B } -; CHECK-LABEL: @test6( -; CHECK: mul i55 %A, 6 define i55 @test6(i55 %A) { - %B = shl i55 %A, 1 ; [#uses=1] - %C = mul i55 %B, 3 ; [#uses=1] - ret i55 %C +; CHECK-LABEL: @test6( +; CHECK-NEXT: [[C:%.*]] = mul i55 %A, 6 +; CHECK-NEXT: ret i55 [[C]] +; + %B = shl i55 %A, 1 + %C = mul i55 %B, 3 + ret i55 %C } -; CHECK-LABEL: @test6a( -; CHECK: mul i55 %A, 6 define i55 @test6a(i55 %A) { - %B = mul i55 %A, 3 ; [#uses=1] - %C = shl i55 %B, 1 ; [#uses=1] - ret i55 %C +; CHECK-LABEL: @test6a( +; CHECK-NEXT: [[C:%.*]] = mul i55 %A, 6 +; CHECK-NEXT: ret i55 [[C]] +; + %B = mul i55 %A, 3 + %C = shl i55 %B, 1 + ret i55 %C } -; CHECK-LABEL: @test7( -; CHECK-NOT: sh define i29 @test7(i8 %X) { - %A = zext i8 %X to i29 ; [#uses=1] - %B = ashr i29 -1, %A ; [#uses=1] - ret i29 %B +; CHECK-LABEL: @test7( +; CHECK-NEXT: ret i29 -1 +; + %A = zext i8 %X to i29 + %B = ashr i29 -1, %A + ret i29 %B } -; CHECK-LABEL: @test8( -; CHECK-NOT: sh define i7 @test8(i7 %A) { - %B = shl i7 %A, 4 ; [#uses=1] - %C = shl i7 %B, 3 ; [#uses=1] - ret i7 %C +; CHECK-LABEL: @test8( +; CHECK-NEXT: ret i7 0 +; + %B = shl i7 %A, 4 + %C = shl i7 %B, 3 + ret i7 %C } -; CHECK-LABEL: @test9( -; CHECK-NOT: sh define i17 @test9(i17 %A) { - %B = shl i17 %A, 16 ; [#uses=1] - %C = lshr i17 %B, 16 ; [#uses=1] - ret i17 %C +; CHECK-LABEL: @test9( +; CHECK-NEXT: [[B:%.*]] = and i17 %A, 1 +; CHECK-NEXT: ret i17 [[B]] +; + %B = shl i17 %A, 16 + %C = lshr i17 %B, 16 + ret i17 %C } -; CHECK-LABEL: @test10( -; CHECK-NOT: sh define i19 @test10(i19 %A) { - %B = lshr i19 %A, 18 ; [#uses=1] - %C = shl i19 %B, 18 ; [#uses=1] - ret i19 %C +; CHECK-LABEL: @test10( +; CHECK-NEXT: [[B:%.*]] = and i19 %A, -262144 +; CHECK-NEXT: ret i19 [[B]] +; + %B = lshr i19 %A, 18 + %C = shl i19 %B, 18 + ret i19 %C } -; CHECK-LABEL: @test11( ; Don't hide the shl from scalar evolution. DAGCombine will get it. -; CHECK: shl define i23 @test11(i23 %A) { - %a = mul i23 %A, 3 ; [#uses=1] - %B = lshr i23 %a, 11 ; [#uses=1] - %C = shl i23 %B, 12 ; [#uses=1] - ret i23 %C +; CHECK-LABEL: @test11( +; CHECK-NEXT: [[A:%.*]] = mul i23 %A, 3 +; CHECK-NEXT: [[B:%.*]] = lshr i23 [[A]], 11 +; CHECK-NEXT: [[C:%.*]] = shl i23 [[B]], 12 +; CHECK-NEXT: ret i23 [[C]] +; + %a = mul i23 %A, 3 + %B = lshr i23 %a, 11 + %C = shl i23 %B, 12 + ret i23 %C } -; CHECK-LABEL: @test12( -; CHECK-NOT: sh define i47 @test12(i47 %A) { - %B = ashr i47 %A, 8 ; [#uses=1] - %C = shl i47 %B, 8 ; [#uses=1] - ret i47 %C +; CHECK-LABEL: @test12( +; CHECK-NEXT: [[B1:%.*]] = and i47 %A, -256 +; CHECK-NEXT: ret i47 [[B1]] +; + %B = ashr i47 %A, 8 + %C = shl i47 %B, 8 + ret i47 %C } -; CHECK-LABEL: @test13( ; Don't hide the shl from scalar evolution. DAGCombine will get it. -; CHECK: shl define i18 @test13(i18 %A) { - %a = mul i18 %A, 3 ; [#uses=1] - %B = ashr i18 %a, 8 ; [#uses=1] - %C = shl i18 %B, 9 ; [#uses=1] - ret i18 %C +; CHECK-LABEL: @test13( +; CHECK-NEXT: [[A:%.*]] = mul i18 %A, 3 +; CHECK-NEXT: [[B1:%.*]] = lshr i18 [[A]], 8 +; CHECK-NEXT: [[C:%.*]] = shl i18 [[B1]], 9 +; CHECK-NEXT: ret i18 [[C]] +; + %a = mul i18 %A, 3 + %B = ashr i18 %a, 8 + %C = shl i18 %B, 9 + ret i18 %C } -; CHECK-LABEL: @test14( -; CHECK-NOT: sh define i35 @test14(i35 %A) { - %B = lshr i35 %A, 4 ; [#uses=1] - %C = or i35 %B, 1234 ; [#uses=1] - %D = shl i35 %C, 4 ; [#uses=1] - ret i35 %D +; CHECK-LABEL: @test14( +; CHECK-NEXT: [[B:%.*]] = and i35 %A, -19760 +; CHECK-NEXT: [[C:%.*]] = or i35 [[B]], 19744 +; CHECK-NEXT: ret i35 [[C]] +; + %B = lshr i35 %A, 4 + %C = or i35 %B, 1234 + %D = shl i35 %C, 4 + ret i35 %D } -; CHECK-LABEL: @test14a( -; CHECK-NOT: sh define i79 @test14a(i79 %A) { - %B = shl i79 %A, 4 ; [#uses=1] - %C = and i79 %B, 1234 ; [#uses=1] - %D = lshr i79 %C, 4 ; [#uses=1] - ret i79 %D +; CHECK-LABEL: @test14a( +; CHECK-NEXT: [[C:%.*]] = and i79 %A, 77 +; CHECK-NEXT: ret i79 [[C]] +; + %B = shl i79 %A, 4 + %C = and i79 %B, 1234 + %D = lshr i79 %C, 4 + ret i79 %D } -; CHECK-LABEL: @test15( -; CHECK-NOT: sh define i45 @test15(i1 %C) { - %A = select i1 %C, i45 3, i45 1 ; [#uses=1] - %V = shl i45 %A, 2 ; [#uses=1] - ret i45 %V +; CHECK-LABEL: @test15( +; CHECK-NEXT: [[A:%.*]] = select i1 %C, i45 12, i45 4 +; CHECK-NEXT: ret i45 [[A]] +; + %A = select i1 %C, i45 3, i45 1 + %V = shl i45 %A, 2 + ret i45 %V } -; CHECK-LABEL: @test15a( -; CHECK-NOT: sh define i53 @test15a(i1 %X) { - %A = select i1 %X, i8 3, i8 1 ; [#uses=1] - %B = zext i8 %A to i53 ; [#uses=1] - %V = shl i53 64, %B ; [#uses=1] - ret i53 %V +; CHECK-LABEL: @test15a( +; CHECK-NEXT: [[V:%.*]] = select i1 %X, i53 512, i53 128 +; CHECK-NEXT: ret i53 [[V]] +; + %A = select i1 %X, i8 3, i8 1 + %B = zext i8 %A to i53 + %V = shl i53 64, %B + ret i53 %V } define i1 @test16(i84 %X) { @@ -182,86 +218,109 @@ define <2 x i1> @test16vec(<2 x i84> %X) { ret <2 x i1> %cmp } -; CHECK-LABEL: @test17( -; CHECK-NOT: sh define i1 @test17(i106 %A) { - %B = lshr i106 %A, 3 ; [#uses=1] - %C = icmp eq i106 %B, 1234 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test17( +; CHECK-NEXT: [[B_MASK:%.*]] = and i106 %A, -8 +; CHECK-NEXT: [[C:%.*]] = icmp eq i106 [[B_MASK]], 9872 +; CHECK-NEXT: ret i1 [[C]] +; + %B = lshr i106 %A, 3 + %C = icmp eq i106 %B, 1234 + ret i1 %C } -; CHECK-LABEL: @test18( -; CHECK-NOT: sh define i1 @test18(i11 %A) { - %B = lshr i11 %A, 10 ; [#uses=1] - %C = icmp eq i11 %B, 123 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test18( +; CHECK-NEXT: ret i1 false +; + %B = lshr i11 %A, 10 + %C = icmp eq i11 %B, 123 + ret i1 %C } -; CHECK-LABEL: @test19( -; CHECK-NOT: sh define i1 @test19(i37 %A) { - %B = ashr i37 %A, 2 ; [#uses=1] - %C = icmp eq i37 %B, 0 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test19( +; CHECK-NEXT: [[C:%.*]] = icmp ult i37 %A, 4 +; CHECK-NEXT: ret i1 [[C]] +; + %B = ashr i37 %A, 2 + %C = icmp eq i37 %B, 0 + ret i1 %C } -; CHECK-LABEL: @test19a( -; CHECK-NOT: sh define i1 @test19a(i39 %A) { - %B = ashr i39 %A, 2 ; [#uses=1] - %C = icmp eq i39 %B, -1 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test19a( +; CHECK-NEXT: [[C:%.*]] = icmp ugt i39 %A, -5 +; CHECK-NEXT: ret i1 [[C]] +; + %B = ashr i39 %A, 2 + %C = icmp eq i39 %B, -1 + ret i1 %C } -; CHECK-LABEL: @test20( -; CHECK-NOT: sh define i1 @test20(i13 %A) { - %B = ashr i13 %A, 12 ; [#uses=1] - %C = icmp eq i13 %B, 123 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test20( +; CHECK-NEXT: ret i1 false +; + %B = ashr i13 %A, 12 + %C = icmp eq i13 %B, 123 + ret i1 %C } -; CHECK-LABEL: @test21( -; CHECK-NOT: sh define i1 @test21(i12 %A) { - %B = shl i12 %A, 6 ; [#uses=1] - %C = icmp eq i12 %B, -128 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test21( +; CHECK-NEXT: [[B_MASK:%.*]] = and i12 %A, 63 +; CHECK-NEXT: [[C:%.*]] = icmp eq i12 [[B_MASK]], 62 +; CHECK-NEXT: ret i1 [[C]] +; + %B = shl i12 %A, 6 + %C = icmp eq i12 %B, -128 + ret i1 %C } -; CHECK-LABEL: @test22( -; CHECK-NOT: sh define i1 @test22(i14 %A) { - %B = shl i14 %A, 7 ; [#uses=1] - %C = icmp eq i14 %B, 0 ; [#uses=1] - ret i1 %C +; CHECK-LABEL: @test22( +; CHECK-NEXT: [[B_MASK:%.*]] = and i14 %A, 127 +; CHECK-NEXT: [[C:%.*]] = icmp eq i14 [[B_MASK]], 0 +; CHECK-NEXT: ret i1 [[C]] +; + %B = shl i14 %A, 7 + %C = icmp eq i14 %B, 0 + ret i1 %C } -; CHECK-LABEL: @test23( -; CHECK-NOT: sh define i11 @test23(i44 %A) { - %B = shl i44 %A, 33 ; [#uses=1] - %C = ashr i44 %B, 33 ; [#uses=1] - %D = trunc i44 %C to i11 ; [#uses=1] - ret i11 %D +; CHECK-LABEL: @test23( +; CHECK-NEXT: [[D:%.*]] = trunc i44 %A to i11 +; CHECK-NEXT: ret i11 [[D]] +; + %B = shl i44 %A, 33 + %C = ashr i44 %B, 33 + %D = trunc i44 %C to i11 + ret i11 %D } -; CHECK-LABEL: @test25( -; CHECK-NOT: sh define i37 @test25(i37 %tmp.2, i37 %AA) { - %x = lshr i37 %AA, 17 ; [#uses=1] - %tmp.3 = lshr i37 %tmp.2, 17 ; [#uses=1] - %tmp.5 = add i37 %tmp.3, %x ; [#uses=1] - %tmp.6 = shl i37 %tmp.5, 17 ; [#uses=1] - ret i37 %tmp.6 +; CHECK-LABEL: @test25( +; CHECK-NEXT: [[TMP_3:%.*]] = and i37 %tmp.2, -131072 +; CHECK-NEXT: [[X2:%.*]] = add i37 [[TMP_3]], %AA +; CHECK-NEXT: [[TMP_6:%.*]] = and i37 [[X2]], -131072 +; CHECK-NEXT: ret i37 [[TMP_6]] +; + %x = lshr i37 %AA, 17 + %tmp.3 = lshr i37 %tmp.2, 17 + %tmp.5 = add i37 %tmp.3, %x + %tmp.6 = shl i37 %tmp.5, 17 + ret i37 %tmp.6 } -; CHECK-LABEL: @test26( -; CHECK-NOT: sh define i40 @test26(i40 %A) { - %B = lshr i40 %A, 1 ; [#uses=1] - %C = bitcast i40 %B to i40 ; [#uses=1] - %D = shl i40 %C, 1 ; [#uses=1] - ret i40 %D +; CHECK-LABEL: @test26( +; CHECK-NEXT: [[B:%.*]] = and i40 %A, -2 +; CHECK-NEXT: ret i40 [[B]] +; + %B = lshr i40 %A, 1 + %C = bitcast i40 %B to i40 + %D = shl i40 %C, 1 + ret i40 %D }