package jasmin

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

Source

val asm_e : 
  (Riscv_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arch_utils.empty,
    Riscv_decl.condt,
    Riscv_instr_decl.riscv_op,
    Riscv_extra.riscv_extra_op)
    Arch_extra.asm_extra

Source

val aparams : 
  (Riscv_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arch_utils.empty,
    Riscv_decl.condt,
    Riscv_instr_decl.riscv_op,
    Riscv_extra.riscv_extra_op,
    Riscv_lowering.lowering_options)
    Arch_params.architecture_params

Sourceval known_implicits : 'a list

Sourceval alloc_stack_need_extra : Z.t -> bool

Sourceval is_ct_asm_op : asm_op -> bool

Sourceval is_ct_asm_extra : extra_op -> bool

Sourceval is_doit_asm_op : asm_op -> bool

Sourceval is_doit_asm_extra : extra_op -> bool

package jasmin

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/jasmin.jasmin/Jasmin/Riscv_arch_full/Riscv_core/index.html

Module Riscv_arch_full.Riscv_coreSource

dune-project
Dependency

Module `Riscv_arch_full.Riscv_core`Source