* explow.c (trunc_int_for_mode): Sign-extend value to mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@39615 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 10 insertions, 22 deletions

diff --git a/gcc/explow.c b/gcc/explow.c
index b7c0bb9f6d9..719421f6cd6 100644
--- a/gcc/explow.c
+++ b/gcc/explow.c
@@ -56,28 +56,16 @@ trunc_int_for_mode (c, mode)
   if (mode == BImode)
     return c & 1 ? STORE_FLAG_VALUE : 0;
 
-  /* We clear out all bits that don't belong in MODE, unless they and our
-     sign bit are all one.  So we get either a reasonable negative
-     value or a reasonable unsigned value.  */
-
-  if (width < HOST_BITS_PER_WIDE_INT
-      && ((c & ((HOST_WIDE_INT) (-1) << (width - 1)))
-           != ((HOST_WIDE_INT) (-1) << (width - 1))))
-    c &= ((HOST_WIDE_INT) 1 << width) - 1;
-
-  /* If this would be an entire word for the target, but is not for
-     the host, then sign-extend on the host so that the number will look
-     the same way on the host that it would on the target.
-
-     For example, when building a 64 bit alpha hosted 32 bit sparc
-     targeted compiler, then we want the 32 bit unsigned value -1 to be
-     represented as a 64 bit value -1, and not as 0x00000000ffffffff.
-     The later confuses the sparc backend.  */
-
-  if (BITS_PER_WORD < HOST_BITS_PER_WIDE_INT
-      && BITS_PER_WORD == width
-      && (c & ((HOST_WIDE_INT) 1 << (width - 1))))
-    c |= ((HOST_WIDE_INT) (-1) << width);
+  /* Sign-extend for the requested mode.  */
+
+  if (width < HOST_BITS_PER_WIDE_INT)
+    {
+      HOST_WIDE_INT sign = 1;
+      sign <<= width - 1;
+      c &= (sign << 1) - 1;
+      c ^= sign;
+      c -= sign;
+    }
 
   return c;
 }