1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
| Binop (locked, binop, sz, dest_src) -> `X86BINOP (translate_out_bool locked, translate_out_binop binop, translate_out_size sz, translate_out_dest_src dest_src)
| Bitop (locked, bitop, sz, bo) -> `X86BITOP (translate_out_bool locked, translate_out_bitop bitop, translate_out_size sz, translate_out_bitoffset bo)
| CALL (imm_rm) -> `X86CALL (translate_out_imm_rm imm_rm)
| CLC -> `X86CLC
| CMC -> `X86CMC
| CMPXCHG (locked, sz, rm , reg) -> `X86CMPXCHG (translate_out_bool locked, translate_out_size sz, translate_out_rm rm, translate_out_reg reg)
| X86_DIV (sz, rm) -> `X86DIV (translate_out_size sz, translate_out_rm rm)
| HLT -> `X86StopFetching
| Jcc (cond, imm64) -> `X86JCC (translate_out_cond cond, translate_out_imm64 imm64)
| JMP (rm) -> `X86JMP (translate_out_rm rm)
| LEA (sz, dest_src) -> `X86LEA (translate_out_size sz, translate_out_dest_src dest_src)
| LEAVE -> `X86LEAVE
| LOOP (cond, imm64) -> `X86LOOP (translate_out_cond cond, translate_out_imm64 imm64)
| MFENCE -> `X86MFENCE
| Monop (locked, monop, sz, rm) -> `X86MONOP (translate_out_bool locked, translate_out_monop monop, translate_out_size sz, translate_out_rm rm)
| MOV (cond, sz, dest_src) -> `X86MOV (translate_out_cond cond, translate_out_size sz, translate_out_dest_src dest_src)
| MOVSX (sz1, dest_src, sz2) -> `X86MOVSX (translate_out_size sz1, translate_out_dest_src dest_src, translate_out_size sz2)
| MOVZX (sz1, dest_src, sz2) -> `X86MOVZX (translate_out_size sz1, translate_out_dest_src dest_src, translate_out_size sz2)
| X86_MUL (sz, rm) -> `X86MUL (translate_out_size sz, translate_out_rm rm)
| NOP (_) -> `X86NOP
| POP (rm) -> `X86POP (translate_out_rm rm)
| PUSH (imm_rm) -> `X86PUSH (translate_out_imm_rm imm_rm)
| RET (imm64) -> `X86RET (translate_out_imm64 imm64)
| SET (cond, b, rm) -> `X86SET (translate_out_cond cond, translate_out_bool b, translate_out_rm rm)
| STC -> `X86STC
| XADD (locked, sz, rm, reg) -> `X86XADD (translate_out_bool locked, translate_out_size sz, translate_out_rm rm, translate_out_reg reg)
| XCHG (locked, sz, rm, reg) -> `X86XCHG (translate_out_bool locked, translate_out_size sz, translate_out_rm rm, translate_out_reg reg)
|
