Message ID | 5110ED59.9050500@mentor.com |
---|---|
State | New |
Headers | show |
Index: gcc/print-rtl.c =================================================================== --- gcc/print-rtl.c (revision 195747) +++ gcc/print-rtl.c (working copy) @@ -800,6 +800,20 @@ print_rtl_single_with_indent (FILE *outf sawclose = 0; fputs (s_indent, outfile); fputs (print_rtx_head, outfile); +#ifndef GENERATOR_FILE + { + basic_block bb; + if (GET_RTX_LENGTH (GET_CODE (x)) >= 4 + && GET_RTX_FORMAT (GET_CODE (x))[3] == 'B') + { + bb = BLOCK_FOR_INSN (x); + if (bb != 0) + fprintf (outfile, " [bfi %d]", bb->index); + else + fprintf (outfile, " [bfi NULL]"); + } + } +#endif