AAMemoryLocation [constructor] | Create a AAMemoryLocation for the position IRP. |
checkForAllAccessesToMemoryKind [virtual] | Check Pred on all accesses to the memory kinds specified by MLK. |
getAsStr [virtual] | See AbstractState::getAsStr(Attributor). |
getAssumedNotAccessedLocation | Return the locations that are assumed to be not accessed by the associated function, if any. |
getAttrKind | Return the kind that identifies the abstract attribute implementation. |
getDeducedAttributes [virtual] | Return the deduced attributes in Attrs. |
getIdAddr [virtual] | See AbstractAttribute::getIdAddr() |
getName [virtual] | See AbstractAttribute::getName() |
isAssumedArgMemOnly | Return true if we assume that the underlying value will only access argument pointees (see Attribute::ArgMemOnly). |
isAssumedInaccessibleMemOnly | Return true if we assume that the underlying value will only access inaccesible memory only (see Attribute::InaccessibleMemOnly). |
isAssumedInaccessibleOrArgMemOnly | Return true if we assume that the underlying value will only access inaccesible memory or argument pointees (see Attribute::InaccessibleOrArgMemOnly). |
isAssumedReadNone | Return true if we assume that the associated functions has no observable accesses. |
isAssumedSpecifiedMemOnly | Return true if only the memory locations specififed by MLK are assumed to be accessed by the associated function. |
isAssumedStackOnly | Return true if we assume that the associated functions has at most local/stack accesses. |
isKnowStackOnly | Return true if we know that the associated functions has at most local/stack accesses. |
isKnownArgMemOnly | Return true if we know that the underlying value will only access argument pointees (see Attribute::ArgMemOnly). |
isKnownInaccessibleMemOnly | Return true if we know that the underlying value will only access inaccesible memory only (see Attribute::InaccessibleMemOnly). |
isKnownInaccessibleOrArgMemOnly | Return true if we know that the underlying value will only access inaccesible memory or argument pointees (see Attribute::InaccessibleOrArgMemOnly). |
isKnownReadNone | Return true if we know that the associated functions has no observable accesses. |
manifest [virtual] | See AbstractAttribute::manifest(...). |
mayAccessArgMem | Return true if the underlying value may access memory through arguement pointers of the associated function, if any. |