Armv8a (p.jasmin.2026.09.0.doc.jasmin.jasmin.Jasmin.Armv8a_arch

Parameters

module Lowering_params : Armv8a_input

Signature

module AD = Armv8a_decl

Sourcetype reg = AD.register

Sourcetype regx = Arch_utils.empty

Sourcetype xreg = Arch_utils.empty

Sourcetype nonrec rflag = Arm_common.rflag

Sourcetype cond = Arm_common.condt

Sourcetype asm_op = Armv8a_instr_decl.armv8a_asm_op

Sourcetype extra_op = Armv8a_extra.armv8a_extra_op

Source

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

Source

val asm_e : 
  (Armv8a_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_common.rflag,
    Arm_common.condt,
    Armv8a_instr_decl.armv8a_asm_op,
    Armv8a_extra.armv8a_extra_op)
    Arch_extra.asm_extra

Source

val aparams : 
  (Armv8a_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_common.rflag,
    Arm_common.condt,
    Armv8a_instr_decl.armv8a_asm_op,
    Armv8a_extra.armv8a_extra_op)
    Arch_params.architecture_params

Sourceval known_implicits : (string * string) list

Sourceval alloc_stack_need_extra : 'a -> bool

Sourceval is_ct_asm_op : asm_op -> bool

Sourceval is_ct_asm_extra : extra_op -> bool

Sourceval not_saved_stack : 'a list

Sourceval pp_asm : Format.formatter -> Armv8a_instr_decl.armv8a_prog -> unit

Sourceval callstyle : Armv8a_decl.register Arch_full.callstyle

Sourceval sp_min_align : Wsize.wsize

Sourceval max_store_size : Wsize.wsize

Source

val internal_call_conv : 
  (Armv8a_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_common.rflag,
    Arm_common.condt)
    Arch_decl.internal_calling_convention

include module type of struct include Lowering_params end

val call_conv : 
  (Armv8a_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arm_common.rflag,
    Arm_common.condt)
    Arch_decl.calling_convention