An abstract Attribute for computing reachability between functions.
Declared in <llvm/Transforms/IPO/Attributor.h>
struct AAInterFnReachability
: StateWrapper<BooleanState, AbstractAttribute>| Name | Description |
|---|---|
StateWrapper<BooleanState, AbstractAttribute> | Helper to tie a abstract state implementation to an abstract attribute. |
| Name | Description |
|---|---|
Base | Base type of this abstract attribute. |
StateType | Provide static access to the type of the state. |
| Name | Description |
|---|---|
AAInterFnReachability [constructor] | Create a AAInterFnReachability for the position IRP. |
canReach | If the function represented by this possition can reach Fn. |
getIdAddr [virtual] | See AbstractAttribute::getIdAddr() |
getName [virtual] | See AbstractAttribute::getName() |
getState | See AbstractAttribute::getState(...). |
instructionCanReach [virtual] | Can Inst reach Fn. See also AA::isPotentiallyReachable. |
| Name | Description |
|---|---|
classof | This function should return true if the type of the AA is AACallEdges. |
createForPosition | Create an abstract attribute view for the position IRP. |
| Name | Description |
|---|---|
ID | Unique ID (due to the unique address) |