Teach DAGCombine to canonicalize the position of a constant in the term operands of an FMA node.

llvm-svn: 157707
This commit is contained in:
Owen Anderson 2012-05-30 18:50:39 +00:00
parent 26331ee2c8
commit 49ddb93c30
2 changed files with 13 additions and 0 deletions

View File

@ -5770,6 +5770,10 @@ SDValue DAGCombiner::visitFMA(SDNode *N) {
if (N1CFP && N1CFP->isExactlyValue(1.0)) if (N1CFP && N1CFP->isExactlyValue(1.0))
return DAG.getNode(ISD::FADD, N->getDebugLoc(), VT, N0, N2); 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(); return SDValue();
} }

View File

@ -189,6 +189,15 @@ define float @test_fma_const_fold(float %a, float %b) nounwind {
ret float %ret 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 float @llvm.fma.f32(float, float, float) nounwind readnone
declare double @llvm.fma.f64(double, double, double) 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 declare <2 x float> @llvm.fma.v2f32(<2 x float>, <2 x float>, <2 x float>) nounwind readnone