re PR tree-optimization/25911 (ice in vect_recog_dot_prod_pattern)

        PR tree-opt/25911
        * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Change assert
        to an if check.

From-SVN: r110377

gcc/ChangeLog

+2006-01-29  Dorit Nuzman  <dorit@il.ibm.com>
+
+	PR tree-opt/25911
+	* tree-vect-patterns.c (vect_recog_dot_prod_pattern): Change assert
+	to an if check.
+
 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* toplev.c: Fix thinko.

gcc/testsuite/ChangeLog

+2006-01-29  Dorit Nuzman  <dorit@il.ibm.com>
+
+	PR tree-opt/25911
+	* gcc.dg/vect/fast-math-vect-pr25911.c: New.
+
 2006-01-29  Paul Thomas  <pault@gcc.gnu.org>
 
 	PR fortran/18578

gcc/testsuite/gcc.dg/vect/fast-math-vect-pr25911.c

+/* { dg-do compile } */
+
+float bessel_Kn_scaled_small_x(int n)
+{
+  int k;
+  float k_term, sum1;
+  for(k=1; k<=n-1; k++)
+  {
+    k_term *= -1/(k * (n-k));
+    sum1 += k_term;
+  }
+  return sum1;
+}
+
+/* { dg-final { cleanup-tree-dump "vect" } } */

gcc/tree-vect-patterns.c

@@ -243,7 +243,8 @@ vect_recog_dot_prod_pattern (tree last_stmt, tree *type_in, tree *type_out)
   gcc_assert (stmt);
   stmt_vinfo = vinfo_for_stmt (stmt);
   gcc_assert (stmt_vinfo);
-  gcc_assert (STMT_VINFO_DEF_TYPE (stmt_vinfo) == vect_loop_def);
+  if (STMT_VINFO_DEF_TYPE (stmt_vinfo) != vect_loop_def)
+    return NULL;
   expr = TREE_OPERAND (stmt, 1);
   if (TREE_CODE (expr) != MULT_EXPR)
     return NULL;