diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2021-08-13 13:15:24 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2021-08-13 13:16:22 +0300 |
| commit | 5c8c24d2decae4a76047777271d60411fc3316eb (patch) | |
| tree | c7c67dda774fe46c0ade5747e6f5d9a632345eb3 /llvm/lib/Transforms/Utils/SimplifyCFG.cpp | |
| parent | 4be7fb9762286e878a2a458711540a865b5df597 (diff) | |
| download | llvm-5c8c24d2decae4a76047777271d60411fc3316eb.zip llvm-5c8c24d2decae4a76047777271d60411fc3316eb.tar.gz llvm-5c8c24d2decae4a76047777271d60411fc3316eb.tar.bz2 | |
Revert "[NFCI][SimplifyCFG] simplifyCondBranch(): assert that branch is non-tautological"
The assertion does not hold on a provided reproducer.
Reverting until after fixing the problem.
This reverts commit f30a7dff8a5b32919951dcbf92e4a9d56c4679ff.
Diffstat (limited to 'llvm/lib/Transforms/Utils/SimplifyCFG.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyCFG.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp index 5cd7cd7..482316c 100644 --- a/llvm/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyCFG.cpp @@ -6394,11 +6394,6 @@ static BasicBlock *allPredecessorsComeFromSameSource(BasicBlock *BB) { } bool SimplifyCFGOpt::simplifyCondBranch(BranchInst *BI, IRBuilder<> &Builder) { - assert( - !isa<ConstantInt>(BI->getCondition()) && - BI->getSuccessor(0) != BI->getSuccessor(1) && - "Tautological conditional branch should have been eliminated already."); - BasicBlock *BB = BI->getParent(); if (!Options.SimplifyCondBranch) return false; |