diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 4db28c202ea..ef8a40204ae 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -354,7 +354,11 @@ print_rtx (in_rtx) #endif if (GET_CODE (in_rtx) == CODE_LABEL) - fprintf (outfile, " [num uses: %d]", LABEL_NUSES (in_rtx)); + { + fprintf (outfile, " [num uses: %d]", LABEL_NUSES (in_rtx)); + if (LABEL_ALTERNATE_NAME (in_rtx)) + fprintf (outfile, " [alternate name: %s]", LABEL_ALTERNATE_NAME (in_rtx)); + } if (dump_for_graph && (is_insn || GET_CODE (in_rtx) == NOTE |