blob: ca9cdcaf246484c302d6b53345426b88c152771d [file] [log] [blame]
Chris Lattnercf3056d2003-10-13 03:32:08 +00001//===- Interval.cpp - Interval class code ---------------------------------===//
Misha Brukman2b37d7c2005-04-21 21:13:18 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman2b37d7c2005-04-21 21:13:18 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner2275c1d2001-06-20 20:09:55 +00009//
Chris Lattner1b7f7dc2002-04-28 16:21:30 +000010// This file contains the definition of the Interval class, which represents a
11// partition of a control flow graph of some kind.
Chris Lattner2275c1d2001-06-20 20:09:55 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner107109c2001-06-24 04:05:21 +000015#include "llvm/Analysis/Interval.h"
Chris Lattner2275c1d2001-06-20 20:09:55 +000016#include "llvm/BasicBlock.h"
Chris Lattner455889a2002-02-12 22:39:50 +000017#include "llvm/Support/CFG.h"
Chris Lattnerbdff5482009-08-23 04:37:46 +000018#include "llvm/Support/raw_ostream.h"
Chris Lattnera59cbb22002-07-27 01:12:17 +000019#include <algorithm>
Chris Lattner2275c1d2001-06-20 20:09:55 +000020
Brian Gaeked0fde302003-11-11 22:41:34 +000021using namespace llvm;
22
Chris Lattner1c54f1d2001-06-21 05:26:15 +000023//===----------------------------------------------------------------------===//
24// Interval Implementation
25//===----------------------------------------------------------------------===//
26
27// isLoop - Find out if there is a back edge in this interval...
28//
Chris Lattner1b7f7dc2002-04-28 16:21:30 +000029bool Interval::isLoop() const {
Chris Lattner1c54f1d2001-06-21 05:26:15 +000030 // There is a loop in this interval iff one of the predecessors of the header
31 // node lives in the interval.
Chris Lattner455889a2002-02-12 22:39:50 +000032 for (::pred_iterator I = ::pred_begin(HeaderNode), E = ::pred_end(HeaderNode);
Chris Lattnerbdff5482009-08-23 04:37:46 +000033 I != E; ++I)
34 if (contains(*I))
35 return true;
Chris Lattner1c54f1d2001-06-21 05:26:15 +000036 return false;
37}
38
39
Chris Lattner45cfe542009-08-23 06:03:38 +000040void Interval::print(raw_ostream &OS) const {
Chris Lattnerbdff5482009-08-23 04:37:46 +000041 OS << "-------------------------------------------------------------\n"
Chris Lattnera59cbb22002-07-27 01:12:17 +000042 << "Interval Contents:\n";
Misha Brukman2b37d7c2005-04-21 21:13:18 +000043
Chris Lattnera59cbb22002-07-27 01:12:17 +000044 // Print out all of the basic blocks in the interval...
Chris Lattner1ff1ff72004-07-15 02:31:46 +000045 for (std::vector<BasicBlock*>::const_iterator I = Nodes.begin(),
46 E = Nodes.end(); I != E; ++I)
Chris Lattnerbdff5482009-08-23 04:37:46 +000047 OS << **I << "\n";
Chris Lattnera59cbb22002-07-27 01:12:17 +000048
Chris Lattnerbdff5482009-08-23 04:37:46 +000049 OS << "Interval Predecessors:\n";
Chris Lattner1ff1ff72004-07-15 02:31:46 +000050 for (std::vector<BasicBlock*>::const_iterator I = Predecessors.begin(),
51 E = Predecessors.end(); I != E; ++I)
Chris Lattnerbdff5482009-08-23 04:37:46 +000052 OS << **I << "\n";
Chris Lattner1ff1ff72004-07-15 02:31:46 +000053
Chris Lattnerbdff5482009-08-23 04:37:46 +000054 OS << "Interval Successors:\n";
Chris Lattner1ff1ff72004-07-15 02:31:46 +000055 for (std::vector<BasicBlock*>::const_iterator I = Successors.begin(),
56 E = Successors.end(); I != E; ++I)
Chris Lattnerbdff5482009-08-23 04:37:46 +000057 OS << **I << "\n";
Chris Lattnera59cbb22002-07-27 01:12:17 +000058}