Lines Matching full:interval
168 // Representation of the non-empty interval [start,end[.
183 // Split this interval at the given position without effecting the
184 // live range that owns it. The interval must contain the position.
187 // If this interval intersects with other return smallest position
199 // Returns the index of the first gap covered by this interval.
208 // Returns the index of the last gap covered by this interval.
515 // Add a new interval or a new use position to this live range.
520 // Shorten the most recently added interval by setting a new start.
681 UseInterval* interval() const { return use_interval_; }
983 // Split the given range in a position from the interval [start, end].
987 // Find a lifetime position in the interval [start, end] which
989 // loop covered by this interval or the latest possible position.
