Member predicate MayReadOpcode :: hasMayReadMemoryAccess
Holds if the instruction’s read memory access is a may read, as opposed to a must read.
predicate
hasMayReadMemoryAccess
(
)