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" 18139f7f9bSDimitry Andric #include "llvm/Analysis/LoopInfoImpl.h" 19f22ef01cSRoman Divacky #include "llvm/CodeGen/MachineDominators.h" 20f22ef01cSRoman Divacky #include "llvm/CodeGen/Passes.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) { 5391bc56edSDimitry Andric MachineBasicBlock *PriorMBB = std::prev(MachineFunction::iterator(TopMBB)); 54f22ef01cSRoman Divacky while (contains(PriorMBB)) { 55f22ef01cSRoman Divacky TopMBB = PriorMBB; 56f22ef01cSRoman Divacky if (TopMBB == Begin) break; 5791bc56edSDimitry Andric PriorMBB = std::prev(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(); 6691bc56edSDimitry Andric if (BotMBB != std::prev(End)) { 6791bc56edSDimitry Andric MachineBasicBlock *NextMBB = std::next(MachineFunction::iterator(BotMBB)); 68f22ef01cSRoman Divacky while (contains(NextMBB)) { 69f22ef01cSRoman Divacky BotMBB = NextMBB; 7091bc56edSDimitry Andric if (BotMBB == std::next(MachineFunction::iterator(BotMBB))) break; 7191bc56edSDimitry Andric NextMBB = std::next(MachineFunction::iterator(BotMBB)); 72f22ef01cSRoman Divacky } 73f22ef01cSRoman Divacky } 74f22ef01cSRoman Divacky return BotMBB; 75f22ef01cSRoman Divacky } 76f22ef01cSRoman Divacky 773861d79fSDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 78f22ef01cSRoman Divacky void MachineLoop::dump() const { 79f22ef01cSRoman Divacky print(dbgs()); 80f22ef01cSRoman Divacky } 813861d79fSDimitry Andric #endif 82