CoqToLeanAsm: x86 Macro Assembler in Lean 4

12.5. Supported Instructions

  • No-operand: nop, ret, hlt

  • One-operand: push, pop, inc, dec, not, neg, mul

  • Two-operand: mov, add, sub, and, or, xor, cmp, test, imul, xchg, shl, shr, lea

  • Jumps: jmp, call, jz, jnz, je, jne, jl, jge, jle, jg, jb, jae, jbe, ja