From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 7 Mar 2013 14:34:15 +0000 (+0100)
Subject: re PR middle-end/56559 (ICE in propagate_op_to_single_use, at tree-ssa-reassoc.c... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5bf6606a1cd384297f6d7906f7fd76cf981a20fb;p=gcc.git

re PR middle-end/56559 (ICE in propagate_op_to_single_use, at tree-ssa-reassoc.c:1057)

	PR tree-optimization/56559
	* tree-ssa-reassoc.c (zero_one_operation): When looking at rhs2,
	check that it has only a single use.

	* gcc.dg/tree-ssa/reassoc-26.c: New test.

From-SVN: r196520
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index af3dd814b2f..ff171e2a90b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-03-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/56559
+	* tree-ssa-reassoc.c (zero_one_operation): When looking at rhs2,
+	check that it has only a single use.
+
 2013-03-07  Richard Biener  <rguenther@suse.de>
 
 	* doc/invoke.texi (fwhole-program): Discourage use in combination
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3c456e2021e..ee5c580e3c3 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-03-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/56559
+	* gcc.dg/tree-ssa/reassoc-26.c: New test.
+
 2013-03-07  Andreas Schwab  <schwab@suse.de>
 
 	* gcc.dg/pr31490.c: Fix last change.
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/reassoc-26.c b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-26.c
new file mode 100644
index 00000000000..ae4bdaa9a99
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/reassoc-26.c
@@ -0,0 +1,12 @@
+/* PR tree-optimization/56559 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -ffast-math" } */
+
+double a, b, c, d, e;
+
+void
+foo ()
+{
+  a = e * e;
+  b = d * e + c * e * a;
+}
diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c
index f53526b56d3..27161cd1860 100644
--- a/gcc/tree-ssa-reassoc.c
+++ b/gcc/tree-ssa-reassoc.c
@@ -1107,7 +1107,8 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op)
 	 the operand might be hiding in the rightmost one.  */
       if (opcode == MULT_EXPR
 	  && gimple_assign_rhs_code (stmt) == opcode
-	  && TREE_CODE (gimple_assign_rhs2 (stmt)) == SSA_NAME)
+	  && TREE_CODE (gimple_assign_rhs2 (stmt)) == SSA_NAME
+	  && has_single_use (gimple_assign_rhs2 (stmt)))
 	{
 	  gimple stmt2 = SSA_NAME_DEF_STMT (gimple_assign_rhs2 (stmt));
 	  if (stmt_is_power_of_op (stmt2, op))