diff options
Diffstat (limited to 'x86/gen/herdtools_ast_to_shallow_ast.hgen')
| -rw-r--r-- | x86/gen/herdtools_ast_to_shallow_ast.hgen | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/x86/gen/herdtools_ast_to_shallow_ast.hgen b/x86/gen/herdtools_ast_to_shallow_ast.hgen deleted file mode 100644 index c709ee6c..00000000 --- a/x86/gen/herdtools_ast_to_shallow_ast.hgen +++ /dev/null @@ -1,28 +0,0 @@ -| `X86BINOP(locked, binop, sz, dest_src) -> Binop (translate_bool locked, translate_binop binop, translate_size sz, translate_dest_src dest_src) -| `X86BITOP(locked, op, sz, bo) -> Bitop (translate_bool locked, translate_bitop op, translate_size sz, translate_bitoffset bo) -| `X86CALL (imm_rm) -> CALL (translate_imm_rm imm_rm) -| `X86CLC -> CLC -| `X86CMC -> CMC -| `X86CMPXCHG (locked, sz, rm , reg) -> CMPXCHG (translate_bool locked, translate_size sz, translate_rm rm, translate_reg reg) -| `X86DIV (sz, rm) -> X86_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 (locked, monop, sz, rm) -> Monop (translate_bool locked, 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) -> X86_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 (locked, sz, rm, reg) -> XADD (translate_bool locked, translate_size sz, translate_rm rm, translate_reg reg) -| `X86XCHG (locked, sz, rm, reg) -> XCHG (translate_bool locked, translate_size sz, translate_rm rm, translate_reg reg) - |