gcc/

	PR tree-optimization/20913
	* tree-ssa-copy.c (copy_prop_visit_cond_stmt): Fold COND_EXPR.

testsuite/
	PR tree-optimization/20913
	* gcc.dg/tree-ssa/pr20913.c: New.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1a5f5f8..3d0636c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-04-13  Kazu Hirata  <kazu@cs.umass.edu>
+
+       PR tree-optimization/20913
+       * tree-ssa-copy.c (copy_prop_visit_cond_stmt): Fold COND_EXPR.
+
 2005-04-13  Julian Brown  <julian@codesourcery.com>
 
        * config/elfos.h (MAKE_DECL_ONE_ONLY): Redefined to stop DECL_WEAK from

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index de9f911..6faba54 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-04-13  Kazu Hirata  <kazu@cs.umass.edu>
+
+       PR tree-optimization/20913
+       * gcc.dg/tree-ssa/pr20913.c: New.
+
 2005-04-13  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
        PR c++/13744

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr20913.c b/gcc/testsuite/gcc.dg/tree-ssa/pr20913.c
new file mode 100644 (file)
index 0000000..da09183
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr20913.c
@@ -0,0 +1,25 @@
+/* PR tree-optimization/20913
+   COPY-PROP did not fold COND_EXPR, blocking some copy propagation
+   opportunities.  */
+
+/* { dg-do compile } */
+/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-copyprop1-details" } */
+
+int
+foo (int a, int b, int c, int d)
+{
+  int x, y;
+
+  b = a;
+  if (a == b)
+    x = c;
+  else
+    x = d;
+
+  if (x == c)
+    return a;
+  else
+    return b;
+}
+
+/* { dg-final { scan-tree-dump-times "with if \\(1\\)" 2 "copyprop1"} } */

diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index 91d80a7..b9544f8 100644 (file)
--- a/gcc/tree-ssa-copy.c
+++ b/gcc/tree-ssa-copy.c
@@ -626,9 +626,16 @@ copy_prop_visit_cond_stmt (tree stmt, edge *taken_edge_p)
          print_generic_stmt (dump_file, cond, 0);
        }
 
-      *taken_edge_p = find_taken_edge (bb_for_stmt (stmt), cond);
-      if (*taken_edge_p)
-       retval = SSA_PROP_INTERESTING;
+      /* We can fold COND only and get a useful result only when we
+        have the same SSA_NAME on both sides of a comparison
+        operator.  */
+      if (TREE_CODE (TREE_OPERAND (cond, 0)) == SSA_NAME
+         && TREE_OPERAND (cond, 0) == TREE_OPERAND (cond, 1))
+       {
+         *taken_edge_p = find_taken_edge (bb_for_stmt (stmt), fold (cond));
+         if (*taken_edge_p)
+           retval = SSA_PROP_INTERESTING;
+       }
 
       /* Restore the original operands.  */
       for (i = 0; i < NUM_USES (uses); i++)