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