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/Propagate_inline/index.html
Module Jasmin.Propagate_inline
module E : sig ... endtype pimap = pi_cel Var0.Mvar.tval piempty : pimapval remove : pimap -> Var0.Var.var -> pi_cel Var0.Mvar.tval remove_m : pimap -> pi_cel Var0.Mvar.tval set : pimap -> Var0.Var.var -> Expr.pexpr -> pimapval merge : pimap -> pimap -> pi_cel Var0.Mvar.tval scfc :
Flag_combination.coq_FlagCombinationParams ->
Operators.combine_flags ->
Expr.pexpr list ->
Expr.pexprval pi_e :
Flag_combination.coq_FlagCombinationParams ->
pimap ->
Expr.pexpr ->
Expr.pexprval pi_es :
Flag_combination.coq_FlagCombinationParams ->
pimap ->
Expr.pexpr list ->
Expr.pexpr listval pi_lv :
Flag_combination.coq_FlagCombinationParams ->
pimap ->
Expr.lval ->
pimap * Expr.lvalval pi_lvs :
Flag_combination.coq_FlagCombinationParams ->
pimap ->
Expr.lval list ->
pimap * Expr.lval listval set_lv : pimap -> Expr.lval -> Eqtype.Equality.sort -> Expr.pexpr -> pimapval pi_c :
'a1 Sopn.asmOp ->
(pimap -> 'a1 Expr.instr -> (pimap * 'a1 Expr.instr) Compiler_util.cexec) ->
pimap ->
'a1 Expr.instr list ->
(Compiler_util.pp_error_loc, pimap * 'a1 Expr.instr list) Utils0.resultval loop_for :
'a1 Sopn.asmOp ->
(pimap -> 'a1 Expr.instr -> (pimap * 'a1 Expr.instr) Compiler_util.cexec) ->
Expr.instr_info ->
Var0.Var.var ->
'a1 Expr.instr list ->
Datatypes.nat ->
pimap ->
(Compiler_util.pp_error_loc, pimap * 'a1 Expr.instr list) Utils0.resultval loop_while :
'a1 Sopn.asmOp ->
Flag_combination.coq_FlagCombinationParams ->
(pimap -> 'a1 Expr.instr -> (pimap * 'a1 Expr.instr) Compiler_util.cexec) ->
Expr.instr_info ->
'a1 Expr.instr list ->
Expr.pexpr ->
'a1 Expr.instr list ->
Datatypes.nat ->
pimap ->
(Compiler_util.pp_error_loc,
((pimap * 'a1 Expr.instr list) * Expr.pexpr) * 'a1 Expr.instr list)
Utils0.resultval pi_i :
'a1 Sopn.asmOp ->
Flag_combination.coq_FlagCombinationParams ->
Compiler_util.coq_LoopCounter ->
pimap ->
'a1 Expr.instr ->
(Compiler_util.pp_error_loc, pimap * 'a1 Expr.instr) Utils0.resultval pi_fun :
'a1 Sopn.asmOp ->
Flag_combination.coq_FlagCombinationParams ->
Compiler_util.coq_LoopCounter ->
Expr.progT ->
'a1 Expr.fundef ->
(Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
Utils0.resultval pi_prog :
'a1 Sopn.asmOp ->
Flag_combination.coq_FlagCombinationParams ->
Compiler_util.coq_LoopCounter ->
Expr.progT ->
'a1 Expr.prog ->
(Compiler_util.pp_error_loc,
('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog)
Utils0.result