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