package jasmin

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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 -> Expr.sop1 -> string
Sourceval string_of_op2 : Expr.sop2 -> string
Sourceval pp_opn : Wsize.wsize -> 'asm Sopn.asmOp -> Format.formatter -> 'asm Sopn.sopn -> unit
Sourceval pp_syscall : BinNums.positive 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 -> Obj.t list -> unit
Sourceval pp_var : Format.formatter -> Var0.Var.var -> unit
Sourceval pp_var_i : Format.formatter -> Expr.var_i -> unit