re PR tree-optimization/56213 (strided load vectorization is unnecessarily restricted)

2013-04-04  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/56213
	* tree-vect-data-refs.c (vect_check_strided_load): Remove.
	(vect_analyze_data_refs): Allow all non-nested loads as
	strided loads.

	* gcc.dg/vect/vect-123.c: New testcase.

From-SVN: r197480

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8c281007632695f40f404f8bee278c0f8cfcd11f..09f5ff5478ae493db898dc62485eed3071eee09c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2013-04-04  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/56213
+       * tree-vect-data-refs.c (vect_check_strided_load): Remove.
+       (vect_analyze_data_refs): Allow all non-nested loads as
+       strided loads.
+
 2013-04-04  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/56837

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0c63f99b5275f156436e20eb746e25afe47171b0..a5ec8e2a007a1e362feb1835f402c5d101a51bb8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-04  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/56213
+       * gcc.dg/vect/vect-123.c: New testcase.
+
 2013-04-04  Tobias Burnus  <burnus@net-b.de>
 
        PR fortran/56810

diff --git a/gcc/testsuite/gcc.dg/vect/vect-123.c b/gcc/testsuite/gcc.dg/vect/vect-123.c
new file mode 100644 (file)
index 0000000..5a2f325
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/vect-123.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target vect_int } */
+
+int x[4092];
+int y[1024];
+
+void foo (int s)
+{
+  int i, j;
+  for (i = 0, j = 0; j < 1023; i += s, j++)
+    y[j] += x[i];
+}
+
+/* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" } } */
+/* { dg-final { cleanup-tree-dump "vect" } } */

diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c
index bb0b6937b8ad00ea4f6a77cdcc6cbb50c882b342..5d07cae309a99c7f87c9148be554635f469e3b61 100644 (file)
--- a/gcc/tree-vect-data-refs.c
+++ b/gcc/tree-vect-data-refs.c
@@ -2816,56 +2816,6 @@ vect_check_gather (gimple stmt, loop_vec_info loop_vinfo, tree *basep,
   return decl;
 }
 
-/* Check wether a non-affine load in STMT (being in the loop referred to
-   in LOOP_VINFO) is suitable for handling as strided load.  That is the case
-   if its address is a simple induction variable.  If so return the base
-   of that induction variable in *BASEP and the (loop-invariant) step
-   in *STEPP, both only when that pointer is non-zero.
-
-   This handles ARRAY_REFs (with variant index) and MEM_REFs (with variant
-   base pointer) only.  */
-
-static bool
-vect_check_strided_load (gimple stmt, loop_vec_info loop_vinfo)
-{
-  struct loop *loop = LOOP_VINFO_LOOP (loop_vinfo);
-  stmt_vec_info stmt_info = vinfo_for_stmt (stmt);
-  struct data_reference *dr = STMT_VINFO_DATA_REF (stmt_info);
-  tree base, off;
-  affine_iv iv;
-
-  if (!DR_IS_READ (dr))
-    return false;
-
-  base = DR_REF (dr);
-
-  if (TREE_CODE (base) == REALPART_EXPR
-      || TREE_CODE (base) == IMAGPART_EXPR)
-    base = TREE_OPERAND (base, 0);
-
-  if (TREE_CODE (base) == ARRAY_REF)
-    {
-      off = TREE_OPERAND (base, 1);
-      base = TREE_OPERAND (base, 0);
-    }
-  else if (TREE_CODE (base) == MEM_REF)
-    {
-      off = TREE_OPERAND (base, 0);
-      base = TREE_OPERAND (base, 1);
-    }
-  else
-    return false;
-
-  if (TREE_CODE (off) != SSA_NAME)
-    return false;
-
-  if (!expr_invariant_in_loop_p (loop, base)
-      || !simple_iv (loop, loop_containing_stmt (stmt), off, &iv, true))
-    return false;
-
-  return true;
-}
-
 /* Function vect_analyze_data_refs.
 
   Find all the data references in the loop or basic block.
@@ -3291,10 +3241,8 @@ vect_analyze_data_refs (loop_vec_info loop_vinfo,
       else if (loop_vinfo
               && TREE_CODE (DR_STEP (dr)) != INTEGER_CST)
        {
-         bool strided_load = false;
-         if (!nested_in_vect_loop_p (loop, stmt))
-           strided_load = vect_check_strided_load (stmt, loop_vinfo);
-         if (!strided_load)
+         if (nested_in_vect_loop_p (loop, stmt)
+             || !DR_IS_READ (dr))
            {
              if (dump_enabled_p ())
                {