diff options
| author | Owen Anderson <resistor@mac.com> | 2012-08-30 23:35:16 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2012-08-30 23:35:16 +0000 |
| commit | 43da6c7f13aedcc11530f9d81dbbb2ee07ad226a (patch) | |
| tree | 282008d3b5a70fae56a6602b4d2afc0089bee568 /test | |
| parent | fafa283e65bca1473eace94057077129a76dbdcc (diff) | |
Teach the DAG combiner to turn chains of FADDs (x+x+x+x+...) into FMULs by constants. This is only enabled in unsafe FP math mode, since it does not preserve rounding effects for all such constants.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@162956 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/X86/fp-fast.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/CodeGen/X86/fp-fast.ll b/test/CodeGen/X86/fp-fast.ll new file mode 100644 index 0000000000..61f59b4498 --- /dev/null +++ b/test/CodeGen/X86/fp-fast.ll @@ -0,0 +1,37 @@ +; RUN: llc -march=x86-64 -mtriple=x86_64-apple-darwin -enable-unsafe-fp-math < %s | FileCheck %s + +; CHECK: test1 +define float @test1(float %a) { +; CHECK-NOT: vaddss +; CHECK: vmulss +; CHECK-NOT: vaddss +; CHECK: ret + %t1 = fadd float %a, %a + %r = fadd float %t1, %t1 + ret float %r +} + +; CHECK: test2 +define float @test2(float %a) { +; CHECK-NOT: vaddss +; CHECK: vmulss +; CHECK-NOT: vaddss +; CHECK: ret + %t1 = fmul float 4.0, %a + %t2 = fadd float %a, %a + %r = fadd float %t1, %t2 + ret float %r +} + +; CHECK: test3 +define float @test3(float %a) { +; CHECK-NOT: vaddss +; CHECK: vxorps +; CHECK-NOT: vaddss +; CHECK: ret + %t1 = fmul float 2.0, %a + %t2 = fadd float %a, %a + %r = fsub float %t1, %t2 + ret float %r +} + |