OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

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

llvm-svn: 325734
This commit is contained in:
Sanjay Patel 2018-02-21 22:48:28 +00:00
parent e12561dd1a
commit 9befaeb582
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
llvm/test/Transforms/InstCombine/fmul.ll
View File

@ -4,46 +4,46 @@
; (-0.0 - X) * C => X * -C ; (-0.0 - X) * C => X * -C
define float @test1(float %x) { define float @test1(float %x) {
; CHECK-LABEL: @test1( ; 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]] ; CHECK-NEXT: ret float [[MUL]]
; ;
%sub = fsub float -0.000000e+00, %x %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 ret float %mul
} }
; (0.0 - X) * C => X * -C ; (0.0 - X) * C => X * -C
define float @test2(float %x) { define float @test2(float %x) {
; CHECK-LABEL: @test2( ; 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]] ; CHECK-NEXT: ret float [[MUL]]
; ;
%sub = fsub nsz float 0.000000e+00, %x %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 ret float %mul
} }
; (-0.0 - X) * (-0.0 - Y) => X * Y ; (-0.0 - X) * (-0.0 - Y) => X * Y
define float @test3(float %x, float %y) { define float @test3(float %x, float %y) {
; CHECK-LABEL: @test3( ; CHECK-LABEL: @test3(
; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[MUL:%.*]] = fmul arcp float [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: ret float [[MUL]] ; CHECK-NEXT: ret float [[MUL]]
; ;
%sub1 = fsub float -0.000000e+00, %x %sub1 = fsub float -0.000000e+00, %x
%sub2 = fsub float -0.000000e+00, %y %sub2 = fsub float -0.000000e+00, %y
%mul = fmul fast float %sub1, %sub2 %mul = fmul arcp float %sub1, %sub2
ret float %mul ret float %mul
} }
; (0.0 - X) * (0.0 - Y) => X * Y ; (0.0 - X) * (0.0 - Y) => X * Y
define float @test4(float %x, float %y) { define float @test4(float %x, float %y) {
; CHECK-LABEL: @test4( ; CHECK-LABEL: @test4(
; CHECK-NEXT: [[MUL:%.*]] = fmul float [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[MUL:%.*]] = fmul afn float [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: ret float [[MUL]] ; CHECK-NEXT: ret float [[MUL]]
; ;
%sub1 = fsub nsz float 0.000000e+00, %x %sub1 = fsub nsz float 0.000000e+00, %x
%sub2 = fsub nsz float 0.000000e+00, %y %sub2 = fsub nsz float 0.000000e+00, %y
%mul = fmul float %sub1, %sub2 %mul = fmul afn float %sub1, %sub2
ret float %mul ret float %mul
} }