Member predicate Instruction :: hasMemoryResult
Holds if this instruction produces a memory result.
predicate
hasMemoryResult
(
)