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 (20)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2026.03.0.tar.bz2
sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40

doc/jasmin.jasmin/Jasmin/PrintCommon/index.html

Module Jasmin.PrintCommonSource

Sourceval escape : string -> string

replace dots & columns by underscores

Sourceval pp_wsize : Format.formatter -> Wsize.wsize -> unit
Sourceval string_of_signess : Wsize.signedness -> string
Sourceval string_of_velem : Wsize.signedness -> Wsize.wsize -> Wsize.velem -> string
Sourceval string_of_op1 : debug:bool -> Operators.sop1 -> string
Sourceval string_of_op2 : Operators.sop2 -> string
Sourceval pp_opn : Wsize.wsize -> Wsize.wsize -> 'asm Sopn.asmOp -> Format.formatter -> 'asm Sopn.sopn -> unit
Sourceval pp_bool : Format.formatter -> bool -> unit
Sourceval pp_kind : Format.formatter -> Wsize.v_kind -> unit
Sourceval pp_btype : ?w:Wsize.signedness -> Format.formatter -> Prog.base_ty -> unit
Sourceval pp_gtype : ?w:Wsize.signedness -> (Format.formatter -> 'size -> unit) -> Format.formatter -> 'size Prog.gty -> unit
Sourceval non_default_wsize : 'len Prog.gvar -> Wsize.wsize -> Wsize.wsize option
Sourceval pp_mem_access : 'expr Utils.pp -> Format.formatter -> Memory_model.aligned -> Wsize.wsize option -> 'expr -> unit
Sourceval pp_arr_access : 'var Utils.pp -> 'len Prog.gexpr Utils.pp -> Format.formatter -> Memory_model.aligned -> Warray_.arr_access -> Wsize.wsize option -> 'var -> 'len Prog.gexpr -> unit
Sourceval pp_arr_slice : 'var Utils.pp -> 'len Prog.gexpr Utils.pp -> 'len Utils.pp -> Format.formatter -> Warray_.arr_access -> Wsize.wsize option -> 'var -> 'len Prog.gexpr -> 'len -> unit
Sourceval pp_len : Format.formatter -> int -> unit
Sourceval pp_ty : Format.formatter -> Prog.ty -> unit
Sourceval pp_datas : Format.formatter -> Word0.word list -> unit
Sourceval pp_var : Format.formatter -> Var0.Var.var -> unit
Sourceval pp_var_i : Format.formatter -> Expr.var_i -> unit
Sourcetype priority

Priority levels of operators

Sourcetype associativity =
  1. | Left
  2. | NoAssoc
  3. | Right
    (*

    Associativity of operators

    *)
Sourceval associativity : priority -> associativity

Associativity of a priority level

Sourceval priority_min : priority

Minimal priority level

Sourceval priority_of_op1 : Operators.sop1 -> priority

Priority level of unary operators

Sourceval priority_of_op2 : Operators.sop2 -> priority

Priority level of binary operators

Sourceval priority_ternary : priority

Priority level of the ternary “_ ? _ : _” operator

Sourceval optparent : Format.formatter -> priority -> associativity -> priority -> ('a, Format.formatter, unit) format -> 'a

Print within optional enclosing parentheses.