diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 7e8d2208b05..90d65666dde 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -1,5 +1,5 @@ /* Print RTL for GNU C Compiler. - Copyright (C) 1987, 1991 Free Software Foundation, Inc. + Copyright (C) 1987-1991 Free Software Foundation, Inc. This file is part of GNU CC. @@ -140,6 +140,16 @@ print_rtx (in_rtx) indent -= 2; break; + case 'w': + fprintf (outfile, +#if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT + " %d", +#else + " %ld", +#endif + XWINT (in_rtx, i)); + break; + case 'i': fprintf (outfile, " %d", XINT (in_rtx, i)); if (is_insn && &INSN_CODE (in_rtx) == &XINT (in_rtx, i) |