package jasmin

val atoI : 
  (X86_decl.register,
    X86_decl.register_ext,
    X86_decl.xmm_register,
    X86_decl.rflag,
    X86_decl.condt)
    Jasmin__Arch_extra.arch_toIdent

Source

val asm_e : 
  (X86_decl.register,
    X86_decl.register_ext,
    X86_decl.xmm_register,
    X86_decl.rflag,
    X86_decl.condt,
    X86_instr_decl.x86_op,
    X86_extra.x86_extra_op)
    Arch_extra.asm_extra

Source

val aparams : 
  (X86_decl.register,
    X86_decl.register_ext,
    X86_decl.xmm_register,
    X86_decl.rflag,
    X86_decl.condt,
    X86_instr_decl.x86_op,
    X86_extra.x86_extra_op,
    X86_lowering.lowering_options)
    Arch_params.architecture_params

Sourceval not_saved_stack : Ident.Ident.ident list

Sourceval pp_asm : Format.formatter -> X86_instr_decl.x86_prog -> unit

Sourceval callstyle : 'a Arch_full.callstyle

Sourceval known_implicits : (string * string) list

Sourceval alloc_stack_need_extra : 'a -> bool

Sourceval is_ct_asm_op : asm_op -> bool

Sourceval is_doit_asm_op : asm_op -> bool

Sourceval is_ct_asm_extra : extra_op -> bool

Sourceval is_doit_asm_extra : extra_op -> bool

package jasmin

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/jasmin.jasmin/Jasmin/X86_arch_full/X86_core/index.html

Module X86_arch_full.X86_coreSource

dune-project
Dependency

Module `X86_arch_full.X86_core`Source