Class Opcode::MayWriteSideEffectOpcode
An opcode that may overwrite some, all, or none of an existing set of memory locations. Modeled as a read of the original contents, plus a “may” write of the new contents.
An opcode that may overwrite some, all, or none of an existing set of memory locations. Modeled as a read of the original contents, plus a “may” write of the new contents.