diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-03-07 14:34:15 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-03-07 14:34:15 +0000 |
| commit | bdb5a35ad4878b5ad78ad6ea2acbe0ea547b7187 (patch) | |
| tree | 74ca0a57a8fa68a20090bd3cc57460859957b48f | |
| parent | c1a5a2f975ac82969e38d4e3ca7a7c9f67dbc275 (diff) | |
| download | gcc-bdb5a35ad4878b5ad78ad6ea2acbe0ea547b7187.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196520 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/reassoc-26.c | 12 | ||||
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 3 |
4 files changed, 25 insertions, 1 deletions
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)) |