combine.c (make_compound_operation): Swap operands of commutative operation if necess...

	* combine.c (make_compound_operation): Swap operands of
	commutative operation if necessary before returning.

From-SVN: r107219

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1200433e317e3926355f969f900925e7cc1d9dce..21b558572606c1675a257f5fcc4bd9fc5b584da5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-11-19  Joseph S. Myers  <joseph@codesourcery.com>
+
+       * combine.c (make_compound_operation): Swap operands of
+       commutative operation if necessary before returning.
+
 2005-11-19  Richard Guenther  <rguenther@suse.de>
 
        PR middle-end/23294

diff --git a/gcc/combine.c b/gcc/combine.c
index 9f910a7b336e85a19a86ac9e577844f14b8b1bbd..b43b9b621c665230bed5f3a269b5e5c4ccd65cfc 100644 (file)
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -6914,6 +6914,16 @@ make_compound_operation (rtx x, enum rtx_code in_code)
        SUBST (XEXP (x, i), new);
       }
 
+  /* If this is a commutative operation, the changes to the operands
+     may have made it noncanonical.  */
+  if (COMMUTATIVE_ARITH_P (x)
+      && swap_commutative_operands_p (XEXP (x, 0), XEXP (x, 1)))
+    {
+      tem = XEXP (x, 0);
+      SUBST (XEXP (x, 0), XEXP (x, 1));
+      SUBST (XEXP (x, 1), tem);
+    }
+
   return x;
 }
 \f