Skip to content

Commit 5c8c24d

Browse files
committed
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 f30a7df.
1 parent 4be7fb9 commit 5c8c24d

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

llvm/lib/Transforms/Utils/SimplifyCFG.cpp

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -6394,11 +6394,6 @@ static BasicBlock *allPredecessorsComeFromSameSource(BasicBlock *BB) {
63946394
}
63956395

63966396
bool SimplifyCFGOpt::simplifyCondBranch(BranchInst *BI, IRBuilder<> &Builder) {
6397-
assert(
6398-
!isa<ConstantInt>(BI->getCondition()) &&
6399-
BI->getSuccessor(0) != BI->getSuccessor(1) &&
6400-
"Tautological conditional branch should have been eliminated already.");
6401-
64026397
BasicBlock *BB = BI->getParent();
64036398
if (!Options.SimplifyCondBranch)
64046399
return false;

0 commit comments

Comments
 (0)