tree-vect-loop.c (vect_transform_loop): Fix epilogue iterations for epilogue vectoriz...

2018-12-04  Richard Biener  <rguenther@suse.de>

	* tree-vect-loop.c (vect_transform_loop): Fix epilogue iterations
	for epilogue vectorization.

From-SVN: r266777

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4bb7187..a4d0c7c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2018-12-04  Richard Biener  <rguenther@suse.de>
 
+       * tree-vect-loop.c (vect_transform_loop): Fix epilogue iterations
+       for epilogue vectorization.
+
+2018-12-04  Richard Biener  <rguenther@suse.de>
+
        PR tree-optimization/88301
        * tree-vrp.c (register_edge_assert_for_2): Fix sign-conversion
        issues in last commit.

diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index fa926f4..8934d0e 100644 (file)
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -8501,13 +8501,13 @@ vect_transform_loop (loop_vec_info loop_vinfo)
       targetm.vectorize.autovectorize_vector_sizes (&vector_sizes);
       unsigned int next_size = 0;
 
+      /* Note LOOP_VINFO_NITERS_KNOWN_P and LOOP_VINFO_INT_NITERS work
+         on niters already ajusted for the iterations of the prologue.  */
       if (LOOP_VINFO_NITERS_KNOWN_P (loop_vinfo)
-         && LOOP_VINFO_PEELING_FOR_ALIGNMENT (loop_vinfo) >= 0
          && known_eq (vf, lowest_vf))
        {
-         unsigned int eiters
+         unsigned HOST_WIDE_INT eiters
            = (LOOP_VINFO_INT_NITERS (loop_vinfo)
-              - LOOP_VINFO_PEELING_FOR_ALIGNMENT (loop_vinfo)
               - LOOP_VINFO_PEELING_FOR_GAPS (loop_vinfo));
          eiters
            = eiters % lowest_vf + LOOP_VINFO_PEELING_FOR_GAPS (loop_vinfo);