diff options
Diffstat (limited to 'gcc/print-rtl.c')
| -rw-r--r-- | gcc/print-rtl.c | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/gcc/print-rtl.c b/gcc/print-rtl.c index 1364e94..ebebf85 100644 --- a/gcc/print-rtl.c +++ b/gcc/print-rtl.c @@ -195,6 +195,11 @@ print_rtx (in_rtx) } } +#ifndef GENERATOR_FILE + if (GET_CODE (in_rtx) == CONST_DOUBLE && FLOAT_MODE_P (GET_MODE (in_rtx))) + i = 5; +#endif + /* Get the format string and skip the first elements if we have handled them already. */ format_ptr = GET_RTX_FORMAT (GET_CODE (in_rtx)) + i; @@ -517,11 +522,12 @@ print_rtx (in_rtx) case CONST_DOUBLE: if (FLOAT_MODE_P (GET_MODE (in_rtx))) { - REAL_VALUE_TYPE val; char s[30]; - REAL_VALUE_FROM_CONST_DOUBLE (val, in_rtx); - REAL_VALUE_TO_DECIMAL (val, s, -1); + real_to_decimal (s, CONST_DOUBLE_REAL_VALUE (in_rtx), -1); + fprintf (outfile, " %s", s); + + real_to_hexadecimal (s, CONST_DOUBLE_REAL_VALUE (in_rtx), -1); fprintf (outfile, " [%s]", s); } break; |