diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2011-03-30 15:42:35 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2011-03-30 15:42:35 +0000 |
| commit | 546739656ec9469499d3866d87dca6fdbcf2eee0 (patch) | |
| tree | 03f9fc1d482080d36e9897fe7f33e013721d03ec /test/Transforms/InstCombine | |
| parent | 2746000f4fa54e6ad00cf96910ea5772803624ed (diff) | |
| download | external_llvm-546739656ec9469499d3866d87dca6fdbcf2eee0.zip external_llvm-546739656ec9469499d3866d87dca6fdbcf2eee0.tar.gz external_llvm-546739656ec9469499d3866d87dca6fdbcf2eee0.tar.bz2 | |
InstCombine: If the divisor of an fdiv has an exact inverse, turn it into an fmul.
Fixes PR9587.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128546 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine')
| -rw-r--r-- | test/Transforms/InstCombine/fdiv.ll | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/fdiv.ll b/test/Transforms/InstCombine/fdiv.ll new file mode 100644 index 0000000..f4e0b48 --- /dev/null +++ b/test/Transforms/InstCombine/fdiv.ll @@ -0,0 +1,25 @@ +; RUN: opt -S -instcombine < %s | FileCheck %s + +define float @test1(float %x) nounwind readnone ssp { + %div = fdiv float %x, 0x3810000000000000 + ret float %div + +; CHECK: @test1 +; CHECK-NEXT: fmul float %x, 0x47D0000000000000 +} + +define float @test2(float %x) nounwind readnone ssp { + %div = fdiv float %x, 0x47E0000000000000 + ret float %div + +; CHECK: @test2 +; CHECK-NEXT: fmul float %x, 0x3800000000000000 +} + +define float @test3(float %x) nounwind readnone ssp { + %div = fdiv float %x, 0x36A0000000000000 + ret float %div + +; CHECK: @test3 +; CHECK-NEXT: fdiv float %x, 0x36A0000000000000 +} |