|
LLVM
4.0.0
|
SlotIndexes pass. More...
#include <SlotIndexes.h>
Public Types | |
| typedef SmallVectorImpl < IdxMBBPair >::const_iterator | MBBIndexIterator |
| Iterator over the idx2MBBMap (sorted pairs of slot index of basic block begin and basic block) More... | |
Public Member Functions | |
| SlotIndexes () | |
| ~SlotIndexes () override | |
| void | getAnalysisUsage (AnalysisUsage &au) const override |
| getAnalysisUsage - Subclasses that override getAnalysisUsage must call this. More... | |
| void | releaseMemory () override |
| releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed. More... | |
| bool | runOnMachineFunction (MachineFunction &fn) override |
| runOnMachineFunction - This method must be overloaded to perform the desired machine code transformation or analysis. More... | |
| void | dump () const |
| Dump the indexes. More... | |
| void | renumberIndexes () |
| Renumber the index list, providing space for new instructions. More... | |
| void | repairIndexesInRange (MachineBasicBlock *MBB, MachineBasicBlock::iterator Begin, MachineBasicBlock::iterator End) |
| Repair indexes after adding and removing instructions. More... | |
| SlotIndex | getZeroIndex () |
| Returns the zero index for this analysis. More... | |
| SlotIndex | getLastIndex () |
| Returns the base index of the last slot in this analysis. More... | |
| bool | hasIndex (const MachineInstr &instr) const |
| Returns true if the given machine instr is mapped to an index, otherwise returns false. More... | |
| SlotIndex | getInstructionIndex (const MachineInstr &MI) const |
| Returns the base index for the given instruction. More... | |
| MachineInstr * | getInstructionFromIndex (SlotIndex index) const |
| Returns the instruction for the given index, or null if the given index has no instruction associated with it. More... | |
| SlotIndex | getNextNonNullIndex (SlotIndex Index) |
| Returns the next non-null index, if one exists. More... | |
| SlotIndex | getIndexBefore (const MachineInstr &MI) const |
| getIndexBefore - Returns the index of the last indexed instruction before MI, or the start index of its basic block. More... | |
| SlotIndex | getIndexAfter (const MachineInstr &MI) const |
| getIndexAfter - Returns the index of the first indexed instruction after MI, or the end index of its basic block. More... | |
| const std::pair< SlotIndex, SlotIndex > & | getMBBRange (unsigned Num) const |
| Return the (start,end) range of the given basic block number. More... | |
| const std::pair< SlotIndex, SlotIndex > & | getMBBRange (const MachineBasicBlock *MBB) const |
| Return the (start,end) range of the given basic block. More... | |
| SlotIndex | getMBBStartIdx (unsigned Num) const |
| Returns the first index in the given basic block number. More... | |
| SlotIndex | getMBBStartIdx (const MachineBasicBlock *mbb) const |
| Returns the first index in the given basic block. More... | |
| SlotIndex | getMBBEndIdx (unsigned Num) const |
| Returns the last index in the given basic block number. More... | |
| SlotIndex | getMBBEndIdx (const MachineBasicBlock *mbb) const |
| Returns the last index in the given basic block. More... | |
| MBBIndexIterator | advanceMBBIndex (MBBIndexIterator I, SlotIndex To) const |
Move iterator to the next IdxMBBPair where the SlotIndex is greater or equal to To. More... | |
| MBBIndexIterator | findMBBIndex (SlotIndex Idx) const |
Get an iterator pointing to the IdxMBBPair with the biggest SlotIndex that is greater or equal to Idx. More... | |
| MBBIndexIterator | MBBIndexBegin () const |
| Returns an iterator for the begin of the idx2MBBMap. More... | |
| MBBIndexIterator | MBBIndexEnd () const |
| Return an iterator for the end of the idx2MBBMap. More... | |
| MachineBasicBlock * | getMBBFromIndex (SlotIndex index) const |
| Returns the basic block which the given index falls in. More... | |
| MachineBasicBlock * | getMBBCoveringRange (SlotIndex start, SlotIndex end) const |
| Returns the MBB covering the given range, or null if the range covers more than one basic block. More... | |
| SlotIndex | insertMachineInstrInMaps (MachineInstr &MI, bool Late=false) |
| Insert the given machine instruction into the mapping. More... | |
| void | removeMachineInstrFromMaps (MachineInstr &MI) |
| Remove the given machine instruction from the mapping. More... | |
| SlotIndex | replaceMachineInstrInMaps (MachineInstr &MI, MachineInstr &NewMI) |
| ReplaceMachineInstrInMaps - Replacing a machine instr with a new one in maps used by register allocator. More... | |
| void | insertMBBInMaps (MachineBasicBlock *mbb) |
| Add the given MachineBasicBlock into the maps. More... | |
| void | eraseIndex (SlotIndex index) |
| Free the resources that were required to maintain a SlotIndex. More... | |
Public Member Functions inherited from llvm::MachineFunctionPass | |
| bool | doInitialization (Module &) override |
| doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run. More... | |
Public Member Functions inherited from llvm::FunctionPass | |
| FunctionPass (char &pid) | |
| Pass * | createPrinterPass (raw_ostream &O, const std::string &Banner) const override |
| createPrinterPass - Get a function printer pass. More... | |
| void | assignPassManager (PMStack &PMS, PassManagerType T) override |
| Find appropriate Function Pass Manager or Call Graph Pass Manager in the PM Stack and add self into that manager. More... | |
| PassManagerType | getPotentialPassManagerType () const override |
| Return what kind of Pass Manager can manage this pass. More... | |
Public Member Functions inherited from llvm::Pass | |
| Pass (PassKind K, char &pid) | |
| virtual | ~Pass () |
| PassKind | getPassKind () const |
| virtual StringRef | getPassName () const |
| getPassName - Return a nice clean name for a pass. More... | |
| AnalysisID | getPassID () const |
| getPassID - Return the PassID number that corresponds to this pass. More... | |
| virtual bool | doFinalization (Module &) |
| doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run. More... | |
| virtual void | print (raw_ostream &O, const Module *M) const |
| print - Print out the internal state of the pass. More... | |
| void | dump () const |
| virtual void | preparePassManager (PMStack &) |
| Check if available pass managers are suitable for this pass or not. More... | |
| void | setResolver (AnalysisResolver *AR) |
| AnalysisResolver * | getResolver () const |
| virtual void * | getAdjustedAnalysisPointer (AnalysisID ID) |
| getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More... | |
| virtual ImmutablePass * | getAsImmutablePass () |
| virtual PMDataManager * | getAsPMDataManager () |
| virtual void | verifyAnalysis () const |
| verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information. More... | |
| virtual void | dumpPassStructure (unsigned Offset=0) |
| template<typename AnalysisType > | |
| AnalysisType * | getAnalysisIfAvailable () const |
| getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information that might be around, for example to update it. More... | |
| bool | mustPreserveAnalysisID (char &AID) const |
| mustPreserveAnalysisID - This method serves the same function as getAnalysisIfAvailable, but works if you just have an AnalysisID. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysis () const |
| getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysis (Function &F) |
| getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysisID (AnalysisID PI) const |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysisID (AnalysisID PI, Function &F) |
Static Public Attributes | |
| static char | ID = 0 |
Additional Inherited Members | |
Static Public Member Functions inherited from llvm::Pass | |
| static const PassInfo * | lookupPassInfo (const void *TI) |
| static const PassInfo * | lookupPassInfo (StringRef Arg) |
| static Pass * | createPass (AnalysisID ID) |
Protected Member Functions inherited from llvm::MachineFunctionPass | |
| MachineFunctionPass (char &ID) | |
| virtual MachineFunctionProperties | getRequiredProperties () const |
| virtual MachineFunctionProperties | getSetProperties () const |
| virtual MachineFunctionProperties | getClearedProperties () const |
Protected Member Functions inherited from llvm::FunctionPass | |
| bool | skipFunction (const Function &F) const |
| Optional passes call this function to check whether the pass should be skipped. More... | |
SlotIndexes pass.
This pass assigns indexes to each instruction.
Definition at line 323 of file SlotIndexes.h.
| typedef SmallVectorImpl<IdxMBBPair>::const_iterator llvm::SlotIndexes::MBBIndexIterator |
Iterator over the idx2MBBMap (sorted pairs of slot index of basic block begin and basic block)
Definition at line 500 of file SlotIndexes.h.
|
inline |
Definition at line 363 of file SlotIndexes.h.
References llvm::PassRegistry::getPassRegistry(), and llvm::initializeSlotIndexesPass().
|
inlineoverride |
Definition at line 367 of file SlotIndexes.h.
References llvm::iplist_impl< IntrusiveListT, TraitsT >::clearAndLeakNodesUnsafely().
|
inline |
Move iterator to the next IdxMBBPair where the SlotIndex is greater or equal to To.
Definition at line 503 of file SlotIndexes.h.
References llvm::SmallVectorTemplateCommon< T, typename >::end().
Referenced by findMBBIndex().
| LLVM_DUMP_METHOD void SlotIndexes::dump | ( | ) | const |
|
inline |
Free the resources that were required to maintain a SlotIndex.
Once an index is no longer needed (for instance because the instruction at that index has been moved), the resources required to maintain the index can be relinquished to reduce memory use and improve renumbering performance. Any remaining SlotIndex objects that point to the same index are left 'dangling' (much the same as a dangling pointer to a freed object) and should not be accessed, except to destruct them.
Like dangling pointers, access to dangling SlotIndexes can cause painful-to-track-down bugs, especially if the memory for the index previously pointed to has been re-used. To detect dangling SlotIndex bugs, build with EXPENSIVE_CHECKS=1. This will cause "erased" indexes to be retained in a graveyard instead of being freed. Operations on indexes in the graveyard will trigger an assertion.
Definition at line 687 of file SlotIndexes.h.
References llvm::iplist_impl< IntrusiveListT, TraitsT >::erase(), and llvm::iplist_impl< IntrusiveListT, TraitsT >::remove().
|
inline |
Get an iterator pointing to the IdxMBBPair with the biggest SlotIndex that is greater or equal to Idx.
Definition at line 508 of file SlotIndexes.h.
References advanceMBBIndex(), and llvm::SmallVectorTemplateCommon< T, typename >::begin().
Referenced by getMBBCoveringRange(), and getMBBFromIndex().
|
overridevirtual |
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
For MachineFunctionPasses, calling AU.preservesCFG() indicates that the pass does not modify the MachineBasicBlock CFG.
Reimplemented from llvm::MachineFunctionPass.
Definition at line 28 of file SlotIndexes.cpp.
References llvm::MachineFunctionPass::getAnalysisUsage().
|
inline |
getIndexAfter - Returns the index of the first indexed instruction after MI, or the end index of its basic block.
MI is not required to have an index.
Definition at line 452 of file SlotIndexes.h.
References assert(), E, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::MachineBasicBlock::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), getMBBEndIdx(), llvm::MachineInstr::getParent(), I, MBB, and MI.
Referenced by insertMachineInstrInMaps().
|
inline |
getIndexBefore - Returns the index of the last indexed instruction before MI, or the start index of its basic block.
MI is not required to have an index.
Definition at line 435 of file SlotIndexes.h.
References assert(), B, llvm::MachineBasicBlock::begin(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), getMBBStartIdx(), llvm::MachineInstr::getParent(), I, MBB, and MI.
Referenced by insertMachineInstrInMaps().
|
inline |
Returns the instruction for the given index, or null if the given index has no instruction associated with it.
Definition at line 416 of file SlotIndexes.h.
References llvm::IndexListEntry::getInstr(), and llvm::SlotIndex::isValid().
Referenced by llvm::LiveIntervals::getInstructionFromIndex(), getMBBFromIndex(), and llvm::LiveRange::overlaps().
|
inline |
Returns the base index for the given instruction.
Definition at line 406 of file SlotIndexes.h.
References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), llvm::getBundleStart(), and llvm::ilist_node_impl< OptionsT >::getIterator().
Referenced by llvm::LiveInterval::computeSubRangeUndefs(), createDeadDef(), llvm::SystemZInstrInfo::foldMemoryOperandImpl(), llvm::LiveIntervals::getInstructionIndex(), llvm::LiveIntervals::handleMove(), llvm::LiveIntervals::handleMoveIntoBundle(), llvm::MachineBasicBlock::print(), and repairIndexesInRange().
|
inline |
Returns the base index of the last slot in this analysis.
Definition at line 395 of file SlotIndexes.h.
Referenced by getNextNonNullIndex().
|
inline |
Returns the MBB covering the given range, or null if the range covers more than one basic block.
Definition at line 539 of file SlotIndexes.h.
References assert(), findMBBIndex(), and MBBIndexEnd().
Returns the last index in the given basic block number.
Definition at line 489 of file SlotIndexes.h.
References getMBBRange().
Referenced by extendSegmentsToUses(), getIndexAfter(), llvm::LiveIntervals::getMBBEndIdx(), getMBBFromIndex(), llvm::LiveIntervals::hasPHIKill(), llvm::LiveIntervals::pruneValue(), and repairIndexesInRange().
|
inline |
Returns the last index in the given basic block.
Definition at line 494 of file SlotIndexes.h.
References getMBBRange().
|
inline |
Returns the basic block which the given index falls in.
Definition at line 521 of file SlotIndexes.h.
References assert(), llvm::SmallVectorBase::empty(), findMBBIndex(), getInstructionFromIndex(), getMBBEndIdx(), I, MBBIndexEnd(), and MI.
Referenced by llvm::LiveRangeCalc::extend(), extendSegmentsToUses(), llvm::LiveIntervals::getMBBFromIndex(), llvm::LiveIntervals::intervalIsInOneMBB(), and llvm::LiveIntervals::pruneValue().
Return the (start,end) range of the given basic block number.
Definition at line 468 of file SlotIndexes.h.
Referenced by getMBBEndIdx(), getMBBRange(), getMBBStartIdx(), llvm::LiveIntervals::pruneValue(), llvm::SplitEditor::splitLiveThroughBlock(), llvm::SplitEditor::splitRegInBlock(), and llvm::SplitEditor::splitRegOutBlock().
|
inline |
Return the (start,end) range of the given basic block.
Definition at line 474 of file SlotIndexes.h.
References getMBBRange(), and llvm::MachineBasicBlock::getNumber().
Returns the first index in the given basic block number.
Definition at line 479 of file SlotIndexes.h.
References getMBBRange().
Referenced by llvm::LiveRangeCalc::extend(), extendSegmentsToUses(), getIndexBefore(), llvm::LiveIntervals::getMBBStartIdx(), insertMBBInMaps(), llvm::MachineBasicBlock::print(), and repairIndexesInRange().
|
inline |
Returns the first index in the given basic block.
Definition at line 484 of file SlotIndexes.h.
References getMBBRange().
Returns the next non-null index, if one exists.
Otherwise returns getLastIndex().
Definition at line 422 of file SlotIndexes.h.
References E, llvm::ilist_node_impl< OptionsT >::getIterator(), getLastIndex(), and I.
Referenced by llvm::LiveRange::isZeroLength().
|
inline |
Returns the zero index for this analysis.
Definition at line 389 of file SlotIndexes.h.
References assert().
|
inline |
Returns true if the given machine instr is mapped to an index, otherwise returns false.
Definition at line 401 of file SlotIndexes.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count().
Referenced by llvm::LiveIntervals::isNotInMIMap(), llvm::MachineBasicBlock::print(), repairIndexesInRange(), and llvm::LiveIntervals::repairIntervalsInRange().
|
inline |
Insert the given machine instruction into the mapping.
Returns the assigned index. If Late is set and there are null indexes between mi's neighboring instructions, create the new index after the null indexes instead of before them.
Definition at line 565 of file SlotIndexes.h.
References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), getIndexAfter(), getIndexBefore(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::MachineInstr::getParent(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), llvm::iplist_impl< IntrusiveListT, TraitsT >::insert(), llvm::MachineInstr::isDebugValue(), llvm::MachineInstr::isInsideBundle(), and renumberIndexes().
Referenced by llvm::LiveIntervals::handleMove(), llvm::LiveIntervals::InsertMachineInstrInMaps(), llvm::LiveIntervals::InsertMachineInstrRangeInMaps(), llvm::LiveRangeEdit::rematerializeAt(), and repairIndexesInRange().
|
inline |
Add the given MachineBasicBlock into the maps.
Definition at line 637 of file SlotIndexes.h.
References assert(), llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::SmallVectorTemplateCommon< T, typename >::end(), llvm::MachineFunction::end(), llvm::ilist_node_impl< OptionsT >::getIterator(), getMBBStartIdx(), llvm::MachineBasicBlock::getNumber(), llvm::MachineBasicBlock::getParent(), llvm::iplist_impl< IntrusiveListT, TraitsT >::insert(), llvm::iplist_impl< IntrusiveListT, TraitsT >::insertAfter(), llvm::SmallVectorTemplateBase< T, isPodLike >::push_back(), and renumberIndexes().
Referenced by llvm::LiveIntervals::insertMBBInMaps(), and llvm::MachineBasicBlock::SplitCriticalEdge().
|
inline |
Returns an iterator for the begin of the idx2MBBMap.
Definition at line 512 of file SlotIndexes.h.
References llvm::SmallVectorTemplateCommon< T, typename >::begin().
|
inline |
Return an iterator for the end of the idx2MBBMap.
Definition at line 516 of file SlotIndexes.h.
References llvm::SmallVectorTemplateCommon< T, typename >::end().
Referenced by getMBBCoveringRange(), and getMBBFromIndex().
|
overridevirtual |
releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed.
The default behavior of passes is to hold onto memory for the entire duration of their lifetime (which is the entire compile time). For pipelined passes, this is not a big deal because that memory gets recycled every time the pass is invoked on another program unit. For IP passes, it is more important to free memory when it is unused.
Optionally implement this function to release pass memory when it is no longer used.
Reimplemented from llvm::Pass.
Definition at line 33 of file SlotIndexes.cpp.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::clear(), llvm::iplist_impl< IntrusiveListT, TraitsT >::clear(), llvm::SmallVectorImpl< T >::clear(), and llvm::BumpPtrAllocatorImpl< AllocatorT, SlabSize, SizeThreshold >::Reset().
|
inline |
Remove the given machine instruction from the mapping.
Definition at line 606 of file SlotIndexes.h.
References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::erase(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find().
Referenced by llvm::LiveIntervals::handleMove(), llvm::LiveIntervals::RemoveMachineInstrFromMaps(), and repairIndexesInRange().
| void SlotIndexes::renumberIndexes | ( | ) |
Renumber the index list, providing space for new instructions.
Definition at line 106 of file SlotIndexes.cpp.
References llvm::dbgs(), DEBUG, E, I, and llvm::SlotIndex::InstrDist.
Referenced by insertMachineInstrInMaps(), and insertMBBInMaps().
| void SlotIndexes::repairIndexesInRange | ( | MachineBasicBlock * | MBB, |
| MachineBasicBlock::iterator | Begin, | ||
| MachineBasicBlock::iterator | End | ||
| ) |
Repair indexes after adding and removing instructions.
Definition at line 141 of file SlotIndexes.cpp.
References assert(), llvm::MachineBasicBlock::begin(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::WebAssembly::End, llvm::MachineBasicBlock::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), getInstructionIndex(), llvm::ilist_node_impl< OptionsT >::getIterator(), getMBBEndIdx(), getMBBStartIdx(), hasIndex(), I, insertMachineInstrInMaps(), llvm::MachineInstr::isDebugValue(), MI, and removeMachineInstrFromMaps().
Referenced by llvm::LiveIntervals::repairIntervalsInRange().
|
inline |
ReplaceMachineInstrInMaps - Replacing a machine instr with a new one in maps used by register allocator.
Definition at line 622 of file SlotIndexes.h.
References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::erase(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert().
Referenced by llvm::LiveIntervals::ReplaceMachineInstrInMaps().
|
overridevirtual |
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformation or analysis.
Implements llvm::MachineFunctionPass.
Definition at line 41 of file SlotIndexes.cpp.
References assert(), llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::dbgs(), DEBUG, llvm::SmallVectorBase::empty(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::empty(), llvm::SmallVectorTemplateCommon< T, typename >::end(), llvm::MachineFunction::getNumBlockIDs(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), llvm::SlotIndex::InstrDist, MBB, MI, llvm::SmallVectorTemplateBase< T, isPodLike >::push_back(), llvm::iplist_impl< IntrusiveListT, TraitsT >::push_back(), llvm::SmallVectorImpl< T >::reserve(), and llvm::MachineFunction::size().
|
static |
Definition at line 361 of file SlotIndexes.h.
1.8.6