CoqToLeanAsm: x86 Macro Assembler in Lean 4

15.1. Zeroing a Register

The standard idiom to zero a register is XOR with itself:

[49#8, 192#8]#eval encode 0 (Instr.BOP OpSize.Op32 BinOp.XOR (DstSrc.RR EAX EAX))