2001-06-24 04:05:21 +00:00
|
|
|
//===- Interval.cpp - Interval class code ------------------------*- C++ -*--=//
|
2001-06-20 20:09:55 +00:00
|
|
|
//
|
2002-04-28 16:21:30 +00:00
|
|
|
// This file contains the definition of the Interval class, which represents a
|
|
|
|
// partition of a control flow graph of some kind.
|
2001-06-20 20:09:55 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2001-06-24 04:05:21 +00:00
|
|
|
#include "llvm/Analysis/Interval.h"
|
2001-06-20 20:09:55 +00:00
|
|
|
#include "llvm/BasicBlock.h"
|
2002-02-12 22:39:50 +00:00
|
|
|
#include "llvm/Support/CFG.h"
|
2002-07-27 01:12:17 +00:00
|
|
|
#include <algorithm>
|
2001-06-20 20:09:55 +00:00
|
|
|
|
2001-06-21 05:26:15 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Interval Implementation
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
// isLoop - Find out if there is a back edge in this interval...
|
|
|
|
//
|
2002-04-28 16:21:30 +00:00
|
|
|
bool Interval::isLoop() const {
|
2001-06-21 05:26:15 +00:00
|
|
|
// There is a loop in this interval iff one of the predecessors of the header
|
|
|
|
// node lives in the interval.
|
2002-02-12 22:39:50 +00:00
|
|
|
for (::pred_iterator I = ::pred_begin(HeaderNode), E = ::pred_end(HeaderNode);
|
|
|
|
I != E; ++I) {
|
2001-06-21 05:26:15 +00:00
|
|
|
if (contains(*I)) return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2002-07-31 19:32:01 +00:00
|
|
|
void Interval::print(std::ostream &o) const {
|
2002-07-27 01:12:17 +00:00
|
|
|
o << "-------------------------------------------------------------\n"
|
|
|
|
<< "Interval Contents:\n";
|
|
|
|
|
|
|
|
// Print out all of the basic blocks in the interval...
|
|
|
|
std::copy(Nodes.begin(), Nodes.end(),
|
|
|
|
std::ostream_iterator<BasicBlock*>(o, "\n"));
|
|
|
|
|
|
|
|
o << "Interval Predecessors:\n";
|
|
|
|
std::copy(Predecessors.begin(), Predecessors.end(),
|
|
|
|
std::ostream_iterator<BasicBlock*>(o, "\n"));
|
|
|
|
|
|
|
|
o << "Interval Successors:\n";
|
|
|
|
std::copy(Successors.begin(), Successors.end(),
|
|
|
|
std::ostream_iterator<BasicBlock*>(o, "\n"));
|
|
|
|
}
|