package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Compiler_util/index.html

Module Jasmin.Compiler_util

type __ = Obj.t
type warning_msg =
  1. | Use_lea
type box =
  1. | Vbox
  2. | Hbox
  3. | HoVbox
  4. | Nobox
type pp_error =
  1. | PPEstring of string
  2. | PPEz of BinNums.coq_Z
  3. | PPEvar of Var0.Var.var
  4. | PPEvarinfo of Expr.var_info
  5. | PPElval of Expr.lval
  6. | PPEfunname of Var0.funname
  7. | PPEfuninfo of Expr.fun_info
  8. | PPEiinfo of Expr.instr_info
  9. | PPEexpr of Expr.pexpr
  10. | PPErexpr of Fexpr.rexpr
  11. | PPEfexpr of Fexpr.fexpr
  12. | PPEbox of box * pp_error list
  13. | PPEbreak
type pp_error_loc = {
  1. pel_msg : pp_error;
  2. pel_fn : Var0.funname option;
  3. pel_fi : Expr.fun_info option;
  4. pel_ii : Expr.instr_info option;
  5. pel_vi : Expr.var_info option;
  6. pel_pass : string option;
  7. pel_internal : bool;
}
val pp_hov : pp_error list -> pp_error
val pp_box : pp_error list -> pp_error
val pp_vbox : pp_error list -> pp_error
val pp_nobox : pp_error list -> pp_error
val pp_list : pp_error -> ('a1 -> pp_error) -> 'a1 list -> pp_error
val pp_break : pp_error -> pp_error
val pp_break_s : string -> pp_error
type 'a cexec = (pp_error_loc, 'a) Utils0.result
val add_iinfo : Expr.instr_info -> 'a1 cexec -> (pp_error_loc, 'a1) Utils0.result
val add_finfo : Expr.fun_info -> 'a1 cexec -> 'a1 cexec
val add_funname : Var0.funname -> 'a1 cexec -> 'a1 cexec
val with_pel_msg : pp_error_loc -> pp_error -> pp_error_loc
val map_prog_name : 'a1 Sopn.asmOp -> Expr.progT -> (Var0.funname -> 'a1 Expr.fundef -> 'a1 Expr.fundef) -> 'a1 Expr.prog -> 'a1 Expr.prog
val map_prog : 'a1 Sopn.asmOp -> Expr.progT -> ('a1 Expr.fundef -> 'a1 Expr.fundef) -> 'a1 Expr.prog -> 'a1 Expr.prog
val map_cfprog_name_gen : ('a1 -> Expr.fun_info) -> (Var0.funname -> 'a1 -> 'a2 cexec) -> (Var0.funname * 'a1) list -> (pp_error_loc, (Var0.funname * 'a2) list) Utils0.result
val map_cfprog_gen : ('a1 -> Expr.fun_info) -> ('a1 -> 'a2 cexec) -> (Var0.funname * 'a1) list -> (pp_error_loc, (Var0.funname * 'a2) list) Utils0.result
val pp_internal_error : string -> pp_error -> pp_error_loc
val pp_internal_error_s : string -> string -> pp_error_loc
val pp_internal_error_s_at : string -> Expr.instr_info -> string -> pp_error_loc
module type LoopCounter = sig ... end
module Loop : LoopCounter
val gen_loop_iterator : string -> Expr.instr_info option -> pp_error_loc
val loop_iterator : string -> pp_error_loc
val ii_loop_iterator : string -> Expr.instr_info -> pp_error_loc