1f22ef01cSRoman Divacky //===- MachineLoopInfo.cpp - Natural Loop Calculator ----------------------===// 2f22ef01cSRoman Divacky // 3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure 4f22ef01cSRoman Divacky // 5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source 6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details. 7f22ef01cSRoman Divacky // 8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 9f22ef01cSRoman Divacky // 10f22ef01cSRoman Divacky // This file defines the MachineLoopInfo class that is used to identify natural 11f22ef01cSRoman Divacky // loops and determine the loop depth of various nodes of the CFG. Note that 12f22ef01cSRoman Divacky // the loops identified may actually be several natural loops that share the 13f22ef01cSRoman Divacky // same header node... not just a single natural loop. 14f22ef01cSRoman Divacky // 15f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 16f22ef01cSRoman Divacky 17f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineLoopInfo.h" 18f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineDominators.h" 19f22ef01cSRoman Divacky #include "llvm/CodeGen/Passes.h" 207ae0e2c9SDimitry Andric #include "llvm/Analysis/LoopInfoImpl.h" 21f22ef01cSRoman Divacky #include "llvm/Support/Debug.h" 22f22ef01cSRoman Divacky using namespace llvm; 23f22ef01cSRoman Divacky 247ae0e2c9SDimitry Andric // Explicitly instantiate methods in LoopInfoImpl.h for MI-level Loops. 257ae0e2c9SDimitry Andric template class llvm::LoopBase<MachineBasicBlock, MachineLoop>; 267ae0e2c9SDimitry Andric template class llvm::LoopInfoBase<MachineBasicBlock, MachineLoop>; 27f22ef01cSRoman Divacky 28f22ef01cSRoman Divacky char MachineLoopInfo::ID = 0; 292754fe60SDimitry Andric INITIALIZE_PASS_BEGIN(MachineLoopInfo, "machine-loops", 302754fe60SDimitry Andric "Machine Natural Loop Construction", true, true) 312754fe60SDimitry Andric INITIALIZE_PASS_DEPENDENCY(MachineDominatorTree) 322754fe60SDimitry Andric INITIALIZE_PASS_END(MachineLoopInfo, "machine-loops", 332754fe60SDimitry Andric "Machine Natural Loop Construction", true, true) 34f22ef01cSRoman Divacky 35e580952dSDimitry Andric char &llvm::MachineLoopInfoID = MachineLoopInfo::ID; 36f22ef01cSRoman Divacky 37f22ef01cSRoman Divacky bool MachineLoopInfo::runOnMachineFunction(MachineFunction &) { 38f22ef01cSRoman Divacky releaseMemory(); 397ae0e2c9SDimitry Andric LI.Analyze(getAnalysis<MachineDominatorTree>().getBase()); 40f22ef01cSRoman Divacky return false; 41f22ef01cSRoman Divacky } 42f22ef01cSRoman Divacky 43f22ef01cSRoman Divacky void MachineLoopInfo::getAnalysisUsage(AnalysisUsage &AU) const { 44f22ef01cSRoman Divacky AU.setPreservesAll(); 45f22ef01cSRoman Divacky AU.addRequired<MachineDominatorTree>(); 46f22ef01cSRoman Divacky MachineFunctionPass::getAnalysisUsage(AU); 47f22ef01cSRoman Divacky } 48f22ef01cSRoman Divacky 49f22ef01cSRoman Divacky MachineBasicBlock *MachineLoop::getTopBlock() { 50f22ef01cSRoman Divacky MachineBasicBlock *TopMBB = getHeader(); 51f22ef01cSRoman Divacky MachineFunction::iterator Begin = TopMBB->getParent()->begin(); 52f22ef01cSRoman Divacky if (TopMBB != Begin) { 53f22ef01cSRoman Divacky MachineBasicBlock *PriorMBB = prior(MachineFunction::iterator(TopMBB)); 54f22ef01cSRoman Divacky while (contains(PriorMBB)) { 55f22ef01cSRoman Divacky TopMBB = PriorMBB; 56f22ef01cSRoman Divacky if (TopMBB == Begin) break; 57f22ef01cSRoman Divacky PriorMBB = prior(MachineFunction::iterator(TopMBB)); 58f22ef01cSRoman Divacky } 59f22ef01cSRoman Divacky } 60f22ef01cSRoman Divacky return TopMBB; 61f22ef01cSRoman Divacky } 62f22ef01cSRoman Divacky 63f22ef01cSRoman Divacky MachineBasicBlock *MachineLoop::getBottomBlock() { 64f22ef01cSRoman Divacky MachineBasicBlock *BotMBB = getHeader(); 65f22ef01cSRoman Divacky MachineFunction::iterator End = BotMBB->getParent()->end(); 66f22ef01cSRoman Divacky if (BotMBB != prior(End)) { 67f22ef01cSRoman Divacky MachineBasicBlock *NextMBB = llvm::next(MachineFunction::iterator(BotMBB)); 68f22ef01cSRoman Divacky while (contains(NextMBB)) { 69f22ef01cSRoman Divacky BotMBB = NextMBB; 70f22ef01cSRoman Divacky if (BotMBB == llvm::next(MachineFunction::iterator(BotMBB))) break; 71f22ef01cSRoman Divacky NextMBB = llvm::next(MachineFunction::iterator(BotMBB)); 72f22ef01cSRoman Divacky } 73f22ef01cSRoman Divacky } 74f22ef01cSRoman Divacky return BotMBB; 75f22ef01cSRoman Divacky } 76f22ef01cSRoman Divacky 77f22ef01cSRoman Divacky void MachineLoop::dump() const { 78f22ef01cSRoman Divacky print(dbgs()); 79f22ef01cSRoman Divacky } 80