* tree-ssa-reassoc.c (repropagate_negates): Merge negates also

	into MINUS_EXPRs.
	(can_reassociate_p): New function.
	(break_up_subtract_bb, reassociate_bb): Use it.

testsuite/
	* gcc.dg/tree-ssa/negate.c: New testcase.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b0a3393..969bf00 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2010-04-13  Michael Matz  <matz@suse.de>
+
+       * tree-ssa-reassoc.c (repropagate_negates): Merge negates also
+       into MINUS_EXPRs.
+       (can_reassociate_p): New function.
+       (break_up_subtract_bb, reassociate_bb): Use it.
+
 2010-04-13  Richard Guenther  <rguenther@suse.de>
 
        PR bootstrap/43737

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 68590f7..f2130c4 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-13  Michael Matz  <matz@suse.de>
+
+       * gcc.dg/tree-ssa/negate.c: New testcase.
+
 2010-04-13  Richard Guenther  <rguenther@suse.de>
 
        PR testsuite/43735

diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c
index cfb0642..560dea9 100644 (file)
--- a/gcc/tree-ssa-reassoc.c
+++ b/gcc/tree-ssa-reassoc.c
@@ -1947,7 +1947,7 @@ can_reassociate_p (tree op)
   tree type = TREE_TYPE (op);
   if (INTEGRAL_TYPE_P (type)
       || NON_SAT_FIXED_POINT_TYPE_P (type)
-      || (flag_associative_math && FLOAT_TYPE_P (type)))
+      || (flag_associative_math && SCALAR_FLOAT_TYPE_P (type)))
     return true;
   return false;
 }