#include "bitmap.h"

Include dependency graph for print-rtl.h:

This graph shows which files directly or indirectly include this file:

Data Structures
class	rtx_writer

class	rtx_reuse_manager

Functions
void	print_rtx_insn_vec (FILE file, const vec< rtx_insn > &vec)

void	dump_value_slim (FILE *, const_rtx, int)

void	dump_insn_slim (FILE , const rtx_insn )

void	dump_rtl_slim (FILE , const rtx_insn , const rtx_insn *, int, int)

void	print_value (pretty_printer *, const_rtx, int)

void	print_pattern (pretty_printer *, const_rtx, int)

void	print_insn (pretty_printer pp, const rtx_insn x, int verbose)

void	print_insn_with_notes (pretty_printer , const rtx_insn )

void	rtl_dump_bb_for_graph (pretty_printer *, basic_block)

const char *	str_pattern_slim (const_rtx)

void	print_rtx_function (FILE file, function fn, bool compact)

Function Documentation

◆ dump_insn_slim()

void dump_insn_slim	(	FILE *	f,
		const rtx_insn *	x )

extern

Emit a slim dump of X (an insn) to the file F, including any register
note attached to the instruction.

References pp_flush(), print_insn_with_notes(), and pretty_printer::set_output_stream().

Referenced by attempt_change(), check_and_process_move(), combine_instructions(), combine_reload_insn(), debug_insn_slim(), dump_inc_insn(), dump_mem_insn(), ext_dce_try_optimize_insn(), final_scan_insn_1(), inherit_reload_reg(), lra_constraints(), lra_process_new_insns(), merge_in_block(), print_rtl_with_bb(), process_invariant_for_inheritance(), record_reg_classes(), remove_inheritance_pseudos(), rtl_dump_bb(), scan_one_insn(), split_reg(), try_combine(), undo_optional_reloads(), update_ebb_live_info(), and vt_initialize().

◆ dump_rtl_slim()

void dump_rtl_slim	(	FILE *	f,
		const rtx_insn *	first,
		const rtx_insn *	last,
		int	count,
		int	flags )

extern

Same as above, but stop at LAST or when COUNT == 0.
If COUNT < 0 it will stop only at LAST or NULL rtx.

References count, last, NEXT_INSN(), NULL, pp_flush(), print_insn_with_notes(), and pretty_printer::set_output_stream().

Referenced by debug_rtl_slim(), inherit_reload_reg(), lra_dump_insns(), lra_process_new_insns(), and split_reg().

◆ dump_value_slim()

void dump_value_slim	(	FILE *	f,
		const_rtx	x,
		int	verbose )

extern

Print X, an RTL value node, to file F in slim format.  Include
additional information if VERBOSE is nonzero.

Value nodes are constants, registers, labels, symbols and
memory.

References pp_flush(), print_value(), pretty_printer::set_output_stream(), and verbose.

Referenced by curr_insn_transform(), equiv_address_substitution(), get_reload_reg(), ira_update_equiv_info_by_shuffle_insn(), and process_addr_reg().

◆ print_insn()

void print_insn	(	pretty_printer *	pp,
		const rtx_insn *	x,
		int	verbose )

extern

This is the main function in slim rtl visualization mechanism.

X is an insn, to be printed into PP.

This function tries to print it properly in human-readable form,
resembling assembler mnemonics (instead of the older Lisp-style
form).

If VERBOSE is TRUE, insns are printed with more complete (but
longer) pattern names and with extra information, and prefixed
with their INSN_UIDs.

References BLOCK_NUMBER, DEBUG_MARKER_INSN_P, DEBUG_TEMP_UID, DECL_NAME, DECL_P, DECL_UID, gcc_unreachable, GET_CODE, GET_NOTE_INSN_NAME, IDENTIFIER_POINTER, INSN_DEBUG_MARKER_KIND, INSN_UID(), INSN_VAR_LOCATION_DECL, INSN_VAR_LOCATION_LOC, NOTE_BASIC_BLOCK, NOTE_BLOCK, NOTE_DELETED_LABEL_NAME, NOTE_EH_HANDLER, NOTE_KIND, NOTE_VAR_LOCATION, NULL, PATTERN(), pp_left_brace, pp_printf(), pp_right_brace, pp_string(), print_pattern(), TREE_CODE, VAR_LOC_UNKNOWN_P, verbose, and XVECEXP.

