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/Printer/index.html

Module Jasmin.PrinterSource

Sourceval pp_warning_msg : Format.formatter -> Compiler_util.warning_msg -> unit
Sourceval pp_err : debug:bool -> Format.formatter -> Compiler_util.pp_error -> unit
Sourceval pp_print_X : Format.formatter -> Z.t -> unit
Sourceval pp_pvar : Format.formatter -> Prog.pvar -> unit
Sourceval pp_ptype : debug:bool -> Format.formatter -> Prog.pty -> unit
Sourceval pp_eptype : debug:bool -> Format.formatter -> Prog.epty -> unit
Sourceval pp_plval : debug:bool -> Format.formatter -> Prog.plval -> unit
Sourceval pp_pexpr : debug:bool -> Format.formatter -> Prog.pexpr -> unit
Sourceval pp_pprog : debug:bool -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.pprog -> unit
Sourceval pp_var : debug:bool -> Format.formatter -> Prog.var -> unit
Sourceval pp_dvar : debug:bool -> Format.formatter -> Prog.var -> unit
Sourceval string_of_combine_flags : Expr.combine_flags -> string
Sourceval pp_expr : debug:bool -> Format.formatter -> Prog.expr -> unit
Sourceval pp_lval : debug:bool -> Format.formatter -> Prog.lval -> unit
Sourceval pp_instr : debug:bool -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.instr -> unit
Sourceval pp_stmt : debug:bool -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.stmt -> unit
Sourceval pp_fun : debug:bool -> ?pp_locals:Prog.Sv.t Utils.pp -> ?pp_info:(Location.i_loc * 'info) Utils.pp -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.sopn Utils.pp -> Prog.var Utils.pp -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.func Utils.pp
Sourceval pp_ifunc : debug:bool -> (Location.i_loc * 'info) Utils.pp -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.func -> unit
Sourceval pp_func : debug:bool -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.func -> unit
Sourceval pp_iprog : debug:bool -> (Location.i_loc * 'info) Utils.pp -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.prog -> unit
Sourceval pp_prog : debug:bool -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.prog -> unit
Sourceval pp_to_save : debug:bool -> Format.formatter -> (Var0.Var.var * BinNums.coq_Z) -> unit
Sourceval pp_saved_stack : debug:bool -> Format.formatter -> Expr.saved_stack -> unit
Sourceval pp_return_address : debug:bool -> Format.formatter -> Expr.return_address_location -> unit
Sourceval pp_sprog : debug:bool -> Wsize.wsize -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Sopn.asmOp -> Format.formatter -> ('info, ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op) Prog.sprog -> unit