re PR tree-optimization/51015 (ice in vect_determine_vectorization_factor with -O3)

        PR tree-optimization/51015
        * tree-vect-loop.c (vect_determine_vectorization_factor): Expect
        vectype to be set for pattern def stmts.

From-SVN: r181191

gcc/ChangeLog

+2011-11-09  Ira Rosen  <ira.rosen@linaro.org>
+
+	PR tree-optimization/51015
+	* tree-vect-loop.c (vect_determine_vectorization_factor): Expect
+	vectype to be set for pattern def stmts.
+
 2011-11-09  Alan Modra  <amodra@gmail.com>
 
 	* function.c (bb_active_p): Delete.

gcc/testsuite/ChangeLog

+2011-11-09  Ira Rosen  <ira.rosen@linaro.org>
+
+	PR tree-optimization/51015
+	* gcc.dg/vect/pr51015.c: New test.
+
 2011-11-08  David S. Miller  <davem@davemloft.net>
 
 	* lib/target-supports.exp (check_effective_target_sparc_vis): New.

gcc/testsuite/gcc.dg/vect/pr51015.c

+/* { dg-do compile } */
+
+typedef unsigned long long __u64;
+static __u64 ext2_max_sizes[16 - 10 + 1];
+
+void e2fsck_pass1()
+{
+ int i;
+ __u64 max_sizes;
+
+ for (i = 10; i <= 16; i++) {
+  max_sizes = 12 + (1ULL << ((i) - 2));
+  max_sizes = max_sizes + (1ULL << ((i) - 2)) * (1ULL << ((i) - 2));
+  max_sizes = max_sizes + (1ULL << ((i) - 2)) * (1ULL << ((i) - 2)) * (1ULL <<((i) - 2));
+  ext2_max_sizes[i - 10] = max_sizes;
+ }
+}
+
+/* { dg-final { cleanup-tree-dump "vect" } } */

gcc/tree-vect-loop.c

@@ -342,10 +342,12 @@ vect_determine_vectorization_factor (loop_vec_info loop_vinfo)
 	  if (STMT_VINFO_VECTYPE (stmt_info))
 	    {
 	      /* The only case when a vectype had been already set is for stmts
-	         that contain a dataref, or for "pattern-stmts" (stmts generated
-		 by the vectorizer to represent/replace a certain idiom).  */
+	         that contain a dataref, or for "pattern-stmts" (stmts
+		 generated by the vectorizer to represent/replace a certain
+		 idiom).  */
 	      gcc_assert (STMT_VINFO_DATA_REF (stmt_info)
-			  || is_pattern_stmt_p (stmt_info));
+			  || is_pattern_stmt_p (stmt_info)
+			  || pattern_def);
 	      vectype = STMT_VINFO_VECTYPE (stmt_info);
 	    }
 	  else