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.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 61d1567..9369e6d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 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
        * fold-const.c (fold_widened_comparison): Use get_unwidened in
        value-preserving mode.  Disallow final truncation.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 00a713e..cf0c854 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 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
        * gcc.c-torture/execute/pr35163.c: New testcase.
 

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr35171.c b/gcc/testsuite/gcc.c-torture/compile/pr35171.c
new file mode 100644 (file)
index 0000000..3f7ef2c
--- /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)\r
+{\r
+  int i;\r
+  for (i = 1; i <= 2 ; i++) {\r
+    c -= 4;\r
+    a = c;\r
+    d = d + (b?b:e);\r
+  }\r
+  return a + d;\r
+}\r

diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c
index 24a0e5d..c1ce14c 100644 (file)
--- 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;