Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 1 | //===-- LiveRange.h - Store info about a live range --------------*- C++ -*--=// |
| 2 | // |
| 3 | // Implements a live range using a ValueSet. A LiveRange is a simple set |
| 4 | // of Values. |
| 5 | // |
| 6 | // Since the Value pointed by a use is the same as of its def, it is sufficient |
| 7 | // to keep only defs in a LiveRange. |
| 8 | // |
| 9 | //===----------------------------------------------------------------------===// |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 10 | |
| 11 | #ifndef LIVE_RANGE_H |
| 12 | #define LIVE_RANGE_H |
| 13 | |
| 14 | #include "llvm/Analysis/LiveVar/ValueSet.h" |
| 15 | #include "llvm/Type.h" |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 16 | #include <iostream> |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 17 | |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 18 | class RegClass; |
| 19 | class IGNode; |
| 20 | |
Chris Lattner | 2182c78 | 2002-02-04 05:52:08 +0000 | [diff] [blame] | 21 | class LiveRange : public ValueSet { |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 22 | RegClass *MyRegClass; // register classs (e.g., int, FP) for this LR |
| 23 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 24 | // doesSpanAcrossCalls - Does this live range span across calls? |
Ruchira Sasanka | 36f7707 | 2001-10-19 17:21:59 +0000 | [diff] [blame] | 25 | // This information is used by graph |
| 26 | // coloring algo to avoid allocating volatile colors to live ranges |
| 27 | // that span across calls (since they have to be saved/restored) |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 28 | // |
| 29 | bool doesSpanAcrossCalls; |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 30 | |
| 31 | IGNode *UserIGNode; // IGNode which uses this LR |
| 32 | int Color; // color assigned to this live range |
| 33 | bool mustSpill; // whether this LR must be spilt |
| 34 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 35 | // mustSaveAcrossCalls - whether this LR must be saved accross calls |
| 36 | // ***TODO REMOVE this |
| 37 | // |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 38 | bool mustSaveAcrossCalls; |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 39 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 40 | // SuggestedColor - if this LR has a suggested color, can it be |
| 41 | // really alloated? A suggested color cannot be allocated when the |
| 42 | // suggested color is volatile and when there are call |
| 43 | // interferences. |
| 44 | // |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 45 | int SuggestedColor; // The suggested color for this LR |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 46 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 47 | // CanUseSuggestedCol - It is possible that a suggested color for |
| 48 | // this live range is not available before graph coloring (e.g., it |
| 49 | // can be allocated to another live range which interferes with |
| 50 | // this) |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 51 | // |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 52 | bool CanUseSuggestedCol; |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 54 | // SpilledStackOffsetFromFP - If this LR is spilled, its stack |
| 55 | // offset from *FP*. The spilled offsets must always be relative to |
| 56 | // the FP. |
| 57 | // |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 58 | int SpilledStackOffsetFromFP; |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 59 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 60 | // HasSpillOffset 0 Whether this live range has a spill offset |
| 61 | // |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 62 | bool HasSpillOffset; |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 63 | |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 64 | // The spill cost of this live range. Calculated using loop depth of |
| 65 | // each reference to each Value in the live range |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 66 | // |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 67 | unsigned SpillCost; |
| 68 | |
| 69 | public: |
| 70 | LiveRange() { |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 71 | Color = SuggestedColor = -1; // not yet colored |
| 72 | mustSpill = mustSaveAcrossCalls = false; |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 73 | MyRegClass = 0; |
| 74 | UserIGNode = 0; |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 75 | doesSpanAcrossCalls = false; |
| 76 | CanUseSuggestedCol = true; |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 77 | HasSpillOffset = false; |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 78 | SpillCost = 0; |
| 79 | } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 80 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 81 | void setRegClass(RegClass *RC) { MyRegClass = RC; } |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 82 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 83 | RegClass *getRegClass() const { assert(MyRegClass); return MyRegClass; } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 84 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 85 | bool hasColor() const { return Color != -1; } |
Ruchira Sasanka | 36f7707 | 2001-10-19 17:21:59 +0000 | [diff] [blame] | 86 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 87 | unsigned getColor() const { assert(Color != -1); return (unsigned)Color; } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 88 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 89 | void setColor(unsigned Col) { Color = (int)Col; } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 90 | |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 91 | inline void setCallInterference() { |
| 92 | doesSpanAcrossCalls = 1; |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 93 | } |
| 94 | |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 95 | inline bool isCallInterference() const { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 96 | return doesSpanAcrossCalls == 1; |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 97 | } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 98 | |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 99 | inline void markForSpill() { mustSpill = true; } |
| 100 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 101 | inline bool isMarkedForSpill() { return mustSpill; } |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 102 | |
| 103 | inline void setSpillOffFromFP(int StackOffset) { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 104 | assert(mustSpill && "This LR is not spilled"); |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 105 | SpilledStackOffsetFromFP = StackOffset; |
| 106 | HasSpillOffset = true; |
| 107 | } |
| 108 | |
| 109 | inline void modifySpillOffFromFP(int StackOffset) { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 110 | assert(mustSpill && "This LR is not spilled"); |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 111 | SpilledStackOffsetFromFP = StackOffset; |
| 112 | HasSpillOffset = true; |
| 113 | } |
| 114 | |
Ruchira Sasanka | 825dd55 | 2001-11-15 20:22:37 +0000 | [diff] [blame] | 115 | inline bool hasSpillOffset() const { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 116 | return HasSpillOffset; |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 117 | } |
| 118 | |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 119 | inline int getSpillOffFromFP() const { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 120 | assert(HasSpillOffset && "This LR is not spilled"); |
Ruchira Sasanka | 20c82b1 | 2001-10-28 18:15:12 +0000 | [diff] [blame] | 121 | return SpilledStackOffsetFromFP; |
| 122 | } |
| 123 | |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 124 | inline void markForSaveAcrossCalls() { mustSaveAcrossCalls = true; } |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 125 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 126 | inline void setUserIGNode(IGNode *IGN) { |
| 127 | assert(!UserIGNode); UserIGNode = IGN; |
| 128 | } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 129 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 130 | // getUserIGNode - NULL if the user is not allocated |
| 131 | inline IGNode *getUserIGNode() const { return UserIGNode; } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 132 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 133 | inline const Type *getType() const { |
| 134 | return (*begin())->getType(); // set's don't have a front |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 135 | } |
Vikram S. Adve | 38f5d46 | 2001-11-08 04:49:52 +0000 | [diff] [blame] | 136 | |
| 137 | inline Type::PrimitiveID getTypeID() const { |
Chris Lattner | 2182c78 | 2002-02-04 05:52:08 +0000 | [diff] [blame] | 138 | return getType()->getPrimitiveID(); |
Vikram S. Adve | 38f5d46 | 2001-11-08 04:49:52 +0000 | [diff] [blame] | 139 | } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 140 | |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 141 | inline void setSuggestedColor(int Col) { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 142 | if (SuggestedColor == -1) |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 143 | SuggestedColor = Col; |
Chris Lattner | 2182c78 | 2002-02-04 05:52:08 +0000 | [diff] [blame] | 144 | #if 0 |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 145 | else if (DEBUG_RA) |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 146 | std::cerr << "Already has a suggested color " << Col << "\n"; |
Chris Lattner | 2182c78 | 2002-02-04 05:52:08 +0000 | [diff] [blame] | 147 | #endif |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 148 | } |
| 149 | |
| 150 | inline unsigned getSuggestedColor() const { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 151 | assert(SuggestedColor != -1); // only a valid color is obtained |
| 152 | return (unsigned)SuggestedColor; |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 153 | } |
| 154 | |
| 155 | inline bool hasSuggestedColor() const { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 156 | return SuggestedColor != -1; |
Ruchira Sasanka | ab304c4 | 2001-09-30 23:19:57 +0000 | [diff] [blame] | 157 | } |
| 158 | |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 159 | inline bool isSuggestedColorUsable() const { |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 160 | assert(hasSuggestedColor() && "No suggested color"); |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 161 | return CanUseSuggestedCol; |
| 162 | } |
| 163 | |
Chris Lattner | 0665a5f | 2002-02-05 01:43:49 +0000 | [diff] [blame^] | 164 | inline void setSuggestedColorUsable(bool val) { |
| 165 | assert(hasSuggestedColor() && "No suggested color"); |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 166 | CanUseSuggestedCol = val; |
| 167 | } |
| 168 | |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 169 | inline void addSpillCost(unsigned cost) { |
| 170 | SpillCost += cost; |
| 171 | } |
Ruchira Sasanka | 44d2b94 | 2001-10-19 21:42:06 +0000 | [diff] [blame] | 172 | |
Ruchira Sasanka | 42bd177 | 2002-01-07 19:16:26 +0000 | [diff] [blame] | 173 | inline unsigned getSpillCost() const { |
| 174 | return SpillCost; |
| 175 | } |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 176 | }; |
| 177 | |
Ruchira Sasanka | c7136d2 | 2001-09-08 14:10:34 +0000 | [diff] [blame] | 178 | #endif |