From ed89d069f4d6be2913ef5a1ae8fd2f9b28ddaab2 Mon Sep 17 00:00:00 2001 From: Michael Berg Date: Thu, 16 Aug 2018 20:59:45 +0000 Subject: add a missed case for binary op FMF propagation under select folds llvm-svn: 339938 --- llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp') diff --git a/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp b/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp index dc8e8df421e..f1f2a6606e2 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp @@ -354,7 +354,9 @@ Instruction *InstCombiner::foldSelectOpOp(SelectInst &SI, Instruction *TI, Value *Op0 = MatchIsOpZero ? MatchOp : NewSI; Value *Op1 = MatchIsOpZero ? NewSI : MatchOp; if (auto *BO = dyn_cast(TI)) { - return BinaryOperator::Create(BO->getOpcode(), Op0, Op1); + BinaryOperator *NewBO = BinaryOperator::Create(BO->getOpcode(), Op0, Op1); + NewBO->copyIRFlags(BO); + return NewBO; } if (auto *TGEP = dyn_cast(TI)) { auto *FGEP = cast(FI); -- cgit v1.2.3