expmed.c (emit_store_flag): Also special-case double-word (in-)equality comparison...

        * expmed.c (emit_store_flag): Also special-case double-word
        (in-)equality comparison against -1.

From-SVN: r84268

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7e6ccaa7ab8619a635e07ef442051c35a3076d29..74463e757b7797862ecc03bc13e2d2f7bc4c3892 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2004-07-06 Jan Beulich <jbeulich@novell.com>
                                                                                 
+        * expmed.c (emit_store_flag): Also special-case double-word
+        (in-)equality comparison against -1.
+
        * config/i386/i386.c (ix86_gimplify_va_arg): Don't need temporary for
        passing arguments the containers for which are registers.
 

diff --git a/gcc/expmed.c b/gcc/expmed.c
index 6ee291370d0b81dd88094a1e281a7cdae0e43479..ba3c9a6f83b5159c8500f25333610674363bf8c9 100644 (file)
--- a/gcc/expmed.c
+++ b/gcc/expmed.c
@@ -4602,27 +4602,29 @@ emit_store_flag (rtx target, enum rtx_code code, rtx op0, rtx op1,
       break;
     }
 
-  /* If we are comparing a double-word integer with zero, we can convert
-     the comparison into one involving a single word.  */
+  /* If we are comparing a double-word integer with zero or -1, we can
+     convert the comparison into one involving a single word.  */
   if (GET_MODE_BITSIZE (mode) == BITS_PER_WORD * 2
       && GET_MODE_CLASS (mode) == MODE_INT
-      && op1 == const0_rtx
       && (!MEM_P (op0) || ! MEM_VOLATILE_P (op0)))
     {
-      if (code == EQ || code == NE)
+      if ((code == EQ || code == NE)
+         && (op1 == const0_rtx || op1 == constm1_rtx))
        {
          rtx op00, op01, op0both;
 
-         /* Do a logical OR of the two words and compare the result.  */
+         /* Do a logical OR or AND of the two words and compare the result.  */
          op00 = simplify_gen_subreg (word_mode, op0, mode, 0);
          op01 = simplify_gen_subreg (word_mode, op0, mode, UNITS_PER_WORD);
-         op0both = expand_binop (word_mode, ior_optab, op00, op01,
-                                 NULL_RTX, unsignedp, OPTAB_DIRECT);
+         op0both = expand_binop (word_mode,
+                                 op1 == const0_rtx ? ior_optab : and_optab,
+                                 op00, op01, NULL_RTX, unsignedp, OPTAB_DIRECT);
+
          if (op0both != 0)
            return emit_store_flag (target, code, op0both, op1, word_mode,
                                    unsignedp, normalizep);
        }
-      else if (code == LT || code == GE)
+      else if ((code == LT || code == GE) && op1 == const0_rtx)
        {
          rtx op0h;