Lines Matching full:live
1 //===---- LiveRangeCalc.h - Calculate live ranges ---------------*- C++ -*-===//
10 // The LiveRangeCalc class can be used to compute live ranges from scratch. It
12 // on the same live range. The cache can be shared by non-overlapping live
13 // ranges. SplitKit uses that when computing the live range of split products.
16 // live, but don't know which value it has as every point. LiveRangeCalc will
46 /// quickly when switching live ranges.
56 /// LiveOut - Map each basic block where a live range is live out to the
57 /// live-out value and its defining block.
64 /// The live-out value is defined in MBB.
66 /// The live-out value passses through MBB. All predecessors must carry
71 /// The map can be shared by multiple live ranges as long as no two are
72 /// live-out of the same block.
75 /// LiveInBlock - Information about a basic block where a live range is known
76 /// to be live-in, but the value has not yet been determined.
78 // LI - The live range that is live-in to this block. The algorithms can
79 // handle multiple non-overlapping live ranges simultaneously.
86 // Position in block where the live-in range ends, or SlotIndex() if the
91 // Live-in value filled in by updateSSA once it is known.
98 /// LiveIn - Work list of blocks where the live-in value has yet to be
104 /// Assuming that LI is live-in to KillMBB and killed at Kill, find the set
110 /// If multiple values can reach Kill, the blocks that need LI to be live in
113 /// PhysReg, when set, is used to verify live-in lists on basic blocks.
119 /// updateSSA - Compute the values that will be live in to all requested
122 /// Every live-in block must be jointly dominated by the added live-out
123 /// blocks. No values are read from the live ranges.
136 // Calculate live ranges from scratch.
139 /// reset - Prepare caches for a new set of non-overlapping live ranges. The
140 /// caches must be reset before attempting calculations with a live range
141 /// that may overlap a previously computed live range, and before the first
142 /// live range in a function. If live ranges are not known to be
149 /// calculate - Calculate the live range of a virtual register from its defs
157 // Modify existing live ranges.
160 /// extend - Extend the live range of LI to reach Kill.
162 /// The existing values in LI must be live so they jointly dominate Kill. If
167 /// PhysReg, when set, is used to verify live-in lists on basic blocks.
172 /// minimal live range.
180 /// extendToUses - Extend the live range of LI to reach all uses of Reg.
186 /// extendToUses - Extend the live range of LI to reach all uses of LI->reg.
195 // These functions can be used to compute live ranges where the live-in and
196 // live-out blocks are already known, but the SSA value in each block is
199 // After calling reset(), add known live-out values and known live-in blocks.
201 // live-in to each block, and add liveness to the live ranges.
204 /// setLiveOutValue - Indicate that VNI is live out from MBB. The
208 /// VNI may be null only if MBB is a live-through block also passed to
215 /// addLiveInBlock - Add a block with an unknown live-in value. This
216 /// function can only be called once per basic block. Once the live-in value
219 /// @param LI The live range that is live-in to the block.
222 /// live-through, set Kill = SLotIndex() and also call
230 /// calculateValues - Calculate the value that will be live-in to each block
232 /// form. Add liveness to all live-in blocks up to the Kill point, or the
233 /// whole block for live-through blocks.
235 /// Every predecessor of a live-in block must have been given a value with
236 /// setLiveOutValue, the value may be null for live-trough blocks.
