6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-02 07:11:49 +00:00
Code Issues Projects Releases Wiki Activity

Fix PR8790, another instance where unreachable code can cause instruction simplification to fail,

Browse Source 
this case involve a select that simplifies to itself.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121817 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson 2010-12-15 00:55:35 +00:00
parent 93f83deba1
commit 86e8a700f5
2 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
View File

@ -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;

17
test/Transforms/CorrelatedValuePropagation/crash.ll
View File

@ -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
}