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

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2026.09.0.tar.bz2
sha256=11fec571efb9f7b3a47fea324b4e2a68289e0b73b2248d237eccf139b5218190

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

Module Jasmin.PrintCommonSource

Sourceval escape : string -> string

replace dots & columns by underscores

Sourceval string_of_ltype : Type.ltype -> string
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_cast_opn : Format.formatter -> ('asm_op, 'extra_op) Arch_extra.extended_op_gen Sopn.sopn -> unit
Sourceval pp_syscall : (Wsize.wsize * BinNums.coq_Z) Syscall_t.syscall_t -> string
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.