Referenced by print_insn_with_notes().

◆ print_insn_with_notes()

void print_insn_with_notes	(	pretty_printer *	pp,
		const rtx_insn *	x )

extern

Pretty-print a slim dump of X (an insn) to PP, including any register
note attached to the instruction.

References GET_CODE, GET_REG_NOTE_NAME, INSN_P, pp_newline(), pp_printf(), pp_string(), print_insn(), print_pattern(), print_rtx_head, REG_NOTE_KIND, REG_NOTES, XEXP, and XINT.

Referenced by dump_insn_slim(), dump_rtl_slim(), print_pattern(), and rtl_dump_bb_for_graph().

◆ print_pattern()

void print_pattern	(	pretty_printer *	pp,
		const_rtx	x,
		int	verbose )

extern

The next step in insn detalization, its pattern recognition.

References as_a(), COND_EXEC_CODE, COND_EXEC_TEST, const0_rtx, rtx_sequence::element(), gcc_assert, GET_CODE, GET_RTX_NAME, i, rtx_sequence::insn(), INSN_P, rtx_sequence::len(), PAT_VAR_LOCATION_LOC, pp_equal, pp_exclamation, pp_left_brace, pp_left_paren, pp_newline(), pp_printf(), pp_right_brace, pp_semicolon, pp_string(), print_exp(), print_insn_with_notes(), print_pattern(), print_rtx_head, print_value(), SET, SET_DEST, SET_SRC, TRAP_CONDITION, verbose, XEXP, XSTR, XVECEXP, and XVECLEN.

Referenced by print_exp(), print_insn(), print_insn_with_notes(), print_pattern(), and str_pattern_slim().

◆ print_rtx_function()

void print_rtx_function	(	FILE *	outfile,
		function *	fn,
		bool	compact )

extern

Write FN to OUTFILE in a form suitable for parsing, with indentation
  and comments to make the structure easy for a human to grok.  Track
  the basic blocks of insns in the chain, wrapping those that are within
  blocks within "(block)" directives.

  If COMPACT, then instructions are printed in a compact form:
  - INSN_UIDs are omitted, except for jumps and CODE_LABELs,
  - INSN_CODEs are omitted,
  - register numbers are omitted for hard and virtual regs, and
    non-virtual pseudos are offset relative to the first such reg, and
    printed with a '%' sigil e.g. "%0" for (LAST_VIRTUAL_REGISTER + 1),
  - insn names are prefixed with "c" (e.g. "cinsn", "cnote", etc)

  Example output (with COMPACT==true):

  (function "times_two"
    (param "i"
      (DECL_RTL (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars)
          (const_int -4)) [1 i+0 S4 A32]))
      (DECL_RTL_INCOMING (reg:SI di [ i ])))
    (insn-chain
      (cnote 1 NOTE_INSN_DELETED)
      (block 2
        (edge-from entry (flags "FALLTHRU"))
        (cnote 4 [bb 2] NOTE_INSN_BASIC_BLOCK)
        (cinsn 2 (set (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars)
                       (const_int -4)) [1 i+0 S4 A32])
               (reg:SI di [ i ])) "t.c":2)
        (cnote 3 NOTE_INSN_FUNCTION_BEG)
        (cinsn 6 (set (reg:SI <2>)
               (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars)
                       (const_int -4)) [1 i+0 S4 A32])) "t.c":3)
        (cinsn 7 (parallel [
                   (set (reg:SI <0> [ _2 ])
                       (ashift:SI (reg:SI <2>)
                           (const_int 1)))
                   (clobber (reg:CC flags))
               ]) "t.c":3
            (expr_list:REG_EQUAL (ashift:SI (mem/c:SI (plus:DI (reg/f:DI virtual-stack-vars)
                           (const_int -4)) [1 i+0 S4 A32])
                   (const_int 1))))
        (cinsn 10 (set (reg:SI <1> [ <retval> ])
               (reg:SI <0> [ _2 ])) "t.c":3)
        (cinsn 14 (set (reg/i:SI ax)
               (reg:SI <1> [ <retval> ])) "t.c":4)
        (cinsn 15 (use (reg/i:SI ax)) "t.c":4)
        (edge-to exit (flags "FALLTHRU"))
      ) ;; block 2
    ) ;; insn-chain
    (crtl
      (return_rtx
        (reg/i:SI ax)
      ) ;; return_rtx
    ) ;; crtl
  ) ;; function "times_two"

