LLVM  3.7.0
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
llvm::LiveInterval Class Reference

LiveInterval - This class represents the liveness of a register, or stack slot. More...

#include <LiveInterval.h>

Inheritance diagram for llvm::LiveInterval:
[legend]
Collaboration diagram for llvm::LiveInterval:
[legend]

Classes

class  SingleLinkedListIterator
 
class  SubRange
 A live range for subregisters. More...
 

Public Types

typedef LiveRange super
 
typedef
SingleLinkedListIterator
< SubRange
subrange_iterator
 
typedef
SingleLinkedListIterator
< const SubRange
const_subrange_iterator
 
- Public Types inherited from llvm::LiveRange
typedef SmallVector< Segment, 4 > Segments
 
typedef SmallVector< VNInfo *, 4 > VNInfoList
 
typedef std::set< SegmentSegmentSet
 
typedef Segments::iterator iterator
 
typedef Segments::const_iterator const_iterator
 
typedef VNInfoList::iterator vni_iterator
 
typedef VNInfoList::const_iterator const_vni_iterator
 

Public Member Functions

 LiveInterval (unsigned Reg, float Weight)
 
 ~LiveInterval ()
 
subrange_iterator subrange_begin ()
 
subrange_iterator subrange_end ()
 
const_subrange_iterator subrange_begin () const
 
const_subrange_iterator subrange_end () const
 
iterator_range< subrange_iteratorsubranges ()
 
iterator_range
< const_subrange_iterator
subranges () const
 
SubRangecreateSubRange (BumpPtrAllocator &Allocator, unsigned LaneMask)
 Creates a new empty subregister live range. More...
 
SubRangecreateSubRangeFrom (BumpPtrAllocator &Allocator, unsigned LaneMask, const LiveRange &CopyFrom)
 Like createSubRange() but the new range is filled with a copy of the liveness information in CopyFrom. More...
 
bool hasSubRanges () const
 Returns true if subregister liveness information is available. More...
 
void clearSubRanges ()
 Removes all subregister liveness information. More...
 
void removeEmptySubRanges ()
 Removes all subranges without any segments (subranges without segments are not considered valid and should only exist temporarily). More...
 
void constructMainRangeFromSubranges (const SlotIndexes &Indexes, VNInfo::Allocator &VNIAllocator)
 Construct main live range by merging the SubRanges of LI. More...
 
unsigned getSize () const
 getSize - Returns the sum of sizes of all the LiveRange's. More...
 
bool isSpillable () const
 isSpillable - Can this interval be spilled? More...
 
void markNotSpillable ()
 markNotSpillable - Mark interval as not spillable More...
 
bool operator< (const LiveInterval &other) const
 
void print (raw_ostream &OS) const
 
void dump () const
 
void verify (const MachineRegisterInfo *MRI=nullptr) const
 Walks the interval and assert if any invariants fail to hold. More...
 
- Public Member Functions inherited from llvm::LiveRange
iterator begin ()
 
iterator end ()
 
const_iterator begin () const
 
const_iterator end () const
 
vni_iterator vni_begin ()
 
vni_iterator vni_end ()
 
const_vni_iterator vni_begin () const
 
const_vni_iterator vni_end () const
 
 LiveRange (bool UseSegmentSet=false)
 Constructs a new LiveRange object. More...
 
 LiveRange (const LiveRange &Other, BumpPtrAllocator &Allocator)
 Constructs a new LiveRange object by copying segments and valnos from another LiveRange. More...
 
iterator advanceTo (iterator I, SlotIndex Pos)
 advanceTo - Advance the specified iterator to point to the Segment containing the specified position, or end() if the position is past the end of the range. More...
 
const_iterator advanceTo (const_iterator I, SlotIndex Pos) const
 
iterator find (SlotIndex Pos)
 find - Return an iterator pointing to the first segment that ends after Pos, or end(). More...
 
const_iterator find (SlotIndex Pos) const
 
void clear ()
 
size_t size () const
 
bool hasAtLeastOneValue () const
 
bool containsOneValue () const
 
unsigned getNumValNums () const
 
VNInfogetValNumInfo (unsigned ValNo)
 getValNumInfo - Returns pointer to the specified val#. More...
 
const VNInfogetValNumInfo (unsigned ValNo) const
 
bool containsValue (const VNInfo *VNI) const
 containsValue - Returns true if VNI belongs to this range. More...
 
VNInfogetNextValue (SlotIndex def, VNInfo::Allocator &VNInfoAllocator)
 getNextValue - Create a new value number and return it. More...
 
VNInfocreateDeadDef (SlotIndex Def, VNInfo::Allocator &VNInfoAllocator)
 createDeadDef - Make sure the range has a value defined at Def. More...
 
VNInfocreateValueCopy (const VNInfo *orig, VNInfo::Allocator &VNInfoAllocator)
 Create a copy of the given value. More...
 
void RenumberValues ()
 RenumberValues - Renumber all values in order of appearance and remove unused values. More...
 
