diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index d3e829a..e72a77b 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -22,9 +22,9 @@ Boston, MA 02111-1307, USA. */ #include "config.h" #include "system.h" #include "rtl.h" -#include "bitmap.h" #include "real.h" #include "flags.h" +#include "basic-block.h" /* How to print out a register name. @@ -170,6 +170,14 @@ print_rtx (in_rtx) break; } + if (i == 3 && GET_CODE (in_rtx) == NOTE + && NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_BASIC_BLOCK) + { + basic_block bb = NOTE_BASIC_BLOCK (in_rtx); + fprintf (outfile, " [bb %d]", bb->index); + break; + } + if (XSTR (in_rtx, i) == 0) fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile); else |