package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2026.09.0.tar.bz2
sha256=11fec571efb9f7b3a47fea324b4e2a68289e0b73b2248d237eccf139b5218190
doc/jasmin.jasmin/Jasmin/Array_copy/index.html
Module Jasmin.Array_copy
module E : sig ... endval direct_copy :
'a1 Sopn.asmOp ->
Wsize.wsize ->
Expr.var_i ->
Expr.gvar ->
Expr.pexpr ->
'a1 Expr.instr_r listval tmp_var :
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Expr.fun_info ->
Wsize.wsize ->
Var0.Var.varval indirect_copy :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Expr.fun_info ->
Wsize.wsize ->
Expr.var_i ->
Expr.gvar ->
Expr.pexpr ->
'a1 Expr.instr_r listval needs_temporary : Var0.Var.var -> Var0.Var.var -> boolval array_copy :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Expr.fun_info ->
Expr.instr_info ->
Expr.var_i ->
Wsize.wsize ->
BinNums.coq_Z ->
Expr.gvar ->
'a1 Expr.instr listval array_copy_c :
'a1 Sopn.asmOp ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t ->
'a1 Expr.instr ->
'a1 Expr.instr list Compiler_util.cexec) ->
'a1 Expr.instr list ->
'a1 Expr.instr list Compiler_util.cexecval is_copy :
'a1 Sopn.asmOp ->
'a1 Sopn.sopn ->
(Wsize.wsize * BinNums.coq_Z) optionval get_source :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Var0.SvExtra.Sv.t ->
Expr.instr_info ->
Expr.pexpr list ->
(Expr.gvar * 'a1 Expr.instr list) Compiler_util.cexecval get_target :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Var0.SvExtra.Sv.t ->
Expr.instr_info ->
Expr.lval list ->
(Expr.var_i * 'a1 Expr.instr list) Compiler_util.cexecval array_copy_i :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Expr.fun_info ->
Var0.SvExtra.Sv.t ->
'a1 Expr.instr ->
'a1 Expr.instr list Compiler_util.cexecval array_copy_fd :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Expr.progT ->
'a1 Expr.fundef ->
(Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
Utils0.resultval array_copy_prog :
'a1 Sopn.asmOp ->
(Wsize.v_kind ->
Expr.instr_info ->
string ->
Type.atype ->
Ident.Ident.ident) ->
Expr.progT ->
'a1 Expr.prog ->
(Compiler_util.pp_error_loc,
('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog)
Utils0.result