Chris Lattner | cf3056d | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 1 | //===- Interval.cpp - Interval class code ---------------------------------===// |
Misha Brukman | 2b37d7c | 2005-04-21 21:13:18 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 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. |
Misha Brukman | 2b37d7c | 2005-04-21 21:13:18 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2275c1d | 2001-06-20 20:09:55 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 1b7f7dc | 2002-04-28 16:21:30 +0000 | [diff] [blame] | 10 | // This file contains the definition of the Interval class, which represents a |
| 11 | // partition of a control flow graph of some kind. |
Chris Lattner | 2275c1d | 2001-06-20 20:09:55 +0000 | [diff] [blame] | 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Chris Lattner | 107109c | 2001-06-24 04:05:21 +0000 | [diff] [blame] | 15 | #include "llvm/Analysis/Interval.h" |
Chris Lattner | 2275c1d | 2001-06-20 20:09:55 +0000 | [diff] [blame] | 16 | #include "llvm/BasicBlock.h" |
Chris Lattner | 455889a | 2002-02-12 22:39:50 +0000 | [diff] [blame] | 17 | #include "llvm/Support/CFG.h" |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 18 | #include "llvm/Support/raw_ostream.h" |
Chris Lattner | a59cbb2 | 2002-07-27 01:12:17 +0000 | [diff] [blame] | 19 | #include <algorithm> |
Chris Lattner | 2275c1d | 2001-06-20 20:09:55 +0000 | [diff] [blame] | 20 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 21 | using namespace llvm; |
| 22 | |
Chris Lattner | 1c54f1d | 2001-06-21 05:26:15 +0000 | [diff] [blame] | 23 | //===----------------------------------------------------------------------===// |
| 24 | // Interval Implementation |
| 25 | //===----------------------------------------------------------------------===// |
| 26 | |
| 27 | // isLoop - Find out if there is a back edge in this interval... |
| 28 | // |
Chris Lattner | 1b7f7dc | 2002-04-28 16:21:30 +0000 | [diff] [blame] | 29 | bool Interval::isLoop() const { |
Chris Lattner | 1c54f1d | 2001-06-21 05:26:15 +0000 | [diff] [blame] | 30 | // There is a loop in this interval iff one of the predecessors of the header |
| 31 | // node lives in the interval. |
Chris Lattner | 455889a | 2002-02-12 22:39:50 +0000 | [diff] [blame] | 32 | for (::pred_iterator I = ::pred_begin(HeaderNode), E = ::pred_end(HeaderNode); |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 33 | I != E; ++I) |
| 34 | if (contains(*I)) |
| 35 | return true; |
Chris Lattner | 1c54f1d | 2001-06-21 05:26:15 +0000 | [diff] [blame] | 36 | return false; |
| 37 | } |
| 38 | |
| 39 | |
Chris Lattner | 45cfe54 | 2009-08-23 06:03:38 +0000 | [diff] [blame] | 40 | void Interval::print(raw_ostream &OS) const { |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 41 | OS << "-------------------------------------------------------------\n" |
Chris Lattner | a59cbb2 | 2002-07-27 01:12:17 +0000 | [diff] [blame] | 42 | << "Interval Contents:\n"; |
Misha Brukman | 2b37d7c | 2005-04-21 21:13:18 +0000 | [diff] [blame] | 43 | |
Chris Lattner | a59cbb2 | 2002-07-27 01:12:17 +0000 | [diff] [blame] | 44 | // Print out all of the basic blocks in the interval... |
Chris Lattner | 1ff1ff7 | 2004-07-15 02:31:46 +0000 | [diff] [blame] | 45 | for (std::vector<BasicBlock*>::const_iterator I = Nodes.begin(), |
| 46 | E = Nodes.end(); I != E; ++I) |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 47 | OS << **I << "\n"; |
Chris Lattner | a59cbb2 | 2002-07-27 01:12:17 +0000 | [diff] [blame] | 48 | |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 49 | OS << "Interval Predecessors:\n"; |
Chris Lattner | 1ff1ff7 | 2004-07-15 02:31:46 +0000 | [diff] [blame] | 50 | for (std::vector<BasicBlock*>::const_iterator I = Predecessors.begin(), |
| 51 | E = Predecessors.end(); I != E; ++I) |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 52 | OS << **I << "\n"; |
Chris Lattner | 1ff1ff7 | 2004-07-15 02:31:46 +0000 | [diff] [blame] | 53 | |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 54 | OS << "Interval Successors:\n"; |
Chris Lattner | 1ff1ff7 | 2004-07-15 02:31:46 +0000 | [diff] [blame] | 55 | for (std::vector<BasicBlock*>::const_iterator I = Successors.begin(), |
| 56 | E = Successors.end(); I != E; ++I) |
Chris Lattner | bdff548 | 2009-08-23 04:37:46 +0000 | [diff] [blame] | 57 | OS << **I << "\n"; |
Chris Lattner | a59cbb2 | 2002-07-27 01:12:17 +0000 | [diff] [blame] | 58 | } |