diff options
Diffstat (limited to 'llvm/test')
18 files changed, 374 insertions, 242 deletions
diff --git a/llvm/test/Transforms/Reassociate/2002-05-15-MissedTree.ll b/llvm/test/Transforms/Reassociate/2002-05-15-MissedTree.ll index 5f3c9209aed..099c394f92e 100644 --- a/llvm/test/Transforms/Reassociate/2002-05-15-MissedTree.ll +++ b/llvm/test/Transforms/Reassociate/2002-05-15-MissedTree.ll @@ -1,11 +1,13 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s define i32 @test1(i32 %A, i32 %B) { -; CHECK-LABEL: test1 -; CHECK: %Z = add i32 %B, %A -; CHECK: ret i32 %Z - %W = add i32 %B, -5 - %Y = add i32 %A, 5 - %Z = add i32 %W, %Y - ret i32 %Z +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[Z:%.*]] = add i32 [[B:%.*]], [[A:%.*]] +; CHECK-NEXT: ret i32 [[Z]] +; + %W = add i32 %B, -5 + %Y = add i32 %A, 5 + %Z = add i32 %W, %Y + ret i32 %Z } diff --git a/llvm/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll b/llvm/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll index 8039ddef44e..f3709c819d9 100644 --- a/llvm/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll +++ b/llvm/test/Transforms/Reassociate/2002-05-15-SubReassociate.ll @@ -1,9 +1,10 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -constprop -instcombine -dce -S | FileCheck %s ; With sub reassociation, constant folding can eliminate all of the constants. define i32 @test1(i32 %A, i32 %B) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[Z:%.*]] = sub i32 %A, %B +; CHECK-NEXT: [[Z:%.*]] = sub i32 [[A:%.*]], [[B:%.*]] ; CHECK-NEXT: ret i32 [[Z]] ; %W = add i32 5, %B @@ -16,9 +17,9 @@ define i32 @test1(i32 %A, i32 %B) { ; With sub reassociation, constant folding can eliminate the two 12 constants. define i32 @test2(i32 %A, i32 %B, i32 %C, i32 %D) { ; CHECK-LABEL: @test2( -; CHECK-NEXT: [[SUM:%.*]] = add i32 %B, %A -; CHECK-NEXT: [[SUM1:%.*]] = add i32 [[SUM]], %C -; CHECK-NEXT: [[Q:%.*]] = sub i32 %D, [[SUM1]] +; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[B:%.*]], [[A:%.*]] +; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP1]], [[C:%.*]] +; CHECK-NEXT: [[Q:%.*]] = sub i32 [[D:%.*]], [[TMP2]] ; CHECK-NEXT: ret i32 [[Q]] ; %M = add i32 %A, 12 diff --git a/llvm/test/Transforms/Reassociate/canonicalize-neg-const.ll b/llvm/test/Transforms/Reassociate/canonicalize-neg-const.ll index 7afc660809f..5f9ca949e91 100644 --- a/llvm/test/Transforms/Reassociate/canonicalize-neg-const.ll +++ b/llvm/test/Transforms/Reassociate/canonicalize-neg-const.ll @@ -1,11 +1,12 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -reassociate -gvn -S < %s | FileCheck %s ; (x + 0.1234 * y) * (x + -0.1234 * y) -> (x + 0.1234 * y) * (x - 0.1234 * y) define double @test1(double %x, double %y) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, 1.234000e-01 -; CHECK-NEXT: [[ADD:%.*]] = fadd double %x, [[MUL]] -; CHECK-NEXT: [[ADD21:%.*]] = fsub double %x, [[MUL]] +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[ADD:%.*]] = fadd double [[X:%.*]], [[MUL]] +; CHECK-NEXT: [[ADD21:%.*]] = fsub double [[X]], [[MUL]] ; CHECK-NEXT: [[MUL3:%.*]] = fmul double [[ADD]], [[ADD21]] ; CHECK-NEXT: ret double [[MUL3]] ; @@ -20,8 +21,8 @@ define double @test1(double %x, double %y) { ; (x + -0.1234 * y) * (x + -0.1234 * y) -> (x - 0.1234 * y) * (x - 0.1234 * y) define double @test2(double %x, double %y) { ; CHECK-LABEL: @test2( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, 1.234000e-01 -; CHECK-NEXT: [[ADD1:%.*]] = fsub double %x, [[MUL]] +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[ADD1:%.*]] = fsub double [[X:%.*]], [[MUL]] ; CHECK-NEXT: [[MUL3:%.*]] = fmul double [[ADD1]], [[ADD1]] ; CHECK-NEXT: ret double [[MUL3]] ; @@ -36,8 +37,8 @@ define double @test2(double %x, double %y) { ; (x + 0.1234 * y) * (x - -0.1234 * y) -> (x + 0.1234 * y) * (x + 0.1234 * y) define double @test3(double %x, double %y) { ; CHECK-LABEL: @test3( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, 1.234000e-01 -; CHECK-NEXT: [[ADD:%.*]] = fadd double %x, [[MUL]] +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[ADD:%.*]] = fadd double [[X:%.*]], [[MUL]] ; CHECK-NEXT: [[MUL3:%.*]] = fmul double [[ADD]], [[ADD]] ; CHECK-NEXT: ret double [[MUL3]] ; @@ -52,8 +53,8 @@ define double @test3(double %x, double %y) { ; Canonicalize (x - -0.1234 * y) define double @test5(double %x, double %y) { ; CHECK-LABEL: @test5( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, 1.234000e-01 -; CHECK-NEXT: [[SUB1:%.*]] = fadd double %x, [[MUL]] +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[SUB1:%.*]] = fadd double [[X:%.*]], [[MUL]] ; CHECK-NEXT: ret double [[SUB1]] ; %mul = fmul double -1.234000e-01, %y @@ -64,8 +65,8 @@ define double @test5(double %x, double %y) { ; Don't modify (-0.1234 * y - x) define double @test6(double %x, double %y) { ; CHECK-LABEL: @test6( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, -1.234000e-01 -; CHECK-NEXT: [[SUB:%.*]] = fsub double [[MUL]], %x +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], -1.234000e-01 +; CHECK-NEXT: [[SUB:%.*]] = fsub double [[MUL]], [[X:%.*]] ; CHECK-NEXT: ret double [[SUB]] ; %mul = fmul double -1.234000e-01, %y @@ -76,8 +77,8 @@ define double @test6(double %x, double %y) { ; Canonicalize (-0.1234 * y + x) -> (x - 0.1234 * y) define double @test7(double %x, double %y) { ; CHECK-LABEL: @test7( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, 1.234000e-01 -; CHECK-NEXT: [[ADD1:%.*]] = fsub double %x, [[MUL]] +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[ADD1:%.*]] = fsub double [[X:%.*]], [[MUL]] ; CHECK-NEXT: ret double [[ADD1]] ; %mul = fmul double -1.234000e-01, %y @@ -88,8 +89,8 @@ define double @test7(double %x, double %y) { ; Canonicalize (y * -0.1234 + x) -> (x - 0.1234 * y) define double @test8(double %x, double %y) { ; CHECK-LABEL: @test8( -; CHECK-NEXT: [[MUL:%.*]] = fmul double %y, 1.234000e-01 -; CHECK-NEXT: [[ADD1:%.*]] = fsub double %x, [[MUL]] +; CHECK-NEXT: [[MUL:%.*]] = fmul double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[ADD1:%.*]] = fsub double [[X:%.*]], [[MUL]] ; CHECK-NEXT: ret double [[ADD1]] ; %mul = fmul double %y, -1.234000e-01 @@ -100,8 +101,8 @@ define double @test8(double %x, double %y) { ; Canonicalize (x - -0.1234 / y) define double @test9(double %x, double %y) { ; CHECK-LABEL: @test9( -; CHECK-NEXT: [[DIV:%.*]] = fdiv double 1.234000e-01, %y -; CHECK-NEXT: [[SUB1:%.*]] = fadd double %x, [[DIV]] +; CHECK-NEXT: [[DIV:%.*]] = fdiv double 1.234000e-01, [[Y:%.*]] +; CHECK-NEXT: [[SUB1:%.*]] = fadd double [[X:%.*]], [[DIV]] ; CHECK-NEXT: ret double [[SUB1]] ; %div = fdiv double -1.234000e-01, %y @@ -112,8 +113,8 @@ define double @test9(double %x, double %y) { ; Don't modify (-0.1234 / y - x) define double @test10(double %x, double %y) { ; CHECK-LABEL: @test10( -; CHECK-NEXT: [[DIV:%.*]] = fdiv double -1.234000e-01, %y -; CHECK-NEXT: [[SUB:%.*]] = fsub double [[DIV]], %x +; CHECK-NEXT: [[DIV:%.*]] = fdiv double -1.234000e-01, [[Y:%.*]] +; CHECK-NEXT: [[SUB:%.*]] = fsub double [[DIV]], [[X:%.*]] ; CHECK-NEXT: ret double [[SUB]] ; %div = fdiv double -1.234000e-01, %y @@ -124,8 +125,8 @@ define double @test10(double %x, double %y) { ; Canonicalize (-0.1234 / y + x) -> (x - 0.1234 / y) define double @test11(double %x, double %y) { ; CHECK-LABEL: @test11( -; CHECK-NEXT: [[DIV:%.*]] = fdiv double 1.234000e-01, %y -; CHECK-NEXT: [[ADD1:%.*]] = fsub double %x, [[DIV]] +; CHECK-NEXT: [[DIV:%.*]] = fdiv double 1.234000e-01, [[Y:%.*]] +; CHECK-NEXT: [[ADD1:%.*]] = fsub double [[X:%.*]], [[DIV]] ; CHECK-NEXT: ret double [[ADD1]] ; %div = fdiv double -1.234000e-01, %y @@ -136,8 +137,8 @@ define double @test11(double %x, double %y) { ; Canonicalize (y / -0.1234 + x) -> (x - y / 0.1234) define double @test12(double %x, double %y) { ; CHECK-LABEL: @test12( -; CHECK-NEXT: [[DIV:%.*]] = fdiv double %y, 1.234000e-01 -; CHECK-NEXT: [[ADD1:%.*]] = fsub double %x, [[DIV]] +; CHECK-NEXT: [[DIV:%.*]] = fdiv double [[Y:%.*]], 1.234000e-01 +; CHECK-NEXT: [[ADD1:%.*]] = fsub double [[X:%.*]], [[DIV]] ; CHECK-NEXT: ret double [[ADD1]] ; %div = fdiv double %y, -1.234000e-01 @@ -148,7 +149,7 @@ define double @test12(double %x, double %y) { ; Don't create an NSW violation define i4 @test13(i4 %x) { ; CHECK-LABEL: @test13( -; CHECK-NEXT: [[MUL:%.*]] = mul nsw i4 %x, -2 +; CHECK-NEXT: [[MUL:%.*]] = mul nsw i4 [[X:%.*]], -2 ; CHECK-NEXT: [[ADD:%.*]] = add i4 [[MUL]], 3 ; CHECK-NEXT: ret i4 [[ADD]] ; @@ -169,8 +170,8 @@ define i4 @test13(i4 %x) { define double @pr34078(double %A) { ; CHECK-LABEL: @pr34078( -; CHECK-NEXT: [[SUB:%.*]] = fsub fast double 1.000000e+00, %A -; CHECK-NEXT: [[POW2:%.*]] = fmul double %A, %A +; CHECK-NEXT: [[SUB:%.*]] = fsub fast double 1.000000e+00, [[A:%.*]] +; CHECK-NEXT: [[POW2:%.*]] = fmul double [[A]], [[A]] ; CHECK-NEXT: [[MUL5_NEG:%.*]] = fmul fast double [[POW2]], -5.000000e-01 ; CHECK-NEXT: [[SUB1:%.*]] = fadd fast double [[MUL5_NEG]], [[SUB]] ; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast double [[SUB1]], 2.000000e+00 diff --git a/llvm/test/Transforms/Reassociate/commute.ll b/llvm/test/Transforms/Reassociate/commute.ll index 760e51b05e1..6009159d787 100644 --- a/llvm/test/Transforms/Reassociate/commute.ll +++ b/llvm/test/Transforms/Reassociate/commute.ll @@ -1,14 +1,17 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -reassociate -S < %s | FileCheck %s declare void @use(i32) define void @test1(i32 %x, i32 %y) { -; CHECK-LABEL: test1 -; CHECK: mul i32 %y, %x -; CHECK: mul i32 %y, %x -; CHECK: sub i32 %1, %2 -; CHECK: call void @use(i32 %{{.*}}) -; CHECK: call void @use(i32 %{{.*}}) +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[Y:%.*]], [[X:%.*]] +; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[Y]], [[X]] +; CHECK-NEXT: [[TMP3:%.*]] = sub i32 [[TMP1]], [[TMP2]] +; CHECK-NEXT: call void @use(i32 [[TMP1]]) +; CHECK-NEXT: call void @use(i32 [[TMP3]]) +; CHECK-NEXT: ret void +; %1 = mul i32 %x, %y %2 = mul i32 %y, %x diff --git a/llvm/test/Transforms/Reassociate/fast-SubReassociate.ll b/llvm/test/Transforms/Reassociate/fast-SubReassociate.ll index 9b2b55746db..35c8dd4162a 100644 --- a/llvm/test/Transforms/Reassociate/fast-SubReassociate.ll +++ b/llvm/test/Transforms/Reassociate/fast-SubReassociate.ll @@ -1,9 +1,10 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -constprop -instcombine -S | FileCheck %s define float @test1(float %A, float %B) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[W:%.*]] = fadd float %B, 5.000000e+00 -; CHECK-NEXT: [[X:%.*]] = fadd float %A, -7.000000e+00 +; CHECK-NEXT: [[W:%.*]] = fadd float [[B:%.*]], 5.000000e+00 +; CHECK-NEXT: [[X:%.*]] = fadd float [[A:%.*]], -7.000000e+00 ; CHECK-NEXT: [[Y:%.*]] = fsub float [[X]], [[W]] ; CHECK-NEXT: [[Z:%.*]] = fadd float [[Y]], 1.200000e+01 ; CHECK-NEXT: ret float [[Z]] @@ -18,7 +19,7 @@ define float @test1(float %A, float %B) { ; With sub reassociation, constant folding can eliminate all of the constants. define float @test2(float %A, float %B) { ; CHECK-LABEL: @test2( -; CHECK-NEXT: [[Z:%.*]] = fsub fast float %A, %B +; CHECK-NEXT: [[Z:%.*]] = fsub fast float [[A:%.*]], [[B:%.*]] ; CHECK-NEXT: ret float [[Z]] ; %W = fadd fast float %B, 5.000000e+00 @@ -32,8 +33,8 @@ define float @test2(float %A, float %B) { ; Both 'reassoc' and 'nsz' are required. define float @test2_minimal(float %A, float %B) { ; CHECK-LABEL: @test2_minimal( -; CHECK-NEXT: [[Z:%.*]] = fsub reassoc nsz float %A, %B -; CHECK-NEXT: ret float [[Z]] +; CHECK-NEXT: [[TMP1:%.*]] = fsub reassoc nsz float [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: ret float [[TMP1]] ; %W = fadd reassoc nsz float %B, 5.000000e+00 %X = fadd reassoc nsz float %A, -7.000000e+00 @@ -45,8 +46,8 @@ define float @test2_minimal(float %A, float %B) { ; Verify the fold is not done with only 'reassoc' ('nsz' is required). define float @test2_reassoc(float %A, float %B) { ; CHECK-LABEL: @test2_reassoc( -; CHECK-NEXT: [[W:%.*]] = fadd reassoc float %B, 5.000000e+00 -; CHECK-NEXT: [[X:%.*]] = fadd reassoc float %A, -7.000000e+00 +; CHECK-NEXT: [[W:%.*]] = fadd reassoc float [[B:%.*]], 5.000000e+00 +; CHECK-NEXT: [[X:%.*]] = fadd reassoc float [[A:%.*]], -7.000000e+00 ; CHECK-NEXT: [[Y:%.*]] = fsub reassoc float [[X]], [[W]] ; CHECK-NEXT: [[Z:%.*]] = fadd reassoc float [[Y]], 1.200000e+01 ; CHECK-NEXT: ret float [[Z]] @@ -60,10 +61,10 @@ define float @test2_reassoc(float %A, float %B) { define float @test3(float %A, float %B, float %C, float %D) { ; CHECK-LABEL: @test3( -; CHECK-NEXT: [[M:%.*]] = fadd float %A, 1.200000e+01 -; CHECK-NEXT: [[N:%.*]] = fadd float [[M]], %B -; CHECK-NEXT: [[O:%.*]] = fadd float [[N]], %C -; CHECK-NEXT: [[P:%.*]] = fsub float %D, [[O]] +; CHECK-NEXT: [[M:%.*]] = fadd float [[A:%.*]], 1.200000e+01 +; CHECK-NEXT: [[N:%.*]] = fadd float [[M]], [[B:%.*]] +; CHECK-NEXT: [[O:%.*]] = fadd float [[N]], [[C:%.*]] +; CHECK-NEXT: [[P:%.*]] = fsub float [[D:%.*]], [[O]] ; CHECK-NEXT: [[Q:%.*]] = fadd float [[P]], 1.200000e+01 ; CHECK-NEXT: ret float [[Q]] ; @@ -84,10 +85,10 @@ define float @test4(float %A, float %B, float %C, float %D) { ; %Q = fsub fast float %D, %sum1 ; ret i32 %Q ; CHECK-LABEL: @test4( -; CHECK-NEXT: [[B_NEG:%.*]] = fsub fast float -0.000000e+00, %B -; CHECK-NEXT: [[O_NEG:%.*]] = fsub fast float [[B_NEG]], %A -; CHECK-NEXT: [[P:%.*]] = fsub fast float [[O_NEG]], %C -; CHECK-NEXT: [[Q:%.*]] = fadd fast float [[P]], %D +; CHECK-NEXT: [[B_NEG:%.*]] = fsub fast float -0.000000e+00, [[B:%.*]] +; CHECK-NEXT: [[O_NEG:%.*]] = fsub fast float [[B_NEG]], [[A:%.*]] +; CHECK-NEXT: [[P:%.*]] = fsub fast float [[O_NEG]], [[C:%.*]] +; CHECK-NEXT: [[Q:%.*]] = fadd fast float [[P]], [[D:%.*]] ; CHECK-NEXT: ret float [[Q]] ; %M = fadd fast float 1.200000e+01, %A @@ -102,10 +103,10 @@ define float @test4(float %A, float %B, float %C, float %D) { define float @test4_reassoc(float %A, float %B, float %C, float %D) { ; CHECK-LABEL: @test4_reassoc( -; CHECK-NEXT: [[M:%.*]] = fadd reassoc float %A, 1.200000e+01 -; CHECK-NEXT: [[N:%.*]] = fadd reassoc float [[M]], %B -; CHECK-NEXT: [[O:%.*]] = fadd reassoc float [[N]], %C -; CHECK-NEXT: [[P:%.*]] = fsub reassoc float %D, [[O]] +; CHECK-NEXT: [[M:%.*]] = fadd reassoc float [[A:%.*]], 1.200000e+01 +; CHECK-NEXT: [[N:%.*]] = fadd reassoc float [[M]], [[B:%.*]] +; CHECK-NEXT: [[O:%.*]] = fadd reassoc float [[N]], [[C:%.*]] +; CHECK-NEXT: [[P:%.*]] = fsub reassoc float [[D:%.*]], [[O]] ; CHECK-NEXT: [[Q:%.*]] = fadd reassoc float [[P]], 1.200000e+01 ; CHECK-NEXT: ret float [[Q]] ; diff --git a/llvm/test/Transforms/Reassociate/fast-fp-commute.ll b/llvm/test/Transforms/Reassociate/fast-fp-commute.ll index c623abdde11..937c4c112ee 100644 --- a/llvm/test/Transforms/Reassociate/fast-fp-commute.ll +++ b/llvm/test/Transforms/Reassociate/fast-fp-commute.ll @@ -1,11 +1,12 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -reassociate -S < %s | FileCheck %s declare void @use(float) define void @test1(float %x, float %y) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[TMP1:%.*]] = fmul fast float %y, %x -; CHECK-NEXT: [[TMP2:%.*]] = fmul fast float %y, %x +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast float [[Y:%.*]], [[X:%.*]] +; CHECK-NEXT: [[TMP2:%.*]] = fmul fast float [[Y]], [[X]] ; CHECK-NEXT: [[TMP3:%.*]] = fsub fast float [[TMP1]], [[TMP2]] ; CHECK-NEXT: call void @use(float [[TMP1]]) ; CHECK-NEXT: call void @use(float [[TMP3]]) @@ -21,8 +22,8 @@ define void @test1(float %x, float %y) { define float @test2(float %x, float %y) { ; CHECK-LABEL: @test2( -; CHECK-NEXT: [[TMP1:%.*]] = fmul fast float %y, %x -; CHECK-NEXT: [[TMP2:%.*]] = fmul fast float %y, %x +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast float [[Y:%.*]], [[X:%.*]] +; CHECK-NEXT: [[TMP2:%.*]] = fmul fast float [[Y]], [[X]] ; CHECK-NEXT: [[TMP3:%.*]] = fsub fast float [[TMP1]], [[TMP2]] ; CHECK-NEXT: ret float [[TMP3]] ; @@ -34,7 +35,7 @@ define float @test2(float %x, float %y) { define float @test3(float %x, float %y) { ; CHECK-LABEL: @test3( -; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float %y, %x +; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float [[Y:%.*]], [[X:%.*]] ; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[FACTOR]], 2.000000e+00 ; CHECK-NEXT: ret float [[REASS_MUL]] ; diff --git a/llvm/test/Transforms/Reassociate/fast-multistep.ll b/llvm/test/Transforms/Reassociate/fast-multistep.ll index 6f2290f1c88..419e101cde9 100644 --- a/llvm/test/Transforms/Reassociate/fast-multistep.ll +++ b/llvm/test/Transforms/Reassociate/fast-multistep.ll @@ -1,12 +1,13 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -S | FileCheck %s ; Check that a*a*b+a*a*c is turned into a*(a*(b+c)). define float @fmultistep1(float %a, float %b, float %c) { ; CHECK-LABEL: @fmultistep1( -; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float %c, %b -; CHECK-NEXT: [[REASS_MUL2:%.*]] = fmul fast float %a, %a -; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_MUL:%.*]]2, [[REASS_ADD1]] +; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[C:%.*]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL2:%.*]] = fmul fast float [[A:%.*]], [[A]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_MUL2]], [[REASS_ADD1]] ; CHECK-NEXT: ret float [[REASS_MUL]] ; %t0 = fmul fast float %a, %b @@ -21,9 +22,9 @@ define float @fmultistep1(float %a, float %b, float %c) { define float @fmultistep2(float %a, float %b, float %c, float %d) { ; CHECK-LABEL: @fmultistep2( -; CHECK-NEXT: [[REASS_ADD:%.*]] = fadd fast float %c, %b -; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD]], %a -; CHECK-NEXT: [[T3:%.*]] = fadd fast float [[REASS_MUL]], %d +; CHECK-NEXT: [[REASS_ADD:%.*]] = fadd fast float [[C:%.*]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD]], [[A:%.*]] +; CHECK-NEXT: [[T3:%.*]] = fadd fast float [[REASS_MUL]], [[D:%.*]] ; CHECK-NEXT: ret float [[T3]] ; %t0 = fmul fast float %a, %b diff --git a/llvm/test/Transforms/Reassociate/looptest.ll b/llvm/test/Transforms/Reassociate/looptest.ll index 2c3db310571..6130d435977 100644 --- a/llvm/test/Transforms/Reassociate/looptest.ll +++ b/llvm/test/Transforms/Reassociate/looptest.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; This testcase comes from this C fragment: ; ; void test(unsigned Num, int *Array) { @@ -19,34 +20,63 @@ declare i32 @printf(i8*, ...) ; Check that (i+j) has been reassociated (i=reg115, j=reg116) -; CHECK: %reg113 = add i32 %reg116, %reg115 define void @test(i32 %Num, i32* %Array) { +; CHECK-LABEL: @test( +; CHECK-NEXT: bb0: +; CHECK-NEXT: [[COND221:%.*]] = icmp eq i32 0, [[NUM:%.*]] +; CHECK-NEXT: br i1 [[COND221]], label [[BB7:%.*]], label [[BB2:%.*]] +; CHECK: bb2: +; CHECK-NEXT: [[REG115:%.*]] = phi i32 [ [[REG120:%.*]], [[BB6:%.*]] ], [ 0, [[BB0:%.*]] ] +; CHECK-NEXT: br i1 [[COND221]], label [[BB6]], label [[BB3:%.*]] +; CHECK: bb3: +; CHECK-NEXT: [[REG116:%.*]] = phi i32 [ [[REG119:%.*]], [[BB5:%.*]] ], [ 0, [[BB2]] ] +; CHECK-NEXT: br i1 [[COND221]], label [[BB5]], label [[BB4:%.*]] +; CHECK: bb4: +; CHECK-NEXT: [[REG117:%.*]] = phi i32 [ [[REG118:%.*]], [[BB4]] ], [ 0, [[BB3]] ] +; CHECK-NEXT: [[REG113:%.*]] = add i32 [[REG116]], [[REG115]] +; CHECK-NEXT: [[REG114:%.*]] = add i32 [[REG113]], [[REG117]] +; CHECK-NEXT: [[CAST227:%.*]] = getelementptr [4 x i8], [4 x i8]* @.LC0, i64 0, i64 0 +; CHECK-NEXT: [[TMP0:%.*]] = call i32 (i8*, ...) @printf(i8* [[CAST227]], i32 [[REG114]]) +; CHECK-NEXT: [[REG118]] = add i32 [[REG117]], 1 +; CHECK-NEXT: [[COND224:%.*]] = icmp ne i32 [[REG118]], [[NUM]] +; CHECK-NEXT: br i1 [[COND224]], label [[BB4]], label [[BB5]] +; CHECK: bb5: +; CHECK-NEXT: [[REG119]] = add i32 [[REG116]], 1 +; CHECK-NEXT: [[COND225:%.*]] = icmp ne i32 [[REG119]], [[NUM]] +; CHECK-NEXT: br i1 [[COND225]], label [[BB3]], label [[BB6]] +; CHECK: bb6: +; CHECK-NEXT: [[REG120]] = add i32 [[REG115]], 1 +; CHECK-NEXT: [[COND226:%.*]] = icmp ne i32 [[REG120]], [[NUM]] +; CHECK-NEXT: br i1 [[COND226]], label [[BB2]], label [[BB7]] +; CHECK: bb7: +; CHECK-NEXT: ret void +; bb0: - %cond221 = icmp eq i32 0, %Num ; <i1> [#uses=3] - br i1 %cond221, label %bb7, label %bb2 + %cond221 = icmp eq i32 0, %Num ; <i1> [#uses=3] + br i1 %cond221, label %bb7, label %bb2 bb2: ; preds = %bb6, %bb0 - %reg115 = phi i32 [ %reg120, %bb6 ], [ 0, %bb0 ] ; <i32> [#uses=2] - br i1 %cond221, label %bb6, label %bb3 + %reg115 = phi i32 [ %reg120, %bb6 ], [ 0, %bb0 ] ; <i32> [#uses=2] + br i1 %cond221, label %bb6, label %bb3 bb3: ; preds = %bb5, %bb2 - %reg116 = phi i32 [ %reg119, %bb5 ], [ 0, %bb2 ] ; <i32> [#uses=2] - br i1 %cond221, label %bb5, label %bb4 + %reg116 = phi i32 [ %reg119, %bb5 ], [ 0, %bb2 ] ; <i32> [#uses=2] + br i1 %cond221, label %bb5, label %bb4 bb4: ; preds = %bb4, %bb3 - %reg117 = phi i32 [ %reg118, %bb4 ], [ 0, %bb3 ] ; <i32> [#uses=2] - %reg113 = add i32 %reg115, %reg117 ; <i32> [#uses=1] - %reg114 = add i32 %reg113, %reg116 ; <i32> [#uses=1] - %cast227 = getelementptr [4 x i8], [4 x i8]* @.LC0, i64 0, i64 0 ; <i8*> [#uses=1] - call i32 (i8*, ...) @printf( i8* %cast227, i32 %reg114 ) ; <i32>:0 [#uses=0] - %reg118 = add i32 %reg117, 1 ; <i32> [#uses=2] - %cond224 = icmp ne i32 %reg118, %Num ; <i1> [#uses=1] - br i1 %cond224, label %bb4, label %bb5 + %reg117 = phi i32 [ %reg118, %bb4 ], [ 0, %bb3 ] ; <i32> [#uses=2] + %reg113 = add i32 %reg115, %reg117 ; <i32> [#uses=1] + %reg114 = add i32 %reg113, %reg116 ; <i32> [#uses=1] + %cast227 = getelementptr [4 x i8], [4 x i8]* @.LC0, i64 0, i64 0 ; <i8*> [#uses=1] + call i32 (i8*, ...) @printf( i8* %cast227, i32 %reg114 ) ; <i32>:0 [#uses=0] + %reg118 = add i32 %reg117, 1 ; <i32> [#uses=2] + %cond224 = icmp ne i32 %reg118, %Num ; <i1> [#uses=1] + br i1 %cond224, label %bb4, label %bb5 bb5: ; preds = %bb4, %bb3 - %reg119 = add i32 %reg116, 1 ; <i32> [#uses=2] - %cond225 = icmp ne i32 %reg119, %Num ; <i1> [#uses=1] - br i1 %cond225, label %bb3, label %bb6 + %reg119 = add i32 %reg116, 1 ; <i32> [#uses=2] + %cond225 = icmp ne i32 %reg119, %Num ; <i1> [#uses=1] + br i1 %cond225, label %bb3, label %bb6 bb6: ; preds = %bb5, %bb2 - %reg120 = add i32 %reg115, 1 ; <i32> [#uses=2] - %cond226 = icmp ne i32 %reg120, %Num ; <i1> [#uses=1] - br i1 %cond226, label %bb2, label %bb7 + %reg120 = add i32 %reg115, 1 ; <i32> [#uses=2] + %cond226 = icmp ne i32 %reg120, %Num ; <i1> [#uses=1] + br i1 %cond226, label %bb2, label %bb7 bb7: ; preds = %bb6, %bb0 - ret void + ret void } diff --git a/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll b/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll index 14871f45b01..d37bfbbdf52 100644 --- a/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll +++ b/llvm/test/Transforms/Reassociate/mixed-fast-nonfast-fp.ll @@ -1,11 +1,12 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -reassociate %s -S | FileCheck %s define float @foo(float %a,float %b, float %c) { ; CHECK-LABEL: @foo( -; CHECK-NEXT: [[MUL3:%.*]] = fmul float %a, %b -; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float %c, 2.000000e+00 -; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], %b -; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], %a +; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[FACTOR:%.*]] = fmul fast float [[C:%.*]], 2.000000e+00 +; CHECK-NEXT: [[REASS_ADD1:%.*]] = fadd fast float [[FACTOR]], [[B]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = fmul fast float [[REASS_ADD1]], [[A]] ; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[REASS_MUL]], [[MUL3]] ; CHECK-NEXT: ret float [[ADD3]] ; @@ -21,10 +22,10 @@ define float @foo(float %a,float %b, float %c) { define float @foo_reassoc(float %a,float %b, float %c) { ; CHECK-LABEL: @foo_reassoc( -; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc float %a, %c -; CHECK-NEXT: [[MUL2:%.*]] = fmul fast float %b, %a -; CHECK-NEXT: [[MUL3:%.*]] = fmul float %a, %b -; CHECK-NEXT: [[MUL4:%.*]] = fmul reassoc float %a, %c +; CHECK-NEXT: [[MUL1:%.*]] = fmul reassoc float [[A:%.*]], [[C:%.*]] +; CHECK-NEXT: [[MUL2:%.*]] = fmul fast float [[B:%.*]], [[A]] +; CHECK-NEXT: [[MUL3:%.*]] = fmul float [[A]], [[B]] +; CHECK-NEXT: [[MUL4:%.*]] = fmul reassoc float [[A]], [[C]] ; CHECK-NEXT: [[ADD1:%.*]] = fadd fast float [[MUL1]], [[MUL3]] ; CHECK-NEXT: [[ADD2:%.*]] = fadd reassoc float [[MUL2]], [[MUL4]] ; CHECK-NEXT: [[ADD3:%.*]] = fadd fast float [[ADD1]], [[ADD2]] diff --git a/llvm/test/Transforms/Reassociate/mulfactor.ll b/llvm/test/Transforms/Reassociate/mulfactor.ll index ca0dbcde897..4cbeaad38b5 100644 --- a/llvm/test/Transforms/Reassociate/mulfactor.ll +++ b/llvm/test/Transforms/Reassociate/mulfactor.ll @@ -1,11 +1,12 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -S | FileCheck %s define i32 @test1(i32 %a, i32 %b) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[T2:%.*]] = mul i32 %a, %a -; CHECK-NEXT: [[T6:%.*]] = mul i32 %a, 2 -; CHECK-NEXT: [[REASS_ADD:%.*]] = add i32 [[T6]], %b -; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i32 [[REASS_ADD]], %b +; CHECK-NEXT: [[T2:%.*]] = mul i32 [[A:%.*]], [[A]] +; CHECK-NEXT: [[T6:%.*]] = mul i32 [[A]], 2 +; CHECK-NEXT: [[REASS_ADD:%.*]] = add i32 [[T6]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i32 [[REASS_ADD]], [[B]] ; CHECK-NEXT: [[T11:%.*]] = add i32 [[REASS_MUL]], [[T2]] ; CHECK-NEXT: ret i32 [[T11]] ; @@ -20,7 +21,7 @@ define i32 @test1(i32 %a, i32 %b) { define i32 @test2(i32 %t) { ; CHECK-LABEL: @test2( -; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i32 %t, 42 +; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i32 [[T:%.*]], 42 ; CHECK-NEXT: [[D:%.*]] = add i32 [[REASS_MUL]], 15 ; CHECK-NEXT: ret i32 [[D]] ; @@ -34,7 +35,7 @@ define i32 @test2(i32 %t) { ; (x^8) define i32 @test3(i32 %x) { ; CHECK-LABEL: @test3( -; CHECK-NEXT: [[TMP1:%.*]] = mul i32 %x, %x +; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[X:%.*]], [[X]] ; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], [[TMP1]] ; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], [[TMP2]] ; CHECK-NEXT: ret i32 [[TMP3]] @@ -52,9 +53,9 @@ define i32 @test3(i32 %x) { ; (x^7) define i32 @test4(i32 %x) { ; CHECK-LABEL: @test4( -; CHECK-NEXT: [[TMP1:%.*]] = mul i32 %x, %x -; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], %x -; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], %x +; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[X:%.*]], [[X]] +; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], [[X]] +; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], [[X]] ; CHECK-NEXT: [[F:%.*]] = mul i32 [[TMP3]], [[TMP2]] ; CHECK-NEXT: ret i32 [[F]] ; @@ -70,8 +71,8 @@ define i32 @test4(i32 %x) { ; (x^4) * (y^2) define i32 @test5(i32 %x, i32 %y) { ; CHECK-LABEL: @test5( -; CHECK-NEXT: [[TMP1:%.*]] = mul i32 %x, %x -; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], %y +; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[X:%.*]], [[X]] +; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], [[Y:%.*]] ; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], [[TMP2]] ; CHECK-NEXT: ret i32 [[TMP3]] ; @@ -86,12 +87,12 @@ define i32 @test5(i32 %x, i32 %y) { ; (x^5) * (y^3) * z define i32 @test6(i32 %x, i32 %y, i32 %z) { ; CHECK-LABEL: @test6( -; CHECK-NEXT: [[TMP1:%.*]] = mul i32 %x, %x -; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], %y -; CHECK-NEXT: [[F:%.*]] = mul i32 %y, %x +; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[X:%.*]], [[X]] +; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], [[Y:%.*]] +; CHECK-NEXT: [[F:%.*]] = mul i32 [[Y]], [[X]] ; CHECK-NEXT: [[G:%.*]] = mul i32 [[F]], [[TMP2]] ; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[G]], [[TMP2]] -; CHECK-NEXT: [[H:%.*]] = mul i32 [[TMP3]], %z +; CHECK-NEXT: [[H:%.*]] = mul i32 [[TMP3]], [[Z:%.*]] ; CHECK-NEXT: ret i32 [[H]] ; %a = mul i32 %x, %y @@ -108,10 +109,10 @@ define i32 @test6(i32 %x, i32 %y, i32 %z) { ; (x^4) * (y^3) * (z^2) define i32 @test7(i32 %x, i32 %y, i32 %z) { ; CHECK-LABEL: @test7( -; CHECK-NEXT: [[TMP1:%.*]] = mul i32 %x, %x -; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], %y -; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], %z -; CHECK-NEXT: [[TMP4:%.*]] = mul i32 [[TMP3]], %y +; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[X:%.*]], [[X]] +; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], [[Y:%.*]] +; CHECK-NEXT: [[TMP3:%.*]] = mul i32 [[TMP2]], [[Z:%.*]] +; CHECK-NEXT: [[TMP4:%.*]] = mul i32 [[TMP3]], [[Y]] ; CHECK-NEXT: [[H:%.*]] = mul i32 [[TMP4]], [[TMP3]] ; CHECK-NEXT: ret i32 [[H]] ; diff --git a/llvm/test/Transforms/Reassociate/multistep.ll b/llvm/test/Transforms/Reassociate/multistep.ll index 239ffe08227..35a853d820b 100644 --- a/llvm/test/Transforms/Reassociate/multistep.ll +++ b/llvm/test/Transforms/Reassociate/multistep.ll @@ -1,12 +1,13 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -S | FileCheck %s ; Check that a*a*b+a*a*c is turned into a*(a*(b+c)). define i64 @multistep1(i64 %a, i64 %b, i64 %c) { ; CHECK-LABEL: @multistep1( -; CHECK-NEXT: [[REASS_ADD1:%.*]] = add i64 %c, %b -; CHECK-NEXT: [[REASS_MUL2:%.*]] = mul i64 %a, %a -; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_MUL:%.*]]2, [[REASS_ADD1]] +; CHECK-NEXT: [[REASS_ADD1:%.*]] = add i64 [[C:%.*]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL2:%.*]] = mul i64 [[A:%.*]], [[A]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_MUL2]], [[REASS_ADD1]] ; CHECK-NEXT: ret i64 [[REASS_MUL]] ; %t0 = mul i64 %a, %b @@ -21,9 +22,9 @@ define i64 @multistep1(i64 %a, i64 %b, i64 %c) { define i64 @multistep2(i64 %a, i64 %b, i64 %c, i64 %d) { ; CHECK-LABEL: @multistep2( -; CHECK-NEXT: [[REASS_ADD:%.*]] = add i64 %c, %b -; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_ADD]], %a -; CHECK-NEXT: [[T3:%.*]] = add i64 [[REASS_MUL]], %d +; CHECK-NEXT: [[REASS_ADD:%.*]] = add i64 [[C:%.*]], [[B:%.*]] +; CHECK-NEXT: [[REASS_MUL:%.*]] = mul i64 [[REASS_ADD]], [[A:%.*]] +; CHECK-NEXT: [[T3:%.*]] = add i64 [[REASS_MUL]], [[D:%.*]] ; CHECK-NEXT: ret i64 [[T3]] ; %t0 = mul i64 %a, %b diff --git a/llvm/test/Transforms/Reassociate/no-op.ll b/llvm/test/Transforms/Reassociate/no-op.ll index 7b02df99464..248766d3943 100644 --- a/llvm/test/Transforms/Reassociate/no-op.ll +++ b/llvm/test/Transforms/Reassociate/no-op.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -S | FileCheck %s ; When there is nothing to do, or not much to do, check that reassociate leaves @@ -9,16 +10,19 @@ define void @test1(i32 %a, i32 %b) { ; Shouldn't change or move any of the add instructions. Should commute but ; otherwise not change or move any of the mul instructions. ; CHECK-LABEL: @test1( +; CHECK-NEXT: [[A0:%.*]] = add nsw i32 [[A:%.*]], 1 +; CHECK-NEXT: [[M0:%.*]] = mul nsw i32 [[A]], 3 +; CHECK-NEXT: [[A1:%.*]] = add nsw i32 [[A0]], [[B:%.*]] +; CHECK-NEXT: [[M1:%.*]] = mul nsw i32 [[M0]], [[B]] +; CHECK-NEXT: call void @use(i32 [[A1]]) +; CHECK-NEXT: call void @use(i32 [[M1]]) +; CHECK-NEXT: ret void +; %a0 = add nsw i32 %a, 1 -; CHECK-NEXT: %a0 = add nsw i32 %a, 1 %m0 = mul nsw i32 3, %a -; CHECK-NEXT: %m0 = mul nsw i32 %a, 3 %a1 = add nsw i32 %a0, %b -; CHECK-NEXT: %a1 = add nsw i32 %a0, %b %m1 = mul nsw i32 %b, %m0 -; CHECK-NEXT: %m1 = mul nsw i32 %m0, %b call void @use(i32 %a1) -; CHECK-NEXT: call void @use call void @use(i32 %m1) ret void } @@ -26,13 +30,15 @@ define void @test1(i32 %a, i32 %b) { define void @test2(i32 %a, i32 %b, i32 %c, i32 %d) { ; The initial add doesn't change so should not lose the nsw flag. ; CHECK-LABEL: @test2( +; CHECK-NEXT: [[A0:%.*]] = add nsw i32 [[B:%.*]], [[A:%.*]] +; CHECK-NEXT: [[A1:%.*]] = add i32 [[A0]], [[C:%.*]] +; CHECK-NEXT: [[A2:%.*]] = add i32 [[A1]], [[D:%.*]] +; CHECK-NEXT: call void @use(i32 [[A2]]) +; CHECK-NEXT: ret void +; %a0 = add nsw i32 %b, %a -; CHECK-NEXT: %a0 = add nsw i32 %b, %a %a1 = add nsw i32 %a0, %d -; CHECK-NEXT: %a1 = add i32 %a0, %c %a2 = add nsw i32 %a1, %c -; CHECK-NEXT: %a2 = add i32 %a1, %d call void @use(i32 %a2) -; CHECK-NEXT: call void @use ret void } diff --git a/llvm/test/Transforms/Reassociate/optional-flags.ll b/llvm/test/Transforms/Reassociate/optional-flags.ll index bf599be78bc..00c2d0ac312 100644 --- a/llvm/test/Transforms/Reassociate/optional-flags.ll +++ b/llvm/test/Transforms/Reassociate/optional-flags.ll @@ -1,29 +1,40 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -reassociate < %s | FileCheck %s ; rdar://8944681 ; Reassociate should clear optional flags like nsw when reassociating. -; CHECK-LABEL: @test0( -; CHECK: %y = add i64 %b, %a -; CHECK: %z = add i64 %y, %c define i64 @test0(i64 %a, i64 %b, i64 %c) { +; +; CHECK-LABEL: @test0( +; CHECK-NEXT: [[Y:%.*]] = add i64 [[B:%.*]], [[A:%.*]] +; CHECK-NEXT: [[Z:%.*]] = add i64 [[Y]], [[C:%.*]] +; CHECK-NEXT: ret i64 [[Z]] +; %y = add nsw i64 %c, %b %z = add i64 %y, %a ret i64 %z } -; CHECK-LABEL: @test1( -; CHECK: %y = add i64 %b, %a -; CHECK: %z = add i64 %y, %c define i64 @test1(i64 %a, i64 %b, i64 %c) { +; +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[Y:%.*]] = add i64 [[B:%.*]], [[A:%.*]] +; CHECK-NEXT: [[Z:%.*]] = add i64 [[Y]], [[C:%.*]] +; CHECK-NEXT: ret i64 [[Z]] +; %y = add i64 %c, %b %z = add nsw i64 %y, %a ret i64 %z } ; PR9215 -; CHECK: %s = add nsw i32 %y, %x define i32 @test2(i32 %x, i32 %y) { +; +; CHECK-LABEL: @test2( +; CHECK-NEXT: [[S:%.*]] = add nsw i32 [[Y:%.*]], [[X:%.*]] +; CHECK-NEXT: ret i32 [[S]] +; %s = add nsw i32 %x, %y ret i32 %s } diff --git a/llvm/test/Transforms/Reassociate/propagate-flags.ll b/llvm/test/Transforms/Reassociate/propagate-flags.ll index b6cc9bad540..fe477213c8f 100644 --- a/llvm/test/Transforms/Reassociate/propagate-flags.ll +++ b/llvm/test/Transforms/Reassociate/propagate-flags.ll @@ -1,8 +1,9 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -S | FileCheck %s define double @func(double %a, double %b) { ; CHECK-LABEL: @func( -; CHECK-NEXT: [[TMP1:%.*]] = fmul fast double %b, %a +; CHECK-NEXT: [[TMP1:%.*]] = fmul fast double [[B:%.*]], [[A:%.*]] ; CHECK-NEXT: [[TMP2:%.*]] = fmul fast double [[TMP1]], [[TMP1]] ; CHECK-NEXT: ret double [[TMP2]] ; diff --git a/llvm/test/Transforms/Reassociate/shift-factor.ll b/llvm/test/Transforms/Reassociate/shift-factor.ll index 4b102b07d5e..d4ccf138f4f 100644 --- a/llvm/test/Transforms/Reassociate/shift-factor.ll +++ b/llvm/test/Transforms/Reassociate/shift-factor.ll @@ -1,10 +1,11 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s ; There should be exactly one shift and one add left. define i32 @test1(i32 %X, i32 %Y) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[REASS_ADD:%.*]] = add i32 %Y, %X +; CHECK-NEXT: [[REASS_ADD:%.*]] = add i32 [[Y:%.*]], [[X:%.*]] ; CHECK-NEXT: [[REASS_MUL:%.*]] = shl i32 [[REASS_ADD]], 1 ; CHECK-NEXT: ret i32 [[REASS_MUL]] ; diff --git a/llvm/test/Transforms/Reassociate/vaarg_movable.ll b/llvm/test/Transforms/Reassociate/vaarg_movable.ll index be4fe121fae..625597ddca3 100644 --- a/llvm/test/Transforms/Reassociate/vaarg_movable.ll +++ b/llvm/test/Transforms/Reassociate/vaarg_movable.ll @@ -1,18 +1,25 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -reassociate -die < %s | FileCheck %s ; The two va_arg instructions depend on the memory/context, are therfore not ; identical and the sub should not be optimized to 0 by reassociate. ; -; CHECK-LABEL: @func( ; ... -; CHECK: %v0 = va_arg i8** %varargs, i32 -; CHECK: %v1 = va_arg i8** %varargs, i32 -; CHECK: %v0.neg = sub i32 0, %v0 -; CHECK: %sub = add i32 %v0.neg, 1 -; CHECK: %add = add i32 %sub, %v1 ; ... -; CHECK: ret i32 %add define i32 @func(i32 %dummy, ...) { +; +; CHECK-LABEL: @func( +; CHECK-NEXT: [[VARARGS:%.*]] = alloca i8*, align 8 +; CHECK-NEXT: [[VARARGS1:%.*]] = bitcast i8** [[VARARGS]] to i8* +; CHECK-NEXT: call void @llvm.va_start(i8* [[VARARGS1]]) +; CHECK-NEXT: [[V0:%.*]] = va_arg i8** [[VARARGS]], i32 +; CHECK-NEXT: [[V1:%.*]] = va_arg i8** [[VARARGS]], i32 +; CHECK-NEXT: [[V0_NEG:%.*]] = sub i32 0, [[V0]] +; CHECK-NEXT: [[SUB:%.*]] = add i32 [[V0_NEG]], 1 +; CHECK-NEXT: [[ADD:%.*]] = add i32 [[SUB]], [[V1]] +; CHECK-NEXT: call void @llvm.va_end(i8* [[VARARGS1]]) +; CHECK-NEXT: ret i32 [[ADD]] +; %varargs = alloca i8*, align 8 %varargs1 = bitcast i8** %varargs to i8* call void @llvm.va_start(i8* %varargs1) diff --git a/llvm/test/Transforms/Reassociate/wrap-flags.ll b/llvm/test/Transforms/Reassociate/wrap-flags.ll index f56719d32c2..893379bc5e7 100644 --- a/llvm/test/Transforms/Reassociate/wrap-flags.ll +++ b/llvm/test/Transforms/Reassociate/wrap-flags.ll @@ -1,44 +1,59 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -reassociate -dce -S | FileCheck %s ; PR12985 ; Verify the nsw flags are preserved when converting shl to mul. -; CHECK-LABEL: @shl_to_mul_nsw( -; CHECK: %mul = mul i32 %i, -2147483648 -; CHECK: add i32 %mul, 1 define i32 @shl_to_mul_nsw(i32 %i) { +; +; CHECK-LABEL: @shl_to_mul_nsw( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[MUL:%.*]] = mul i32 [[I:%.*]], -2147483648 +; CHECK-NEXT: [[MUL2:%.*]] = add i32 [[MUL]], 1 +; CHECK-NEXT: ret i32 [[MUL2]] +; entry: %mul = shl nsw i32 %i, 31 %mul2 = add i32 %mul, 1 ret i32 %mul2 } -; CHECK-LABEL: @shl_to_mul_nuw( -; CHECK: %mul = mul nuw i32 %i, 4 -; CHECK: add i32 %mul, 1 define i32 @shl_to_mul_nuw(i32 %i) { +; +; CHECK-LABEL: @shl_to_mul_nuw( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[MUL:%.*]] = mul nuw i32 [[I:%.*]], 4 +; CHECK-NEXT: [[MUL2:%.*]] = add i32 [[MUL]], 1 +; CHECK-NEXT: ret i32 [[MUL2]] +; entry: %mul = shl nuw i32 %i, 2 %mul2 = add i32 %mul, 1 ret i32 %mul2 } -; CHECK-LABEL: @shl_to_mul_nuw_nsw( -; CHECK: %mul = mul nuw nsw i32 %i, 4 -; CHECK: add i32 %mul, 1 define i32 @shl_to_mul_nuw_nsw(i32 %i) { +; +; CHECK-LABEL: @shl_to_mul_nuw_nsw( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[MUL:%.*]] = mul nuw nsw i32 [[I:%.*]], 4 +; CHECK-NEXT: [[MUL2:%.*]] = add i32 [[MUL]], 1 +; CHECK-NEXT: ret i32 [[MUL2]] +; entry: %mul = shl nuw nsw i32 %i, 2 %mul2 = add i32 %mul, 1 ret i32 %mul2 } -; CHECK-LABEL: @pr23926( -; CHECK: %[[X1_neg:.*]] = sub i2 0, %X1 -; CHECK-NEXT: %[[sub_one:.*]] = add i2 %[[X1_neg]], -1 -; CHECK-NEXT: %[[add:.*]] = add i2 %[[sub_one]], %X2 -; CHECK-NEXT: ret i2 %[[add]] define i2 @pr23926(i2 %X1, i2 %X2) { +; +; CHECK-LABEL: @pr23926( +; CHECK-NEXT: [[X1_NEG:%.*]] = sub i2 0, [[X1:%.*]] +; CHECK-NEXT: [[ADD_NEG:%.*]] = add i2 [[X1_NEG]], -1 +; CHECK-NEXT: [[SUB:%.*]] = add i2 [[ADD_NEG]], [[X2:%.*]] +; CHECK-NEXT: ret i2 [[SUB]] +; %add = add nuw i2 %X1, 1 %sub = sub nuw nsw i2 %X2, %add ret i2 %sub diff --git a/llvm/test/Transforms/Reassociate/xor_reassoc.ll b/llvm/test/Transforms/Reassociate/xor_reassoc.ll index 4d617ea0310..81b0311bd7f 100644 --- a/llvm/test/Transforms/Reassociate/xor_reassoc.ll +++ b/llvm/test/Transforms/Reassociate/xor_reassoc.ll @@ -1,243 +1,275 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ;RUN: opt -S -reassociate < %s | FileCheck %s ; ========================================================================== ; ; Xor reassociation general cases -; +; ; ========================================================================== ; (x | c1) ^ (x | c2) => (x & c3) ^ c3, where c3 = c1^c2 -; +; define i32 @xor1(i32 %x) { +; CHECK-LABEL: @xor1( +; CHECK-NEXT: [[AND_RA:%.*]] = and i32 [[X:%.*]], 435 +; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[AND_RA]], 435 +; CHECK-NEXT: ret i32 [[XOR]] +; %or = or i32 %x, 123 %or1 = or i32 %x, 456 %xor = xor i32 %or, %or1 ret i32 %xor - -;CHECK-LABEL: @xor1( -;CHECK: %and.ra = and i32 %x, 435 -;CHECK: %xor = xor i32 %and.ra, 435 } ; (x | c1) ^ (x | c2) => (x & c3) ^ c3, where c3 = c1^c2 -; +; define <2 x i32> @xor1_vec(<2 x i32> %x) { +; CHECK-LABEL: @xor1_vec( +; CHECK-NEXT: [[AND_RA:%.*]] = and <2 x i32> [[X:%.*]], <i32 435, i32 435> +; CHECK-NEXT: [[XOR:%.*]] = xor <2 x i32> [[AND_RA]], <i32 435, i32 435> +; CHECK-NEXT: ret <2 x i32> [[XOR]] +; %or = or <2 x i32> %x, <i32 123, i32 123> %or1 = or <2 x i32> %x, <i32 456, i32 456> %xor = xor <2 x i32> %or, %or1 ret <2 x i32> %xor - -;CHECK-LABEL: @xor1_vec( -;CHECK: %and.ra = and <2 x i32> %x, <i32 435, i32 435> -;CHECK: %xor = xor <2 x i32> %and.ra, <i32 435, i32 435> } ; Test rule : (x & c1) ^ (x & c2) = (x & (c1^c2)) ; Real testing case : (x & 123) ^ y ^ (x & 345) => (x & 435) ^ y define i32 @xor2(i32 %x, i32 %y) { +; CHECK-LABEL: @xor2( +; CHECK-NEXT: [[AND_RA:%.*]] = and i32 [[X:%.*]], 435 +; CHECK-NEXT: [[XOR2:%.*]] = xor i32 [[AND_RA]], [[Y:%.*]] +; CHECK-NEXT: ret i32 [[XOR2]] +; %and = and i32 %x, 123 %xor = xor i32 %and, %y %and1 = and i32 %x, 456 %xor2 = xor i32 %xor, %and1 ret i32 %xor2 - -;CHECK-LABEL: @xor2( -;CHECK: %and.ra = and i32 %x, 435 -;CHECK: %xor2 = xor i32 %and.ra, %y } ; Test rule : (x & c1) ^ (x & c2) = (x & (c1^c2)) ; Real testing case : (x & 123) ^ y ^ (x & 345) => (x & 435) ^ y define <2 x i32> @xor2_vec(<2 x i32> %x, <2 x i32> %y) { +; CHECK-LABEL: @xor2_vec( +; CHECK-NEXT: [[AND_RA:%.*]] = and <2 x i32> [[X:%.*]], <i32 435, i32 435> +; CHECK-NEXT: [[XOR2:%.*]] = xor <2 x i32> [[AND_RA]], [[Y:%.*]] +; CHECK-NEXT: ret <2 x i32> [[XOR2]] +; %and = and <2 x i32> %x, <i32 123, i32 123> %xor = xor <2 x i32> %and, %y %and1 = and <2 x i32> %x, <i32 456, i32 456> %xor2 = xor <2 x i32> %xor, %and1 ret <2 x i32> %xor2 - -;CHECK-LABEL: @xor2_vec( -;CHECK: %and.ra = and <2 x i32> %x, <i32 435, i32 435> -;CHECK: %xor2 = xor <2 x i32> %and.ra, %y } ; Test rule: (x | c1) ^ (x & c2) = (x & c3) ^ c1, where c3 = ~c1 ^ c2 ; c3 = ~c1 ^ c2 define i32 @xor3(i32 %x, i32 %y) { +; CHECK-LABEL: @xor3( +; CHECK-NEXT: [[AND_RA:%.*]] = and i32 [[X:%.*]], -436 +; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[Y:%.*]], 123 +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[XOR]], [[AND_RA]] +; CHECK-NEXT: ret i32 [[XOR1]] +; %or = or i32 %x, 123 %xor = xor i32 %or, %y %and = and i32 %x, 456 %xor1 = xor i32 %xor, %and ret i32 %xor1 - -;CHECK-LABEL: @xor3( -;CHECK: %and.ra = and i32 %x, -436 -;CHECK: %xor = xor i32 %y, 123 -;CHECK: %xor1 = xor i32 %xor, %and.ra } ; Test rule: (x | c1) ^ (x & c2) = (x & c3) ^ c1, where c3 = ~c1 ^ c2 ; c3 = ~c1 ^ c2 define <2 x i32> @xor3_vec(<2 x i32> %x, <2 x i32> %y) { +; CHECK-LABEL: @xor3_vec( +; CHECK-NEXT: [[AND_RA:%.*]] = and <2 x i32> [[X:%.*]], <i32 -436, i32 -436> +; CHECK-NEXT: [[XOR:%.*]] = xor <2 x i32> [[Y:%.*]], <i32 123, i32 123> +; CHECK-NEXT: [[XOR1:%.*]] = xor <2 x i32> [[XOR]], [[AND_RA]] +; CHECK-NEXT: ret <2 x i32> [[XOR1]] +; %or = or <2 x i32> %x, <i32 123, i32 123> %xor = xor <2 x i32> %or, %y %and = and <2 x i32> %x, <i32 456, i32 456> %xor1 = xor <2 x i32> %xor, %and ret <2 x i32> %xor1 - -;CHECK-LABEL: @xor3_vec( -;CHECK: %and.ra = and <2 x i32> %x, <i32 -436, i32 -436> -;CHECK: %xor = xor <2 x i32> %y, <i32 123, i32 123> -;CHECK: %xor1 = xor <2 x i32> %xor, %and.ra } ; Test rule: (x | c1) ^ c2 = (x & ~c1) ^ (c1 ^ c2) define i32 @xor4(i32 %x, i32 %y) { +; CHECK-LABEL: @xor4( +; CHECK-NEXT: [[AND:%.*]] = and i32 [[X:%.*]], -124 +; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[Y:%.*]], 435 +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[XOR]], [[AND]] +; CHECK-NEXT: ret i32 [[XOR1]] +; %and = and i32 %x, -124 %xor = xor i32 %y, 435 %xor1 = xor i32 %xor, %and ret i32 %xor1 -; CHECK-LABEL: @xor4( -; CHECK: %and = and i32 %x, -124 -; CHECK: %xor = xor i32 %y, 435 -; CHECK: %xor1 = xor i32 %xor, %and } ; Test rule: (x | c1) ^ c2 = (x & ~c1) ^ (c1 ^ c2) define <2 x i32> @xor4_vec(<2 x i32> %x, <2 x i32> %y) { +; CHECK-LABEL: @xor4_vec( +; CHECK-NEXT: [[AND:%.*]] = and <2 x i32> [[X:%.*]], <i32 -124, i32 -124> +; CHECK-NEXT: [[XOR:%.*]] = xor <2 x i32> [[Y:%.*]], <i32 435, i32 435> +; CHECK-NEXT: [[XOR1:%.*]] = xor <2 x i32> [[XOR]], [[AND]] +; CHECK-NEXT: ret <2 x i32> [[XOR1]] +; %and = and <2 x i32> %x, <i32 -124, i32 -124> %xor = xor <2 x i32> %y, <i32 435, i32 435> %xor1 = xor <2 x i32> %xor, %and ret <2 x i32> %xor1 -; CHECK-LABEL: @xor4_vec( -; CHECK: %and = and <2 x i32> %x, <i32 -124, i32 -124> -; CHECK: %xor = xor <2 x i32> %y, <i32 435, i32 435> -; CHECK: %xor1 = xor <2 x i32> %xor, %and } ; ========================================================================== ; ; Xor reassociation special cases -; +; ; ========================================================================== -; Special case1: +; Special case1: ; (x | c1) ^ (x & ~c1) = c1 define i32 @xor_special1(i32 %x, i32 %y) { +; CHECK-LABEL: @xor_special1( +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[Y:%.*]], 123 +; CHECK-NEXT: ret i32 [[XOR1]] +; %or = or i32 %x, 123 %xor = xor i32 %or, %y %and = and i32 %x, -124 %xor1 = xor i32 %xor, %and ret i32 %xor1 -; CHECK-LABEL: @xor_special1( -; CHECK: %xor1 = xor i32 %y, 123 -; CHECK: ret i32 %xor1 } -; Special case1: +; Special case1: ; (x | c1) ^ (x & ~c1) = c1 define <2 x i32> @xor_special1_vec(<2 x i32> %x, <2 x i32> %y) { +; CHECK-LABEL: @xor_special1_vec( +; CHECK-NEXT: [[XOR1:%.*]] = xor <2 x i32> [[Y:%.*]], <i32 123, i32 123> +; CHECK-NEXT: ret <2 x i32> [[XOR1]] +; %or = or <2 x i32> %x, <i32 123, i32 123> %xor = xor <2 x i32> %or, %y %and = and <2 x i32> %x, <i32 -124, i32 -124> %xor1 = xor <2 x i32> %xor, %and ret <2 x i32> %xor1 -; CHECK-LABEL: @xor_special1_vec( -; CHECK: %xor1 = xor <2 x i32> %y, <i32 123, i32 123> -; CHECK: ret <2 x i32> %xor1 } -; Special case1: +; Special case1: ; (x | c1) ^ (x & c1) = x ^ c1 define i32 @xor_special2(i32 %x, i32 %y) { +; CHECK-LABEL: @xor_special2( +; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[X:%.*]], 123 +; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[XOR]], [[Y:%.*]] +; CHECK-NEXT: ret i32 [[XOR1]] +; %or = or i32 %x, 123 %xor = xor i32 %or, %y %and = and i32 %x, 123 %xor1 = xor i32 %xor, %and ret i32 %xor1 -; CHECK-LABEL: @xor_special2( -; CHECK: %xor = xor i32 %x, 123 -; CHECK: %xor1 = xor i32 %xor, %y -; CHECK: ret i32 %xor1 } -; Special case1: +; Special case1: ; (x | c1) ^ (x & c1) = x ^ c1 define <2 x i32> @xor_special2_vec(<2 x i32> %x, <2 x i32> %y) { +; CHECK-LABEL: @xor_special2_vec( +; CHECK-NEXT: [[XOR:%.*]] = xor <2 x i32> [[X:%.*]], <i32 123, i32 123> +; CHECK-NEXT: [[XOR1:%.*]] = xor <2 x i32> [[XOR]], [[Y:%.*]] +; CHECK-NEXT: ret <2 x i32> [[XOR1]] +; %or = or <2 x i32> %x, <i32 123, i32 123> %xor = xor <2 x i32> %or, %y %and = and <2 x i32> %x, <i32 123, i32 123> %xor1 = xor <2 x i32> %xor, %and ret <2 x i32> %xor1 -; CHECK-LABEL: @xor_special2_vec( -; CHECK: %xor = xor <2 x i32> %x, <i32 123, i32 123> -; CHECK: %xor1 = xor <2 x i32> %xor, %y -; CHECK: ret <2 x i32> %xor1 } ; (x | c1) ^ (x | c1) => 0 define i32 @xor_special3(i32 %x) { +; CHECK-LABEL: @xor_special3( +; CHECK-NEXT: ret i32 0 +; %or = or i32 %x, 123 %or1 = or i32 %x, 123 %xor = xor i32 %or, %or1 ret i32 %xor -;CHECK-LABEL: @xor_special3( -;CHECK: ret i32 0 } ; (x | c1) ^ (x | c1) => 0 define <2 x i32> @xor_special3_vec(<2 x i32> %x) { +; CHECK-LABEL: @xor_special3_vec( +; CHECK-NEXT: ret <2 x i32> zeroinitializer +; %or = or <2 x i32> %x, <i32 123, i32 123> %or1 = or <2 x i32> %x, <i32 123, i32 123> %xor = xor <2 x i32> %or, %or1 ret <2 x i32> %xor -;CHECK-LABEL: @xor_special3_vec( -;CHECK: ret <2 x i32> zeroinitializer } ; (x & c1) ^ (x & c1) => 0 define i32 @xor_special4(i32 %x) { +; CHECK-LABEL: @xor_special4( +; CHECK-NEXT: ret i32 0 +; %or = and i32 %x, 123 %or1 = and i32 123, %x %xor = xor i32 %or, %or1 ret i32 %xor -;CHECK-LABEL: @xor_special4( -;CHECK: ret i32 0 } ; (x & c1) ^ (x & c1) => 0 define <2 x i32> @xor_special4_vec(<2 x i32> %x) { +; CHECK-LABEL: @xor_special4_vec( +; CHECK-NEXT: ret <2 x i32> zeroinitializer +; %or = and <2 x i32> %x, <i32 123, i32 123> %or1 = and <2 x i32> <i32 123, i32 123>, %x %xor = xor <2 x i32> %or, %or1 ret <2 x i32> %xor -;CHECK-LABEL: @xor_special4_vec( -;CHECK: ret <2 x i32> zeroinitializer } ; ========================================================================== ; ; Xor reassociation curtail code size -; +; ; ========================================================================== ; (x | c1) ^ (x | c2) => (x & c3) ^ c3 ; is enabled if one of operands has multiple uses -; +; define i32 @xor_ra_size1(i32 %x) { +; CHECK-LABEL: @xor_ra_size1( +; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], 123 +; CHECK-NEXT: [[AND_RA:%.*]] = and i32 [[X]], 435 +; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[AND_RA]], 435 +; CHECK-NEXT: [[ADD:%.*]] = add i32 [[XOR]], [[OR]] +; CHECK-NEXT: ret i32 [[ADD]] +; %or = or i32 %x, 123 %or1 = or i32 %x, 456 %xor = xor i32 %or, %or1 %add = add i32 %xor, %or ret i32 %add -;CHECK-LABEL: @xor_ra_size1( -;CHECK: %xor = xor i32 %and.ra, 435 } ; (x | c1) ^ (x | c2) => (x & c3) ^ c3 ; is disenabled if bothf operands has multiple uses. -; +; define i32 @xor_ra_size2(i32 %x) { +; CHECK-LABEL: @xor_ra_size2( +; CHECK-NEXT: [[OR:%.*]] = or i32 [[X:%.*]], 123 +; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X]], 456 +; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[OR]], [[OR1]] +; CHECK-NEXT: [[ADD:%.*]] = add i32 [[OR1]], [[OR]] +; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[ADD]], [[XOR]] +; CHECK-NEXT: ret i32 [[ADD2]] +; %or = or i32 %x, 123 %or1 = or i32 %x, 456 %xor = xor i32 %or, %or1 @@ -246,20 +278,22 @@ define i32 @xor_ra_size2(i32 %x) { %add2 = add i32 %add, %or1 ret i32 %add2 -;CHECK-LABEL: @xor_ra_size2( -;CHECK: %or1 = or i32 %x, 456 -;CHECK: %xor = xor i32 %or, %or1 } ; ========================================================================== ; ; Xor reassociation bugs -; +; ; ========================================================================== @xor_bug1_data = external global <{}>, align 4 define void @xor_bug1() { +; CHECK-LABEL: @xor_bug1( +; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint i32* undef to i64 +; CHECK-NEXT: [[TMP2:%.*]] = xor i64 [[TMP1]], ptrtoint (<{}>* @xor_bug1_data to i64) +; CHECK-NEXT: ret void +; %1 = ptrtoint i32* undef to i64 %2 = xor i64 %1, ptrtoint (<{}>* @xor_bug1_data to i64) %3 = and i64 undef, %2 @@ -272,6 +306,22 @@ define void @xor_bug1() { ; of c1 and c2 accordingly, hence cause the problem. ; define i32 @xor_bug2(i32, i32, i32, i32) { +; CHECK-LABEL: @xor_bug2( +; CHECK-NEXT: [[TMP5:%.*]] = mul i32 [[TMP0:%.*]], 123 +; CHECK-NEXT: [[TMP6:%.*]] = and i32 [[TMP1:%.*]], 3456789 +; CHECK-NEXT: [[TMP7:%.*]] = or i32 [[TMP6]], 4567890 +; CHECK-NEXT: [[TMP8:%.*]] = and i32 [[TMP2:%.*]], 255 +; CHECK-NEXT: [[AND_RA:%.*]] = and i32 [[TMP1]], -360490541 +; CHECK-NEXT: [[TMP9:%.*]] = xor i32 [[TMP5]], 891034567 +; CHECK-NEXT: [[TMP10:%.*]] = xor i32 [[TMP9]], [[AND_RA]] +; CHECK-NEXT: [[TMP11:%.*]] = xor i32 [[TMP10]], [[TMP7]] +; CHECK-NEXT: [[TMP12:%.*]] = and i32 [[TMP3:%.*]], 255 +; CHECK-NEXT: [[TMP13:%.*]] = add i32 [[TMP1]], 32 +; CHECK-NEXT: [[TMP14:%.*]] = add i32 [[TMP13]], [[TMP2]] +; CHECK-NEXT: [[TMP15:%.*]] = add i32 [[TMP14]], [[TMP8]] +; CHECK-NEXT: [[TMP16:%.*]] = add i32 [[TMP15]], [[TMP11]] +; CHECK-NEXT: ret i32 [[TMP16]] +; %5 = mul i32 %0, 123 %6 = add i32 %2, 24 %7 = add i32 %1, 8 @@ -289,6 +339,4 @@ define i32 @xor_bug2(i32, i32, i32, i32) { %19 = add i32 %18, %12 %20 = add i32 %19, %15 ret i32 %20 -;CHECK-LABEL: @xor_bug2( -;CHECK: xor i32 %5, 891034567 } |
