package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa
doc/jasmin.jasmin/Jasmin/MakeReferenceArguments/index.html
Module Jasmin.MakeReferenceArguments
module E : sig ... endval with_id :
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
Expr.var_info ->
Expr.instr_info ->
Uint63.t ->
string ->
Type.stype ->
Expr.var_ival is_reg_ptr_expr :
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
bool ->
Expr.instr_info ->
Uint63.t ->
string ->
Eqtype.Equality.sort ->
Expr.pexpr ->
Expr.var_i optionval is_reg_ptr_lval :
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
bool ->
Expr.instr_info ->
Uint63.t ->
string ->
Type.stype ->
Expr.lval ->
Expr.var_i optionval make_prologue :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
Expr.instr_info ->
Var0.SvExtra.Sv.t ->
Uint63.t ->
((bool * string) * Eqtype.Equality.sort) list ->
Expr.pexpr list ->
(Compiler_util.pp_error_loc, 'a1 Expr.instr list * Expr.pexpr list)
Utils0.resultval make_pseudo_epilogue :
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
Expr.instr_info ->
Var0.SvExtra.Sv.t ->
Uint63.t ->
((bool * string) * Type.stype) list ->
Expr.lval list ->
(Compiler_util.pp_error_loc, pseudo_instr list) Utils0.resultval mk_ep_i :
'a1 Sopn.asmOp ->
Expr.instr_info ->
Expr.lval ->
Type.stype ->
Expr.var_i ->
'a1 Expr.instrval wf_lv : Expr.lval -> boolval swapable :
'a1 Sopn.asmOp ->
Expr.instr_info ->
pseudo_instr list ->
(Compiler_util.pp_error_loc, Expr.lval list * 'a1 Expr.instr list)
Utils0.resultval make_epilogue :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
Expr.instr_info ->
Var0.SvExtra.Sv.t ->
((bool * string) * Type.stype) list ->
Expr.lval list ->
(Compiler_util.pp_error_loc, Expr.lval list * 'a1 Expr.instr list)
Utils0.resultval update_c :
'a1 Sopn.asmOp ->
('a1 Expr.instr -> 'a1 Expr.instr list Compiler_util.cexec) ->
'a1 Expr.instr list ->
(Compiler_util.pp_error_loc, 'a1 Expr.instr list) Utils0.resultval mk_info : Expr.var_i -> Type.stype -> (bool * string) * Type.stypeval get_sig :
'a1 Sopn.asmOp ->
'a1 Expr.uprog ->
Expr.instr_info ->
Var0.funname ->
(Compiler_util.pp_error_loc,
((bool * string) * Type.stype) list * ((bool * string) * Type.stype) list)
Utils0.resultval get_syscall_sig :
BinNums.positive Syscall_t.syscall_t ->
((bool * string) * Type.stype) list * ((bool * string) * Type.stype) listval is_swap_op : 'a1 Sopn.asmOp -> 'a1 Sopn.sopn -> Type.stype optionval update_i :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
'a1 Expr.uprog ->
Var0.SvExtra.Sv.t ->
'a1 Expr.instr ->
'a1 Expr.instr list Compiler_util.cexecval update_fd :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
'a1 Expr.uprog ->
'a1 Expr.ufundef ->
(Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
Utils0.resultval makereference_prog :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Uint63.t -> string -> Type.stype -> Ident.Ident.ident) ->
'a1 Expr.uprog ->
'a1 Expr.uprog Compiler_util.cexec