package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb
doc/jasmin.jasmin/Jasmin/StackAlloc/StackAlloc/argument-1-Arch/index.html
Parameter StackAlloc.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 :
(reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.extended_op
Sopn.asmOpval asmOp_sopn :
(reg, regx, xreg, rflag, cond, asm_op, extra_op) Arch_extra.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.callstyle