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 // The live range set 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.
117 /// updateSSA - Compute the values that will be live in to all requested
120 /// Every live-in block must be jointly dominated by the added live-out
121 /// blocks. No values are read from the live ranges.
135 // Calculate live ranges from scratch.
138 /// reset - Prepare caches for a new set of non-overlapping live ranges. The
139 /// caches must be reset before attempting calculations with a live range
140 /// that may overlap a previously computed live range, and before the first
141 /// live range in a function. If live ranges are not known to be
152 // Modify existing live ranges.
155 /// extend - Extend the live range of LI to reach Kill.
157 /// The existing values in LI must be live so they jointly dominate Kill. If
162 /// PhysReg, when set, is used to verify live-in lists on basic blocks.
167 /// minimal live range.
175 /// extendToUses - Extend the live range of LI to reach all uses of Reg.
181 /// extendToUses - Extend the live range of LI to reach all uses of LI->reg.
190 // These functions can be used to compute live ranges where the live-in and
191 // live-out blocks are already known, but the SSA value in each block is
194 // After calling reset(), add known live-out values and known live-in blocks.
196 // live-in to each block, and add liveness to the live ranges.
199 /// setLiveOutValue - Indicate that VNI is live out from MBB. The
203 /// VNI may be null only if MBB is a live-through block also passed to
210 /// addLiveInBlock - Add a block with an unknown live-in value. This
211 /// function can only be called once per basic block. Once the live-in value
214 /// @param LR The live range that is live-in to the block.
217 /// live-through, set Kill = SLotIndex() and also call
225 /// calculateValues - Calculate the value that will be live-in to each block
227 /// form. Add liveness to all live-in blocks up to the Kill point, or the
228 /// whole block for live-through blocks.
230 /// Every predecessor of a live-in block must have been given a value with
231 /// setLiveOutValue, the value may be null for live-trough blocks.