jasmin.jasmin
X86_arch_full.X86
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
module Lowering_params : X86_input
type reg = X86_decl.register
type regx = X86_decl.register_ext
type xreg = X86_decl.xmm_register
type rflag = X86_decl.rflag
type cond = X86_decl.condt
type asm_op = X86_instr_decl.x86_op
type extra_op = X86_extra.x86_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