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