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

Fix assertion in jump threading (PR13405).

Browse Source 
GetBestDestForJumpOnUndef() assumes there is at least 1 successor, which isn't
true if the block ends in an indirect branch with no successors. Fix this by
bailing out earlier in this case.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@160546 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Richard Osborne 2012-07-20 10:36:17 +00:00
parent f7b08226eb
commit dd2fb6c10b
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Transforms/Scalar/JumpThreading.cpp
View File

@ -670,6 +670,8 @@ bool JumpThreading::ProcessBlock(BasicBlock *BB) {
} else if (SwitchInst *SI = dyn_cast<SwitchInst>(Terminator)) { } else if (SwitchInst *SI = dyn_cast<SwitchInst>(Terminator)) {
Condition = SI->getCondition(); Condition = SI->getCondition();
} else if (IndirectBrInst *IB = dyn_cast<IndirectBrInst>(Terminator)) { } else if (IndirectBrInst *IB = dyn_cast<IndirectBrInst>(Terminator)) {
// Can't thread indirect branch with no successors.
if (IB->getNumSuccessors() == 0) return false;
Condition = IB->getAddress()->stripPointerCasts(); Condition = IB->getAddress()->stripPointerCasts();
Preference = WantBlockAddress; Preference = WantBlockAddress;
} else { } else {

8
test/Transforms/JumpThreading/2012-07-19-NoSuccessorIndirectBr.ll Normal file
View File

@ -0,0 +1,8 @@
; RUN: opt < %s -jump-threading
; PR 13405
; Just check that it doesn't crash / assert
define i32 @f() nounwind {
entry:
indirectbr i8* undef, []
}