diff options
Diffstat (limited to 'gcc/final.c')
| -rw-r--r-- | gcc/final.c | 29 |
1 files changed, 1 insertions, 28 deletions
diff --git a/gcc/final.c b/gcc/final.c index cc3a199692e..60df6fa70a6 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -3585,7 +3585,7 @@ output_addr_const (FILE *file, rtx x) break; case CONST_INT: - fprint_w (file, INTVAL (x)); + fprintf (file, HOST_WIDE_INT_PRINT_DEC, INTVAL (x)); break; case CONST: @@ -3741,33 +3741,6 @@ sprint_ul_rev (char *s, unsigned long value) return i; } -/* Write a signed HOST_WIDE_INT as decimal to a file, fast. */ - -void -fprint_w (FILE *f, HOST_WIDE_INT value) -{ - /* python says: len(str(2**64)) == 20 */ - char s[20]; - int i; - - if (value >= 0) - i = sprint_ul_rev (s, (unsigned long) value); - else - { - /* Cast to long long to output max negative correctly! */ - i = sprint_ul_rev (s, ((unsigned long long) value) * -1); - putc('-', f); - } - - /* It's probably too small to bother with string reversal and fputs. */ - do - { - i--; - putc (s[i], f); - } - while (i != 0); -} - /* Write an unsigned long as decimal to a file, fast. */ void |