File: map.hgen

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (26 lines) | stat: -rw-r--r-- 1,251 bytes parent folder | download
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
| `X86BINOP (locked, bop, sz, ds) -> `X86BINOP (locked, bop, sz, map_dest_src ds)
| `X86BITOP (locked, bop, sz, bo) -> `X86BITOP (locked, bop, sz, map_bit_offset bo)
| `X86CALL irm -> `X86CALL (map_imm_rm irm)
| `X86CLC -> `X86CLC
| `X86CMC -> `X86CMC
| `X86CMPXCHG (locked, sz, rm, r) -> `X86CMPXCHG (locked, sz, map_rm rm, map_reg r)
| `X86DIV (sz, rm) -> `X86DIV (sz, map_rm rm)
| `X86JCC x -> `X86JCC x
| `X86JMP rm -> `X86JMP (map_rm rm)
| `X86LEA (sz, ds) -> `X86LEA (sz, map_dest_src ds)
| `X86LEAVE -> `X86LEAVE
| `X86LOOP x -> `X86LOOP x
| `X86MFENCE -> `X86MFENCE
| `X86MONOP (locked, mop, sz, rm) -> `X86MONOP (locked, mop, sz, map_rm rm)
| `X86MOV (cnd, sz, ds) -> `X86MOV (cnd, sz, map_dest_src ds)
| `X86MOVSX (sz1, ds, sz2) -> `X86MOVSX (sz1, map_dest_src ds, sz2)
| `X86MOVZX (sz1, ds, sz2) -> `X86MOVZX (sz1, map_dest_src ds, sz2)
| `X86MUL (sz, rm) -> `X86MUL (sz, map_rm rm)
| `X86NOP -> `X86NOP
| `X86POP rm -> `X86POP (map_rm rm)
| `X86PUSH irm -> `X86PUSH (map_imm_rm irm)
| `X86RET i -> `X86RET i
| `X86SET (cnd, b, rm) -> `X86SET (cnd, b, map_rm rm)
| `X86STC -> `X86STC
| `X86XADD (locked, sz, rm, r) -> `X86XADD (locked, sz, map_rm rm, map_reg r)
| `X86XCHG (locked, sz, rm, r) -> `X86XCHG (locked, sz, map_rm rm, map_reg r)