diff options
Diffstat (limited to 'llvm/test/Transforms/Reassociate/canonicalize-neg-const.ll')
| -rw-r--r-- | llvm/test/Transforms/Reassociate/canonicalize-neg-const.ll | 53 |
1 files changed, 27 insertions, 26 deletions
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 |
