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_header : debug:bool -> Format.formatter -> ('info, 'asm) Prog.func -> 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