From 81d3c5385935ec75cfc535c543bc0b034a39a180 Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Sat, 15 May 1993 13:06:59 +0000 Subject: [PATCH] (output_addr_const): Don't printing leading zeros. From-SVN: r4466 --- gcc/final.c | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gcc/final.c b/gcc/final.c index cd21940..dafcfe5 100644 --- a/gcc/final.c +++ b/gcc/final.c @@ -2293,7 +2293,7 @@ output_addr_const (file, x) if (GET_MODE (x) == VOIDmode) { /* We can use %d if the number is one word and positive. */ - if (CONST_DOUBLE_HIGH (x) || CONST_DOUBLE_LOW (x) < 0) + if (CONST_DOUBLE_HIGH (x)) fprintf (file, #if HOST_BITS_PER_WIDE_INT == 64 #if HOST_BITS_PER_WIDE_INT != HOST_BITS_PER_INT @@ -2309,6 +2309,14 @@ output_addr_const (file, x) #endif #endif CONST_DOUBLE_HIGH (x), CONST_DOUBLE_LOW (x)); + else if (CONST_DOUBLE_LOW (x) < 0) + fprintf (file, +#if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT + "0x%x", +#else + "0x%lx", +#endif + CONST_DOUBLE_LOW (x)); else fprintf (file, #if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT -- 2.7.4