An abstract interface for value simplify abstract attribute. More...
#include "llvm/Transforms/IPO/Attributor.h"
Inheritance diagram for llvm::AAValueSimplify:
Collaboration diagram for llvm::AAValueSimplify:
Public Types | |
| using | Base = StateWrapper< ValueSimplifyStateType, AbstractAttribute, Type * > |
 Public Types inherited from llvm::StateWrapper< ValueSimplifyStateType, AbstractAttribute, Type * > | |
| using | StateType = ValueSimplifyStateType |
| Provide static access to the type of the state. More... | |
| Public Types inherited from llvm::AbstractAttribute | |
| using | StateType = AbstractState |
| Public Types inherited from llvm::IRPosition | |
| enum | Kind : char { IRP_INVALID, IRP_FLOAT, IRP_RETURNED, IRP_CALL_SITE_RETURNED, IRP_FUNCTION, IRP_CALL_SITE, IRP_ARGUMENT, IRP_CALL_SITE_ARGUMENT } |
| The positions we distinguish in the IR. More... | |
| using | CallBaseContext = CallBase |
| Public Types inherited from llvm::AADepGraphNode | |
| using | DepTy = PointerIntPair< AADepGraphNode *, 1 > |
| using | iterator = mapped_iterator< TinyPtrVector< DepTy >::iterator, decltype(&DepGetVal)> |
| using | aaiterator = mapped_iterator< TinyPtrVector< DepTy >::iterator, decltype(&DepGetValAA)> |
Public Member Functions | |
| AAValueSimplify (const IRPosition &IRP, Attributor &A) | |
| const std::string | getName () const override |
| See AbstractAttribute::getName() More... | |
| const char * | getIdAddr () const override |
| See AbstractAttribute::getIdAddr() More... | |
| Public Member Functions inherited from llvm::StateWrapper< ValueSimplifyStateType, AbstractAttribute, Type * > | |
| StateWrapper (const IRPosition &IRP, Ts... Args) | |
| StateType & | getState () override |
| See AbstractAttribute::getState(...). More... | |
| const StateType & | getState () const override |
| See AbstractAttribute::getState(...). More... | |
| Public Member Functions inherited from llvm::AbstractAttribute | |
| AbstractAttribute (const IRPosition &IRP) | |
| virtual | ~AbstractAttribute ()=default |
| Virtual destructor. More... | |
| virtual void | initialize (Attributor &A) |
Initialize the state with the information in the Attributor A. More... | |
| 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. More... | |
| virtual const StateType & | getState () const =0 |
| const IRPosition & | getIRPosition () const |
| Return an IR position, see struct IRPosition. More... | |
| IRPosition & | getIRPosition () |
| void | print (raw_ostream &OS) const override |
| Helper functions, for debug purposes only. More... | |
| virtual void | printWithDeps (raw_ostream &OS) const |
| void | dump () const |
| virtual const std::string | getAsStr () const =0 |
| This function should return the "summarized" assumed state as string. More... | |
| Public Member Functions inherited from llvm::IRPosition | |
| IRPosition () | |
| Default constructor available to create invalid positions implicitly. More... | |
| bool | operator== (const IRPosition &RHS) const |
| bool | operator!= (const IRPosition &RHS) const |
| Value & | getAnchorValue () const |
| Return the value this abstract attribute is anchored with. More... | |
| Function * | getAssociatedFunction () const |
| Return the associated function, if any. More... | |
| Argument * | getAssociatedArgument () const |
| Return the associated argument, if any. More... | |
| bool | isFnInterfaceKind () const |
| Return true if the position refers to a function interface, that is the function scope, the function return, or an argument. More... | |
| Function * | getAnchorScope () const |
| Return the Function surrounding the anchor value. More... | |
| Instruction * | getCtxI () const |
| Return the context instruction, if any. More... | |
| Value & | getAssociatedValue () const |
| Return the value this abstract attribute is associated with. More... | |
| Type * | getAssociatedType () const |
| Return the type this abstract attribute is associated with. More... | |
| 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. More... | |
| 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. More... | |
| unsigned | getAttrIdx () const |
| Return the index in the attribute list for this position. More... | |
| Kind | getPositionKind () const |
| Return the associated position kind. More... | |
| bool | hasAttr (ArrayRef< Attribute::AttrKind > AKs, bool IgnoreSubsumingPositions=false, Attributor *A=nullptr) const |
| TODO: Figure out if the attribute related helper functions should live here or somewhere else. More... | |
| void | getAttrs (ArrayRef< Attribute::AttrKind > AKs, SmallVectorImpl< Attribute > &Attrs, bool IgnoreSubsumingPositions=false, Attributor *A=nullptr) const |
Return the attributes of any kind in AKs existing in the IR at a position that will affect this one. More... | |
| void | removeAttrs (ArrayRef< Attribute::AttrKind > AKs) const |
Remove the attribute of kind AKs existing in the IR at this position. More... | |
| bool | isAnyCallSitePosition () const |
| bool | isArgumentPosition () const |
| Return true if the position is an argument or call site argument. More... | |
| IRPosition | stripCallBaseContext () const |
| Return the same position without the call base context. More... | |
| const CallBaseContext * | getCallBaseContext () const |
| Get the call base context from the position. More... | |
| bool | hasCallBaseContext () const |
| Check if the position has any call base context. More... | |
| operator void * () const | |
| } More... | |
| Public Member Functions inherited from llvm::AADepGraphNode | |
| virtual | ~AADepGraphNode ()=default |
| aaiterator | begin () |
| aaiterator | end () |
| iterator | child_begin () |
| iterator | child_end () |
| TinyPtrVector< DepTy > & | getDeps () |
| Public Member Functions inherited from llvm::ValueSimplifyStateType | |
| ValueSimplifyStateType (Type *Ty) | |
| bool | isValidState () const override |
| See AbstractState::isValidState(...) More... | |
| bool | isAtFixpoint () const override |
| See AbstractState::isAtFixpoint(...) More... | |
| ValueSimplifyStateType | getAssumed () |
| Return the assumed state encoding. More... | |
| const ValueSimplifyStateType & | getAssumed () const |
| ChangeStatus | indicatePessimisticFixpoint () override |
| See AbstractState::indicatePessimisticFixpoint(...) More... | |
| ChangeStatus | indicateOptimisticFixpoint () override |
| See AbstractState::indicateOptimisticFixpoint(...) More... | |
| ValueSimplifyStateType | operator^= (const ValueSimplifyStateType &VS) |
"Clamp" this state with PVS. More... | |
| bool | operator== (const ValueSimplifyStateType &RHS) const |
| Public Member Functions inherited from llvm::AbstractState | |
| virtual | ~AbstractState ()=default |
Static Public Member Functions | |
| static AAValueSimplify & | createForPosition (const IRPosition &IRP, Attributor &A) |
Create an abstract attribute view for the position IRP. More... | |
| static bool | classof (const AbstractAttribute *AA) |
This function should return true if the type of the AA is AAValueSimplify. More... | |
| 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. More... | |
| 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. More... | |
| static const IRPosition | inst (const Instruction &I, const CallBaseContext *CBContext=nullptr) |
Create a position describing the instruction I. More... | |
| static const IRPosition | function (const Function &F, const CallBaseContext *CBContext=nullptr) |
Create a position describing the function scope of F. More... | |
| static const IRPosition | returned (const Function &F, const CallBaseContext *CBContext=nullptr) |
Create a position describing the returned value of F. More... | |
| static const IRPosition | argument (const Argument &Arg, const CallBaseContext *CBContext=nullptr) |
Create a position describing the argument Arg. More... | |
| static const IRPosition | callsite_function (const CallBase &CB) |
Create a position describing the function scope of CB. More... | |
| static const IRPosition | callsite_returned (const CallBase &CB) |
Create a position describing the returned value of CB. More... | |
| static const IRPosition | callsite_argument (const CallBase &CB, unsigned ArgNo) |
Create a position describing the argument of CB at position ArgNo. More... | |
| static const IRPosition | callsite_argument (AbstractCallSite ACS, unsigned ArgNo) |
Create a position describing the argument of ACS at position ArgNo. More... | |
| static const IRPosition | function_scope (const IRPosition &IRP, const CallBaseContext *CBContext=nullptr) |
Create a position with function scope matching the "context" of IRP. More... | |
| Static Public Member Functions inherited from llvm::ValueSimplifyStateType | |
| static ValueSimplifyStateType | getBestState (Type *Ty) |
| static ValueSimplifyStateType | getBestState (const ValueSimplifyStateType &VS) |
| static ValueSimplifyStateType | getWorstState (Type *Ty) |
| Return the worst possible representable state. More... | |
| static ValueSimplifyStateType | getWorstState (const ValueSimplifyStateType &VS) |
Static Public Attributes | |
| static const char | ID = 0 |
| Unique ID (due to the unique address) More... | |
| Static Public Attributes inherited from llvm::IRPosition | |
| static const IRPosition | EmptyKey |
| Special DenseMap key values. More... | |
| static const IRPosition | TombstoneKey |
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. More... | |
| 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. More... | |
| virtual void | trackStatistics () const =0 |
| Hook to enable custom statistic tracking, called after manifest that resulted in a change if statistics are enabled. More... | |
| virtual ChangeStatus | updateImpl (Attributor &A)=0 |
| The actual update/transfer function which has to be implemented by the derived classes. More... | |
| Protected Member Functions inherited from llvm::AADepGraphNode | |
| operator AbstractAttribute * () | |
| Protected Member Functions inherited from llvm::ValueSimplifyStateType | |
| bool | unionAssumed (Optional< Value * > Other) |
Merge Other into the currently assumed simplified value. More... | |
| Static Protected Member Functions inherited from llvm::AADepGraphNode | |
| static AADepGraphNode * | DepGetVal (DepTy &DT) |
| static AbstractAttribute * | DepGetValAA (DepTy &DT) |
| Protected Attributes inherited from llvm::AADepGraphNode | |
| TinyPtrVector< DepTy > | Deps |
| Set of dependency graph nodes which should be updated if this one is updated. More... | |
| Protected Attributes inherited from llvm::ValueSimplifyStateType | |
| Type * | Ty |
| The type of the original value. More... | |
| BooleanState | BS |
| Helper to track validity and fixpoint. More... | |
| Optional< Value * > | SimplifiedAssociatedValue |
| An assumed simplified value. More... | |
Detailed Description
An abstract interface for value simplify abstract attribute.
Definition at line 3912 of file Attributor.h.
Member Typedef Documentation
◆ Base
Definition at line 3914 of file Attributor.h.
Constructor & Destructor Documentation
◆ AAValueSimplify()
|
inline |
Definition at line 3915 of file Attributor.h.
Member Function Documentation
◆ classof()
|
inlinestatic |
This function should return true if the type of the AA is AAValueSimplify.
Definition at line 3930 of file Attributor.h.
◆ createForPosition()
|
static |
Create an abstract attribute view for the position IRP.
◆ getIdAddr()
|
inlineoverridevirtual |
See AbstractAttribute::getIdAddr()
Implements llvm::AbstractAttribute.
Definition at line 3926 of file Attributor.h.
References ID.
◆ getName()
|
inlineoverridevirtual |
See AbstractAttribute::getName()
Implements llvm::AbstractAttribute.
Definition at line 3923 of file Attributor.h.
Friends And Related Function Documentation
◆ Attributor
|
friend |
Definition at line 3945 of file Attributor.h.
Member Data Documentation
◆ ID
|
static |
Unique ID (due to the unique address)
Definition at line 3935 of file Attributor.h.
Referenced by getIdAddr().
The documentation for this struct was generated from the following files:
- include/llvm/Transforms/IPO/Attributor.h
- lib/Transforms/IPO/AttributorAttributes.cpp
