diff options
author | Michael Zolotukhin <mzolotukhin@apple.com> | 2016-11-18 21:01:12 +0000 |
---|---|---|
committer | Michael Zolotukhin <mzolotukhin@apple.com> | 2016-11-18 21:01:12 +0000 |
commit | 5020c9971b2049d255069ea81ce02a085be2e191 (patch) | |
tree | a2443bd7a2265e6769273ade1e8a662bfb60ebc7 /llvm/lib/Transforms/Utils/Local.cpp | |
parent | 85d93a877846380567e8e28786f4591d1b61d34f (diff) | |
download | bcm5719-llvm-5020c9971b2049d255069ea81ce02a085be2e191.tar.gz bcm5719-llvm-5020c9971b2049d255069ea81ce02a085be2e191.zip |
[LoopSimplify] Preserve LCSSA when removing edges from unreachable blocks.
This fixes PR30454.
llvm-svn: 287379
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
-rw-r--r-- | llvm/lib/Transforms/Utils/Local.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Utils/Local.cpp b/llvm/lib/Transforms/Utils/Local.cpp index 3ad5f58e6cb..01a5579e1ed 100644 --- a/llvm/lib/Transforms/Utils/Local.cpp +++ b/llvm/lib/Transforms/Utils/Local.cpp @@ -1369,12 +1369,13 @@ unsigned llvm::removeAllNonTerminatorAndEHPadInstructions(BasicBlock *BB) { return NumDeadInst; } -unsigned llvm::changeToUnreachable(Instruction *I, bool UseLLVMTrap) { +unsigned llvm::changeToUnreachable(Instruction *I, bool UseLLVMTrap, + bool PreserveLCSSA) { BasicBlock *BB = I->getParent(); // Loop over all of the successors, removing BB's entry from any PHI // nodes. for (BasicBlock *Successor : successors(BB)) - Successor->removePredecessor(BB); + Successor->removePredecessor(BB, PreserveLCSSA); // Insert a call to llvm.trap right before this. This turns the undefined // behavior into a hard fail instead of falling through into random code. |