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