From: Richard Guenther <rguenther@suse.de>
Date: Tue, 5 Sep 2006 08:34:00 +0000 (+0000)
Subject: re PR tree-optimization/28935 (Segfault in  operand_equal_p with -ftree-vectorize... 
X-Git-Tag: releases/gcc-4.2.0~1535
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f393e7f57d2643b83b30603568bd7260a6451731;p=thirdparty%2Fgcc.git

re PR tree-optimization/28935 (Segfault in  operand_equal_p with -ftree-vectorize -O3)

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.

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

From-SVN: r116695
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c690c09f6ae9..b4490c4f8cf1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -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
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a2b7e9cd9c8b..1a4cda0f8c6b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -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
index 000000000000..9a0e70ecf68e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr28935.c
@@ -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;
+    }
+}
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index 53050e68429a..8c31a861a8b8 100644
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -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;
     }