[llvm] r325734 - [InstCombine] add some random FMF to tests so we know it's not dropped; NFC

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Wed Feb 21 14:48:28 2018
New Revision: 325734

URL: http://llvm.org/viewvc/llvm-project?rev=325734&view=rev
Log:
[InstCombine] add some random FMF to tests so we know it's not dropped; NFC

Modified:
    llvm/trunk/test/Transforms/InstCombine/fmul.ll

Modified: llvm/trunk/test/Transforms/InstCombine/fmul.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/fmul.ll?rev=325734&r1=325733&r2=325734&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/fmul.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/fmul.ll Wed Feb 21 14:48:28 2018
@@ -4,46 +4,46 @@
 ; (-0.0 - X) * C => X * -C
 define float @test1(float %x) {
 ; CHECK-LABEL: @test1(
-; CHECK-NEXT:    [[MUL:%.*]] = fmul float [[X:%.*]], -2.000000e+01
+; CHECK-NEXT:    [[MUL:%.*]] = fmul ninf float [[X:%.*]], -2.000000e+01
 ; CHECK-NEXT:    ret float [[MUL]]
 ;
   %sub = fsub float -0.000000e+00, %x
-  %mul = fmul float %sub, 2.0e+1
+  %mul = fmul ninf float %sub, 2.0e+1
   ret float %mul
 }
 
 ; (0.0 - X) * C => X * -C
 define float @test2(float %x) {
 ; CHECK-LABEL: @test2(
-; CHECK-NEXT:    [[MUL:%.*]] = fmul float [[X:%.*]], -2.000000e+01
+; CHECK-NEXT:    [[MUL:%.*]] = fmul nnan float [[X:%.*]], -2.000000e+01
 ; CHECK-NEXT:    ret float [[MUL]]
 ;
   %sub = fsub nsz float 0.000000e+00, %x
-  %mul = fmul float %sub, 2.0e+1
+  %mul = fmul nnan float %sub, 2.0e+1
   ret float %mul
 }
 
 ; (-0.0 - X) * (-0.0 - Y) => X * Y
 define float @test3(float %x, float %y) {
 ; CHECK-LABEL: @test3(
-; CHECK-NEXT:    [[MUL:%.*]] = fmul fast float [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT:    [[MUL:%.*]] = fmul arcp float [[X:%.*]], [[Y:%.*]]
 ; CHECK-NEXT:    ret float [[MUL]]
 ;
   %sub1 = fsub float -0.000000e+00, %x
   %sub2 = fsub float -0.000000e+00, %y
-  %mul = fmul fast float %sub1, %sub2
+  %mul = fmul arcp float %sub1, %sub2
   ret float %mul
 }
 
 ; (0.0 - X) * (0.0 - Y) => X * Y
 define float @test4(float %x, float %y) {
 ; CHECK-LABEL: @test4(
-; CHECK-NEXT:    [[MUL:%.*]] = fmul float [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT:    [[MUL:%.*]] = fmul afn float [[X:%.*]], [[Y:%.*]]
 ; CHECK-NEXT:    ret float [[MUL]]
 ;
   %sub1 = fsub nsz float 0.000000e+00, %x
   %sub2 = fsub nsz float 0.000000e+00, %y
-  %mul = fmul float %sub1, %sub2
+  %mul = fmul afn float %sub1, %sub2
   ret float %mul
 }