package jasmin

val atoI : 
  (Arm_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_decl.rflag,
    Arm_decl.condt)
    Jasmin__Arch_extra.arch_toIdent

Source

val asm_e : 
  (Arm_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_decl.rflag,
    Arm_decl.condt,
    Arm_instr_decl.arm_op,
    Arm_extra.arm_extra_op)
    Arch_extra.asm_extra

Source

val aparams : 
  (Arm_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_decl.rflag,
    Arm_decl.condt,
    Arm_instr_decl.arm_op,
    Arm_extra.arm_extra_op,
    Arm_lowering.lowering_options)
    Arch_params.architecture_params

Sourceval known_implicits : (string * string) list

Sourceval alloc_stack_need_extra : Z.t -> 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/Arm_arch_full/Arm_core/index.html

Module Arm_arch_full.Arm_coreSource

dune-project
Dependency

Module `Arm_arch_full.Arm_core`Source