Skip to content

Commit 022122c

Browse files
committed
Revert "Add verification to ensure we don't have redundant borrow scopes for @guaranteed forwarding phis"
This reverts commit dfbb2bd.
1 parent 6ad57b3 commit 022122c

File tree

1 file changed

+0
-11
lines changed

1 file changed

+0
-11
lines changed

lib/SIL/Verifier/SILVerifier.cpp

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -4881,17 +4881,6 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
48814881
}
48824882

48834883
void checkBranchInst(BranchInst *BI) {
4884-
for (auto arg : BI->getArgs()) {
4885-
auto *borrow = dyn_cast<BeginBorrowInst>(arg);
4886-
if (!borrow) {
4887-
continue;
4888-
}
4889-
auto op = borrow->getOperand();
4890-
if (op->getOwnershipKind() != OwnershipKind::Guaranteed) {
4891-
continue;
4892-
}
4893-
assert(!isGuaranteedForwarding(op));
4894-
}
48954884
require(BI->getArgs().size() == BI->getDestBB()->args_size(),
48964885
"branch has wrong number of arguments for dest bb");
48974886
require(std::equal(BI->getArgs().begin(), BI->getArgs().end(),

0 commit comments

Comments
 (0)