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"
20f22ef01cSRoman Divacky #include "llvm/Support/Debug.h"
21f22ef01cSRoman Divacky using namespace llvm;
22f22ef01cSRoman Divacky 
23f22ef01cSRoman Divacky namespace llvm {
24f22ef01cSRoman Divacky #define MLB class LoopBase<MachineBasicBlock, MachineLoop>
25f22ef01cSRoman Divacky TEMPLATE_INSTANTIATION(MLB);
26f22ef01cSRoman Divacky #undef MLB
27f22ef01cSRoman Divacky #define MLIB class LoopInfoBase<MachineBasicBlock, MachineLoop>
28f22ef01cSRoman Divacky TEMPLATE_INSTANTIATION(MLIB);
29f22ef01cSRoman Divacky #undef MLIB
30f22ef01cSRoman Divacky }
31f22ef01cSRoman Divacky 
32f22ef01cSRoman Divacky char MachineLoopInfo::ID = 0;
33f22ef01cSRoman Divacky static RegisterPass<MachineLoopInfo>
34f22ef01cSRoman Divacky X("machine-loops", "Machine Natural Loop Construction", true);
35f22ef01cSRoman Divacky 
36f22ef01cSRoman Divacky const PassInfo *const llvm::MachineLoopInfoID = &X;
37f22ef01cSRoman Divacky 
38f22ef01cSRoman Divacky bool MachineLoopInfo::runOnMachineFunction(MachineFunction &) {
39f22ef01cSRoman Divacky   releaseMemory();
40f22ef01cSRoman Divacky   LI.Calculate(getAnalysis<MachineDominatorTree>().getBase());    // Update
41f22ef01cSRoman Divacky   return false;
42f22ef01cSRoman Divacky }
43f22ef01cSRoman Divacky 
44f22ef01cSRoman Divacky void MachineLoopInfo::getAnalysisUsage(AnalysisUsage &AU) const {
45f22ef01cSRoman Divacky   AU.setPreservesAll();
46f22ef01cSRoman Divacky   AU.addRequired<MachineDominatorTree>();
47f22ef01cSRoman Divacky   MachineFunctionPass::getAnalysisUsage(AU);
48f22ef01cSRoman Divacky }
49f22ef01cSRoman Divacky 
50f22ef01cSRoman Divacky MachineBasicBlock *MachineLoop::getTopBlock() {
51f22ef01cSRoman Divacky   MachineBasicBlock *TopMBB = getHeader();
52f22ef01cSRoman Divacky   MachineFunction::iterator Begin = TopMBB->getParent()->begin();
53f22ef01cSRoman Divacky   if (TopMBB != Begin) {
54f22ef01cSRoman Divacky     MachineBasicBlock *PriorMBB = prior(MachineFunction::iterator(TopMBB));
55f22ef01cSRoman Divacky     while (contains(PriorMBB)) {
56f22ef01cSRoman Divacky       TopMBB = PriorMBB;
57f22ef01cSRoman Divacky       if (TopMBB == Begin) break;
58f22ef01cSRoman Divacky       PriorMBB = prior(MachineFunction::iterator(TopMBB));
59f22ef01cSRoman Divacky     }
60f22ef01cSRoman Divacky   }
61f22ef01cSRoman Divacky   return TopMBB;
62f22ef01cSRoman Divacky }
63f22ef01cSRoman Divacky 
64f22ef01cSRoman Divacky MachineBasicBlock *MachineLoop::getBottomBlock() {
65f22ef01cSRoman Divacky   MachineBasicBlock *BotMBB = getHeader();
66f22ef01cSRoman Divacky   MachineFunction::iterator End = BotMBB->getParent()->end();
67f22ef01cSRoman Divacky   if (BotMBB != prior(End)) {
68f22ef01cSRoman Divacky     MachineBasicBlock *NextMBB = llvm::next(MachineFunction::iterator(BotMBB));
69f22ef01cSRoman Divacky     while (contains(NextMBB)) {
70f22ef01cSRoman Divacky       BotMBB = NextMBB;
71f22ef01cSRoman Divacky       if (BotMBB == llvm::next(MachineFunction::iterator(BotMBB))) break;
72f22ef01cSRoman Divacky       NextMBB = llvm::next(MachineFunction::iterator(BotMBB));
73f22ef01cSRoman Divacky     }
74f22ef01cSRoman Divacky   }
75f22ef01cSRoman Divacky   return BotMBB;
76f22ef01cSRoman Divacky }
77f22ef01cSRoman Divacky 
78f22ef01cSRoman Divacky void MachineLoop::dump() const {
79f22ef01cSRoman Divacky   print(dbgs());
80f22ef01cSRoman Divacky }
81