package jasmin
Compiler for High-Assurance and High-Speed Cryptography
Install
dune-project
Dependency
Authors
Maintainers
Sources
jasmin-compiler-v2026.03.2.tar.bz2
sha256=bc6532ed279f41aab6c73c65c8d7e86b2e78801a880db411a7ebd23755742dce
doc/jasmin.jasmin/Jasmin/Inline/index.html
Module Jasmin.Inline
module E : sig ... endval get_flag : Expr.lval -> Expr.assgn_tag -> Expr.assgn_tagval assgn_tuple :
'a1 Sopn.asmOp ->
Expr.instr_info ->
Expr.lval list ->
Expr.assgn_tag ->
Type.atype list ->
Expr.pexpr list ->
'a1 Expr.instr listval inline_c :
'a1 Sopn.asmOp ->
('a1 Expr.instr ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexec) ->
'a1 Expr.instr list ->
Var0.SvExtra.Sv.t ->
(Compiler_util.pp_error_loc, Var0.SvExtra.Sv.t * 'a1 Expr.instr list)
Utils0.resultval locals_p : 'a1 Sopn.asmOp -> 'a1 Expr.ufundef -> Var0.SvExtra.Sv.tval check_disjoint :
'a1 Sopn.asmOp ->
'a1 Expr.ufundef ->
Var0.SvExtra.Sv.t ->
(Compiler_util.pp_error_loc, unit) Utils0.resultval get_fun :
'a1 Sopn.asmOp ->
'a1 Expr.ufun_decls ->
Var0.funname ->
(Compiler_util.pp_error_loc, 'a1 Expr.fundef) Utils0.resultval extend_iinfo_i :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
Expr.instr_info ->
'a1 Expr.instr ->
'a1 Expr.instrval extend_iinfo_cmd :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
Expr.instr_info ->
'a1 Expr.instr list ->
'a1 Expr.instr listval inline_i :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
'a1 Expr.ufun_decls ->
'a1 Expr.instr ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexecval inline_fd :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
'a1 Expr.ufun_decls ->
'a1 Expr.ufundef ->
(Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
Utils0.resultval inline_fd_cons :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
(Var0.funname * 'a1 Expr.ufundef) ->
'a1 Expr.ufun_decls Compiler_util.cexec ->
(Compiler_util.pp_error_loc, (Var0.funname * 'a1 Expr.fundef) list)
Utils0.resultval inline_prog :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
'a1 Expr.ufun_decls ->
'a1 Expr.ufun_decls Compiler_util.cexecval inline_prog_err :
'a1 Sopn.asmOp ->
(Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
'a1 Expr.uprog ->
(Compiler_util.pp_error_loc,
('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog)
Utils0.result