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 e72a77bf5e9..a94ce0a0bce 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -231,6 +231,9 @@ print_rtx (in_rtx) case 'w': fprintf (outfile, " "); fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, XWINT (in_rtx, i)); + fprintf (outfile, " ["); + fprintf (outfile, HOST_WIDE_INT_PRINT_HEX, XWINT (in_rtx, i)); + fprintf (outfile, "]"); break; case 'i': |