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/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.stype 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_rename :
Sem_type.coq_WithSubWord ->
'a1 Sopn.asmOp ->
('a1 Expr.ufun_decl -> Expr.instr_info -> Var0.SvExtra.Sv.t) ->
Var0.funname ->
'a1 Expr.ufundef ->
'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 inline_i :
Sem_type.coq_WithSubWord ->
'a1 Sopn.asmOp ->
(Expr.instr_info -> Var0.funname -> 'a1 Expr.ufundef -> 'a1 Expr.ufundef) ->
('a1 Expr.ufun_decl -> Expr.instr_info -> Var0.SvExtra.Sv.t) ->
'a1 Expr.ufun_decls ->
'a1 Expr.instr ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexecval inline_fd :
Sem_type.coq_WithSubWord ->
'a1 Sopn.asmOp ->
(Expr.instr_info -> Var0.funname -> 'a1 Expr.ufundef -> 'a1 Expr.ufundef) ->
('a1 Expr.ufun_decl -> Expr.instr_info -> Var0.SvExtra.Sv.t) ->
'a1 Expr.ufun_decls ->
'a1 Expr.ufundef ->
(Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
Utils0.resultval inline_fd_cons :
Sem_type.coq_WithSubWord ->
'a1 Sopn.asmOp ->
(Expr.instr_info -> Var0.funname -> 'a1 Expr.ufundef -> 'a1 Expr.ufundef) ->
('a1 Expr.ufun_decl -> Expr.instr_info -> Var0.SvExtra.Sv.t) ->
(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 :
Sem_type.coq_WithSubWord ->
'a1 Sopn.asmOp ->
(Expr.instr_info -> Var0.funname -> 'a1 Expr.ufundef -> 'a1 Expr.ufundef) ->
('a1 Expr.ufun_decl -> Expr.instr_info -> Var0.SvExtra.Sv.t) ->
'a1 Expr.ufun_decls ->
'a1 Expr.ufun_decls Compiler_util.cexecval inline_prog_err :
Sem_type.coq_WithSubWord ->
'a1 Sopn.asmOp ->
(Expr.instr_info -> Var0.funname -> 'a1 Expr.ufundef -> 'a1 Expr.ufundef) ->
('a1 Expr.ufun_decl -> Expr.instr_info -> Var0.SvExtra.Sv.t) ->
'a1 Expr.uprog ->
(Compiler_util.pp_error_loc,
('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog)
Utils0.result