diff options
| author | Owen Anderson <resistor@mac.com> | 2012-05-30 18:50:39 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2012-05-30 18:50:39 +0000 |
| commit | 85ef6f4c99aee3c2ed43bbe6d190541f283a7e43 (patch) | |
| tree | b90b49e7148d3c25421abd1693b6d2fbdecc20bb | |
| parent | 06a23ea8083657270e86a178abf050246caac0b5 (diff) | |
Teach DAGCombine to canonicalize the position of a constant in the term operands of an FMA node.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157707 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/CodeGen/SelectionDAG/DAGCombiner.cpp | 4 | ||||
| -rw-r--r-- | test/CodeGen/ARM/fusedMAC.ll | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp index af614937de..647ff6b6b2 100644 --- a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp +++ b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp @@ -5770,6 +5770,10 @@ SDValue DAGCombiner::visitFMA(SDNode *N) { if (N1CFP && N1CFP->isExactlyValue(1.0)) return DAG.getNode(ISD::FADD, N->getDebugLoc(), VT, N0, N2); + // Canonicalize (fma c, x, y) -> (fma x, c, y) + if (!N0CFP && N1CFP) + return DAG.getNode(ISD::FMA, N->getDebugLoc(), VT, N1, N0, N2); + return SDValue(); } diff --git a/test/CodeGen/ARM/fusedMAC.ll b/test/CodeGen/ARM/fusedMAC.ll index fd7fdd5405..8ebca02df9 100644 --- a/test/CodeGen/ARM/fusedMAC.ll +++ b/test/CodeGen/ARM/fusedMAC.ll @@ -189,6 +189,15 @@ define float @test_fma_const_fold(float %a, float %b) nounwind { ret float %ret } +define float @test_fma_canonicalize(float %a, float %b) nounwind { +; CHECK: test_fma_canonicalize +; CHECK: vmov.f32 s0 +; CHECK: vfma.f32 s2, s0, s1 + %ret = call float @llvm.fma.f32(float 2.0, float %a, float %b) + ret float %ret +} + + declare float @llvm.fma.f32(float, float, float) nounwind readnone declare double @llvm.fma.f64(double, double, double) nounwind readnone declare <2 x float> @llvm.fma.v2f32(<2 x float>, <2 x float>, <2 x float>) nounwind readnone |