VNInfoMergeValueNumberInto (VNInfo *V1, VNInfo *V2)
 MergeValueNumberInto - This method is called when two value numbers are found to be equivalent. More...
 
void MergeSegmentsInAsValue (const LiveRange &RHS, VNInfo *LHSValNo)
 Merge all of the live segments of a specific val# in RHS into this live range as the specified value number. More...
 
void MergeValueInAsValue (const LiveRange &RHS, const VNInfo *RHSValNo, VNInfo *LHSValNo)
 MergeValueInAsValue - Merge all of the segments of a specific val# in RHS into this live range as the specified value number. More...
 
bool empty () const
 
SlotIndex beginIndex () const
 beginIndex - Return the lowest numbered slot covered. More...
 
SlotIndex endIndex () const
 endNumber - return the maximum point of the range of the whole, exclusive. More...
 
bool expiredAt (SlotIndex index) const
 
bool liveAt (SlotIndex index) const
 
const SegmentgetSegmentContaining (SlotIndex Idx) const
 Return the segment that contains the specified index, or null if there is none. More...
 
SegmentgetSegmentContaining (SlotIndex Idx)
 Return the live segment that contains the specified index, or null if there is none. More...
 
VNInfogetVNInfoAt (SlotIndex Idx) const
 getVNInfoAt - Return the VNInfo that is live at Idx, or NULL. More...
 
VNInfogetVNInfoBefore (SlotIndex Idx) const
 getVNInfoBefore - Return the VNInfo that is live up to but not necessarilly including Idx, or NULL. More...
 
iterator FindSegmentContaining (SlotIndex Idx)
 Return an iterator to the segment that contains the specified index, or end() if there is none. More...
 
const_iterator FindSegmentContaining (SlotIndex Idx) const
 
bool overlaps (const LiveRange &other) const
 overlaps - Return true if the intersection of the two live ranges is not empty. More...
 
bool overlaps (const LiveRange &Other, const CoalescerPair &CP, const SlotIndexes &) const
 overlaps - Return true if the two ranges have overlapping segments that are not coalescable according to CP. More...
 
bool overlaps (SlotIndex Start, SlotIndex End) const
 overlaps - Return true if the live range overlaps an interval specified by [Start, End). More...
 
bool overlapsFrom (const LiveRange &Other, const_iterator I) const
 overlapsFrom - Return true if the intersection of the two live ranges is not empty. More...
 
bool covers (const LiveRange &Other) const
 Returns true if all segments of the Other live range are completely covered by this live range. More...
 
iterator addSegment (Segment S)
 Add the specified Segment to this range, merging segments as appropriate. More...
 
VNInfoextendInBlock (SlotIndex StartIdx, SlotIndex Use)
 If this range is live before Use in the basic block that starts at StartIdx, extend it to be live up to Use, and return the value. More...
 
void join (LiveRange &Other, const int *ValNoAssignments, const int *RHSValNoAssignments, SmallVectorImpl< VNInfo * > &NewVNInfo)
 join - Join two live ranges (this, and other) together. More...
 
bool isLocal (SlotIndex Start, SlotIndex End) const
 True iff this segment is a single segment that lies between the specified boundaries, exclusively. More...
 
void removeSegment (SlotIndex Start, SlotIndex End, bool RemoveDeadValNo=false)
 Remove the specified segment from this range. More...
 
void removeSegment (Segment S, bool RemoveDeadValNo=false)
 
iterator removeSegment (iterator I)
 Remove segment pointed to by iterator I from this range. More...
 
LiveQueryResult Query (SlotIndex Idx) const
 Query Liveness at Idx. More...
 
void removeValNo (VNInfo *ValNo)
 removeValNo - Remove all the segments defined by the specified value#. More...
 
bool isZeroLength (SlotIndexes *Indexes) const
 Returns true if the live range is zero length, i.e. More...
 
bool operator< (const LiveRange &other) const
 
void flushSegmentSet ()
 Flush segment set into the regular segment vector. More...
 
void print (raw_ostream &OS) const
 
void dump () const
 
void verify () const
 Walk the range and assert if any invariants fail to hold. More...
 

Public Attributes

const unsigned reg
 
float weight
 
- Public Attributes inherited from llvm::LiveRange
Segments segments
 
VNInfoList valnos
 
std::unique_ptr< SegmentSetsegmentSet
 

Additional Inherited Members

- Protected Member Functions inherited from llvm::LiveRange
void append (const LiveRange::Segment S)
 Append a segment to the list of segments. More...
 

Detailed Description

LiveInterval - This class represents the liveness of a register, or stack slot.

Definition at line 588 of file LiveInterval.h.

Member Typedef Documentation

Definition at line 662 of file LiveInterval.h.

Definition at line 654 of file LiveInterval.h.

Definition at line 590 of file LiveInterval.h.

Constructor & Destructor Documentation

