package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2026.03.1.tar.bz2
sha256=78e9f92963403f1ed9f95326f26725532c43956f10fcc47d11ac94c66a236f52
doc/jasmin.jasmin/Jasmin/Regalloc/Regalloc/argument-1-Arch/index.html
Parameter Regalloc.Arch
include Arch_full.Core_arch
val aparams :
(reg, regx, xreg, rflag, cond, asm_op, extra_op, lowering_options)
Arch_params.architecture_paramsval alloc_stack_need_extra : Z.t -> boolval lowering_opt : lowering_optionsval pp_asm :
Format.formatter ->
(reg, regx, xreg, rflag, cond, asm_op) Arch_decl.asm_prog ->
unitval known_implicits : (Jasmin.Prog.Name.t * string) listval is_ct_asm_op : asm_op -> boolval is_doit_asm_op : asm_op -> boolval is_ct_asm_extra : extra_op -> boolval is_doit_asm_extra : extra_op -> boolval reg_size : Wsize.wsizeval pointer_data : Wsize.wsizeval msf_size : Wsize.wsizeval rip : Prog.varval asmOp : extended_op Sopn.asmOpval asmOp_sopn : extended_op Sopn.sopn Sopn.asmOpval reg_vars : Prog.var listval regx_vars : Prog.var listval xreg_vars : Prog.var listval flag_vars : Prog.var listval argument_vars : Prog.var listval xmm_argument_vars : Prog.var listval ret_vars : Prog.var listval xmm_ret_vars : Prog.var listval allocatable_vars : Prog.var listval extra_allocatable_vars : Prog.var listval xmm_allocatable_vars : Prog.var listval callee_save_vars : Prog.var listval not_saved_stack : Prog.var listval rsp_var : Prog.varval all_registers : Prog.var listval syscall_kill : Prog.Sv.tval callstyle : Prog.var Arch_full.callstyleval is_ct_sopn : ?doit:bool -> extended_op -> bool