[llvm] r325734 - [InstCombine] add some random FMF to tests so we know it's not dropped; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 21 14:48:29 PST 2018
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
}
More information about the llvm-commits
mailing list