Arch (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Regalloc.Regalloc.Arch)

include Arch_full.Core_arch

type reg

type regx

type xreg

type rflag

type cond

type asm_op

type extra_op

type lowering_options

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, lowering_options)
    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 lowering_opt : lowering_options

val pp_asm : 
  Format.formatter ->
  (reg, regx, xreg, rflag, cond, asm_op) Arch_decl.asm_prog ->
  unit

val known_implicits : (Jasmin.Prog.Name.t * string) list

val is_ct_asm_op : asm_op -> bool

val is_doit_asm_op : asm_op -> bool

val is_ct_asm_extra : extra_op -> bool

val is_doit_asm_extra : extra_op -> bool

val reg_size : Wsize.wsize

val pointer_data : Wsize.wsize

val msf_size : Wsize.wsize

val rip : Prog.var

val asmOp : 
  (reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.extended_op
    Sopn.asmOp

val asmOp_sopn : 
  (reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.extended_op
    Sopn.sopn
    Sopn.asmOp

val reg_vars : Prog.var list

val regx_vars : Prog.var list

val xreg_vars : Prog.var list

val flag_vars : Prog.var list

val argument_vars : Prog.var list

val xmm_argument_vars : Prog.var list

val ret_vars : Prog.var list

val xmm_ret_vars : Prog.var list

val allocatable_vars : Prog.var list

val extra_allocatable_vars : Prog.var list

val xmm_allocatable_vars : Prog.var list

val callee_save_vars : Prog.var list

val not_saved_stack : Prog.var list

val rsp_var : Prog.var

val all_registers : Prog.var list

val syscall_kill : Prog.Sv.t

val callstyle : Prog.var Arch_full.callstyle

val arch_info : 
  (reg, regx, xreg, rflag, cond, asm_op, extra_op) Pretyping.arch_info

val is_ct_sopn : 
  ?doit:bool ->
  (reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.extended_op ->
  bool