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

#include <SpillPlacement.h>

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

Classes

struct  BlockConstraint
 BlockConstraint - Entry and exit constraints for a basic block. More...
 
struct  Node
 Node - Each edge bundle corresponds to a Hopfield node. More...
 

Public Types

enum  BorderConstraint {
  DontCare, PrefReg, PrefSpill, PrefBoth,
  MustSpill
}
 BorderConstraint - A basic block has separate constraints for entry and exit. More...
 

Public Member Functions

 SpillPlacement ()
 
 ~SpillPlacement () override
 
void prepare (BitVector &RegBundles)
 prepare - Reset state and prepare for a new spill placement computation. More...
 
void addConstraints (ArrayRef< BlockConstraint > LiveBlocks)
 addConstraints - Add constraints and biases. More...
 
void addPrefSpill (ArrayRef< unsigned > Blocks, bool Strong)
 addPrefSpill - Add PrefSpill constraints to all blocks listed. More...
 
void addLinks (ArrayRef< unsigned > Links)
 addLinks - Add transparent blocks with the given numbers. More...
 
bool scanActiveBundles ()
 scanActiveBundles - Perform an initial scan of all bundles activated by addConstraints and addLinks, updating their state. More...
 
void iterate ()
 iterate - Update the network iteratively until convergence, or new bundles are found. More...
 
ArrayRef< unsignedgetRecentPositive ()
 getRecentPositive - Return an array of bundles that became positive during the previous call to scanActiveBundles or iterate. More...
 
bool finish ()
 finish - Compute the optimal spill code placement given the constraints. More...
 
BlockFrequency getBlockFrequency (unsigned Number) const
 getBlockFrequency - Return the estimated block execution frequency per function invocation. More...
 
- Public Member Functions inherited from llvm::FunctionPass
 FunctionPass (char &pid)
 
PasscreatePrinterPass (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 const char * 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 doInitialization (Module &)
 doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run. 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)
 
AnalysisResolvergetResolver () const
 
virtual void * getAdjustedAnalysisPointer (AnalysisID ID)
 getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More...
 
virtual ImmutablePassgetAsImmutablePass ()
 
virtual PMDataManagergetAsPMDataManager ()
 
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 PassInfolookupPassInfo (const void *TI)
 
static const PassInfolookupPassInfo (StringRef Arg)
 
static PasscreatePass (AnalysisID ID)
 
- Protected Member Functions inherited from llvm::MachineFunctionPass
 MachineFunctionPass (char &ID)
 
- Protected Member Functions inherited from llvm::FunctionPass
bool skipOptnoneFunction (const Function &F) const
 skipOptnoneFunction - This function has Attribute::OptimizeNone and most transformation passes should skip it. More...
 

Detailed Description

Definition at line 43 of file SpillPlacement.h.

Member Enumeration Documentation

BorderConstraint - A basic block has separate constraints for entry and exit.

Enumerator
DontCare 

Block doesn't care / variable not live.

PrefReg 

Block entry/exit prefers a register.

PrefSpill 

Block entry/exit prefers a stack slot.

PrefBoth 

Block entry prefers both register and stack.

MustSpill 

A register is impossible, variable must be spilled.

Definition at line 77 of file SpillPlacement.h.

Constructor & Destructor Documentation

llvm::SpillPlacement::SpillPlacement ( )
inline

Definition at line 72 of file SpillPlacement.h.

llvm::SpillPlacement::~SpillPlacement ( )
inlineoverride

Definition at line 73 of file SpillPlacement.h.

Member Function Documentation

void SpillPlacement::addConstraints ( ArrayRef< BlockConstraint LiveBlocks)

addConstraints - Add constraints and biases.

addConstraints - Compute node biases and weights from a set of constraints.

This method may be called more than once to accumulate constraints.

Parameters
LiveBlocksConstraints for blocks that have the variable live in or live out.

Set a bit in NodeMask for each active node.

Definition at line 242 of file SpillPlacement.cpp.

References llvm::SpillPlacement::Node::addBias(), llvm::ArrayRef< T >::begin(), DontCare, llvm::ArrayRef< T >::end(), llvm::EdgeBundles::getBundle(), I, and llvm::ARM_AM::ib.

