Top

Opcode

This is a product type introduced by defprod.

Fields

op — 24bits: Includes escape bytes of two- and three-byte opcodes as well
mode — op-mode
reg — maybe-3bits: ModR/M.reg descriptor
mod — mod: ModR/M.mod descriptor
r/m — maybe-3bits: ModR/M.r/m descriptor
pfx — op-pfx
rex — rex: REX descriptor
vex — maybe-vex
evex — maybe-evex
feat — ACL2::symbol-list
superscripts — superscripts
group — opcode-extension-group

Subtopics

Opcode-fix: Fixing function for opcode structures.
Make-opcode: Basic constructor macro for opcode structures.
Opcode-p: Recognizer for opcode structures.
Opcode-equiv: Basic equivalence relation for opcode structures.
Change-opcode: Modifying constructor for opcode structures.
Opcode->superscripts: Get the superscripts field from a opcode.
Opcode->group: Get the group field from a opcode.
Opcode->vex: Get the vex field from a opcode.
Opcode->r/m: Get the r/m field from a opcode.
Opcode->reg: Get the reg field from a opcode.
Opcode->pfx: Get the pfx field from a opcode.
Opcode->mode: Get the mode field from a opcode.
Opcode->feat: Get the feat field from a opcode.
Opcode->evex: Get the evex field from a opcode.
Opcode->rex: Get the rex field from a opcode.
Opcode->op: Get the op field from a opcode.
Opcode->mod: Get the mod field from a opcode.