LLVM 20.0.0git
|
#include "llvm/Transforms/IPO/Attributor.h"
Public Member Functions | |
AAPotentialValues (const IRPosition &IRP, Attributor &A) | |
PotentialLLVMValuesState & | getState () override |
See AbstractAttribute::getState(...). | |
const PotentialLLVMValuesState & | getState () const override |
const std::string | getName () const override |
See AbstractAttribute::getName() | |
const char * | getIdAddr () const override |
See AbstractAttribute::getIdAddr() | |
Public Member Functions inherited from llvm::StateWrapper< PotentialLLVMValuesState, AbstractAttribute > | |
StateWrapper (const IRPosition &IRP, Ts... Args) | |
StateType & | getState () override |
See AbstractAttribute::getState(...). | |
const StateType & | getState () const override |
See AbstractAttribute::getState(...). | |
Public Member Functions inherited from llvm::AbstractAttribute | |
AbstractAttribute (const IRPosition &IRP) | |
virtual | ~AbstractAttribute ()=default |
Virtual destructor. | |
virtual void | initialize (Attributor &A) |
Initialize the state with the information in the Attributor A . | |
virtual bool | isQueryAA () const |
A query AA is always scheduled as long as we do updates because it does lazy computation that cannot be determined to be done from the outside. | |
virtual StateType & | getState ()=0 |
Return the internal abstract state for inspection. | |
virtual const StateType & | getState () const =0 |
const IRPosition & | getIRPosition () const |
Return an IR position, see struct IRPosition. | |
IRPosition & | getIRPosition () |
void | print (raw_ostream &OS) const |
Helper functions, for debug purposes only. | |
void | print (Attributor *, raw_ostream &OS) const override |
virtual void | printWithDeps (raw_ostream &OS) const |
void | dump () const |
virtual const std::string | getAsStr (Attributor *A) const =0 |
This function should return the "summarized" assumed state as string. | |
virtual const std::string | getName () const =0 |
This function should return the name of the AbstractAttribute. | |
virtual const char * | getIdAddr () const =0 |
This function should return the address of the ID of the AbstractAttribute. | |
Public Member Functions inherited from llvm::IRPosition | |
IRPosition () | |
Default constructor available to create invalid positions implicitly. | |
bool | operator== (const IRPosition &RHS) const |
bool | operator!= (const IRPosition &RHS) const |
Value & | getAnchorValue () const |
Return the value this abstract attribute is anchored with. | |
Function * | getAssociatedFunction () const |
Return the associated function, if any. | |
Argument * | getAssociatedArgument () const |
Return the associated argument, if any. | |
bool | isFnInterfaceKind () const |
Return true if the position refers to a function interface, that is the function scope, the function return, or an argument. | |
bool | isFunctionScope () const |
Return true if this is a function or call site position. | |
Function * | getAnchorScope () const |
Return the Function surrounding the anchor value. | |
Instruction * | getCtxI () const |
Return the context instruction, if any. | |
Value & | getAssociatedValue () const |
Return the value this abstract attribute is associated with. | |
Type * | getAssociatedType () const |
Return the type this abstract attribute is associated with. | |
int | getCalleeArgNo () const |
Return the callee argument number of the associated value if it is an argument or call site argument, otherwise a negative value. | |
int | getCallSiteArgNo () const |
Return the call site argument number of the associated value if it is an argument or call site argument, otherwise a negative value. | |
unsigned | getAttrIdx () const |
Return the index in the attribute list for this position. | |
Value * | getAttrListAnchor () const |
Return the value attributes are attached to. | |
AttributeList | getAttrList () const |
Return the attributes associated with this function or call site scope. | |
void | setAttrList (const AttributeList &AttrList) const |
Update the attributes associated with this function or call site scope. | |
unsigned | getNumArgs () const |
Return the number of arguments associated with this function or call site scope. | |
Value * | getArg (unsigned ArgNo) const |
Return theargument ArgNo associated with this function or call site scope. | |
Kind | getPositionKind () const |
Return the associated position kind. | |
bool | isAnyCallSitePosition () const |
bool | isArgumentPosition () const |
Return true if the position is an argument or call site argument. | |
IRPosition | stripCallBaseContext () const |
Return the same position without the call base context. | |
const CallBaseContext * | getCallBaseContext () const |
Get the call base context from the position. | |
bool | hasCallBaseContext () const |
Check if the position has any call base context. | |
operator void * () const | |
} | |
Public Member Functions inherited from llvm::AADepGraphNode | |
virtual | ~AADepGraphNode ()=default |
aaiterator | begin () |
aaiterator | end () |
iterator | child_begin () |
iterator | child_end () |
void | print (raw_ostream &OS) const |
virtual void | print (Attributor *, raw_ostream &OS) const |
DepSetTy & | getDeps () |
Public Member Functions inherited from llvm::PotentialValuesState< MemberTy > | |
PotentialValuesState () | |
PotentialValuesState (bool IsValid) | |
bool | isValidState () const override |
See AbstractState::isValidState(...) | |
bool | isAtFixpoint () const override |
See AbstractState::isAtFixpoint(...) | |
ChangeStatus | indicatePessimisticFixpoint () override |
See AbstractState::indicatePessimisticFixpoint(...) | |
ChangeStatus | indicateOptimisticFixpoint () override |
See AbstractState::indicateOptimisticFixpoint(...) | |
PotentialValuesState & | getAssumed () |
Return the assumed state. | |
const PotentialValuesState & | getAssumed () const |
const SetTy & | getAssumedSet () const |
Return this set. | |
bool | undefIsContained () const |
Returns whether this state contains an undef value or not. | |
bool | operator== (const PotentialValuesState &RHS) const |
void | unionAssumed (const MemberTy &C) |
Union assumed set with the passed value. | |
void | unionAssumed (const PotentialValuesState &PVS) |
Union assumed set with assumed set of the passed state PVS . | |
void | unionAssumedWithUndef () |
Union assumed set with an undef value. | |
PotentialValuesState | operator^= (const PotentialValuesState &PVS) |
"Clamp" this state with PVS . | |
PotentialValuesState | operator&= (const PotentialValuesState &PVS) |
bool | contains (const MemberTy &V) const |
Public Member Functions inherited from llvm::AbstractState | |
virtual | ~AbstractState ()=default |
virtual bool | isValidState () const =0 |
Return if this abstract state is in a valid state. | |
virtual bool | isAtFixpoint () const =0 |
Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself. | |
virtual ChangeStatus | indicateOptimisticFixpoint ()=0 |
Indicate that the abstract state should converge to the optimistic state. | |
virtual ChangeStatus | indicatePessimisticFixpoint ()=0 |
Indicate that the abstract state should converge to the pessimistic state. | |
Static Public Member Functions | |
static bool | requiresCallersForArgOrFunction () |
See AbstractAttribute::requiresCallersForArgOrFunction. | |
static AAPotentialValues & | createForPosition (const IRPosition &IRP, Attributor &A) |
Create an abstract attribute view for the position IRP . | |
static Value * | getSingleValue (Attributor &A, const AbstractAttribute &AA, const IRPosition &IRP, SmallVectorImpl< AA::ValueAndContext > &Values) |
Extract the single value in Values if any. | |
static bool | classof (const AbstractAttribute *AA) |
This function should return true if the type of the AA is AAPotentialValues. | |
Static Public Member Functions inherited from llvm::AbstractAttribute | |
static bool | classof (const AADepGraphNode *DGN) |
This function is used to identify if an DGN is of type AbstractAttribute so that the dyn_cast and cast can use such information to cast an AADepGraphNode to an AbstractAttribute. | |
static bool | hasTrivialInitializer () |
Return false if this AA does anything non-trivial (hence not done by default) in its initializer. | |
static bool | requiresCalleeForCallBase () |
Return true if this AA requires a "callee" (or an associted function) for a call site positon. | |
static bool | requiresNonAsmForCallBase () |
Return true if this AA requires non-asm "callee" for a call site positon. | |
static bool | requiresCallersForArgOrFunction () |
Return true if this AA requires all callees for an argument or function positon. | |
static bool | isValidIRPositionForInit (Attributor &A, const IRPosition &IRP) |
Return false if an AA should not be created for IRP . | |
static bool | isValidIRPositionForUpdate (Attributor &A, const IRPosition &IRP) |
Return false if an AA should not be updated for IRP . | |
Static Public Member Functions inherited from llvm::IRPosition | |
static const IRPosition | value (const Value &V, const CallBaseContext *CBContext=nullptr) |
Create a position describing the value of V . | |
static const IRPosition | inst (const Instruction &I, const CallBaseContext *CBContext=nullptr) |
Create a position describing the instruction I . | |
static const IRPosition | function (const Function &F, const CallBaseContext *CBContext=nullptr) |
Create a position describing the function scope of F . | |
static const IRPosition | returned (const Function &F, const CallBaseContext *CBContext=nullptr) |
Create a position describing the returned value of F . | |
static const IRPosition | argument (const Argument &Arg, const CallBaseContext *CBContext=nullptr) |
Create a position describing the argument Arg . | |
static const IRPosition | callsite_function (const CallBase &CB) |
Create a position describing the function scope of CB . | |
static const IRPosition | callsite_returned (const CallBase &CB) |
Create a position describing the returned value of CB . | |
static const IRPosition | callsite_argument (const CallBase &CB, unsigned ArgNo) |
Create a position describing the argument of CB at position ArgNo . | |
static const IRPosition | callsite_argument (AbstractCallSite ACS, unsigned ArgNo) |
Create a position describing the argument of ACS at position ArgNo . | |
static const IRPosition | function_scope (const IRPosition &IRP, const CallBaseContext *CBContext=nullptr) |
Create a position with function scope matching the "context" of IRP . | |
Static Public Member Functions inherited from llvm::PotentialValuesState< MemberTy > | |
static PotentialValuesState | getBestState () |
Return empty set as the best state of potential values. | |
static PotentialValuesState | getBestState (const PotentialValuesState &PVS) |
static PotentialValuesState | getWorstState () |
Return full set as the worst state of potential values. | |
Static Public Attributes | |
static const char | ID = 0 |
Unique ID (due to the unique address) | |
Static Public Attributes inherited from llvm::AbstractAttribute | |
static constexpr Attribute::AttrKind | IRAttributeKind = Attribute::None |
Compile time access to the IR attribute kind. | |
Static Public Attributes inherited from llvm::IRPosition | |
static const IRPosition | EmptyKey |
Special DenseMap key values. | |
static const IRPosition | TombstoneKey |
Static Public Attributes inherited from llvm::PotentialValuesState< MemberTy > | |
static unsigned | MaxPotentialValues = 0 |
Maximum number of potential values to be tracked. | |
Friends | |
struct | Attributor |
Additional Inherited Members | |
Protected Member Functions inherited from llvm::AbstractAttribute | |
ChangeStatus | update (Attributor &A) |
Hook for the Attributor to trigger an update of the internal state. | |
virtual ChangeStatus | manifest (Attributor &A) |
Hook for the Attributor to trigger the manifestation of the information represented by the abstract attribute in the LLVM-IR. | |
virtual void | trackStatistics () const =0 |
Hook to enable custom statistic tracking, called after manifest that resulted in a change if statistics are enabled. | |
virtual ChangeStatus | updateImpl (Attributor &A)=0 |
The actual update/transfer function which has to be implemented by the derived classes. | |
Protected Member Functions inherited from llvm::AADepGraphNode | |
operator AbstractAttribute * () | |
Protected Member Functions inherited from llvm::PotentialValuesState< MemberTy > | |
SetTy & | getAssumedSet () |
Static Protected Member Functions inherited from llvm::AADepGraphNode | |
static AADepGraphNode * | DepGetVal (const DepTy &DT) |
static AbstractAttribute * | DepGetValAA (const DepTy &DT) |
Protected Attributes inherited from llvm::AADepGraphNode | |
DepSetTy | Deps |
Set of dependency graph nodes which should be updated if this one is updated. | |
Definition at line 5299 of file Attributor.h.
Definition at line 5301 of file Attributor.h.
|
inline |
Definition at line 5302 of file Attributor.h.
|
inlinestatic |
This function should return true if the type of the AA
is AAPotentialValues.
Definition at line 5328 of file Attributor.h.
References llvm::AbstractAttribute::getIdAddr().
|
static |
Create an abstract attribute view for the position IRP
.
See AbstractAttribute::getIdAddr()
Implements llvm::AbstractAttribute.
Definition at line 5324 of file Attributor.h.
References ID.
|
inlineoverridevirtual |
See AbstractAttribute::getName()
Implements llvm::AbstractAttribute.
Definition at line 5321 of file Attributor.h.
|
static |
Extract the single value in Values
if any.
Definition at line 10740 of file AttributorAttributes.cpp.
References llvm::AA::combineOptionalValuesInAAValueLatice(), llvm::UndefValue::get(), and llvm::IRPosition::getAssociatedType().
Referenced by llvm::Attributor::getAssumedConstant(), and llvm::Attributor::getAssumedSimplified().
|
inlineoverridevirtual |
Implements llvm::AbstractAttribute.
Definition at line 5309 of file Attributor.h.
|
inlineoverridevirtual |
See AbstractAttribute::getState(...).
Implements llvm::AbstractAttribute.
Definition at line 5308 of file Attributor.h.
|
inlinestatic |
See AbstractAttribute::requiresCallersForArgOrFunction.
Definition at line 5305 of file Attributor.h.
|
friend |
Definition at line 5340 of file Attributor.h.
Unique ID (due to the unique address)
Definition at line 5333 of file Attributor.h.
Referenced by getIdAddr().