re PR target/17626 (Recent peephole2:s may cause internal compiler errors)
authorHans-Peter Nilsson <hp@axis.com>
Thu, 23 Sep 2004 21:59:13 +0000 (21:59 +0000)
committerHans-Peter Nilsson <hp@gcc.gnu.org>
Thu, 23 Sep 2004 21:59:13 +0000 (21:59 +0000)
PR target/17626
* config/cris/cris.md (moverside, movemside): Rename variable
"reg" to "otherop".  To generate canonical RTX, check that otherop
isn't constant instead of checking that operand 1 is a register.

From-SVN: r87988

gcc/ChangeLog
gcc/config/cris/cris.md

index 4eeefe8bc6816c771d285ee593e2b6d4ef428ced..1d77339ec156aff4ee555314e62fdbf95de12820 100644 (file)
@@ -1,3 +1,10 @@
+2004-09-23  Hans-Peter Nilsson  <hp@axis.com>
+
+       PR target/17626
+       * config/cris/cris.md (moverside, movemside): Rename variable
+       "reg" to "otherop".  To generate canonical RTX, check that otherop
+       isn't constant instead of checking that operand 1 is a register.
+
 2004-09-23  Jakub Jelinek  <jakub@redhat.com>
 
        * tree-ssa-propagate.c (set_rhs): Fail if EXPR is COMPOUND_EXPR.
index be137a58d61ec6c85f0751f75d8dbfafded34f54..6092d241b733a18e5d9b34a4454ba936813564eb 100644 (file)
     [(set (match_dup 4) (match_dup 6))
      (set (match_dup 0) (plus:SI (match_dup 7) (match_dup 8)))])]
 {
-  rtx reg
+  rtx otherop
     = rtx_equal_p (operands[2], operands[0]) ? operands[3] : operands[2];
 
-  if (REG_S_P (operands[1]))
+  /* Make sure we have canonical RTX so we match the insn pattern - a
+     register or MULT in the first operand, not a constant.  */
+  if (CONSTANT_P (otherop))
     {
       operands[7] = operands[1];
-      operands[8] = reg;
+      operands[8] = otherop;
     }
   else
     {
-      operands[7] = reg;
+      operands[7] = otherop;
       operands[8] = operands[1];
     }
   operands[6]
     [(set (match_dup 6) (match_dup 5))
      (set (match_dup 0) (plus:SI (match_dup 7) (match_dup 8)))])]
 {
-  rtx reg
+  rtx otherop
     = rtx_equal_p (operands[2], operands[0]) ? operands[3] : operands[2];
 
-  if (REG_S_P (operands[1]))
+  /* Make sure we have canonical RTX so we match the insn pattern - a
+     register or MULT in the first operand, not a constant.  */
+  if (CONSTANT_P (otherop))
     {
       operands[7] = operands[1];
-      operands[8] = reg;
+      operands[8] = otherop;
     }
   else
     {
-      operands[7] = reg;
+      operands[7] = otherop;
       operands[8] = operands[1];
     }
   operands[6]