diff options
| author | Richard Osborne <richard@xmos.com> | 2012-07-20 10:36:17 +0000 |
|---|---|---|
| committer | Richard Osborne <richard@xmos.com> | 2012-07-20 10:36:17 +0000 |
| commit | dd2fb6c10b30e70ab8f910e21e583be3e90bb88c (patch) | |
| tree | 1e7e77fc74349ad773b03517f4db64b33831cb53 | |
| parent | f7b08226eb44458f6f38cbeaca527028803c725a (diff) | |
| download | llvm-dd2fb6c10b30e70ab8f910e21e583be3e90bb88c.tar.gz llvm-dd2fb6c10b30e70ab8f910e21e583be3e90bb88c.tar.bz2 llvm-dd2fb6c10b30e70ab8f910e21e583be3e90bb88c.tar.xz | |
Fix assertion in jump threading (PR13405).
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
| -rw-r--r-- | lib/Transforms/Scalar/JumpThreading.cpp | 2 | ||||
| -rw-r--r-- | test/Transforms/JumpThreading/2012-07-19-NoSuccessorIndirectBr.ll | 8 |
2 files changed, 10 insertions, 0 deletions
diff --git a/lib/Transforms/Scalar/JumpThreading.cpp b/lib/Transforms/Scalar/JumpThreading.cpp index 429b61b6e5..6b8430f028 100644 --- a/lib/Transforms/Scalar/JumpThreading.cpp +++ b/lib/Transforms/Scalar/JumpThreading.cpp @@ -670,6 +670,8 @@ bool JumpThreading::ProcessBlock(BasicBlock *BB) { } else if (SwitchInst *SI = dyn_cast<SwitchInst>(Terminator)) { Condition = SI->getCondition(); } 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(); Preference = WantBlockAddress; } else { diff --git a/test/Transforms/JumpThreading/2012-07-19-NoSuccessorIndirectBr.ll b/test/Transforms/JumpThreading/2012-07-19-NoSuccessorIndirectBr.ll new file mode 100644 index 0000000000..1c2c0c75e3 --- /dev/null +++ b/test/Transforms/JumpThreading/2012-07-19-NoSuccessorIndirectBr.ll @@ -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, [] +} |