Index: lib/CodeGen/SelectionDAG/DAGCombiner.cpp =================================================================== --- lib/CodeGen/SelectionDAG/DAGCombiner.cpp +++ lib/CodeGen/SelectionDAG/DAGCombiner.cpp @@ -729,8 +729,6 @@ case ISD::FMUL: case ISD::FDIV: - if (Options->HonorSignDependentRoundingFPMath()) return 0; - // fold (fneg (fmul X, Y)) -> (fmul (fneg X), Y) or (fmul X, (fneg Y)) if (char V = isNegatibleForFree(Op.getOperand(0), LegalOperations, TLI, Options, Depth + 1)) @@ -793,8 +791,6 @@ case ISD::FMUL: case ISD::FDIV: - assert(!Options.HonorSignDependentRoundingFPMath()); - // fold (fneg (fmul X, Y)) -> (fmul (fneg X), Y) if (isNegatibleForFree(Op.getOperand(0), LegalOperations, DAG.getTargetLoweringInfo(), &Options, Depth+1)) Index: test/CodeGen/ARM/fnmul.ll =================================================================== --- test/CodeGen/ARM/fnmul.ll +++ test/CodeGen/ARM/fnmul.ll @@ -1,17 +1,15 @@ -; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 %s -o - | FileCheck %s - -; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 -enable-sign-dependent-rounding-fp-math %s -o - \ -; RUN: | FileCheck %s -check-prefix CHECK-ROUNDING - +; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 %s -o - | FileCheck %s -check-prefix STRICT +; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 -enable-unsafe-fp-math %s -o - | FileCheck %s -check-prefix UNSAFE define double @t1(double %a, double %b) { +; STRICT: vnmul.f64 +; +; UNSAFE: vnmul.f64 entry: %tmp2 = fsub double -0.000000e+00, %a ; [#uses=1] %tmp4 = fmul double %tmp2, %b ; [#uses=1] ret double %tmp4 } -; CHECK: vnmul.f64 -; CHECK-ROUNDING: vmul.f64