llvm::LiveInterval::LiveInterval ( unsigned  Reg,
float  Weight 
)
inline

Definition at line 619 of file LiveInterval.h.

llvm::LiveInterval::~LiveInterval ( )
inline

Definition at line 622 of file LiveInterval.h.

References clearSubRanges().

Member Function Documentation

void LiveInterval::clearSubRanges ( )

Removes all subregister liveness information.

Definition at line 776 of file LiveInterval.cpp.

Referenced by llvm::ConnectedVNInfoEqClasses::Distribute(), and ~LiveInterval().

void LiveInterval::constructMainRangeFromSubranges ( const SlotIndexes Indexes,
VNInfo::Allocator VNIAllocator 
)
SubRange* llvm::LiveInterval::createSubRange ( BumpPtrAllocator Allocator,
unsigned  LaneMask 
)
inline

Creates a new empty subregister live range.

The range is added at the beginning of the subrange list; subrange iterators stay valid.

Definition at line 680 of file LiveInterval.h.

Referenced by llvm::LiveRangeCalc::calculate().

SubRange* llvm::LiveInterval::createSubRangeFrom ( BumpPtrAllocator Allocator,
unsigned  LaneMask,
const LiveRange CopyFrom 
)
inline

Like createSubRange() but the new range is filled with a copy of the liveness information in CopyFrom.

Definition at line 688 of file LiveInterval.h.

Referenced by llvm::LiveRangeCalc::calculate().

void LiveInterval::dump ( ) const

Definition at line 1078 of file LiveInterval.cpp.

References llvm::dbgs().

unsigned LiveInterval::getSize ( ) const

getSize - Returns the sum of sizes of all the LiveRange's.

Definition at line 1017 of file LiveInterval.cpp.

References llvm::LiveRange::segments.

Referenced by llvm::VirtRegAuxInfo::calculateSpillWeightAndHint().

bool llvm::LiveInterval::hasSubRanges ( ) const
inline

Returns true if subregister liveness information is available.

Definition at line 696 of file LiveInterval.h.

Referenced by llvm::LiveRangeCalc::calculate(), constructMainRangeFromSubranges(), foreachUnit(), and llvm::LiveIntervals::HMEditor::updateAllRanges().

bool llvm::LiveInterval::isSpillable ( ) const
inline

isSpillable - Can this interval be spilled?

Definition at line 716 of file LiveInterval.h.

References llvm::huge_valf, and weight.

Referenced by llvm::VirtRegAuxInfo::calculateSpillWeightAndHint().

void llvm::LiveInterval::markNotSpillable ( )
inline

markNotSpillable - Mark interval as not spillable

Definition at line 721 of file LiveInterval.h.

References llvm::huge_valf, and weight.

Referenced by llvm::VirtRegAuxInfo::calculateSpillWeightAndHint().

bool llvm::LiveInterval::operator< ( const LiveInterval other) const
inline

Definition at line 725 of file LiveInterval.h.

References llvm::LiveRange::beginIndex(), and reg.

void LiveInterval::print ( raw_ostream OS) const

Definition at line 1064 of file LiveInterval.cpp.

References llvm::format().

Referenced by llvm::operator<<().

void LiveInterval::removeEmptySubRanges ( )

Removes all subranges without any segments (subranges without segments are not considered valid and should only exist temporarily).

Definition at line 757 of file LiveInterval.cpp.

References llvm::LiveRange::empty(), I, and llvm::LiveInterval::SubRange::Next.

Referenced by llvm::LiveRangeCalc::calculate(), and llvm::LiveIntervals::removeVRegDefAt().

subrange_iterator llvm::LiveInterval::subrange_begin ( )
inline

Definition at line 655 of file LiveInterval.h.

Referenced by subranges().

const_subrange_iterator llvm::LiveInterval::subrange_begin ( ) const
inline

Definition at line 663 of file LiveInterval.h.

subrange_iterator llvm::LiveInterval::subrange_end ( )
inline

Definition at line 658 of file LiveInterval.h.

Referenced by subranges().

const_subrange_iterator llvm::LiveInterval::subrange_end ( ) const
inline

Definition at line 666 of file LiveInterval.h.

iterator_range<subrange_iterator> llvm::LiveInterval::subranges ( )
inline
iterator_range<const_subrange_iterator> llvm::LiveInterval::subranges ( ) const
inline

Definition at line 674 of file LiveInterval.h.

References llvm::make_range(), subrange_begin(), and subrange_end().

void LiveInterval::verify ( const MachineRegisterInfo MRI = nullptr) const

Walks the interval and assert if any invariants fail to hold.

Note that this is a no-op when asserts are disabled.

Definition at line 1100 of file LiveInterval.cpp.

References llvm::LiveRange::covers(), llvm::MachineRegisterInfo::getMaxLaneMaskForVReg(), and verify.

Member Data Documentation

const unsigned llvm::LiveInterval::reg
float llvm::LiveInterval::weight

The documentation for this class was generated from the following files: