jasmin.jasmin
Riscv_arch_full.Riscv
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
module Lowering_params : Riscv_input
type reg = Riscv_decl.register
type regx = Arch_utils.empty
type xreg = Arch_utils.empty
type rflag = Arch_utils.empty
type cond = Riscv_decl.condt
type asm_op = Riscv_instr_decl.riscv_op
type extra_op = Riscv_extra.riscv_extra_op
val asm_e : (reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.asm_extra
val aparams : (reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_params.architecture_params
val call_conv : (reg, regx, xreg, rflag, cond) Arch_decl.calling_convention
val alloc_stack_need_extra : Z.t -> bool
val not_saved_stack : Prog.var list
val pp_asm : Format.formatter -> (reg, regx, xreg, rflag, cond, asm_op) Arch_decl.asm_prog -> unit
val callstyle : reg Arch_full.callstyle
val sp_min_align : Wsize.wsize
val max_store_size : Wsize.wsize
val known_implicits : (Jasmin.Prog.Name.t * string) list
val is_ct_asm_op : asm_op -> bool
val is_ct_asm_extra : extra_op -> bool
val internal_call_conv : (reg, regx, xreg, rflag, cond) Arch_decl.internal_calling_convention