[llvm] r364232 - [NFC][Reassociate] Add unary FNeg tests to fast-ReassociateVector.ll

[Cameron McInally via llvm-commits]

Author: mcinally
Date: Mon Jun 24 14:36:09 2019
New Revision: 364232

URL: http://llvm.org/viewvc/llvm-project?rev=364232&view=rev
Log:
[NFC][Reassociate] Add unary FNeg tests to fast-ReassociateVector.ll

Modified:
    llvm/trunk/test/Transforms/Reassociate/fast-ReassociateVector.ll

Modified: llvm/trunk/test/Transforms/Reassociate/fast-ReassociateVector.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Reassociate/fast-ReassociateVector.ll?rev=364232&r1=364231&r2=364232&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/Reassociate/fast-ReassociateVector.ll (original)
+++ llvm/trunk/test/Transforms/Reassociate/fast-ReassociateVector.ll Mon Jun 24 14:36:09 2019
@@ -232,6 +232,19 @@ define <2 x double> @test9(<2 x double>
   ret <2 x double> %4
 }
 
+define <2 x double> @test9_unary_fneg(<2 x double> %b, <2 x double> %a) {
+; CHECK-LABEL: @test9_unary_fneg(
+; CHECK-NEXT:    [[TMP1:%.*]] = fneg fast <2 x double> [[A:%.*]]
+; CHECK-NEXT:    [[TMP2:%.*]] = fadd fast <2 x double> [[B:%.*]], <double 1.234000e+03, double 1.234000e+03>
+; CHECK-NEXT:    ret <2 x double> [[TMP2]]
+;
+  %1 = fadd fast <2 x double> %a, <double 1.234000e+03, double 1.234000e+03>
+  %2 = fadd fast <2 x double> %b, %1
+  %3 = fneg fast <2 x double> %a
+  %4 = fadd fast <2 x double> %2, %3
+  ret <2 x double> %4
+}
+
 ; Check (b+(a+1234))+-a -> b+1234 - minimum FMF subset version
 
 define <2 x double> @test9_reassoc(<2 x double> %b, <2 x double> %a) {
@@ -249,6 +262,21 @@ define <2 x double> @test9_reassoc(<2 x
   ret <2 x double> %4
 }
 
+define <2 x double> @test9_reassoc_unary_fneg(<2 x double> %b, <2 x double> %a) {
+; CHECK-LABEL: @test9_reassoc_unary_fneg(
+; CHECK-NEXT:    [[TMP1:%.*]] = fadd reassoc <2 x double> [[A:%.*]], <double 1.234000e+03, double 1.234000e+03>
+; CHECK-NEXT:    [[TMP2:%.*]] = fadd reassoc <2 x double> [[B:%.*]], [[TMP1]]
+; CHECK-NEXT:    [[TMP3:%.*]] = fneg reassoc <2 x double> [[A]]
+; CHECK-NEXT:    [[TMP4:%.*]] = fadd reassoc <2 x double> [[TMP3]], [[TMP2]]
+; CHECK-NEXT:    ret <2 x double> [[TMP4]]
+;
+  %1 = fadd reassoc <2 x double> %a, <double 1.234000e+03, double 1.234000e+03>
+  %2 = fadd reassoc <2 x double> %b, %1
+  %3 = fneg reassoc <2 x double> %a
+  %4 = fadd reassoc <2 x double> %2, %3
+  ret <2 x double> %4
+}
+
 ; Check -(-(z*40)*a) -> a*40*z.
 
 define <2 x float> @test10(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
@@ -265,6 +293,20 @@ define <2 x float> @test10(<2 x float> %
   ret <2 x float> %f
 }
 
+define <2 x float> @test10_unary_fneg(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
+; CHECK-LABEL: @test10_unary_fneg(
+; CHECK-NEXT:    [[TMP1:%.*]] = fneg fast <2 x float> zeroinitializer
+; CHECK-NEXT:    [[E:%.*]] = fmul fast <2 x float> [[A:%.*]], <float 4.000000e+01, float 4.000000e+01>
+; CHECK-NEXT:    [[F:%.*]] = fmul fast <2 x float> [[E]], [[Z:%.*]]
+; CHECK-NEXT:    ret <2 x float> [[F]]
+;
+  %d = fmul fast <2 x float> %z, <float 4.000000e+01, float 4.000000e+01>
+  %c = fneg fast <2 x float> %d
+  %e = fmul fast <2 x float> %a, %c
+  %f = fneg fast <2 x float> %e
+  ret <2 x float> %f
+}
+
 ; Check -(-(z*40)*a) -> a*40*z - minimum FMF subset version
 
 define <2 x float> @test10_reassoc(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
@@ -282,6 +324,21 @@ define <2 x float> @test10_reassoc(<2 x
   ret <2 x float> %f
 }
 
+define <2 x float> @test10_reassoc_unary_fneg(<2 x float> %a, <2 x float> %b, <2 x float> %z) {
+; CHECK-LABEL: @test10_reassoc_unary_fneg(
+; CHECK-NEXT:    [[D:%.*]] = fmul reassoc <2 x float> [[Z:%.*]], <float 4.000000e+01, float 4.000000e+01>
+; CHECK-NEXT:    [[C:%.*]] = fneg reassoc <2 x float> [[D]]
+; CHECK-NEXT:    [[E:%.*]] = fmul reassoc <2 x float> [[A:%.*]], [[C]]
+; CHECK-NEXT:    [[F:%.*]] = fneg reassoc <2 x float> [[E]]
+; CHECK-NEXT:    ret <2 x float> [[F]]
+;
+  %d = fmul reassoc <2 x float> %z, <float 4.000000e+01, float 4.000000e+01>
+  %c = fneg reassoc <2 x float> %d
+  %e = fmul reassoc <2 x float> %a, %c
+  %f = fneg reassoc <2 x float> %e
+  ret <2 x float> %f
+}
+
 ; Check x*y+y*x -> x*y*2.
 
 define <2 x double> @test11(<2 x double> %x, <2 x double> %y) {