===================================================================
@@ -129,7 +129,6 @@ typedef HOST_WIDE_INT __gcc_host_wide_in
#define ATTRIBUTE_ASM_FPRINTF(m, n) ATTRIBUTE_NONNULL(m)
#endif
-extern void fprint_w (FILE *, HOST_WIDE_INT);
extern void fprint_whex (FILE *, unsigned HOST_WIDE_INT);
extern void fprint_ul (FILE *, unsigned long);
extern int sprint_ul (char *, unsigned long);
===================================================================
@@ -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 va
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