[llvm] r317806 - [Reassociate] regenerate test checks; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Nov 9 08:30:19 PST 2017
Author: spatel
Date: Thu Nov 9 08:30:19 2017
New Revision: 317806
URL: http://llvm.org/viewvc/llvm-project?rev=317806&view=rev
Log:
[Reassociate] regenerate test checks; NFC
Modified:
llvm/trunk/test/Transforms/Reassociate/canonicalize-neg-const.ll
Modified: llvm/trunk/test/Transforms/Reassociate/canonicalize-neg-const.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Reassociate/canonicalize-neg-const.ll?rev=317806&r1=317805&r2=317806&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/Reassociate/canonicalize-neg-const.ll (original)
+++ llvm/trunk/test/Transforms/Reassociate/canonicalize-neg-const.ll Thu Nov 9 08:30:19 2017
@@ -2,13 +2,13 @@
; (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: fmul double %y, 1.234000e-01
-; CHECK-NEXT: fadd double %x, %mul
-; CHECK-NEXT: fsub double %x, %mul
-; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
-; CHECK-NEXT: ret double %mul
-
+; 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: [[MUL3:%.*]] = fmul double [[ADD]], [[ADD21]]
+; CHECK-NEXT: ret double [[MUL3]]
+;
%mul = fmul double 1.234000e-01, %y
%add = fadd double %mul, %x
%mul1 = fmul double -1.234000e-01, %y
@@ -19,12 +19,12 @@ define double @test1(double %x, double %
; (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: fmul double %y, 1.234000e-01
-; CHECK-NEXT: fsub double %x, %mul
-; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
-; CHECK-NEXT: ret double %mul
-
+; CHECK-LABEL: @test2(
+; 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]]
+;
%mul = fmul double %y, -1.234000e-01
%add = fadd double %mul, %x
%mul1 = fmul double %y, -1.234000e-01
@@ -35,12 +35,12 @@ define double @test2(double %x, double %
; (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: fmul double %y, 1.234000e-01
-; CHECK-NEXT: fadd double %x, %mul
-; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
-; CHECK-NEXT: ret double
-
+; CHECK-LABEL: @test3(
+; 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]]
+;
%mul = fmul double %y, 1.234000e-01
%add = fadd double %mul, %x
%mul1 = fmul double %y, -1.234000e-01
@@ -51,11 +51,11 @@ define double @test3(double %x, double %
; Canonicalize (x - -0.1234 * y)
define double @test5(double %x, double %y) {
-; CHECK-LABEL: @test5
-; CHECK-NEXT: fmul double %y, 1.234000e-01
-; CHECK-NEXT: fadd double %x, %mul
-; CHECK-NEXT: ret double
-
+; CHECK-LABEL: @test5(
+; 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
%sub = fsub double %x, %mul
ret double %sub
@@ -63,11 +63,11 @@ define double @test5(double %x, double %
; Don't modify (-0.1234 * y - x)
define double @test6(double %x, double %y) {
-; CHECK-LABEL: @test6
-; CHECK-NEXT: fmul double %y, -1.234000e-01
-; CHECK-NEXT: fsub double %mul, %x
-; CHECK-NEXT: ret double %sub
-
+; CHECK-LABEL: @test6(
+; 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
%sub = fsub double %mul, %x
ret double %sub
@@ -75,11 +75,11 @@ define double @test6(double %x, double %
; Canonicalize (-0.1234 * y + x) -> (x - 0.1234 * y)
define double @test7(double %x, double %y) {
-; CHECK-LABEL: @test7
-; CHECK-NEXT: fmul double %y, 1.234000e-01
-; CHECK-NEXT: fsub double %x, %mul
-; CHECK-NEXT: ret double %add
-
+; CHECK-LABEL: @test7(
+; 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
%add = fadd double %mul, %x
ret double %add
@@ -87,11 +87,11 @@ define double @test7(double %x, double %
; Canonicalize (y * -0.1234 + x) -> (x - 0.1234 * y)
define double @test8(double %x, double %y) {
-; CHECK-LABEL: @test8
-; CHECK-NEXT: fmul double %y, 1.234000e-01
-; CHECK-NEXT: fsub double %x, %mul
-; CHECK-NEXT: ret double %add
-
+; CHECK-LABEL: @test8(
+; 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
%add = fadd double %mul, %x
ret double %add
@@ -99,11 +99,11 @@ define double @test8(double %x, double %
; Canonicalize (x - -0.1234 / y)
define double @test9(double %x, double %y) {
-; CHECK-LABEL: @test9
-; CHECK-NEXT: fdiv double 1.234000e-01, %y
-; CHECK-NEXT: fadd double %x, %div
-; CHECK-NEXT: ret double
-
+; CHECK-LABEL: @test9(
+; 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
%sub = fsub double %x, %div
ret double %sub
@@ -111,11 +111,11 @@ define double @test9(double %x, double %
; Don't modify (-0.1234 / y - x)
define double @test10(double %x, double %y) {
-; CHECK-LABEL: @test10
-; CHECK-NEXT: fdiv double -1.234000e-01, %y
-; CHECK-NEXT: fsub double %div, %x
-; CHECK-NEXT: ret double %sub
-
+; CHECK-LABEL: @test10(
+; 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
%sub = fsub double %div, %x
ret double %sub
@@ -123,11 +123,11 @@ define double @test10(double %x, double
; Canonicalize (-0.1234 / y + x) -> (x - 0.1234 / y)
define double @test11(double %x, double %y) {
-; CHECK-LABEL: @test11
-; CHECK-NEXT: fdiv double 1.234000e-01, %y
-; CHECK-NEXT: fsub double %x, %div
-; CHECK-NEXT: ret double %add
-
+; CHECK-LABEL: @test11(
+; 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
%add = fadd double %div, %x
ret double %add
@@ -135,11 +135,11 @@ define double @test11(double %x, double
; Canonicalize (y / -0.1234 + x) -> (x - y / 0.1234)
define double @test12(double %x, double %y) {
-; CHECK-LABEL: @test12
-; CHECK-NEXT: fdiv double %y, 1.234000e-01
-; CHECK-NEXT: fsub double %x, %div
-; CHECK-NEXT: ret double %add
-
+; CHECK-LABEL: @test12(
+; 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
%add = fadd double %div, %x
ret double %add
@@ -147,9 +147,11 @@ define double @test12(double %x, double
; Don't create an NSW violation
define i4 @test13(i4 %x) {
-; CHECK-LABEL: @test13
-; CHECK-NEXT: %[[mul:.*]] = mul nsw i4 %x, -2
-; CHECK-NEXT: %[[add:.*]] = add i4 %[[mul]], 3
+; CHECK-LABEL: @test13(
+; CHECK-NEXT: [[MUL:%.*]] = mul nsw i4 %x, -2
+; CHECK-NEXT: [[ADD:%.*]] = add i4 [[MUL]], 3
+; CHECK-NEXT: ret i4 [[ADD]]
+;
%mul = mul nsw i4 %x, -2
%add = add i4 %mul, 3
ret i4 %add
@@ -164,11 +166,16 @@ define i4 @test13(i4 %x) {
; Check to make sure we don't canonicalize
; (%pow2*-5.0 + %sub) -> (%sub - %pow2*5.0)
; as we would later break up this subtract causing a cycle.
-;
-; CHECK-LABEL: @pr34078
-; CHECK: %mul5.neg = fmul fast double %pow2, -5.000000e-01
-; CHECK: %sub1 = fadd fast double %mul5.neg, %sub
+
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: [[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
+; CHECK-NEXT: ret double [[FACTOR]]
+;
%sub = fsub fast double 1.000000e+00, %A
%pow2 = fmul double %A, %A
%mul5 = fmul fast double %pow2, 5.000000e-01
More information about the llvm-commits
mailing list