|
LLVM 23.0.0git
|
An access description. More...
#include "llvm/Transforms/IPO/Attributor.h"
Public Types | |
| using | const_iterator = RangeList::const_iterator |
Public Member Functions | |
| Access (Instruction *I, int64_t Offset, int64_t Size, std::optional< Value * > Content, AccessKind Kind, Type *Ty) | |
| Access (Instruction *LocalI, Instruction *RemoteI, const RangeList &Ranges, std::optional< Value * > Content, AccessKind K, Type *Ty) | |
| Access (Instruction *LocalI, Instruction *RemoteI, int64_t Offset, int64_t Size, std::optional< Value * > Content, AccessKind Kind, Type *Ty) | |
| Access (const Access &Other)=default | |
| Access & | operator= (const Access &Other)=default |
| bool | operator== (const Access &R) const |
| bool | operator!= (const Access &R) const |
| Access & | operator&= (const Access &R) |
| void | verify () |
| AccessKind | getKind () const |
| Return the access kind. | |
| bool | isRead () const |
| Return true if this is a read access. | |
| bool | isWrite () const |
| Return true if this is a write access. | |
| bool | isWriteOrAssumption () const |
| Return true if this is a write access. | |
| bool | isAssumption () const |
| Return true if this is an assumption access. | |
| bool | isMustAccess () const |
| bool | isMayAccess () const |
| Instruction * | getLocalInst () const |
| Return the instruction that causes the access with respect to the local scope of the associated attribute. | |
| Instruction * | getRemoteInst () const |
| Return the actual instruction that causes the access. | |
| bool | isWrittenValueYetUndetermined () const |
| Return true if the value written is not known yet. | |
| bool | isWrittenValueUnknown () const |
| Return true if the value written cannot be determined at all. | |
| void | setWrittenValueUnknown () |
| Set the value written to nullptr, i.e., unknown. | |
| Type * | getType () const |
| Return the type associated with the access, if known. | |
| Value * | getWrittenValue () const |
| Return the value writen, if any. | |
| std::optional< Value * > | getContent () const |
| Return the written value which can be llvm::null if it is not yet determined. | |
| bool | hasUniqueRange () const |
| const AA::RangeTy & | getUniqueRange () const |
| void | addRange (int64_t Offset, int64_t Size) |
| Add a range accessed by this Access. | |
| const RangeList & | getRanges () const |
| const_iterator | begin () const |
| const_iterator | end () const |
An access description.
Definition at line 6048 of file Attributor.h.
Definition at line 6191 of file Attributor.h.
|
inline |
Definition at line 6049 of file Attributor.h.
References I, llvm::Offset, Size, and verify().
Referenced by Access(), operator!=(), operator&=(), operator=(), and operator==().
|
inline |
Definition at line 6055 of file Attributor.h.
References verify().
|
inline |
Definition at line 6065 of file Attributor.h.
References llvm::Offset, Size, and verify().
References Access(), and llvm::Other.
|
inline |
Add a range accessed by this Access.
If there are multiple ranges, then this is a "may access".
Definition at line 6181 of file Attributor.h.
References llvm::AAPointerInfo::AK_MAY, llvm::AAPointerInfo::AK_MUST, hasUniqueRange(), llvm::Offset, and Size.
|
inline |
Definition at line 6192 of file Attributor.h.
|
inline |
Definition at line 6193 of file Attributor.h.
|
inline |
Return the written value which can be llvm::null if it is not yet determined.
Definition at line 6173 of file Attributor.h.
Referenced by getPotentialCopiesOfMemoryValue(), and llvm::operator<<().
|
inline |
Return the access kind.
Definition at line 6115 of file Attributor.h.
Referenced by llvm::operator<<().
|
inline |
Return the instruction that causes the access with respect to the local scope of the associated attribute.
Definition at line 6145 of file Attributor.h.
Referenced by llvm::operator<<().
Definition at line 6189 of file Attributor.h.
|
inline |
Return the actual instruction that causes the access.
Definition at line 6148 of file Attributor.h.
Referenced by getPotentialCopiesOfMemoryValue(), and llvm::operator<<().
|
inline |
Return the type associated with the access, if known.
Definition at line 6162 of file Attributor.h.
|
inline |
Definition at line 6176 of file Attributor.h.
|
inline |
Return the value writen, if any.
Definition at line 6165 of file Attributor.h.
References assert(), and isWrittenValueYetUndetermined().
Referenced by getPotentialCopiesOfMemoryValue().
|
inline |
Definition at line 6175 of file Attributor.h.
Referenced by addRange().
|
inline |
Return true if this is an assumption access.
Definition at line 6127 of file Attributor.h.
References llvm::AAPointerInfo::AK_ASSUMPTION.
Referenced by isWriteOrAssumption(), and verify().
|
inline |
Definition at line 6136 of file Attributor.h.
References llvm::AAPointerInfo::AK_MAY, and assert().
Referenced by verify().
|
inline |
Definition at line 6129 of file Attributor.h.
References llvm::AAPointerInfo::AK_MUST, and assert().
Referenced by verify().
|
inline |
Return true if this is a read access.
Definition at line 6118 of file Attributor.h.
References llvm::AAPointerInfo::AK_R.
Referenced by getPotentialCopiesOfMemoryValue().
|
inline |
Return true if this is a write access.
Definition at line 6121 of file Attributor.h.
References llvm::AAPointerInfo::AK_W.
Referenced by isWriteOrAssumption(), and verify().
|
inline |
Return true if this is a write access.
Definition at line 6124 of file Attributor.h.
References isAssumption(), and isWrite().
Referenced by getPotentialCopiesOfMemoryValue().
|
inline |
Return true if the value written cannot be determined at all.
Definition at line 6154 of file Attributor.h.
Referenced by getPotentialCopiesOfMemoryValue().
|
inline |
Return true if the value written is not known yet.
Definition at line 6151 of file Attributor.h.
Referenced by getPotentialCopiesOfMemoryValue(), and getWrittenValue().
Definition at line 6079 of file Attributor.h.
References Access().
Definition at line 6081 of file Attributor.h.
References Access(), llvm::AAPointerInfo::AK_MAY, llvm::AAPointerInfo::AK_MUST, assert(), llvm::AA::combineOptionalValuesInAAValueLatice(), and verify().
References Access(), and llvm::Other.
Definition at line 6075 of file Attributor.h.
References Access().
|
inline |
Set the value written to nullptr, i.e., unknown.
Definition at line 6159 of file Attributor.h.
|
inline |
Definition at line 6105 of file Attributor.h.
References assert(), isAssumption(), isMayAccess(), isMustAccess(), and isWrite().
Referenced by Access(), Access(), Access(), and operator&=().