Abstract attribute tracking whether a value leaves its defining function instance.
Declared in <llvm/Transforms/IPO/Attributor.h>
struct AAInstanceInfo
: StateWrapper<BooleanState, AbstractAttribute>TODO: We should make it a ternary AA tracking uniqueness, and uniqueness wrt. the Attributor analysis separately.
| Name | Description |
|---|---|
StateWrapper<BooleanState, AbstractAttribute> | Helper to tie a abstract state implementation to an abstract attribute. |
| Name | Description |
|---|---|
StateType | Provide static access to the type of the state. |
| Name | Description |
|---|---|
AAInstanceInfo [constructor] | Create a AAInstanceInfo for the position IRP. |
getIdAddr [virtual] | See AbstractAttribute::getIdAddr() |
getName [virtual] | See AbstractAttribute::getName() |
getState | See AbstractAttribute::getState(...). |
isAssumedUniqueForAnalysis | Return true if the underlying value is assumed unique for analysis. |
isKnownUniqueForAnalysis | Return true if the underlying value is known unique for analysis. |
| Name | Description |
|---|---|
classof | This function should return true if the type of the AA is AAInstanceInfo |
createForPosition | Create an abstract attribute view for the position IRP. |
| Name | Description |
|---|---|
ID | Unique ID (due to the unique address) |