diff --git a/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp b/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp index 9df0d4673b85..6d0b9ac9c626 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp @@ -1313,7 +1313,8 @@ static Instruction *foldFDivConstantDivisor(BinaryOperator &FDiv) { return nullptr; auto *RecipCFP = ConstantFP::get(FDiv.getType(), Reciprocal); - return BinaryOperator::CreateFMul(FDiv.getOperand(0), RecipCFP); + return BinaryOperator::CreateWithCopiedFlags(Instruction::FMul, RecipCFP, + FDiv.getOperand(0), &FDiv); } /// Try to reassociate C / X expressions where X includes another constant. @@ -1352,10 +1353,11 @@ Instruction *InstCombiner::visitFDiv(BinaryOperator &I) { SQ.getWithInstruction(&I))) return replaceInstUsesWith(I, V); - if (Instruction *FMul = foldFDivConstantDivisor(I)) { - FMul->copyFastMathFlags(&I); + if (Instruction *FMul = foldFDivConstantDivisor(I)) return FMul; - } + + if (Instruction *NewFDiv = foldFDivConstantDividend(I)) + return NewFDiv; if (isa(Op0)) if (SelectInst *SI = dyn_cast(Op1)) @@ -1394,9 +1396,6 @@ Instruction *InstCombiner::visitFDiv(BinaryOperator &I) { return nullptr; } - if (Instruction *NewFDiv = foldFDivConstantDividend(I)) - return NewFDiv; - if (AllowReassociate) { Value *X, *Y; if (match(Op0, m_OneUse(m_FDiv(m_Value(X), m_Value(Y)))) &&