Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 1 | //===- MachineLoopInfo.cpp - Natural Loop Calculator ----------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the MachineLoopInfo class that is used to identify natural |
| 11 | // loops and determine the loop depth of various nodes of the CFG. Note that |
Andrew Trick | cbf24b4 | 2012-06-20 03:42:09 +0000 | [diff] [blame] | 12 | // the loops identified may actually be several natural loops that share the |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 13 | // same header node... not just a single natural loop. |
| 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
| 17 | #include "llvm/CodeGen/MachineLoopInfo.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 18 | #include "llvm/Analysis/LoopInfoImpl.h" |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineDominators.h" |
Bill Wendling | 67d65bb | 2008-01-04 20:54:55 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/Passes.h" |
Dan Gohman | dda30cd | 2010-01-05 21:08:02 +0000 | [diff] [blame] | 21 | #include "llvm/Support/Debug.h" |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 22 | using namespace llvm; |
| 23 | |
Andrew Trick | cbf24b4 | 2012-06-20 03:42:09 +0000 | [diff] [blame] | 24 | // Explicitly instantiate methods in LoopInfoImpl.h for MI-level Loops. |
| 25 | template class llvm::LoopBase<MachineBasicBlock, MachineLoop>; |
| 26 | template class llvm::LoopInfoBase<MachineBasicBlock, MachineLoop>; |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 19033bf | 2008-01-05 23:29:51 +0000 | [diff] [blame] | 28 | char MachineLoopInfo::ID = 0; |
Owen Anderson | 2ab36d3 | 2010-10-12 19:48:12 +0000 | [diff] [blame] | 29 | INITIALIZE_PASS_BEGIN(MachineLoopInfo, "machine-loops", |
| 30 | "Machine Natural Loop Construction", true, true) |
| 31 | INITIALIZE_PASS_DEPENDENCY(MachineDominatorTree) |
| 32 | INITIALIZE_PASS_END(MachineLoopInfo, "machine-loops", |
Owen Anderson | ce665bd | 2010-10-07 22:25:06 +0000 | [diff] [blame] | 33 | "Machine Natural Loop Construction", true, true) |
Bill Wendling | 67d65bb | 2008-01-04 20:54:55 +0000 | [diff] [blame] | 34 | |
Owen Anderson | 90c579d | 2010-08-06 18:33:48 +0000 | [diff] [blame] | 35 | char &llvm::MachineLoopInfoID = MachineLoopInfo::ID; |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 36 | |
| 37 | bool MachineLoopInfo::runOnMachineFunction(MachineFunction &) { |
| 38 | releaseMemory(); |
Andrew Trick | c9b1e25 | 2012-06-26 04:11:38 +0000 | [diff] [blame] | 39 | LI.Analyze(getAnalysis<MachineDominatorTree>().getBase()); |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 40 | return false; |
| 41 | } |
| 42 | |
| 43 | void MachineLoopInfo::getAnalysisUsage(AnalysisUsage &AU) const { |
| 44 | AU.setPreservesAll(); |
| 45 | AU.addRequired<MachineDominatorTree>(); |
Dan Gohman | ad2afc2 | 2009-07-31 18:16:33 +0000 | [diff] [blame] | 46 | MachineFunctionPass::getAnalysisUsage(AU); |
Owen Anderson | e4ad9c7 | 2007-11-27 22:47:08 +0000 | [diff] [blame] | 47 | } |
Dan Gohman | 81b16a3 | 2009-10-20 04:16:37 +0000 | [diff] [blame] | 48 | |
| 49 | MachineBasicBlock *MachineLoop::getTopBlock() { |
| 50 | MachineBasicBlock *TopMBB = getHeader(); |
| 51 | MachineFunction::iterator Begin = TopMBB->getParent()->begin(); |
| 52 | if (TopMBB != Begin) { |
Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame^] | 53 | MachineBasicBlock *PriorMBB = std::prev(MachineFunction::iterator(TopMBB)); |
Dan Gohman | 81b16a3 | 2009-10-20 04:16:37 +0000 | [diff] [blame] | 54 | while (contains(PriorMBB)) { |
| 55 | TopMBB = PriorMBB; |
| 56 | if (TopMBB == Begin) break; |
Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame^] | 57 | PriorMBB = std::prev(MachineFunction::iterator(TopMBB)); |
Dan Gohman | 81b16a3 | 2009-10-20 04:16:37 +0000 | [diff] [blame] | 58 | } |
| 59 | } |
| 60 | return TopMBB; |
| 61 | } |
| 62 | |
| 63 | MachineBasicBlock *MachineLoop::getBottomBlock() { |
| 64 | MachineBasicBlock *BotMBB = getHeader(); |
| 65 | MachineFunction::iterator End = BotMBB->getParent()->end(); |
Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame^] | 66 | if (BotMBB != std::prev(End)) { |
| 67 | MachineBasicBlock *NextMBB = std::next(MachineFunction::iterator(BotMBB)); |
Dan Gohman | 81b16a3 | 2009-10-20 04:16:37 +0000 | [diff] [blame] | 68 | while (contains(NextMBB)) { |
| 69 | BotMBB = NextMBB; |
Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame^] | 70 | if (BotMBB == std::next(MachineFunction::iterator(BotMBB))) break; |
| 71 | NextMBB = std::next(MachineFunction::iterator(BotMBB)); |
Dan Gohman | 81b16a3 | 2009-10-20 04:16:37 +0000 | [diff] [blame] | 72 | } |
| 73 | } |
| 74 | return BotMBB; |
| 75 | } |
Dan Gohman | dda30cd | 2010-01-05 21:08:02 +0000 | [diff] [blame] | 76 | |
Manman Ren | b720be6 | 2012-09-11 22:23:19 +0000 | [diff] [blame] | 77 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
Dan Gohman | dda30cd | 2010-01-05 21:08:02 +0000 | [diff] [blame] | 78 | void MachineLoop::dump() const { |
| 79 | print(dbgs()); |
| 80 | } |
Manman Ren | 77e300e | 2012-09-06 19:06:06 +0000 | [diff] [blame] | 81 | #endif |