diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/fsub.ll | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/llvm/test/Transforms/InstCombine/fsub.ll b/llvm/test/Transforms/InstCombine/fsub.ll index 9323a2dd772..2e5b7fb48bd 100644 --- a/llvm/test/Transforms/InstCombine/fsub.ll +++ b/llvm/test/Transforms/InstCombine/fsub.ll @@ -3,17 +3,31 @@ ; PR4374 -define float @test1(float %a, float %b) { +define float @test1(float %x, float %y) { ; CHECK-LABEL: @test1( -; CHECK-NEXT: [[T1:%.*]] = fsub float [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[T1:%.*]] = fsub float [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[T2:%.*]] = fsub float -0.000000e+00, [[T1]] ; CHECK-NEXT: ret float [[T2]] ; - %t1 = fsub float %a, %b + %t1 = fsub float %x, %y %t2 = fsub float -0.0, %t1 ret float %t2 } +; FIXME: Can't do anything with the test above because -0.0 - 0.0 = -0.0, but if we have nsz: +; -(X - Y) --> Y - X + +define float @neg_sub(float %x, float %y) { +; CHECK-LABEL: @neg_sub( +; CHECK-NEXT: [[T1:%.*]] = fsub float [[X:%.*]], [[Y:%.*]] +; CHECK-NEXT: [[T2:%.*]] = fsub nsz float -0.000000e+00, [[T1]] +; CHECK-NEXT: ret float [[T2]] +; + %t1 = fsub float %x, %y + %t2 = fsub nsz float -0.0, %t1 + ret float %t2 +} + ; <rdar://problem/7530098> define double @test2(double %x, double %y) { |
