diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 823ffa0c513..723fd0d3eb5 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -475,6 +475,11 @@ print_rtx (in_rtx) sawclose = 0; break; + case 'B': + if (XBBDEF (in_rtx, i)) + fprintf (outfile, " %i", XBBDEF (in_rtx, i)->index); + break; + default: fprintf (stderr, "switch format wrong in rtl.print_rtx(). format was: %c.\n", |