diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 3dc8762b355..d77645573f3 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -335,6 +335,9 @@ print_rtx (const_rtx in_rtx) break; } } + else if (i == 9 && JUMP_P (in_rtx) && XEXP (in_rtx, i) != NULL) + /* Output the JUMP_LABEL reference. */ + fprintf (outfile, "\n -> %d", INSN_UID (XEXP (in_rtx, i))); break; case 'e': |
