Member predicate Opcode :: hasMayWriteMemoryAccess
Holds if the instruction’s write memory access is a may
write, as opposed to a must
write.
predicate
hasMayWriteMemoryAccess
(
)