From: Richard Guenther <rguenther@suse.de>
Date: Tue, 12 Feb 2008 21:29:39 +0000 (+0000)
Subject: re PR tree-optimization/35171 (ICE in vect_recog_dot_prod_pattern)
X-Git-Tag: releases/gcc-4.3.0~184
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8665227f25053105244d452d86fbfa9b5f7b174d;p=thirdparty%2Fgcc.git

re PR tree-optimization/35171 (ICE in vect_recog_dot_prod_pattern)

2008-02-12  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/35171
	* tree-vect-patterns.c (vect_recog_dot_prod_pattern): Deal with
	default defs.

	* gcc.c-torture/compile/pr35171.c: New testcase.

From-SVN: r132270
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 61d1567fa6d0..9369e6da4db0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-02-12  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/35171
+	* tree-vect-patterns.c (vect_recog_dot_prod_pattern): Deal with
+	default defs.
+
 2008-02-12  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/35163
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 00a713e9941c..cf0c85455f62 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-02-12  Richard Guenther  <rguenther@suse.de>
+
+	PR tree-optimization/35171
+	* gcc.c-torture/compile/pr35171.c: New testcase.
+
 2008-02-12  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/35163
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr35171.c b/gcc/testsuite/gcc.c-torture/compile/pr35171.c
new file mode 100644
index 000000000000..3f7ef2ccacb0
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr35171.c
@@ -0,0 +1,10 @@
+int f(int a, int b, short c, int d, short e)
+{
+  int i;
+  for (i = 1; i <= 2 ; i++) {
+    c -= 4;
+    a = c;
+    d = d + (b?b:e);
+  }
+  return a + d;
+}
diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c
index 24a0e5de5ace..c1ce14c4bbb9 100644
--- a/gcc/tree-vect-patterns.c
+++ b/gcc/tree-vect-patterns.c
@@ -246,15 +246,14 @@ vect_recog_dot_prod_pattern (tree last_stmt, tree *type_in, tree *type_out)
 
   prod_type = half_type;
   stmt = SSA_NAME_DEF_STMT (oprnd0);
-  gcc_assert (stmt);
+  /* FORNOW.  Can continue analyzing the def-use chain when this stmt in a phi 
+     inside the loop (in case we are analyzing an outer-loop).  */
+  if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT)
+    return NULL; 
   stmt_vinfo = vinfo_for_stmt (stmt);
   gcc_assert (stmt_vinfo);
   if (STMT_VINFO_DEF_TYPE (stmt_vinfo) != vect_loop_def)
     return NULL;
-  /* FORNOW. Can continue analyzing the def-use chain when this stmt in a phi 
-     inside the loop (in case we are analyzing an outer-loop).  */
-  if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT)
-    return NULL; 
   expr = GIMPLE_STMT_OPERAND (stmt, 1);
   if (TREE_CODE (expr) != MULT_EXPR)
     return NULL;