void SpillPlacement::addLinks ( ArrayRef< unsigned Links)
void SpillPlacement::addPrefSpill ( ArrayRef< unsigned Blocks,
bool  Strong 
)

addPrefSpill - Add PrefSpill constraints to all blocks listed.

addPrefSpill - Same as addConstraints(PrefSpill)

This is equivalent to calling addConstraint with identical BlockConstraints with Entry = Exit = PrefSpill, and ChangesValue = false.

Parameters
BlocksArray of block numbers that prefer to spill in and out.
StrongWhen true, double the negative bias for these blocks.

Definition at line 264 of file SpillPlacement.cpp.

References llvm::SpillPlacement::Node::addBias(), llvm::ArrayRef< T >::begin(), llvm::ArrayRef< T >::end(), llvm::EdgeBundles::getBundle(), I, llvm::ARM_AM::ib, and PrefSpill.

bool SpillPlacement::finish ( )

finish - Compute the optimal spill code placement given the constraints.

No MustSpill constraints will be violated, and the smallest possible number of PrefX constraints will be violated, weighted by expected execution frequencies. The selected bundles are returned in the bitvector passed to prepare().

Returns
True if a perfect solution was found, allowing the variable to be in a register through all relevant bundles.

Definition at line 379 of file SpillPlacement.cpp.

References llvm::BitVector::find_first(), llvm::BitVector::find_next(), and llvm::BitVector::reset().

BlockFrequency llvm::SpillPlacement::getBlockFrequency ( unsigned  Number) const
inline

getBlockFrequency - Return the estimated block execution frequency per function invocation.

Definition at line 149 of file SpillPlacement.h.

ArrayRef<unsigned> llvm::SpillPlacement::getRecentPositive ( )
inline

getRecentPositive - Return an array of bundles that became positive during the previous call to scanActiveBundles or iterate.

Definition at line 136 of file SpillPlacement.h.

void SpillPlacement::iterate ( )

iterate - Update the network iteratively until convergence, or new bundles are found.

iterate - Repeatedly update the Hopfield nodes until stability or the maximum number of iterations is reached.

Parameters
Linked- Numbers of linked nodes that need updating.

Definition at line 321 of file SpillPlacement.cpp.

References llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::SmallVectorBase::empty(), llvm::SmallVectorTemplateCommon< T, typename >::end(), I, llvm::SmallVectorImpl< T >::pop_back_val(), llvm::SmallVectorTemplateBase< T, isPodLike >::push_back(), llvm::SmallVectorTemplateCommon< T, typename >::rbegin(), llvm::SmallVectorTemplateCommon< T, typename >::rend(), and llvm::SpillPlacement::Node::update().

void SpillPlacement::prepare ( BitVector RegBundles)

prepare - Reset state and prepare for a new spill placement computation.

Parameters
RegBundlesBit vector to receive the edge bundles where the variable should be kept in a register. Each bit corresponds to an edge bundle, a set bit means the variable should be kept in a register through the bundle. A clear bit means the variable should be spilled. This vector is retained.

Definition at line 369 of file SpillPlacement.cpp.

References llvm::BitVector::clear(), llvm::SmallVectorImpl< T >::clear(), llvm::EdgeBundles::getNumBundles(), and llvm::BitVector::resize().

bool SpillPlacement::scanActiveBundles ( )

scanActiveBundles - Perform an initial scan of all bundles activated by addConstraints and addLinks, updating their state.

Add all the bundles that now prefer a register to RecentPositive. Prepare internal data structures for iterate. Return true is there are any positive nodes.

Definition at line 301 of file SpillPlacement.cpp.

References llvm::SmallVectorImpl< T >::clear(), llvm::SmallVectorBase::empty(), llvm::BitVector::find_first(), llvm::BitVector::find_next(), llvm::SmallVectorTemplateBase< T, isPodLike >::push_back(), and llvm::SpillPlacement::Node::update().

Member Data Documentation

char SpillPlacement::ID = 0
static

Definition at line 70 of file SpillPlacement.h.


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