[llvm] r278684 - [InstCombine] auto-generate exact checks
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 15 10:19:07 PDT 2016
Author: spatel
Date: Mon Aug 15 12:19:07 2016
New Revision: 278684
URL: http://llvm.org/viewvc/llvm-project?rev=278684&view=rev
Log:
[InstCombine] auto-generate exact checks
Note that several of these tests belong in InstSimplify rather than
InstCombine because they return existing operands or constants.
Modified:
llvm/trunk/test/Transforms/InstCombine/apint-shift.ll
Modified: llvm/trunk/test/Transforms/InstCombine/apint-shift.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/apint-shift.ll?rev=278684&r1=278683&r2=278684&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/apint-shift.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/apint-shift.ll Mon Aug 15 12:19:07 2016
@@ -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 ; <i47> [#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 ; <i41> [#uses=1]
- %B = shl i41 0, %A ; <i41> [#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 ; <i41> [#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 ; <i39> [#uses=1]
- %B = ashr i39 0, %A ; <i39> [#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 ; <i55> [#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 ; <i32> [#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 ; <i55> [#uses=1]
- %C = mul i55 %B, 3 ; <i55> [#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 ; <i55> [#uses=1]
- %C = shl i55 %B, 1 ; <i55> [#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 ; <i29> [#uses=1]
- %B = ashr i29 -1, %A ; <i29> [#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 ; <i7> [#uses=1]
- %C = shl i7 %B, 3 ; <i7> [#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 ; <i17> [#uses=1]
- %C = lshr i17 %B, 16 ; <i17> [#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 ; <i19> [#uses=1]
- %C = shl i19 %B, 18 ; <i19> [#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 ; <i23> [#uses=1]
- %B = lshr i23 %a, 11 ; <i23> [#uses=1]
- %C = shl i23 %B, 12 ; <i23> [#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 ; <i47> [#uses=1]
- %C = shl i47 %B, 8 ; <i47> [#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 ; <i18> [#uses=1]
- %B = ashr i18 %a, 8 ; <i18> [#uses=1]
- %C = shl i18 %B, 9 ; <i18> [#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 ; <i35> [#uses=1]
- %C = or i35 %B, 1234 ; <i35> [#uses=1]
- %D = shl i35 %C, 4 ; <i35> [#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 ; <i79> [#uses=1]
- %C = and i79 %B, 1234 ; <i79> [#uses=1]
- %D = lshr i79 %C, 4 ; <i79> [#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 ; <i45> [#uses=1]
- %V = shl i45 %A, 2 ; <i45> [#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 ; <i8> [#uses=1]
- %B = zext i8 %A to i53 ; <i53> [#uses=1]
- %V = shl i53 64, %B ; <i53> [#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 ; <i106> [#uses=1]
- %C = icmp eq i106 %B, 1234 ; <i1> [#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 ; <i11> [#uses=1]
- %C = icmp eq i11 %B, 123 ; <i1> [#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 ; <i37> [#uses=1]
- %C = icmp eq i37 %B, 0 ; <i1> [#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 ; <i39> [#uses=1]
- %C = icmp eq i39 %B, -1 ; <i1> [#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 ; <i13> [#uses=1]
- %C = icmp eq i13 %B, 123 ; <i1> [#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 ; <i12> [#uses=1]
- %C = icmp eq i12 %B, -128 ; <i1> [#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 ; <i14> [#uses=1]
- %C = icmp eq i14 %B, 0 ; <i1> [#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 ; <i44> [#uses=1]
- %C = ashr i44 %B, 33 ; <i44> [#uses=1]
- %D = trunc i44 %C to i11 ; <i8> [#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 ; <i37> [#uses=1]
- %tmp.3 = lshr i37 %tmp.2, 17 ; <i37> [#uses=1]
- %tmp.5 = add i37 %tmp.3, %x ; <i37> [#uses=1]
- %tmp.6 = shl i37 %tmp.5, 17 ; <i37> [#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 ; <i40> [#uses=1]
- %C = bitcast i40 %B to i40 ; <i40> [#uses=1]
- %D = shl i40 %C, 1 ; <i40> [#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
}
More information about the llvm-commits
mailing list