diff options
Diffstat (limited to 'gcc/print-rtl.h')
| -rw-r--r-- | gcc/print-rtl.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/print-rtl.h b/gcc/print-rtl.h index c9b71544aa9..eb079afaa3c 100644 --- a/gcc/print-rtl.h +++ b/gcc/print-rtl.h @@ -24,4 +24,13 @@ along with GCC; see the file COPYING3. If not see extern void print_rtl (FILE *, const_rtx); #endif +extern void dump_value_slim (FILE *, const_rtx, int); +extern void dump_insn_slim (FILE *, const rtx_insn *); +extern void dump_rtl_slim (FILE *, const rtx_insn *, const rtx_insn *, + int, int); +extern void print_value (pretty_printer *, const_rtx, int); +extern void print_pattern (pretty_printer *, const_rtx, int); +extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block); +extern const char *str_pattern_slim (const_rtx); + #endif // GCC_PRINT_RTL_H |