diff options
| -rw-r--r-- | lib/Transforms/Scalar/CorrelatedValuePropagation.cpp | 7 | ||||
| -rw-r--r-- | test/Transforms/CorrelatedValuePropagation/crash.ll | 17 |
2 files changed, 23 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp b/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp index f364375..be12973 100644 --- a/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp +++ b/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp @@ -73,7 +73,12 @@ bool CorrelatedValuePropagation::processSelect(SelectInst *S) { ConstantInt *CI = dyn_cast<ConstantInt>(C); if (!CI) return false; - S->replaceAllUsesWith(S->getOperand(CI->isOne() ? 1 : 2)); + Value *ReplaceWith = S->getOperand(1); + Value *Other = S->getOperand(2); + if (!CI->isOne()) std::swap(ReplaceWith, Other); + if (ReplaceWith == S) ReplaceWith = UndefValue::get(S->getType()); + + S->replaceAllUsesWith(ReplaceWith); S->eraseFromParent(); ++NumSelects; diff --git a/test/Transforms/CorrelatedValuePropagation/crash.ll b/test/Transforms/CorrelatedValuePropagation/crash.ll index 8636788..80c43d0 100644 --- a/test/Transforms/CorrelatedValuePropagation/crash.ll +++ b/test/Transforms/CorrelatedValuePropagation/crash.ll @@ -18,3 +18,20 @@ for.cond.us.us: ; preds = %for.cond.us.us for.end: ; preds = %for.cond.us, %for.cond.us.us, %entry ret void } + +; PR 8790 +define void @test2() nounwind ssp { +entry: + br label %func_29.exit + +sdf.exit.i: + %l_44.1.mux.i = select i1 %tobool5.not.i, i8 %l_44.1.mux.i, i8 1 + br label %srf.exit.i + +srf.exit.i: + %tobool5.not.i = icmp ne i8 undef, 0 + br i1 %tobool5.not.i, label %sdf.exit.i, label %func_29.exit + +func_29.exit: + ret void +} |