averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

RegionCloner: Split edges from non cond_br terminators to exit blocks

Browse Source 
When we clone the exiting block such edges become critical and we don't like
critical non cond_br edges (updating SSA needs to put arguments somewhere and
such).

radar://20114457

Swift SVN r25982
This commit is contained in:
Arnold Schwaighofer
2015-03-11 17:25:16 +00:00
parent b3c0d9a0c9
commit 2106b44704
2 changed files with 62 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
lib/SILPasses/COWArrayOpt.cpp
View File

@@ -1264,6 +1264,16 @@ public:
for (auto *BB : OutsideBBs)
BBMap[BB] = BB;
// We need to split any edge from a non cond_br basic block leading to a
// exit block. After cloning this edge will become critical if it came from
// inside the cloned region. The SSAUpdater can't handle critical non
// cond_br edges.
for (auto *BB : OutsideBBs)
for (auto *Pred : BB->getPreds())
if (!isa<CondBranchInst>(Pred->getTerminator()) &&
!isa<BranchInst>(Pred->getTerminator()))
splitEdgesFromTo(Pred, BB, &DomTree, nullptr);
// Create the cloned start basic block.
auto *ClonedStartBB = new (Mod) SILBasicBlock(CurFun);
BBMap[StartBB] = ClonedStartBB;