tree-vect-loop-manip.c (vect_do_peeling_for_loop_bound): If the epilogue loop is…

tree-vect-loop-manip.c (vect_do_peeling_for_loop_bound): If the epilogue loop is not re-used as unvectorized version record the its...

2012-04-24  Richard Guenther  <rguenther@suse.de>

	* tree-vect-loop-manip.c (vect_do_peeling_for_loop_bound): If
	the epilogue loop is not re-used as unvectorized version
	record the its maximum number of iterations.

From-SVN: r186760

gcc/ChangeLog

+2012-04-24  Richard Guenther  <rguenther@suse.de>
+
+	* tree-vect-loop-manip.c (vect_do_peeling_for_loop_bound): If
+	the epilogue loop is not re-used as unvectorized version
+	record the its maximum number of iterations.
+
 2012-04-24  Andrew Pinski  <apinski@cavium.com>
 
 	* tree-ssa-forwprop.c (simplify_bitwise_binary):

gcc/tree-vect-loop-manip.c

@@ -1966,6 +1966,16 @@ vect_do_peeling_for_loop_bound (loop_vec_info loop_vinfo, tree *ratio,
      by ratio_mult_vf_name steps.  */
   vect_update_ivs_after_vectorizer (loop_vinfo, ratio_mult_vf_name, update_e);
 
+  if (!LOOP_REQUIRES_VERSIONING_FOR_ALIGNMENT (loop_vinfo)
+      && !LOOP_REQUIRES_VERSIONING_FOR_ALIAS (loop_vinfo))
+    {
+      int max_iter = MAX (LOOP_VINFO_VECT_FACTOR (loop_vinfo) - 1, (int) th);
+      record_niter_bound (new_loop, shwi_to_double_int (max_iter), false, true);
+      if (dump_file && (dump_flags & TDF_DETAILS))
+	fprintf (dump_file, "Setting upper bound of nb iterations for epilogue "
+		 "loop to %d\n", max_iter);
+    }
+
   /* After peeling we have to reset scalar evolution analyzer.  */
   scev_reset ();