OSDN Git Service

2006-09-05 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 5 Sep 2006 08:34:00 +0000 (08:34 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 5 Sep 2006 08:34:00 +0000 (08:34 +0000)
PR middle-end/28935
* tree-ssa-ccp.c (fold_stmt_r): Make sure to fold the condition
of a COND_EXPR.

* gcc.dg/pr28935.c: New testcase.

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

gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr28935.c [new file with mode: 0644]
gcc/tree-ssa-ccp.c

index c690c09..b4490c4 100644 (file)
@@ -1,3 +1,9 @@
+2006-09-05  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/28935
+       * tree-ssa-ccp.c (fold_stmt_r): Make sure to fold the condition
+       of a COND_EXPR.
+
 2006-09-04  Eric Botcazou  <ebotcazou@libertysurf.fr>
 
        PR rtl-optimization/27616
index a2b7e9c..1a4cda0 100644 (file)
@@ -1,3 +1,8 @@
+2006-09-05  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/28935
+       * gcc.dg/pr28935.c: New testcase.
+
 2006-09-05  Eric Botcazou  <ebotcazou@libertysurf.fr>
 
        * gcc.c-torture/execute/20060905-1.c: New test.
diff --git a/gcc/testsuite/gcc.dg/pr28935.c b/gcc/testsuite/gcc.dg/pr28935.c
new file mode 100644 (file)
index 0000000..9a0e70e
--- /dev/null
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -ftree-vectorize" } */
+
+int col[8];
+int extend_options(int w, int h, int *map, int x, int y, int index)
+{
+  int dx, dy;
+  for (dx = -1; dx <= +1; dx++)
+    {
+      int index = (dy < 0 ? 6-dx : dy > 0 ? 2+dx : 2*(1+dx));
+      if (x+dx >= 0 && x+dx < w && y+dy >= 0 && y+dy < h)
+        col[index] = map[(y+dy)*w+(x+dx)];
+      col[index] = -1;
+    }
+}
index 53050e6..8c31a86 100644 (file)
@@ -2043,6 +2043,18 @@ fold_stmt_r (tree *expr_p, int *walk_subtrees, void *data)
       t = maybe_fold_tmr (expr);
       break;
 
+    case COND_EXPR:
+      if (COMPARISON_CLASS_P (TREE_OPERAND (expr, 0)))
+        {
+         tree op0 = TREE_OPERAND (expr, 0);
+          tree tem = fold_binary (TREE_CODE (op0), TREE_TYPE (op0),
+                                 TREE_OPERAND (op0, 0), TREE_OPERAND (op0, 1));
+         if (tem && is_gimple_condexpr (tem))
+           TREE_OPERAND (expr, 0) = tem;
+         t = expr;
+          break;
+        }
+
     default:
       return NULL_TREE;
     }