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/Array_expansion/index.html
Module Jasmin.Array_expansion
module E : sig ... endtype expd_t =
((Wsize.wsize * BinNums.coq_Z) option list
* (Wsize.wsize * BinNums.coq_Z) option list)
Var0.Mf.tval init_elems :
Var0.SvExtra.Sv.elt ->
(Var0.SvExtra.Sv.t * BinNums.coq_Z) ->
(Compiler_util.pp_error_loc, Var0.SvExtra.Sv.t * BinNums.coq_Z) Utils0.resultval init_array_info :
varr_info ->
(Var0.SvExtra.Sv.t * array_info Var0.Mvar.t) ->
(Compiler_util.pp_error_loc, Var0.SvExtra.Sv.t * array_info Var0.Mvar.Map.t)
Utils0.resultval init_map :
expand_info ->
(Compiler_util.pp_error_loc, t * Expr.fun_info) Utils0.resultval expand_e : t -> Expr.pexpr -> Expr.pexpr Compiler_util.cexecval expand_lv :
t ->
Expr.lval ->
(Compiler_util.pp_error_loc, Expr.lval) Utils0.resultval expand_es :
t ->
Expr.pexpr list ->
(Compiler_util.pp_error_loc, Expr.pexpr list) Utils0.resultval expand_lvs :
t ->
Expr.lval list ->
(Compiler_util.pp_error_loc, Expr.lval list) Utils0.resultval expand_param :
t ->
(Eqtype.Equality.sort * Eqtype.Equality.sort) option ->
Expr.pexpr ->
Expr.pexpr list Compiler_util.cexecval expand_return :
t ->
(Wsize.wsize * BinNums.coq_Z) option ->
Expr.lval ->
(Compiler_util.pp_error_loc, Expr.lval list) Utils0.resultval expand_i :
'a1 Sopn.asmOp ->
expd_t ->
t ->
'a1 Expr.instr ->
'a1 Expr.instr Compiler_util.cexecval expand_tyv :
t ->
bool ->
string ->
Type.stype ->
Expr.var_i ->
(Compiler_util.pp_error_loc,
(Type.stype list * Expr.var_i list) * (Wsize.wsize * BinNums.coq_Z) option)
Utils0.resultval expand_fsig :
'a1 Sopn.asmOp ->
(Var0.funname -> 'a1 Expr.ufundef -> expand_info) ->
Var0.funname list ->
Var0.funname ->
'a1 Expr.ufundef ->
(Compiler_util.pp_error_loc,
(('a1, Expr.extra_fun_t) Expr._fundef * t)
* ((Wsize.wsize * BinNums.coq_Z) option list
* (Wsize.wsize * BinNums.coq_Z) option list))
Utils0.resultval expand_fbody :
'a1 Sopn.asmOp ->
expd_t ->
Var0.funname ->
('a1 Expr.ufundef * t) ->
(Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
Utils0.resultval expand_prog :
'a1 Sopn.asmOp ->
(Var0.funname -> 'a1 Expr.ufundef -> expand_info) ->
Var0.funname list ->
'a1 Expr.uprog ->
'a1 Expr.uprog Compiler_util.cexec