package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Arch_full.Arch_from_Core_archSource

Parameters

module A : Core_arch

Signature

include Core_arch with type reg = A.reg with type regx = A.regx with type xreg = A.xreg with type rflag = A.rflag with type cond = A.cond with type asm_op = A.asm_op with type extra_op = A.extra_op
type reg = A.reg
type regx = A.regx
type xreg = A.xreg
type rflag = A.rflag
type cond = A.cond
type asm_op = A.asm_op
type extra_op = A.extra_op
type lowering_options
val alloc_stack_need_extra : Z.t -> bool
val lowering_opt : lowering_options
val known_implicits : (Jasmin.Prog.Name.t * string) list
val is_ct_asm_op : asm_op -> bool
val is_doit_asm_op : asm_op -> bool
val is_ct_asm_extra : extra_op -> bool
val is_doit_asm_extra : extra_op -> bool
Sourceval reg_size : Wsize.wsize
Sourceval pointer_data : Wsize.wsize
Sourceval msf_size : Wsize.wsize
Sourceval rip : Prog.var
Sourceval reg_vars : Prog.var list
Sourceval regx_vars : Prog.var list
Sourceval xreg_vars : Prog.var list
Sourceval flag_vars : Prog.var list
Sourceval argument_vars : Prog.var list
Sourceval xmm_argument_vars : Prog.var list
Sourceval ret_vars : Prog.var list
Sourceval xmm_ret_vars : Prog.var list
Sourceval allocatable_vars : Prog.var list
Sourceval extra_allocatable_vars : Prog.var list
Sourceval xmm_allocatable_vars : Prog.var list
Sourceval callee_save_vars : Prog.var list
val not_saved_stack : Prog.var list
Sourceval rsp_var : Prog.var
Sourceval all_registers : Prog.var list
Sourceval syscall_kill : Prog.Sv.t
Sourceval callstyle : Prog.var callstyle
Sourceval is_ct_sopn : ?doit:bool -> (reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.extended_op -> bool