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
28
|
(*| `X86BINOP(binop, sz, dest_src) -> ("Binop", [translate_binop binop; translate_size sz; translate_dest_src dest_src], [])
| `X86CALL (imm_rm) -> ("CALL", [translate_imm_rm imm_rm], [])
| `X86CLC -> ("CLC", [], [])
| `X86CMC -> ("CMC", [], [])
| `X86CMPXCHG (sz, rm , reg) -> ("CMPXCHG", [translate_size sz; translate_rm rm; translate_reg reg], [])
| `X86DIV (sz, rm) -> ("DIV", [translate_size sz; translate_rm rm], [])
| `X86StopFetching -> ("HLT", [], [])
| `X86JCC (cond, imm64) -> ("Jcc", [translate_cond cond; translate_imm64 imm64], [])
| `X86JMP (rm) -> ("JMP", [translate_rm rm], [])
| `X86LEA (sz, dest_src) -> ("LEA", [translate_size sz; translate_dest_src dest_src], [])
| `X86LEAVE -> ("LEAVE", [], [])
| `X86LOOP (cond, imm64) -> ("LOOP", [translate_cond cond; translate_imm64 imm64], [])
| `X86MFENCE -> ("MFENCE", [], [])
| `X86MONOP (monop, sz, rm) -> ("Monop", [translate_monop monop; translate_size sz; translate_rm rm], [])
| `X86MOV (cond, sz, dest_src) -> ("MOV", [translate_cond cond; translate_size sz; translate_dest_src dest_src], [])
| `X86MOVSX (sz1, dest_src, sz2) -> ("MOVSX", [translate_size sz1; translate_dest_src dest_src; translate_size sz2], [])
| `X86MOVZX (sz1, dest_src, sz2) -> ("MOVZX", [translate_size sz1; translate_dest_src dest_src; translate_size sz2], [])
| `X86MUL (sz, rm) -> ("MUL", [translate_size sz; translate_rm rm], [])
| `X86NOP -> ("NOP", [Nat_big_num.of_int 0], [])
| `X86POP (rm) -> ("POP", [translate_rm rm], [])
| `X86PUSH (imm_rm) -> ("PUSH", [translate_imm_rm imm_rm], [])
| `X86RET (imm64) -> ("RET", [translate_imm64 imm64], [])
| `X86SET (cond, b, rm) -> ("SET", [translate_cond cond; translate_bool b; translate_rm rm], [])
| `X86STC -> ("STC", [], [])
| `X86XADD (sz, rm, reg) -> ("XADD", [translate_size sz; translate_rm rm; translate_reg reg], [])
| `X86XCHG (sz, rm, reg) -> ("XCHG", [translate_size sz; translate_rm rm; translate_reg reg], [])
*)
|
