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/Dead_code/index.html
Module Jasmin.Dead_code
module E : sig ... endval dead_code_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 ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexecval loop :
'a1 Sopn.asmOp ->
(Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexec) ->
Expr.instr_info ->
Datatypes.nat ->
Var0.SvExtra.Sv.t ->
Var0.SvExtra.Sv.t ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexecval wloop :
'a1 Sopn.asmOp ->
(Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t
* (Var0.SvExtra.Sv.t * ('a1 Expr.instr list * 'a1 Expr.instr list)))
Compiler_util.cexec) ->
Expr.instr_info ->
Datatypes.nat ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * ('a1 Expr.instr list * 'a1 Expr.instr list))
Compiler_util.cexecval check_nop : Expr.lval -> Expr.pexpr -> boolval check_nop_opn :
'a1 Sopn.asmOp ->
('a1 Sopn.asm_op_t -> bool) ->
Expr.lval list ->
'a1 Sopn.sopn ->
Expr.pexpr list ->
boolval fn_keep_only :
(Var0.funname -> bool list option) ->
Var0.funname ->
'a1 list ->
'a1 listval check_keep_only :
Expr.lval list ->
bool list ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * Expr.lval list) Compiler_util.cexecval dead_code_i :
'a1 Sopn.asmOp ->
('a1 Sopn.asm_op_t -> bool) ->
bool ->
(Var0.funname -> bool list option) ->
'a1 Expr.instr ->
Var0.SvExtra.Sv.t ->
(Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexecval dead_code_fd :
'a1 Sopn.asmOp ->
('a1 Sopn.asm_op_t -> bool) ->
bool ->
(Var0.funname -> bool list option) ->
Var0.funname ->
('a1, 'a2) Expr._fundef ->
('a1, 'a2) Expr._fundef Compiler_util.cexecval dead_code_prog_tokeep :
'a1 Sopn.asmOp ->
('a1 Sopn.asm_op_t -> bool) ->
bool ->
(Var0.funname -> bool list option) ->
Expr.progT ->
'a1 Expr.prog ->
'a1 Expr.prog Compiler_util.cexecval dead_code_prog :
'a1 Sopn.asmOp ->
('a1 Sopn.asm_op_t -> bool) ->
Expr.progT ->
'a1 Expr.prog ->
bool ->
'a1 Expr.prog Compiler_util.cexec