References begin_any_block(), BLOCK_FOR_INSN(), can_have_basic_block_p(), crtl, curr_bb, function::decl, DECL_ARGUMENTS, DECL_CHAIN, lang_hooks::decl_printable_name, end_any_block(), get_insns(), NEXT_INSN(), NULL, print_param(), rtx_writer::print_rtl_single_with_indent(), and r.

◆ print_rtx_insn_vec()

void print_rtx_insn_vec	(	FILE *	file,
		const vec< rtx_insn * > &	vec )

extern

Print the elements of VEC to FILE.

References fputc(), i, and print_rtl_single().

Referenced by print_ldst_list(), and print_store_motion_mems().

◆ print_value()

void print_value	(	pretty_printer *	pp,
		const_rtx	x,
		int	verbose )

extern

Prints rtxes, I customarily classified as values.  They're constants,
registers, labels, symbols and memory accesses.

References CONST_DOUBLE_HIGH, CONST_DOUBLE_LOW, CONST_DOUBLE_REAL_VALUE, CONST_FIXED_VALUE, CONST_POLY_INT_COEFFS, CONST_WIDE_INT_ELT, CONST_WIDE_INT_NUNITS, DEBUG_EXPR_TREE_DECL, DEBUG_TEMP_UID, fixed_to_decimal(), FLOAT_MODE_P, GET_CODE, GET_MODE, GET_MODE_NAME, GET_RTX_NAME, HOST_WIDE_INT_PRINT_HEX, i, INSN_UID(), INTVAL, label_ref_label(), NUM_POLY_INT_COEFFS, pp_greater, pp_left_bracket, pp_modulo, pp_printf(), pp_right_bracket, pp_right_paren, pp_scalar, pp_string(), pp_wide_int(), pp_wide_integer(), pretty_print_string(), print_exp(), print_value(), real_to_decimal(), reg_names, REGNO, SIGNED, SUBREG_BYTE, SUBREG_REG, verbose, XEXP, and XSTR.

Referenced by dump_value_slim(), print_exp(), print_pattern(), and print_value().

◆ rtl_dump_bb_for_graph()

void rtl_dump_bb_for_graph	(	pretty_printer *	pp,
		basic_block	bb )

extern

Dumps basic block BB to pretty-printer PP in slim form and without and
no indentation, for use as a label of a DOT graph record-node.

References FOR_BB_INSNS, pp_bar, pp_write_text_as_dot_label_to_stream(), pp_write_text_to_stream(), and print_insn_with_notes().

◆ str_pattern_slim()

const char * str_pattern_slim ( const_rtx x )

extern

Pretty-print pattern X of some insn in non-verbose mode.
Return a string pointer to the pretty-printer buffer.

This function is only exported exists only to accommodate some older users
of the slim RTL pretty printers.  Please do not use it for new code.

References ggc_strdup, pp_formatted_text(), and print_pattern().

Data Structures

Functions

Function Documentation

◆ dump_insn_slim()

◆ dump_rtl_slim()

◆ dump_value_slim()

◆ print_insn()

◆ print_insn_with_notes()

◆ print_pattern()

◆ print_rtx_function()

◆ print_rtx_insn_vec()

◆ print_value()

◆ rtl_dump_bb_for_graph()

◆ str_pattern_slim()