From: DJ Delorie <dj@redhat.com>
Date: Fri, 10 Mar 2006 17:49:02 +0000 (-0500)
Subject: m32c.c (m32c_const_ok_for_constraint_p): Bit numbers start at zero.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8e4edce73fe0d2001ed264da7af150f3d15f08af;p=gcc.git

m32c.c (m32c_const_ok_for_constraint_p): Bit numbers start at zero.

* config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Bit numbers
start at zero.
(m32c_expand_insv): Fix test for an AND mask.

From-SVN: r111937
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 77ce19e6b21..f7f45d2f9cb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-03-10  DJ Delorie  <dj@redhat.com>
+
+	* config/m32c/m32c.c (m32c_const_ok_for_constraint_p): Bit numbers
+	start at zero.
+	(m32c_expand_insv): Fix test for an AND mask.
+
 2006-03-10  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/26565
diff --git a/gcc/config/m32c/m32c.c b/gcc/config/m32c/m32c.c
index 75fc3bc3763..0f7269b094e 100644
--- a/gcc/config/m32c/m32c.c
+++ b/gcc/config/m32c/m32c.c
@@ -923,22 +923,22 @@ m32c_const_ok_for_constraint_p (HOST_WIDE_INT value,
   if (memcmp (str, "Ilb", 3) == 0)
     {
       int b = exact_log2 (value);
-      return (b >= 1 && b <= 8);
+      return (b >= 0 && b <= 7);
     }
   if (memcmp (str, "Imb", 3) == 0)
     {
       int b = exact_log2 ((value ^ 0xff) & 0xff);
-      return (b >= 1 && b <= 8);
+      return (b >= 0 && b <= 7);
     }
   if (memcmp (str, "Ilw", 3) == 0)
     {
       int b = exact_log2 (value);
-      return (b >= 1 && b <= 16);
+      return (b >= 0 && b <= 15);
     }
   if (memcmp (str, "Imw", 3) == 0)
     {
       int b = exact_log2 ((value ^ 0xffff) & 0xffff);
-      return (b >= 1 && b <= 16);
+      return (b >= 0 && b <= 15);
     }
   if (memcmp (str, "I00", 3) == 0)
     {
@@ -3455,13 +3455,17 @@ m32c_expand_insv (rtx *operands)
       mask >>= 8;
     }
 
-  if (INTVAL (operands[3]))
+  /* First, we generate a mask with the correct polarity.  If we are
+     storing a zero, we want an AND mask, so invert it.  */
+  if (INTVAL (operands[3]) == 0)
     {
       if (GET_MODE (op0) == HImode)
 	mask ^= 0xffff;
       else
 	mask ^= 0xff;
     }
+  /* Now we need to properly sign-extend the mask in case we need to
+     fall back to an AND or OR opcode.  */
   if (GET_MODE (op0) == HImode)
     {
       if (mask & 0x8000)