1 //===-- StructurizeCFG.cpp ------------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "llvm/Transforms/Scalar.h"
11 #include "llvm/ADT/MapVector.h"
12 #include "llvm/ADT/SCCIterator.h"
13 #include "llvm/Analysis/RegionInfo.h"
14 #include "llvm/Analysis/RegionIterator.h"
15 #include "llvm/Analysis/RegionPass.h"
16 #include "llvm/IR/Module.h"
17 #include "llvm/IR/PatternMatch.h"
18 #include "llvm/Transforms/Utils/SSAUpdater.h"
21 using namespace llvm::PatternMatch;
23 #define DEBUG_TYPE "structurizecfg"
27 // Definition of the complex types used in this pass.
29 typedef std::pair<BasicBlock *, Value *> BBValuePair;
31 typedef SmallVector<RegionNode*, 8> RNVector;
32 typedef SmallVector<BasicBlock*, 8> BBVector;
33 typedef SmallVector<BranchInst*, 8> BranchVector;
34 typedef SmallVector<BBValuePair, 2> BBValueVector;
36 typedef SmallPtrSet<BasicBlock *, 8> BBSet;
38 typedef MapVector<PHINode *, BBValueVector> PhiMap;
39 typedef MapVector<BasicBlock *, BBVector> BB2BBVecMap;
41 typedef DenseMap<DomTreeNode *, unsigned> DTN2UnsignedMap;
42 typedef DenseMap<BasicBlock *, PhiMap> BBPhiMap;
43 typedef DenseMap<BasicBlock *, Value *> BBPredicates;
44 typedef DenseMap<BasicBlock *, BBPredicates> PredMap;
45 typedef DenseMap<BasicBlock *, BasicBlock*> BB2BBMap;
47 // The name for newly created blocks.
49 static const char *const FlowBlockName = "Flow";
51 /// @brief Find the nearest common dominator for multiple BasicBlocks
53 /// Helper class for StructurizeCFG
54 /// TODO: Maybe move into common code
55 class NearestCommonDominator {
58 DTN2UnsignedMap IndexMap;
62 bool ExplicitMentioned;
65 /// \brief Start a new query
66 NearestCommonDominator(DominatorTree *DomTree) {
71 /// \brief Add BB to the resulting dominator
72 void addBlock(BasicBlock *BB, bool Remember = true) {
73 DomTreeNode *Node = DT->getNode(BB);
76 unsigned Numbering = 0;
77 for (;Node;Node = Node->getIDom())
78 IndexMap[Node] = ++Numbering;
81 ExplicitMentioned = Remember;
85 for (;Node;Node = Node->getIDom())
86 if (IndexMap.count(Node))
91 assert(Node && "Dominator tree invalid!");
93 unsigned Numbering = IndexMap[Node];
94 if (Numbering > ResultIndex) {
95 Result = Node->getBlock();
96 ResultIndex = Numbering;
97 ExplicitMentioned = Remember && (Result == BB);
98 } else if (Numbering == ResultIndex) {
99 ExplicitMentioned |= Remember;
103 /// \brief Is "Result" one of the BBs added with "Remember" = True?
104 bool wasResultExplicitMentioned() {
105 return ExplicitMentioned;
108 /// \brief Get the query result
109 BasicBlock *getResult() {
114 /// @brief Transforms the control flow graph on one single entry/exit region
117 /// After the transform all "If"/"Then"/"Else" style control flow looks like
129 /// | | 1 = "If" block, calculates the condition
130 /// 4 | 2 = "Then" subregion, runs if the condition is true
131 /// | / 3 = "Flow" blocks, newly inserted flow blocks, rejoins the flow
132 /// |/ 4 = "Else" optional subregion, runs if the condition is false
133 /// 5 5 = "End" block, also rejoins the control flow
136 /// Control flow is expressed as a branch where the true exit goes into the
137 /// "Then"/"Else" region, while the false exit skips the region
138 /// The condition for the optional "Else" region is expressed as a PHI node.
139 /// The incomming values of the PHI node are true for the "If" edge and false
140 /// for the "Then" edge.
142 /// Additionally to that even complicated loops look like this:
149 /// | / 1 = "Entry" block
150 /// |/ 2 = "Loop" optional subregion, with all exits at "Flow" block
151 /// 3 3 = "Flow" block, with back edge to entry block
155 /// The back edge of the "Flow" block is always on the false side of the branch
156 /// while the true side continues the general flow. So the loop condition
157 /// consist of a network of PHI nodes where the true incoming values expresses
158 /// breaks and the false values expresses continue states.
159 class StructurizeCFG : public RegionPass {
161 ConstantInt *BoolTrue;
162 ConstantInt *BoolFalse;
163 UndefValue *BoolUndef;
166 Region *ParentRegion;
173 BBPhiMap DeletedPhis;
174 BB2BBVecMap AddedPhis;
177 BranchVector Conditions;
181 BranchVector LoopConds;
183 RegionNode *PrevNode;
187 void analyzeLoops(RegionNode *N);
189 Value *invert(Value *Condition);
191 Value *buildCondition(BranchInst *Term, unsigned Idx, bool Invert);
193 void gatherPredicates(RegionNode *N);
197 void insertConditions(bool Loops);
199 void delPhiValues(BasicBlock *From, BasicBlock *To);
201 void addPhiValues(BasicBlock *From, BasicBlock *To);
205 void killTerminator(BasicBlock *BB);
207 void changeExit(RegionNode *Node, BasicBlock *NewExit,
208 bool IncludeDominator);
210 BasicBlock *getNextFlow(BasicBlock *Dominator);
212 BasicBlock *needPrefix(bool NeedEmpty);
214 BasicBlock *needPostfix(BasicBlock *Flow, bool ExitUseAllowed);
216 void setPrevNode(BasicBlock *BB);
218 bool dominatesPredicates(BasicBlock *BB, RegionNode *Node);
220 bool isPredictableTrue(RegionNode *Node);
222 void wireFlow(bool ExitUseAllowed, BasicBlock *LoopEnd);
224 void handleLoops(bool ExitUseAllowed, BasicBlock *LoopEnd);
235 initializeStructurizeCFGPass(*PassRegistry::getPassRegistry());
238 using Pass::doInitialization;
239 bool doInitialization(Region *R, RGPassManager &RGM) override;
241 bool runOnRegion(Region *R, RGPassManager &RGM) override;
243 const char *getPassName() const override {
244 return "Structurize control flow";
247 void getAnalysisUsage(AnalysisUsage &AU) const override {
248 AU.addRequiredID(LowerSwitchID);
249 AU.addRequired<DominatorTreeWrapperPass>();
250 AU.addPreserved<DominatorTreeWrapperPass>();
251 RegionPass::getAnalysisUsage(AU);
255 } // end anonymous namespace
257 char StructurizeCFG::ID = 0;
259 INITIALIZE_PASS_BEGIN(StructurizeCFG, "structurizecfg", "Structurize the CFG",
261 INITIALIZE_PASS_DEPENDENCY(LowerSwitch)
262 INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass)
263 INITIALIZE_PASS_DEPENDENCY(RegionInfoPass)
264 INITIALIZE_PASS_END(StructurizeCFG, "structurizecfg", "Structurize the CFG",
267 /// \brief Initialize the types and constants used in the pass
268 bool StructurizeCFG::doInitialization(Region *R, RGPassManager &RGM) {
269 LLVMContext &Context = R->getEntry()->getContext();
271 Boolean = Type::getInt1Ty(Context);
272 BoolTrue = ConstantInt::getTrue(Context);
273 BoolFalse = ConstantInt::getFalse(Context);
274 BoolUndef = UndefValue::get(Boolean);
279 /// \brief Build up the general order of nodes
280 void StructurizeCFG::orderNodes() {
281 scc_iterator<Region *> I = scc_begin(ParentRegion);
282 for (Order.clear(); !I.isAtEnd(); ++I) {
283 const std::vector<RegionNode *> &Nodes = *I;
284 Order.append(Nodes.begin(), Nodes.end());
288 /// \brief Determine the end of the loops
289 void StructurizeCFG::analyzeLoops(RegionNode *N) {
290 if (N->isSubRegion()) {
291 // Test for exit as back edge
292 BasicBlock *Exit = N->getNodeAs<Region>()->getExit();
293 if (Visited.count(Exit))
294 Loops[Exit] = N->getEntry();
297 // Test for sucessors as back edge
298 BasicBlock *BB = N->getNodeAs<BasicBlock>();
299 BranchInst *Term = cast<BranchInst>(BB->getTerminator());
301 for (unsigned i = 0, e = Term->getNumSuccessors(); i != e; ++i) {
302 BasicBlock *Succ = Term->getSuccessor(i);
304 if (Visited.count(Succ))
310 /// \brief Invert the given condition
311 Value *StructurizeCFG::invert(Value *Condition) {
312 // First: Check if it's a constant
313 if (Condition == BoolTrue)
316 if (Condition == BoolFalse)
319 if (Condition == BoolUndef)
322 // Second: If the condition is already inverted, return the original value
323 if (match(Condition, m_Not(m_Value(Condition))))
326 if (Instruction *Inst = dyn_cast<Instruction>(Condition)) {
327 // Third: Check all the users for an invert
328 BasicBlock *Parent = Inst->getParent();
329 for (User *U : Condition->users())
330 if (Instruction *I = dyn_cast<Instruction>(U))
331 if (I->getParent() == Parent && match(I, m_Not(m_Specific(Condition))))
334 // Last option: Create a new instruction
335 return BinaryOperator::CreateNot(Condition, "", Parent->getTerminator());
338 if (Argument *Arg = dyn_cast<Argument>(Condition)) {
339 BasicBlock &EntryBlock = Arg->getParent()->getEntryBlock();
340 return BinaryOperator::CreateNot(Condition,
341 Arg->getName() + ".inv",
342 EntryBlock.getTerminator());
345 llvm_unreachable("Unhandled condition to invert");
348 /// \brief Build the condition for one edge
349 Value *StructurizeCFG::buildCondition(BranchInst *Term, unsigned Idx,
351 Value *Cond = Invert ? BoolFalse : BoolTrue;
352 if (Term->isConditional()) {
353 Cond = Term->getCondition();
355 if (Idx != (unsigned)Invert)
361 /// \brief Analyze the predecessors of each block and build up predicates
362 void StructurizeCFG::gatherPredicates(RegionNode *N) {
363 RegionInfo *RI = ParentRegion->getRegionInfo();
364 BasicBlock *BB = N->getEntry();
365 BBPredicates &Pred = Predicates[BB];
366 BBPredicates &LPred = LoopPreds[BB];
368 for (BasicBlock *Predecessor : predecessors(BB)) {
369 // Ignore it if it's a branch from outside into our region entry
370 if (!ParentRegion->contains(Predecessor))
373 Region *R = RI->getRegionFor(Predecessor);
374 if (R == ParentRegion) {
376 // It's a top level block in our region
377 BranchInst *Term = cast<BranchInst>(Predecessor->getTerminator());
378 for (unsigned i = 0, e = Term->getNumSuccessors(); i != e; ++i) {
379 BasicBlock *Succ = Term->getSuccessor(i);
383 if (Visited.count(Predecessor)) {
384 // Normal forward edge
385 if (Term->isConditional()) {
386 // Try to treat it like an ELSE block
387 BasicBlock *Other = Term->getSuccessor(!i);
388 if (Visited.count(Other) && !Loops.count(Other) &&
389 !Pred.count(Other) && !Pred.count(Predecessor)) {
391 Pred[Other] = BoolFalse;
392 Pred[Predecessor] = BoolTrue;
396 Pred[Predecessor] = buildCondition(Term, i, false);
400 LPred[Predecessor] = buildCondition(Term, i, true);
406 // It's an exit from a sub region
407 while (R->getParent() != ParentRegion)
410 // Edge from inside a subregion to its entry, ignore it
414 BasicBlock *Entry = R->getEntry();
415 if (Visited.count(Entry))
416 Pred[Entry] = BoolTrue;
418 LPred[Entry] = BoolFalse;
423 /// \brief Collect various loop and predicate infos
424 void StructurizeCFG::collectInfos() {
432 // Reset the visited nodes
435 for (RNVector::reverse_iterator OI = Order.rbegin(), OE = Order.rend();
438 // Analyze all the conditions leading to a node
439 gatherPredicates(*OI);
441 // Remember that we've seen this node
442 Visited.insert((*OI)->getEntry());
444 // Find the last back edges
449 /// \brief Insert the missing branch conditions
450 void StructurizeCFG::insertConditions(bool Loops) {
451 BranchVector &Conds = Loops ? LoopConds : Conditions;
452 Value *Default = Loops ? BoolTrue : BoolFalse;
453 SSAUpdater PhiInserter;
455 for (BranchInst *Term : Conds) {
456 assert(Term->isConditional());
458 BasicBlock *Parent = Term->getParent();
459 BasicBlock *SuccTrue = Term->getSuccessor(0);
460 BasicBlock *SuccFalse = Term->getSuccessor(1);
462 PhiInserter.Initialize(Boolean, "");
463 PhiInserter.AddAvailableValue(&Func->getEntryBlock(), Default);
464 PhiInserter.AddAvailableValue(Loops ? SuccFalse : Parent, Default);
466 BBPredicates &Preds = Loops ? LoopPreds[SuccFalse] : Predicates[SuccTrue];
468 NearestCommonDominator Dominator(DT);
469 Dominator.addBlock(Parent, false);
471 Value *ParentValue = nullptr;
472 for (BBPredicates::iterator PI = Preds.begin(), PE = Preds.end();
475 if (PI->first == Parent) {
476 ParentValue = PI->second;
479 PhiInserter.AddAvailableValue(PI->first, PI->second);
480 Dominator.addBlock(PI->first);
484 Term->setCondition(ParentValue);
486 if (!Dominator.wasResultExplicitMentioned())
487 PhiInserter.AddAvailableValue(Dominator.getResult(), Default);
489 Term->setCondition(PhiInserter.GetValueInMiddleOfBlock(Parent));
494 /// \brief Remove all PHI values coming from "From" into "To" and remember
495 /// them in DeletedPhis
496 void StructurizeCFG::delPhiValues(BasicBlock *From, BasicBlock *To) {
497 PhiMap &Map = DeletedPhis[To];
498 for (BasicBlock::iterator I = To->begin(), E = To->end();
499 I != E && isa<PHINode>(*I);) {
501 PHINode &Phi = cast<PHINode>(*I++);
502 while (Phi.getBasicBlockIndex(From) != -1) {
503 Value *Deleted = Phi.removeIncomingValue(From, false);
504 Map[&Phi].push_back(std::make_pair(From, Deleted));
509 /// \brief Add a dummy PHI value as soon as we knew the new predecessor
510 void StructurizeCFG::addPhiValues(BasicBlock *From, BasicBlock *To) {
511 for (BasicBlock::iterator I = To->begin(), E = To->end();
512 I != E && isa<PHINode>(*I);) {
514 PHINode &Phi = cast<PHINode>(*I++);
515 Value *Undef = UndefValue::get(Phi.getType());
516 Phi.addIncoming(Undef, From);
518 AddedPhis[To].push_back(From);
521 /// \brief Add the real PHI value as soon as everything is set up
522 void StructurizeCFG::setPhiValues() {
524 for (BB2BBVecMap::iterator AI = AddedPhis.begin(), AE = AddedPhis.end();
527 BasicBlock *To = AI->first;
528 BBVector &From = AI->second;
530 if (!DeletedPhis.count(To))
533 PhiMap &Map = DeletedPhis[To];
534 for (PhiMap::iterator PI = Map.begin(), PE = Map.end();
537 PHINode *Phi = PI->first;
538 Value *Undef = UndefValue::get(Phi->getType());
539 Updater.Initialize(Phi->getType(), "");
540 Updater.AddAvailableValue(&Func->getEntryBlock(), Undef);
541 Updater.AddAvailableValue(To, Undef);
543 NearestCommonDominator Dominator(DT);
544 Dominator.addBlock(To, false);
545 for (BBValueVector::iterator VI = PI->second.begin(),
546 VE = PI->second.end(); VI != VE; ++VI) {
548 Updater.AddAvailableValue(VI->first, VI->second);
549 Dominator.addBlock(VI->first);
552 if (!Dominator.wasResultExplicitMentioned())
553 Updater.AddAvailableValue(Dominator.getResult(), Undef);
555 for (BBVector::iterator FI = From.begin(), FE = From.end();
558 int Idx = Phi->getBasicBlockIndex(*FI);
560 Phi->setIncomingValue(Idx, Updater.GetValueAtEndOfBlock(*FI));
564 DeletedPhis.erase(To);
566 assert(DeletedPhis.empty());
569 /// \brief Remove phi values from all successors and then remove the terminator.
570 void StructurizeCFG::killTerminator(BasicBlock *BB) {
571 TerminatorInst *Term = BB->getTerminator();
575 for (BasicBlock *Succ : successors(BB))
576 delPhiValues(BB, Succ);
578 Term->eraseFromParent();
581 /// \brief Let node exit(s) point to NewExit
582 void StructurizeCFG::changeExit(RegionNode *Node, BasicBlock *NewExit,
583 bool IncludeDominator) {
584 if (Node->isSubRegion()) {
585 Region *SubRegion = Node->getNodeAs<Region>();
586 BasicBlock *OldExit = SubRegion->getExit();
587 BasicBlock *Dominator = nullptr;
589 // Find all the edges from the sub region to the exit
590 for (BasicBlock *BB : predecessors(OldExit)) {
591 if (!SubRegion->contains(BB))
594 // Modify the edges to point to the new exit
595 delPhiValues(BB, OldExit);
596 BB->getTerminator()->replaceUsesOfWith(OldExit, NewExit);
597 addPhiValues(BB, NewExit);
599 // Find the new dominator (if requested)
600 if (IncludeDominator) {
604 Dominator = DT->findNearestCommonDominator(Dominator, BB);
608 // Change the dominator (if requested)
610 DT->changeImmediateDominator(NewExit, Dominator);
612 // Update the region info
613 SubRegion->replaceExit(NewExit);
616 BasicBlock *BB = Node->getNodeAs<BasicBlock>();
618 BranchInst::Create(NewExit, BB);
619 addPhiValues(BB, NewExit);
620 if (IncludeDominator)
621 DT->changeImmediateDominator(NewExit, BB);
625 /// \brief Create a new flow node and update dominator tree and region info
626 BasicBlock *StructurizeCFG::getNextFlow(BasicBlock *Dominator) {
627 LLVMContext &Context = Func->getContext();
628 BasicBlock *Insert = Order.empty() ? ParentRegion->getExit() :
629 Order.back()->getEntry();
630 BasicBlock *Flow = BasicBlock::Create(Context, FlowBlockName,
632 DT->addNewBlock(Flow, Dominator);
633 ParentRegion->getRegionInfo()->setRegionFor(Flow, ParentRegion);
637 /// \brief Create a new or reuse the previous node as flow node
638 BasicBlock *StructurizeCFG::needPrefix(bool NeedEmpty) {
639 BasicBlock *Entry = PrevNode->getEntry();
641 if (!PrevNode->isSubRegion()) {
642 killTerminator(Entry);
643 if (!NeedEmpty || Entry->getFirstInsertionPt() == Entry->end())
648 // create a new flow node
649 BasicBlock *Flow = getNextFlow(Entry);
652 changeExit(PrevNode, Flow, true);
653 PrevNode = ParentRegion->getBBNode(Flow);
657 /// \brief Returns the region exit if possible, otherwise just a new flow node
658 BasicBlock *StructurizeCFG::needPostfix(BasicBlock *Flow,
659 bool ExitUseAllowed) {
660 if (Order.empty() && ExitUseAllowed) {
661 BasicBlock *Exit = ParentRegion->getExit();
662 DT->changeImmediateDominator(Exit, Flow);
663 addPhiValues(Flow, Exit);
666 return getNextFlow(Flow);
669 /// \brief Set the previous node
670 void StructurizeCFG::setPrevNode(BasicBlock *BB) {
671 PrevNode = ParentRegion->contains(BB) ? ParentRegion->getBBNode(BB)
675 /// \brief Does BB dominate all the predicates of Node ?
676 bool StructurizeCFG::dominatesPredicates(BasicBlock *BB, RegionNode *Node) {
677 BBPredicates &Preds = Predicates[Node->getEntry()];
678 for (BBPredicates::iterator PI = Preds.begin(), PE = Preds.end();
681 if (!DT->dominates(BB, PI->first))
687 /// \brief Can we predict that this node will always be called?
688 bool StructurizeCFG::isPredictableTrue(RegionNode *Node) {
689 BBPredicates &Preds = Predicates[Node->getEntry()];
690 bool Dominated = false;
692 // Regionentry is always true
696 for (BBPredicates::iterator I = Preds.begin(), E = Preds.end();
699 if (I->second != BoolTrue)
702 if (!Dominated && DT->dominates(I->first, PrevNode->getEntry()))
706 // TODO: The dominator check is too strict
710 /// Take one node from the order vector and wire it up
711 void StructurizeCFG::wireFlow(bool ExitUseAllowed,
712 BasicBlock *LoopEnd) {
713 RegionNode *Node = Order.pop_back_val();
714 Visited.insert(Node->getEntry());
716 if (isPredictableTrue(Node)) {
717 // Just a linear flow
719 changeExit(PrevNode, Node->getEntry(), true);
724 // Insert extra prefix node (or reuse last one)
725 BasicBlock *Flow = needPrefix(false);
727 // Insert extra postfix node (or use exit instead)
728 BasicBlock *Entry = Node->getEntry();
729 BasicBlock *Next = needPostfix(Flow, ExitUseAllowed);
731 // let it point to entry and next block
732 Conditions.push_back(BranchInst::Create(Entry, Next, BoolUndef, Flow));
733 addPhiValues(Flow, Entry);
734 DT->changeImmediateDominator(Entry, Flow);
737 while (!Order.empty() && !Visited.count(LoopEnd) &&
738 dominatesPredicates(Entry, Order.back())) {
739 handleLoops(false, LoopEnd);
742 changeExit(PrevNode, Next, false);
747 void StructurizeCFG::handleLoops(bool ExitUseAllowed,
748 BasicBlock *LoopEnd) {
749 RegionNode *Node = Order.back();
750 BasicBlock *LoopStart = Node->getEntry();
752 if (!Loops.count(LoopStart)) {
753 wireFlow(ExitUseAllowed, LoopEnd);
757 if (!isPredictableTrue(Node))
758 LoopStart = needPrefix(true);
760 LoopEnd = Loops[Node->getEntry()];
761 wireFlow(false, LoopEnd);
762 while (!Visited.count(LoopEnd)) {
763 handleLoops(false, LoopEnd);
766 // If the start of the loop is the entry block, we can't branch to it so
767 // insert a new dummy entry block.
768 Function *LoopFunc = LoopStart->getParent();
769 if (LoopStart == &LoopFunc->getEntryBlock()) {
770 LoopStart->setName("entry.orig");
772 BasicBlock *NewEntry =
773 BasicBlock::Create(LoopStart->getContext(),
777 BranchInst::Create(LoopStart, NewEntry);
780 // Create an extra loop end node
781 LoopEnd = needPrefix(false);
782 BasicBlock *Next = needPostfix(LoopEnd, ExitUseAllowed);
783 LoopConds.push_back(BranchInst::Create(Next, LoopStart,
784 BoolUndef, LoopEnd));
785 addPhiValues(LoopEnd, LoopStart);
789 /// After this function control flow looks like it should be, but
790 /// branches and PHI nodes only have undefined conditions.
791 void StructurizeCFG::createFlow() {
792 BasicBlock *Exit = ParentRegion->getExit();
793 bool EntryDominatesExit = DT->dominates(ParentRegion->getEntry(), Exit);
803 while (!Order.empty()) {
804 handleLoops(EntryDominatesExit, nullptr);
808 changeExit(PrevNode, Exit, EntryDominatesExit);
810 assert(EntryDominatesExit);
813 /// Handle a rare case where the disintegrated nodes instructions
814 /// no longer dominate all their uses. Not sure if this is really nessasary
815 void StructurizeCFG::rebuildSSA() {
817 for (const auto &BB : ParentRegion->blocks())
818 for (BasicBlock::iterator II = BB->begin(), IE = BB->end();
821 bool Initialized = false;
822 for (auto I = II->use_begin(), E = II->use_end(); I != E;) {
824 Instruction *User = cast<Instruction>(U.getUser());
825 if (User->getParent() == BB) {
828 } else if (PHINode *UserPN = dyn_cast<PHINode>(User)) {
829 if (UserPN->getIncomingBlock(U) == BB)
833 if (DT->dominates(II, User))
837 Value *Undef = UndefValue::get(II->getType());
838 Updater.Initialize(II->getType(), "");
839 Updater.AddAvailableValue(&Func->getEntryBlock(), Undef);
840 Updater.AddAvailableValue(BB, II);
843 Updater.RewriteUseAfterInsertions(U);
848 /// \brief Run the transformation for each region found
849 bool StructurizeCFG::runOnRegion(Region *R, RGPassManager &RGM) {
850 if (R->isTopLevelRegion())
853 Func = R->getEntry()->getParent();
856 DT = &getAnalysis<DominatorTreeWrapperPass>().getDomTree();
861 insertConditions(false);
862 insertConditions(true);
880 /// \brief Create the pass
881 Pass *llvm::createStructurizeCFGPass() {
882 return new StructurizeCFG();