PrintCommon (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.PrintCommon)

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

val 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

Source

val 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

Source

val pp_mem_access : 
  'expr Utils.pp ->
  Format.formatter ->
  Memory_model.aligned ->
  Wsize.wsize option ->
  'expr ->
  unit

Source

val 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

Source

val 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