summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/InstCombine/apint-shift.ll
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/Transforms/InstCombine/apint-shift.ll')
-rw-r--r--llvm/test/Transforms/InstCombine/apint-shift.ll126
1 files changed, 63 insertions, 63 deletions
diff --git a/llvm/test/Transforms/InstCombine/apint-shift.ll b/llvm/test/Transforms/InstCombine/apint-shift.ll
index efc088637c4..52602dd7f45 100644
--- a/llvm/test/Transforms/InstCombine/apint-shift.ll
+++ b/llvm/test/Transforms/InstCombine/apint-shift.ll
@@ -1,11 +1,9 @@
; 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
define i55 @test6(i55 %A) {
; CHECK-LABEL: @test6(
-; CHECK-NEXT: [[C:%.*]] = mul i55 %A, 6
+; CHECK-NEXT: [[C:%.*]] = mul i55 [[A:%.*]], 6
; CHECK-NEXT: ret i55 [[C]]
;
%B = shl i55 %A, 1
@@ -17,7 +15,7 @@ define i55 @test6(i55 %A) {
define i55 @test6a(i55 %A) {
; CHECK-LABEL: @test6a(
-; CHECK-NEXT: [[C:%.*]] = mul i55 %A, 6
+; CHECK-NEXT: [[C:%.*]] = mul i55 [[A:%.*]], 6
; CHECK-NEXT: ret i55 [[C]]
;
%B = mul i55 %A, 3
@@ -29,7 +27,7 @@ define i55 @test6a(i55 %A) {
define <2 x i55> @test6a_vec(<2 x i55> %A) {
; CHECK-LABEL: @test6a_vec(
-; CHECK-NEXT: [[C:%.*]] = mul <2 x i55> %A, <i55 6, i55 48>
+; CHECK-NEXT: [[C:%.*]] = mul <2 x i55> [[A:%.*]], <i55 6, i55 48>
; CHECK-NEXT: ret <2 x i55> [[C]]
;
%B = mul <2 x i55> %A, <i55 3, i55 12>
@@ -57,7 +55,7 @@ define i7 @test8(i7 %A) {
define i17 @test9(i17 %A) {
; CHECK-LABEL: @test9(
-; CHECK-NEXT: [[B:%.*]] = and i17 %A, 1
+; CHECK-NEXT: [[B:%.*]] = and i17 [[A:%.*]], 1
; CHECK-NEXT: ret i17 [[B]]
;
%B = shl i17 %A, 16
@@ -69,7 +67,7 @@ define i17 @test9(i17 %A) {
define i19 @test10(i19 %X) {
; CHECK-LABEL: @test10(
-; CHECK-NEXT: [[SH1:%.*]] = and i19 %X, -262144
+; CHECK-NEXT: [[SH1:%.*]] = and i19 [[X:%.*]], -262144
; CHECK-NEXT: ret i19 [[SH1]]
;
%sh1 = lshr i19 %X, 18
@@ -82,7 +80,7 @@ define i19 @test10(i19 %X) {
define <2 x i19> @lshr_lshr_splat_vec(<2 x i19> %X) {
; CHECK-LABEL: @lshr_lshr_splat_vec(
-; CHECK-NEXT: [[SH1:%.*]] = lshr <2 x i19> %X, <i19 5, i19 5>
+; CHECK-NEXT: [[SH1:%.*]] = lshr <2 x i19> [[X:%.*]], <i19 5, i19 5>
; CHECK-NEXT: ret <2 x i19> [[SH1]]
;
%sh1 = lshr <2 x i19> %X, <i19 3, i19 3>
@@ -92,8 +90,8 @@ define <2 x i19> @lshr_lshr_splat_vec(<2 x i19> %X) {
define i9 @multiuse_lshr_lshr(i9 %x) {
; CHECK-LABEL: @multiuse_lshr_lshr(
-; CHECK-NEXT: [[SH1:%.*]] = lshr i9 %x, 2
-; CHECK-NEXT: [[SH2:%.*]] = lshr i9 %x, 5
+; CHECK-NEXT: [[SH1:%.*]] = lshr i9 [[X:%.*]], 2
+; CHECK-NEXT: [[SH2:%.*]] = lshr i9 [[X]], 5
; CHECK-NEXT: [[MUL:%.*]] = mul i9 [[SH1]], [[SH2]]
; CHECK-NEXT: ret i9 [[MUL]]
;
@@ -105,8 +103,8 @@ define i9 @multiuse_lshr_lshr(i9 %x) {
define <2 x i9> @multiuse_lshr_lshr_splat(<2 x i9> %x) {
; CHECK-LABEL: @multiuse_lshr_lshr_splat(
-; CHECK-NEXT: [[SH1:%.*]] = lshr <2 x i9> %x, <i9 2, i9 2>
-; CHECK-NEXT: [[SH2:%.*]] = lshr <2 x i9> %x, <i9 5, i9 5>
+; CHECK-NEXT: [[SH1:%.*]] = lshr <2 x i9> [[X:%.*]], <i9 2, i9 2>
+; CHECK-NEXT: [[SH2:%.*]] = lshr <2 x i9> [[X]], <i9 5, i9 5>
; CHECK-NEXT: [[MUL:%.*]] = mul <2 x i9> [[SH1]], [[SH2]]
; CHECK-NEXT: ret <2 x i9> [[MUL]]
;
@@ -121,7 +119,7 @@ define <2 x i9> @multiuse_lshr_lshr_splat(<2 x i9> %x) {
define <2 x i19> @shl_shl_splat_vec(<2 x i19> %X) {
; CHECK-LABEL: @shl_shl_splat_vec(
-; CHECK-NEXT: [[SH1:%.*]] = shl <2 x i19> %X, <i19 5, i19 5>
+; CHECK-NEXT: [[SH1:%.*]] = shl <2 x i19> [[X:%.*]], <i19 5, i19 5>
; CHECK-NEXT: ret <2 x i19> [[SH1]]
;
%sh1 = shl <2 x i19> %X, <i19 3, i19 3>
@@ -131,8 +129,8 @@ define <2 x i19> @shl_shl_splat_vec(<2 x i19> %X) {
define i42 @multiuse_shl_shl(i42 %x) {
; CHECK-LABEL: @multiuse_shl_shl(
-; CHECK-NEXT: [[SH1:%.*]] = shl i42 %x, 8
-; CHECK-NEXT: [[SH2:%.*]] = shl i42 %x, 17
+; CHECK-NEXT: [[SH1:%.*]] = shl i42 [[X:%.*]], 8
+; CHECK-NEXT: [[SH2:%.*]] = shl i42 [[X]], 17
; CHECK-NEXT: [[MUL:%.*]] = mul i42 [[SH1]], [[SH2]]
; CHECK-NEXT: ret i42 [[MUL]]
;
@@ -144,8 +142,8 @@ define i42 @multiuse_shl_shl(i42 %x) {
define <2 x i42> @multiuse_shl_shl_splat(<2 x i42> %x) {
; CHECK-LABEL: @multiuse_shl_shl_splat(
-; CHECK-NEXT: [[SH1:%.*]] = shl <2 x i42> %x, <i42 8, i42 8>
-; CHECK-NEXT: [[SH2:%.*]] = shl <2 x i42> %x, <i42 17, i42 17>
+; CHECK-NEXT: [[SH1:%.*]] = shl <2 x i42> [[X:%.*]], <i42 8, i42 8>
+; CHECK-NEXT: [[SH2:%.*]] = shl <2 x i42> [[X]], <i42 17, i42 17>
; CHECK-NEXT: [[MUL:%.*]] = mul <2 x i42> [[SH1]], [[SH2]]
; CHECK-NEXT: ret <2 x i42> [[MUL]]
;
@@ -160,7 +158,7 @@ define <2 x i42> @multiuse_shl_shl_splat(<2 x i42> %x) {
define <2 x i19> @eq_shl_lshr_splat_vec(<2 x i19> %X) {
; CHECK-LABEL: @eq_shl_lshr_splat_vec(
-; CHECK-NEXT: [[SH1:%.*]] = and <2 x i19> %X, <i19 65535, i19 65535>
+; CHECK-NEXT: [[SH1:%.*]] = and <2 x i19> [[X:%.*]], <i19 65535, i19 65535>
; CHECK-NEXT: ret <2 x i19> [[SH1]]
;
%sh1 = shl <2 x i19> %X, <i19 3, i19 3>
@@ -173,7 +171,7 @@ define <2 x i19> @eq_shl_lshr_splat_vec(<2 x i19> %X) {
define <2 x i19> @eq_lshr_shl_splat_vec(<2 x i19> %X) {
; CHECK-LABEL: @eq_lshr_shl_splat_vec(
-; CHECK-NEXT: [[SH1:%.*]] = and <2 x i19> %X, <i19 -8, i19 -8>
+; CHECK-NEXT: [[SH1:%.*]] = and <2 x i19> [[X:%.*]], <i19 -8, i19 -8>
; CHECK-NEXT: ret <2 x i19> [[SH1]]
;
%sh1 = lshr <2 x i19> %X, <i19 3, i19 3>
@@ -186,7 +184,7 @@ define <2 x i19> @eq_lshr_shl_splat_vec(<2 x i19> %X) {
define <2 x i7> @lshr_shl_splat_vec(<2 x i7> %X) {
; CHECK-LABEL: @lshr_shl_splat_vec(
-; CHECK-NEXT: [[MUL:%.*]] = mul <2 x i7> %X, <i7 -8, i7 -8>
+; CHECK-NEXT: [[MUL:%.*]] = mul <2 x i7> [[X:%.*]], <i7 -8, i7 -8>
; CHECK-NEXT: [[SH1:%.*]] = lshr exact <2 x i7> [[MUL]], <i7 1, i7 1>
; CHECK-NEXT: ret <2 x i7> [[SH1]]
;
@@ -201,7 +199,7 @@ define <2 x i7> @lshr_shl_splat_vec(<2 x i7> %X) {
define <2 x i7> @shl_lshr_splat_vec(<2 x i7> %X) {
; CHECK-LABEL: @shl_lshr_splat_vec(
-; CHECK-NEXT: [[DIV:%.*]] = udiv <2 x i7> %X, <i7 9, i7 9>
+; CHECK-NEXT: [[DIV:%.*]] = udiv <2 x i7> [[X:%.*]], <i7 9, i7 9>
; CHECK-NEXT: [[SH1:%.*]] = shl nuw nsw <2 x i7> [[DIV]], <i7 1, i7 1>
; CHECK-NEXT: ret <2 x i7> [[SH1]]
;
@@ -212,25 +210,26 @@ define <2 x i7> @shl_lshr_splat_vec(<2 x i7> %X) {
}
; Don't hide the shl from scalar evolution. DAGCombine will get it.
-define i23 @test11(i23 %A) {
+
+define i23 @test11(i23 %x) {
; CHECK-LABEL: @test11(
-; CHECK-NEXT: [[A:%.*]] = mul i23 %A, 3
+; CHECK-NEXT: [[A:%.*]] = mul i23 [[X:%.*]], 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
+ %a = mul i23 %x, 3
+ %b = lshr i23 %a, 11
+ %c = shl i23 %b, 12
+ ret i23 %c
}
; shl (ashr X, C), C --> and X, C'
define i47 @test12(i47 %X) {
; CHECK-LABEL: @test12(
-; CHECK-NEXT: [[SH11:%.*]] = and i47 %X, -256
-; CHECK-NEXT: ret i47 [[SH11]]
+; CHECK-NEXT: [[TMP1:%.*]] = and i47 [[X:%.*]], -256
+; CHECK-NEXT: ret i47 [[TMP1]]
;
%sh1 = ashr i47 %X, 8
%sh2 = shl i47 %sh1, 8
@@ -239,7 +238,7 @@ define i47 @test12(i47 %X) {
define <2 x i47> @test12_splat_vec(<2 x i47> %X) {
; CHECK-LABEL: @test12_splat_vec(
-; CHECK-NEXT: [[TMP1:%.*]] = and <2 x i47> %X, <i47 -256, i47 -256>
+; CHECK-NEXT: [[TMP1:%.*]] = and <2 x i47> [[X:%.*]], <i47 -256, i47 -256>
; CHECK-NEXT: ret <2 x i47> [[TMP1]]
;
%sh1 = ashr <2 x i47> %X, <i47 8, i47 8>
@@ -248,22 +247,23 @@ define <2 x i47> @test12_splat_vec(<2 x i47> %X) {
}
; Don't hide the shl from scalar evolution. DAGCombine will get it.
-define i18 @test13(i18 %A) {
+
+define i18 @test13(i18 %x) {
; 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: [[A:%.*]] = mul i18 [[X:%.*]], 3
+; CHECK-NEXT: [[TMP1:%.*]] = lshr i18 [[A]], 8
+; CHECK-NEXT: [[C:%.*]] = shl i18 [[TMP1]], 9
; CHECK-NEXT: ret i18 [[C]]
;
- %a = mul i18 %A, 3
- %B = ashr i18 %a, 8
- %C = shl i18 %B, 9
- ret i18 %C
+ %a = mul i18 %x, 3
+ %b = ashr i18 %a, 8
+ %c = shl i18 %b, 9
+ ret i18 %c
}
define i35 @test14(i35 %A) {
; CHECK-LABEL: @test14(
-; CHECK-NEXT: [[B:%.*]] = and i35 %A, -19760
+; CHECK-NEXT: [[B:%.*]] = and i35 [[A:%.*]], -19760
; CHECK-NEXT: [[C:%.*]] = or i35 [[B]], 19744
; CHECK-NEXT: ret i35 [[C]]
;
@@ -275,7 +275,7 @@ define i35 @test14(i35 %A) {
define i79 @test14a(i79 %A) {
; CHECK-LABEL: @test14a(
-; CHECK-NEXT: [[C:%.*]] = and i79 %A, 77
+; CHECK-NEXT: [[C:%.*]] = and i79 [[A:%.*]], 77
; CHECK-NEXT: ret i79 [[C]]
;
%B = shl i79 %A, 4
@@ -286,7 +286,7 @@ define i79 @test14a(i79 %A) {
define i45 @test15(i1 %C) {
; CHECK-LABEL: @test15(
-; CHECK-NEXT: [[A:%.*]] = select i1 %C, i45 12, i45 4
+; CHECK-NEXT: [[A:%.*]] = select i1 [[C:%.*]], i45 12, i45 4
; CHECK-NEXT: ret i45 [[A]]
;
%A = select i1 %C, i45 3, i45 1
@@ -296,7 +296,7 @@ define i45 @test15(i1 %C) {
define i53 @test15a(i1 %X) {
; CHECK-LABEL: @test15a(
-; CHECK-NEXT: [[V:%.*]] = select i1 %X, i53 512, i53 128
+; CHECK-NEXT: [[V:%.*]] = select i1 [[X:%.*]], i53 512, i53 128
; CHECK-NEXT: ret i53 [[V]]
;
%A = select i1 %X, i8 3, i8 1
@@ -307,7 +307,7 @@ define i53 @test15a(i1 %X) {
define i1 @test16(i84 %X) {
; CHECK-LABEL: @test16(
-; CHECK-NEXT: [[AND:%.*]] = and i84 %X, 16
+; CHECK-NEXT: [[AND:%.*]] = and i84 [[X:%.*]], 16
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i84 [[AND]], 0
; CHECK-NEXT: ret i1 [[CMP]]
;
@@ -331,7 +331,7 @@ define <2 x i1> @test16vec(<2 x i84> %X) {
define i1 @test17(i106 %A) {
; CHECK-LABEL: @test17(
-; CHECK-NEXT: [[B_MASK:%.*]] = and i106 %A, -8
+; CHECK-NEXT: [[B_MASK:%.*]] = and i106 [[A:%.*]], -8
; CHECK-NEXT: [[C:%.*]] = icmp eq i106 [[B_MASK]], 9872
; CHECK-NEXT: ret i1 [[C]]
;
@@ -342,7 +342,7 @@ define i1 @test17(i106 %A) {
define <2 x i1> @test17vec(<2 x i106> %A) {
; CHECK-LABEL: @test17vec(
-; CHECK-NEXT: [[B_MASK:%.*]] = and <2 x i106> %A, <i106 -8, i106 -8>
+; CHECK-NEXT: [[B_MASK:%.*]] = and <2 x i106> [[A:%.*]], <i106 -8, i106 -8>
; CHECK-NEXT: [[C:%.*]] = icmp eq <2 x i106> [[B_MASK]], <i106 9872, i106 9872>
; CHECK-NEXT: ret <2 x i1> [[C]]
;
@@ -362,7 +362,7 @@ define i1 @test18(i11 %A) {
define i1 @test19(i37 %A) {
; CHECK-LABEL: @test19(
-; CHECK-NEXT: [[C:%.*]] = icmp ult i37 %A, 4
+; CHECK-NEXT: [[C:%.*]] = icmp ult i37 [[A:%.*]], 4
; CHECK-NEXT: ret i1 [[C]]
;
%B = ashr i37 %A, 2
@@ -372,7 +372,7 @@ define i1 @test19(i37 %A) {
define <2 x i1> @test19vec(<2 x i37> %A) {
; CHECK-LABEL: @test19vec(
-; CHECK-NEXT: [[C:%.*]] = icmp ult <2 x i37> %A, <i37 4, i37 4>
+; CHECK-NEXT: [[C:%.*]] = icmp ult <2 x i37> [[A:%.*]], <i37 4, i37 4>
; CHECK-NEXT: ret <2 x i1> [[C]]
;
%B = ashr <2 x i37> %A, <i37 2, i37 2>
@@ -382,7 +382,7 @@ define <2 x i1> @test19vec(<2 x i37> %A) {
define i1 @test19a(i39 %A) {
; CHECK-LABEL: @test19a(
-; CHECK-NEXT: [[C:%.*]] = icmp ugt i39 %A, -5
+; CHECK-NEXT: [[C:%.*]] = icmp ugt i39 [[A:%.*]], -5
; CHECK-NEXT: ret i1 [[C]]
;
%B = ashr i39 %A, 2
@@ -392,7 +392,7 @@ define i1 @test19a(i39 %A) {
define <2 x i1> @test19a_vec(<2 x i39> %A) {
; CHECK-LABEL: @test19a_vec(
-; CHECK-NEXT: [[C:%.*]] = icmp ugt <2 x i39> %A, <i39 -5, i39 -5>
+; CHECK-NEXT: [[C:%.*]] = icmp ugt <2 x i39> [[A:%.*]], <i39 -5, i39 -5>
; CHECK-NEXT: ret <2 x i1> [[C]]
;
%B = ashr <2 x i39> %A, <i39 2, i39 2>
@@ -411,7 +411,7 @@ define i1 @test20(i13 %A) {
define i1 @test21(i12 %A) {
; CHECK-LABEL: @test21(
-; CHECK-NEXT: [[B_MASK:%.*]] = and i12 %A, 63
+; CHECK-NEXT: [[B_MASK:%.*]] = and i12 [[A:%.*]], 63
; CHECK-NEXT: [[C:%.*]] = icmp eq i12 [[B_MASK]], 62
; CHECK-NEXT: ret i1 [[C]]
;
@@ -422,7 +422,7 @@ define i1 @test21(i12 %A) {
define i1 @test22(i14 %A) {
; CHECK-LABEL: @test22(
-; CHECK-NEXT: [[B_MASK:%.*]] = and i14 %A, 127
+; CHECK-NEXT: [[B_MASK:%.*]] = and i14 [[A:%.*]], 127
; CHECK-NEXT: [[C:%.*]] = icmp eq i14 [[B_MASK]], 0
; CHECK-NEXT: ret i1 [[C]]
;
@@ -433,7 +433,7 @@ define i1 @test22(i14 %A) {
define i11 @test23(i44 %A) {
; CHECK-LABEL: @test23(
-; CHECK-NEXT: [[D:%.*]] = trunc i44 %A to i11
+; CHECK-NEXT: [[D:%.*]] = trunc i44 [[A:%.*]] to i11
; CHECK-NEXT: ret i11 [[D]]
;
%B = shl i44 %A, 33
@@ -446,8 +446,8 @@ define i11 @test23(i44 %A) {
define i44 @shl_lshr_eq_amt_multi_use(i44 %A) {
; CHECK-LABEL: @shl_lshr_eq_amt_multi_use(
-; CHECK-NEXT: [[B:%.*]] = shl i44 %A, 33
-; CHECK-NEXT: [[C:%.*]] = and i44 %A, 2047
+; CHECK-NEXT: [[B:%.*]] = shl i44 [[A:%.*]], 33
+; CHECK-NEXT: [[C:%.*]] = and i44 [[A]], 2047
; CHECK-NEXT: [[D:%.*]] = or i44 [[B]], [[C]]
; CHECK-NEXT: ret i44 [[D]]
;
@@ -461,8 +461,8 @@ define i44 @shl_lshr_eq_amt_multi_use(i44 %A) {
define <2 x i44> @shl_lshr_eq_amt_multi_use_splat_vec(<2 x i44> %A) {
; CHECK-LABEL: @shl_lshr_eq_amt_multi_use_splat_vec(
-; CHECK-NEXT: [[B:%.*]] = shl <2 x i44> %A, <i44 33, i44 33>
-; CHECK-NEXT: [[C:%.*]] = and <2 x i44> %A, <i44 2047, i44 2047>
+; CHECK-NEXT: [[B:%.*]] = shl <2 x i44> [[A:%.*]], <i44 33, i44 33>
+; CHECK-NEXT: [[C:%.*]] = and <2 x i44> [[A]], <i44 2047, i44 2047>
; CHECK-NEXT: [[D:%.*]] = or <2 x i44> [[B]], [[C]]
; CHECK-NEXT: ret <2 x i44> [[D]]
;
@@ -476,8 +476,8 @@ define <2 x i44> @shl_lshr_eq_amt_multi_use_splat_vec(<2 x i44> %A) {
define i43 @lshr_shl_eq_amt_multi_use(i43 %A) {
; CHECK-LABEL: @lshr_shl_eq_amt_multi_use(
-; CHECK-NEXT: [[B:%.*]] = lshr i43 %A, 23
-; CHECK-NEXT: [[C:%.*]] = and i43 %A, -8388608
+; CHECK-NEXT: [[B:%.*]] = lshr i43 [[A:%.*]], 23
+; CHECK-NEXT: [[C:%.*]] = and i43 [[A]], -8388608
; CHECK-NEXT: [[D:%.*]] = mul i43 [[B]], [[C]]
; CHECK-NEXT: ret i43 [[D]]
;
@@ -491,8 +491,8 @@ define i43 @lshr_shl_eq_amt_multi_use(i43 %A) {
define <2 x i43> @lshr_shl_eq_amt_multi_use_splat_vec(<2 x i43> %A) {
; CHECK-LABEL: @lshr_shl_eq_amt_multi_use_splat_vec(
-; CHECK-NEXT: [[B:%.*]] = lshr <2 x i43> %A, <i43 23, i43 23>
-; CHECK-NEXT: [[C:%.*]] = and <2 x i43> %A, <i43 -8388608, i43 -8388608>
+; CHECK-NEXT: [[B:%.*]] = lshr <2 x i43> [[A:%.*]], <i43 23, i43 23>
+; CHECK-NEXT: [[C:%.*]] = and <2 x i43> [[A]], <i43 -8388608, i43 -8388608>
; CHECK-NEXT: [[D:%.*]] = mul <2 x i43> [[B]], [[C]]
; CHECK-NEXT: ret <2 x i43> [[D]]
;
@@ -504,8 +504,8 @@ define <2 x i43> @lshr_shl_eq_amt_multi_use_splat_vec(<2 x i43> %A) {
define i37 @test25(i37 %tmp.2, i37 %AA) {
; CHECK-LABEL: @test25(
-; CHECK-NEXT: [[TMP_3:%.*]] = and i37 %tmp.2, -131072
-; CHECK-NEXT: [[X2:%.*]] = add i37 [[TMP_3]], %AA
+; 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]]
;
@@ -518,7 +518,7 @@ define i37 @test25(i37 %tmp.2, i37 %AA) {
define i40 @test26(i40 %A) {
; CHECK-LABEL: @test26(
-; CHECK-NEXT: [[B:%.*]] = and i40 %A, -2
+; CHECK-NEXT: [[B:%.*]] = and i40 [[A:%.*]], -2
; CHECK-NEXT: ret i40 [[B]]
;
%B = lshr i40 %A, 1
OpenPOWER on IntegriCloud