Member predicate BufferAccessOpcode :: hasAddressOperand
Holds if the instruction has an AddressOperand
.
predicate
hasAddressOperand
(
)