diff options
| author | Alina Sbirlea <asbirlea@google.com> | 2019-08-01 18:37:34 +0000 |
|---|---|---|
| committer | Alina Sbirlea <asbirlea@google.com> | 2019-08-01 18:37:34 +0000 |
| commit | 3af2a69575da80f5e7b9890509a072b5062fe7c7 (patch) | |
| tree | eb2a1f919af2b2a6e2c0207b356e36de550f3bfd /llvm/lib/Transforms/Utils/SimplifyCFG.cpp | |
| parent | 52f12f63f4ecaab157c9a056f6185746d87cd6e3 (diff) | |
| download | bcm5719-llvm-3af2a69575da80f5e7b9890509a072b5062fe7c7.tar.gz bcm5719-llvm-3af2a69575da80f5e7b9890509a072b5062fe7c7.zip | |
[SimplifyCFG] Mark missed Changed to true.
Summary:
DominatorTree is invalid after SimplifyCFG because of a missed `Changed = true` when simplifying a branch condition and removing an edge.
Resolves PR42272.
Reviewers: zhizhouy, manojgupta
Subscribers: jlebar, sanjoy.google, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D65490
llvm-svn: 367596
Diffstat (limited to 'llvm/lib/Transforms/Utils/SimplifyCFG.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyCFG.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp index f5bcdc74a08..2c433cb0277 100644 --- a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp @@ -4189,6 +4189,7 @@ bool SimplifyCFGOpt::SimplifyUnreachable(UnreachableInst *UI) { Builder.CreateAssumption(Builder.CreateNot(Cond)); Builder.CreateBr(BI->getSuccessor(1)); EraseTerminatorAndDCECond(BI); + Changed = true; } else if (BI->getSuccessor(1) == BB) { Builder.CreateAssumption(Cond); Builder.CreateBr(BI->getSuccessor(0)); |
