mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-27 15:29:51 +00:00
fix a crash in jump threading, PR6119
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94319 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
818ff34bc0
commit
8231fd1e6c
@ -451,6 +451,12 @@ static unsigned GetBestDestForJumpOnUndef(BasicBlock *BB) {
|
|||||||
/// ProcessBlock - If there are any predecessors whose control can be threaded
|
/// ProcessBlock - If there are any predecessors whose control can be threaded
|
||||||
/// through to a successor, transform them now.
|
/// through to a successor, transform them now.
|
||||||
bool JumpThreading::ProcessBlock(BasicBlock *BB) {
|
bool JumpThreading::ProcessBlock(BasicBlock *BB) {
|
||||||
|
// If the block is trivially dead, just return and let the caller nuke it.
|
||||||
|
// This simplifies other transformations.
|
||||||
|
if (pred_begin(BB) == pred_end(BB) &&
|
||||||
|
BB != &BB->getParent()->getEntryBlock())
|
||||||
|
return false;
|
||||||
|
|
||||||
// If this block has a single predecessor, and if that pred has a single
|
// If this block has a single predecessor, and if that pred has a single
|
||||||
// successor, merge the blocks. This encourages recursive jump threading
|
// successor, merge the blocks. This encourages recursive jump threading
|
||||||
// because now the condition in this block can be threaded through
|
// because now the condition in this block can be threaded through
|
||||||
|
@ -234,3 +234,28 @@ bb2:
|
|||||||
return:
|
return:
|
||||||
ret void
|
ret void
|
||||||
}
|
}
|
||||||
|
|
||||||
|
; PR6119
|
||||||
|
define i32 @test8(i32 %action) nounwind {
|
||||||
|
entry:
|
||||||
|
switch i32 %action, label %lor.rhs [
|
||||||
|
i32 1, label %if.then
|
||||||
|
i32 0, label %lor.end
|
||||||
|
]
|
||||||
|
|
||||||
|
if.then: ; preds = %for.cond, %lor.end, %entry
|
||||||
|
ret i32 undef
|
||||||
|
|
||||||
|
lor.rhs: ; preds = %entry
|
||||||
|
br label %lor.end
|
||||||
|
|
||||||
|
lor.end: ; preds = %lor.rhs, %entry
|
||||||
|
%cmp103 = xor i1 undef, undef ; <i1> [#uses=1]
|
||||||
|
br i1 %cmp103, label %for.cond, label %if.then
|
||||||
|
|
||||||
|
for.cond: ; preds = %for.body, %lor.end
|
||||||
|
br i1 undef, label %if.then, label %for.body
|
||||||
|
|
||||||
|
for.body: ; preds = %for.cond
|
||||||
|
br label %for.cond
|
||||||
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user