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/Tunneling/index.html
Module Jasmin.Tunneling
module E : sig ... endval labels_of_body :
'a1 Sopn.asmOp ->
'a1 Linear.linstr list ->
Label.label listval goto_targets :
'a1 Sopn.asmOp ->
'a1 Linear.linstr list ->
Label.remote_label listval setfb :
'a1 Sopn.asmOp ->
'a1 Linear.lfundef ->
'a1 Linear.lcmd ->
'a1 Linear.lfundefval setfuncs :
'a1 Sopn.asmOp ->
'a1 Linear.lprog ->
(Var0.funname * 'a1 Linear.lfundef) list ->
'a1 Linear.lprogval coq_Linstr_align : 'a1 Sopn.asmOp -> 'a1 Linear.linstrval tunnel_chart :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
Unionfind.LUF.unionfind ->
'a1 Linear.linstr ->
'a1 Linear.linstr ->
Unionfind.LUF.unionfindval tunnel_plan :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
Unionfind.LUF.unionfind ->
'a1 Linear.lcmd ->
Unionfind.LUF.unionfindval tunnel_bore :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
Unionfind.LUF.unionfind ->
'a1 Linear.linstr ->
'a1 Linear.linstrval tunnel_head :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
Unionfind.LUF.unionfind ->
'a1 Linear.linstr list ->
'a1 Linear.linstr listval tunnel_engine :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
'a1 Linear.lcmd ->
'a1 Linear.lcmd ->
'a1 Linear.lcmdval tunnel_lcmd :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
'a1 Linear.lcmd ->
'a1 Linear.lcmdval tunnel_lfundef :
'a1 Sopn.asmOp ->
Eqtype.Equality.sort ->
'a1 Linear.lfundef ->
'a1 Linear.lfundefval tunnel_funcs :
'a1 Sopn.asmOp ->
(Eqtype.Equality.sort * 'a1 Linear.lfundef) list ->
(Eqtype.Equality.sort * 'a1 Linear.lfundef) listval tunnel_lprog : 'a1 Sopn.asmOp -> 'a1 Linear.lprog -> 'a1 Linear.lprogval well_formed_body :
'a1 Sopn.asmOp ->
Var0.funname ->
'a1 Linear.linstr list ->
boolval well_formed_funcs :
'a1 Sopn.asmOp ->
(Eqtype.Equality.sort * 'a1 Linear.lfundef) list ->
boolval well_formed_lprog : 'a1 Sopn.asmOp -> 'a1 Linear.lprog -> boolval tunnel_program :
'a1 Sopn.asmOp ->
'a1 Linear.lprog ->
(Compiler_util.pp_error_loc, 'a1 Linear.lprog) Utils0.result