From: Richard Stallman <rms@gnu.org>
Date: Sat, 15 May 1993 13:06:59 +0000 (+0000)
Subject: (output_addr_const): Don't printing leading zeros.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81d3c5385935ec75cfc535c543bc0b034a39a180;p=gcc.git

(output_addr_const): Don't printing leading zeros.

From-SVN: r4466
---

diff --git a/gcc/final.c b/gcc/final.c
index cd21940bf4f..dafcfe5e79e 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