2002-01-20 22:54:45 +00:00
|
|
|
/* Title: LiveRange.h -*- C++ -*-
|
2001-09-08 14:10:34 +00:00
|
|
|
Author: Ruchira Sasanka
|
|
|
|
Date: July 25, 01
|
|
|
|
Purpose: To keep info about a live range.
|
|
|
|
Asuumptions:
|
|
|
|
|
|
|
|
Since the Value pointed by a use is the same as of its def, it is sufficient
|
|
|
|
to keep only defs in a LiveRange.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef LIVE_RANGE_H
|
|
|
|
#define LIVE_RANGE_H
|
|
|
|
|
|
|
|
#include "llvm/Analysis/LiveVar/ValueSet.h"
|
|
|
|
#include "llvm/Type.h"
|
2002-01-20 22:54:45 +00:00
|
|
|
#include <iostream>
|
2001-09-08 14:10:34 +00:00
|
|
|
|
|
|
|
class RegClass;
|
|
|
|
class IGNode;
|
|
|
|
|
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
//----------------------------------------------------------------------------
|
|
|
|
// Class LiveRange
|
|
|
|
//
|
|
|
|
// Implements a live range using a ValueSet. A LiveRange is a simple set
|
|
|
|
// of Values.
|
|
|
|
//----------------------------------------------------------------------------
|
|
|
|
|
2002-02-04 05:52:08 +00:00
|
|
|
class LiveRange : public ValueSet {
|
2001-09-08 14:10:34 +00:00
|
|
|
RegClass *MyRegClass; // register classs (e.g., int, FP) for this LR
|
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
bool doesSpanAcrossCalls;
|
|
|
|
//
|
|
|
|
// Does this live range span across calls?
|
2001-10-19 17:21:59 +00:00
|
|
|
// This information is used by graph
|
|
|
|
// coloring algo to avoid allocating volatile colors to live ranges
|
|
|
|
// that span across calls (since they have to be saved/restored)
|
2002-01-07 19:16:26 +00:00
|
|
|
|
2001-09-08 14:10:34 +00:00
|
|
|
|
|
|
|
IGNode *UserIGNode; // IGNode which uses this LR
|
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
int Color; // color assigned to this live range
|
2001-09-08 14:10:34 +00:00
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
bool mustSpill; // whether this LR must be spilt
|
2001-09-08 14:10:34 +00:00
|
|
|
|
2001-09-30 23:19:57 +00:00
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
bool mustSaveAcrossCalls;
|
|
|
|
//
|
|
|
|
// whether this LR must be saved accross calls ***TODO REMOVE this
|
|
|
|
|
2001-09-30 23:19:57 +00:00
|
|
|
int SuggestedColor; // The suggested color for this LR
|
2002-01-07 19:16:26 +00:00
|
|
|
//
|
2001-10-19 21:42:06 +00:00
|
|
|
// if this LR has a suggested color, can it be really alloated?
|
|
|
|
// A suggested color cannot be allocated when the suggested color is
|
|
|
|
// volatile and when there are call interferences.
|
|
|
|
|
|
|
|
bool CanUseSuggestedCol;
|
2002-01-07 19:16:26 +00:00
|
|
|
//
|
|
|
|
// It is possible that a suggested color for this live range is not
|
|
|
|
// available before graph coloring (e.g., it can be allocated to another
|
|
|
|
// live range which interferes with this)
|
2001-10-19 21:42:06 +00:00
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
int SpilledStackOffsetFromFP;
|
|
|
|
//
|
2001-10-28 18:15:12 +00:00
|
|
|
// if this LR is spilled, its stack offset from *FP*. The spilled offsets
|
|
|
|
// must always be relative to the FP.
|
2002-01-07 19:16:26 +00:00
|
|
|
|
2001-10-28 18:15:12 +00:00
|
|
|
bool HasSpillOffset;
|
2002-01-07 19:16:26 +00:00
|
|
|
//
|
|
|
|
// Whether this live range has a spill offset
|
|
|
|
|
|
|
|
unsigned SpillCost;
|
|
|
|
//
|
|
|
|
// The spill cost of this live range. Calculated using loop depth of
|
|
|
|
// each reference to each Value in the live range
|
2001-10-28 18:15:12 +00:00
|
|
|
|
2001-09-08 14:10:34 +00:00
|
|
|
public:
|
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
// constructor
|
|
|
|
//
|
|
|
|
LiveRange() : ValueSet() {
|
|
|
|
Color = SuggestedColor = -1; // not yet colored
|
|
|
|
mustSpill = mustSaveAcrossCalls = false;
|
|
|
|
MyRegClass = NULL;
|
|
|
|
UserIGNode = NULL;
|
|
|
|
doesSpanAcrossCalls = false;
|
|
|
|
CanUseSuggestedCol = true;
|
|
|
|
HasSpillOffset = false;
|
|
|
|
SpillCost = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// empty destructor since there are nothing to be deleted
|
|
|
|
//
|
|
|
|
~LiveRange() {}
|
2001-09-08 14:10:34 +00:00
|
|
|
|
|
|
|
|
|
|
|
void setRegClass(RegClass *const RC)
|
|
|
|
{ MyRegClass = RC; }
|
|
|
|
|
|
|
|
inline RegClass *const getRegClass() const
|
|
|
|
{ assert(MyRegClass); return MyRegClass; }
|
|
|
|
|
|
|
|
inline bool hasColor() const
|
|
|
|
{ return Color != -1; }
|
2001-10-19 17:21:59 +00:00
|
|
|
|
2001-09-08 14:10:34 +00:00
|
|
|
inline unsigned int getColor() const
|
|
|
|
{ assert( Color != -1); return (unsigned) Color ; }
|
|
|
|
|
|
|
|
inline void setColor(unsigned int Col)
|
|
|
|
{ Color = (int) Col ; }
|
|
|
|
|
|
|
|
|
2001-10-19 21:42:06 +00:00
|
|
|
inline void setCallInterference() {
|
|
|
|
doesSpanAcrossCalls = 1;
|
2001-09-08 14:10:34 +00:00
|
|
|
}
|
|
|
|
|
2001-10-19 21:42:06 +00:00
|
|
|
|
|
|
|
inline bool isCallInterference() const {
|
|
|
|
return (doesSpanAcrossCalls == 1);
|
|
|
|
}
|
2001-09-08 14:10:34 +00:00
|
|
|
|
|
|
|
inline void markForSpill() { mustSpill = true; }
|
|
|
|
|
2001-10-28 18:15:12 +00:00
|
|
|
inline bool isMarkedForSpill() { return mustSpill; }
|
|
|
|
|
|
|
|
inline void setSpillOffFromFP(int StackOffset) {
|
|
|
|
assert( mustSpill && "This LR is not spilled");
|
|
|
|
SpilledStackOffsetFromFP = StackOffset;
|
|
|
|
HasSpillOffset = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline void modifySpillOffFromFP(int StackOffset) {
|
|
|
|
assert( mustSpill && "This LR is not spilled");
|
|
|
|
SpilledStackOffsetFromFP = StackOffset;
|
|
|
|
HasSpillOffset = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
2001-11-15 20:22:37 +00:00
|
|
|
inline bool hasSpillOffset() const {
|
2001-10-28 18:15:12 +00:00
|
|
|
return HasSpillOffset;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
inline int getSpillOffFromFP() const {
|
|
|
|
assert( HasSpillOffset && "This LR is not spilled");
|
|
|
|
return SpilledStackOffsetFromFP;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2001-09-08 14:10:34 +00:00
|
|
|
inline void markForSaveAcrossCalls() { mustSaveAcrossCalls = true; }
|
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
|
2001-09-08 14:10:34 +00:00
|
|
|
inline void setUserIGNode( IGNode *const IGN)
|
|
|
|
{ assert( !UserIGNode); UserIGNode = IGN; }
|
|
|
|
|
|
|
|
inline IGNode * getUserIGNode() const
|
|
|
|
{ return UserIGNode; } // NULL if the user is not allocated
|
|
|
|
|
2001-11-08 04:49:52 +00:00
|
|
|
inline const Type* getType() const {
|
2001-09-08 14:10:34 +00:00
|
|
|
const Value *val = *begin();
|
|
|
|
assert(val && "Can't find type - Live range is empty" );
|
2001-11-08 04:49:52 +00:00
|
|
|
return val->getType();
|
|
|
|
}
|
|
|
|
|
|
|
|
inline Type::PrimitiveID getTypeID() const {
|
2002-02-04 05:52:08 +00:00
|
|
|
return getType()->getPrimitiveID();
|
2001-09-08 14:10:34 +00:00
|
|
|
}
|
|
|
|
|
2001-09-30 23:19:57 +00:00
|
|
|
inline void setSuggestedColor(int Col) {
|
|
|
|
//assert( (SuggestedColor == -1) && "Changing an already suggested color");
|
|
|
|
|
|
|
|
if(SuggestedColor == -1 )
|
|
|
|
SuggestedColor = Col;
|
2002-02-04 05:52:08 +00:00
|
|
|
#if 0
|
2001-09-30 23:19:57 +00:00
|
|
|
else if (DEBUG_RA)
|
2002-01-20 22:54:45 +00:00
|
|
|
std::cerr << "Already has a suggested color " << Col << "\n";
|
2002-02-04 05:52:08 +00:00
|
|
|
#endif
|
2001-09-30 23:19:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
inline unsigned getSuggestedColor() const {
|
|
|
|
assert( SuggestedColor != -1); // only a valid color is obtained
|
|
|
|
return (unsigned) SuggestedColor;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline bool hasSuggestedColor() const {
|
|
|
|
return ( SuggestedColor > -1);
|
|
|
|
}
|
|
|
|
|
2001-10-19 21:42:06 +00:00
|
|
|
inline bool isSuggestedColorUsable() const {
|
|
|
|
assert( hasSuggestedColor() && "No suggested color");
|
|
|
|
return CanUseSuggestedCol;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline void setSuggestedColorUsable(const bool val) {
|
|
|
|
assert( hasSuggestedColor() && "No suggested color");
|
|
|
|
CanUseSuggestedCol = val;
|
|
|
|
}
|
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
inline void addSpillCost(unsigned cost) {
|
|
|
|
SpillCost += cost;
|
|
|
|
}
|
2001-10-19 21:42:06 +00:00
|
|
|
|
2002-01-07 19:16:26 +00:00
|
|
|
inline unsigned getSpillCost() const {
|
|
|
|
return SpillCost;
|
|
|
|
}
|
2001-09-08 14:10:34 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|