2003-10-13 05:32:08 +02:00
|
|
|
//===- Interval.cpp - Interval class code ---------------------------------===//
|
2005-04-21 23:13:18 +02:00
|
|
|
//
|
2003-10-20 21:43:21 +02:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 21:36:04 +01:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 23:13:18 +02:00
|
|
|
//
|
2003-10-20 21:43:21 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
2001-06-20 22:09:55 +02:00
|
|
|
//
|
2002-04-28 18:21:30 +02: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 22:09:55 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2001-06-24 06:05:21 +02:00
|
|
|
#include "llvm/Analysis/Interval.h"
|
2001-06-20 22:09:55 +02:00
|
|
|
#include "llvm/BasicBlock.h"
|
2002-02-12 23:39:50 +01:00
|
|
|
#include "llvm/Support/CFG.h"
|
2009-08-23 06:37:46 +02:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2002-07-27 03:12:17 +02:00
|
|
|
#include <algorithm>
|
2001-06-20 22:09:55 +02:00
|
|
|
|
2003-11-11 23:41:34 +01:00
|
|
|
using namespace llvm;
|
|
|
|
|
2001-06-21 07:26:15 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Interval Implementation
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
// isLoop - Find out if there is a back edge in this interval...
|
|
|
|
//
|
2002-04-28 18:21:30 +02:00
|
|
|
bool Interval::isLoop() const {
|
2001-06-21 07:26:15 +02:00
|
|
|
// There is a loop in this interval iff one of the predecessors of the header
|
|
|
|
// node lives in the interval.
|
2002-02-12 23:39:50 +01:00
|
|
|
for (::pred_iterator I = ::pred_begin(HeaderNode), E = ::pred_end(HeaderNode);
|
2009-08-23 06:37:46 +02:00
|
|
|
I != E; ++I)
|
|
|
|
if (contains(*I))
|
|
|
|
return true;
|
2001-06-21 07:26:15 +02:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-08-23 08:03:38 +02:00
|
|
|
void Interval::print(raw_ostream &OS) const {
|
2009-08-23 06:37:46 +02:00
|
|
|
OS << "-------------------------------------------------------------\n"
|
2002-07-27 03:12:17 +02:00
|
|
|
<< "Interval Contents:\n";
|
2005-04-21 23:13:18 +02:00
|
|
|
|
2002-07-27 03:12:17 +02:00
|
|
|
// Print out all of the basic blocks in the interval...
|
2004-07-15 04:31:46 +02:00
|
|
|
for (std::vector<BasicBlock*>::const_iterator I = Nodes.begin(),
|
|
|
|
E = Nodes.end(); I != E; ++I)
|
2009-08-23 06:37:46 +02:00
|
|
|
OS << **I << "\n";
|
2002-07-27 03:12:17 +02:00
|
|
|
|
2009-08-23 06:37:46 +02:00
|
|
|
OS << "Interval Predecessors:\n";
|
2004-07-15 04:31:46 +02:00
|
|
|
for (std::vector<BasicBlock*>::const_iterator I = Predecessors.begin(),
|
|
|
|
E = Predecessors.end(); I != E; ++I)
|
2009-08-23 06:37:46 +02:00
|
|
|
OS << **I << "\n";
|
2004-07-15 04:31:46 +02:00
|
|
|
|
2009-08-23 06:37:46 +02:00
|
|
|
OS << "Interval Successors:\n";
|
2004-07-15 04:31:46 +02:00
|
|
|
for (std::vector<BasicBlock*>::const_iterator I = Successors.begin(),
|
|
|
|
E = Successors.end(); I != E; ++I)
|
2009-08-23 06:37:46 +02:00
|
|
|
OS << **I << "\n";
|
2002-07-27 03:12:17 +02:00
|
|
|
}
|