tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Reset info at start.

2015-10-14  Richard Biener  <rguenther@suse.de>

	* tree-vect-data-refs.c (vect_enhance_data_refs_alignment):
	Reset info at start.
	(vect_analyze_group_access_1): Add debug print.
	* tree-vect-loop.c (vect_get_single_scalar_iteration_cost): Rename ...
	(vect_compute_single_scalar_iteration_cost): ... to this.
	(vect_analyze_loop_2): Adjust.
	* tree-vect-slp.c (struct _slp_oprnd_info): Move from ...
	* tree-vectorizer.h: ... here.
	(add_stmt_info_to_vec): Remove.
	* tree-vect-stmts.c (record_stmt_cost): Inline add_stmt_info_to_vec.

From-SVN: r228806

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0e9ce3f43927f21606f4414225550b9301421d48..2dcb640a11fd82bb2129587dc23acab25a9d36ba 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,16 @@
+2015-10-14  Richard Biener  <rguenther@suse.de>
+
+       * tree-vect-data-refs.c (vect_enhance_data_refs_alignment):
+       Reset info at start.
+       (vect_analyze_group_access_1): Add debug print.
+       * tree-vect-loop.c (vect_get_single_scalar_iteration_cost): Rename ...
+       (vect_compute_single_scalar_iteration_cost): ... to this.
+       (vect_analyze_loop_2): Adjust.
+       * tree-vect-slp.c (struct _slp_oprnd_info): Move from ...
+       * tree-vectorizer.h: ... here.
+       (add_stmt_info_to_vec): Remove.
+       * tree-vect-stmts.c (record_stmt_cost): Inline add_stmt_info_to_vec.
+
 2015-10-14  Dominik Vogt  <vogt@linux.vnet.ibm.com>
 
        * targhooks.c (default_target_option_pragma_parse): Do not warn if

diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c
index 8a4d48919302edf25f24dc499eb5c75f21a0805d..c3db22fa87f435bd90c5e7d845b2fbf2f0ec0505 100644 (file)
--- a/gcc/tree-vect-data-refs.c
+++ b/gcc/tree-vect-data-refs.c
@@ -1352,6 +1352,10 @@ vect_enhance_data_refs_alignment (loop_vec_info loop_vinfo)
     dump_printf_loc (MSG_NOTE, vect_location,
                      "=== vect_enhance_data_refs_alignment ===\n");
 
+  /* Reset data so we can safely be called multiple times.  */
+  LOOP_VINFO_MAY_MISALIGN_STMTS (loop_vinfo).truncate (0);
+  LOOP_VINFO_PEELING_FOR_ALIGNMENT (loop_vinfo) = 0;
+
   /* While cost model enhancements are expected in the future, the high level
      view of the code at this time is as follows:
 
@@ -2151,6 +2155,10 @@ vect_analyze_group_access_1 (struct data_reference *dr)
                   return false;
                 }
 
+             if (dump_enabled_p ())
+               dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
+                                "Two or more load stmts share the same dr.\n");
+
               /* For load use the same data-ref load.  */
               GROUP_SAME_DR_STMT (vinfo_for_stmt (next)) = prev;
 

diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index 68405351d29be910049e0792e536cbb42af2bb6d..e74fe9a8b5b357ed275db712097e1e201db9ebf0 100644 (file)
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -1043,7 +1043,7 @@ destroy_loop_vec_info (loop_vec_info loop_vinfo, bool clean_stmts)
 
 /* Calculate the cost of one scalar iteration of the loop.  */
 static void
-vect_get_single_scalar_iteration_cost (loop_vec_info loop_vinfo)
+vect_compute_single_scalar_iteration_cost (loop_vec_info loop_vinfo)
 {
   struct loop *loop = LOOP_VINFO_LOOP (loop_vinfo);
   basic_block *bbs = LOOP_VINFO_BBS (loop_vinfo);
@@ -1739,7 +1739,7 @@ vect_analyze_loop_2 (loop_vec_info loop_vinfo)
     }
 
   /* Compute the scalar iteration cost.  */
-  vect_get_single_scalar_iteration_cost (loop_vinfo);
+  vect_compute_single_scalar_iteration_cost (loop_vinfo);
 
   /* This pass will decide on using loop versioning and/or loop peeling in
      order to enhance the alignment of data references in the loop.  */

diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c
index 7e6ac526a1ad1777d89d3ae5cfff26d2c2c1a45d..3cb06c51692cc2616a0634c902112e021866ab93 100644 (file)
--- a/gcc/tree-vect-slp.c
+++ b/gcc/tree-vect-slp.c
@@ -135,6 +135,23 @@ vect_create_new_slp_node (vec<gimple *> scalar_stmts)
 }
 
 
+/* This structure is used in creation of an SLP tree.  Each instance
+   corresponds to the same operand in a group of scalar stmts in an SLP
+   node.  */
+typedef struct _slp_oprnd_info
+{
+  /* Def-stmts for the operands.  */
+  vec<gimple *> def_stmts;
+  /* Information about the first statement, its vector def-type, type, the
+     operand itself in case it's constant, and an indication if it's a pattern
+     stmt.  */
+  enum vect_def_type first_dt;
+  tree first_op_type;
+  bool first_pattern;
+  bool second_pattern;
+} *slp_oprnd_info;
+
+
 /* Allocate operands info for NOPS operands, and GROUP_SIZE def-stmts for each
    operand.  */
 static vec<slp_oprnd_info> 

diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index a5e1cb7a935f03c9f19c417d4d22f76af490933d..337fab04af37f6389900d23bdf05e73df0a56d44 100644 (file)
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -94,12 +94,12 @@ record_stmt_cost (stmt_vector_for_cost *body_cost_vec, int count,
   if (body_cost_vec)
     {
       tree vectype = stmt_info ? stmt_vectype (stmt_info) : NULL_TREE;
-      add_stmt_info_to_vec (body_cost_vec, count, kind,
-                           stmt_info ? STMT_VINFO_STMT (stmt_info) : NULL,
-                           misalign);
+      stmt_info_for_cost si = { count, kind,
+                               stmt_info ? STMT_VINFO_STMT (stmt_info) : NULL,
+                               misalign };
+      body_cost_vec->safe_push (si);
       return (unsigned)
        (builtin_vectorization_cost (kind, vectype, misalign) * count);
-        
     }
   else
     return add_stmt_cost (stmt_info->vinfo->target_cost_data,

diff --git a/gcc/tree-vectorizer.h b/gcc/tree-vectorizer.h
index ebe38b762bd29973f37020019866dde14e0d23fd..945089930dc1bbd77703d20c90763a739e0d8799 100644 (file)
--- a/gcc/tree-vectorizer.h
+++ b/gcc/tree-vectorizer.h
@@ -73,21 +73,8 @@ struct stmt_info_for_cost {
   int misalign;
 };
 
-
 typedef vec<stmt_info_for_cost> stmt_vector_for_cost;
 
-static inline void
-add_stmt_info_to_vec (stmt_vector_for_cost *stmt_cost_vec, int count,
-                     enum vect_cost_for_stmt kind, gimple *stmt, int misalign)
-{
-  stmt_info_for_cost si;
-  si.count = count;
-  si.kind = kind;
-  si.stmt = stmt;
-  si.misalign = misalign;
-  stmt_cost_vec->safe_push (si);
-}
-
 /************************************************************************
   SLP
  ************************************************************************/
@@ -145,22 +132,6 @@ typedef struct _slp_instance {
 #define SLP_TREE_LOAD_PERMUTATION(S)             (S)->load_permutation
 #define SLP_TREE_TWO_OPERATORS(S)               (S)->two_operators
 
-/* This structure is used in creation of an SLP tree.  Each instance
-   corresponds to the same operand in a group of scalar stmts in an SLP
-   node.  */
-typedef struct _slp_oprnd_info
-{
-  /* Def-stmts for the operands.  */
-  vec<gimple *> def_stmts;
-  /* Information about the first statement, its vector def-type, type, the
-     operand itself in case it's constant, and an indication if it's a pattern
-     stmt.  */
-  enum vect_def_type first_dt;
-  tree first_op_type;
-  bool first_pattern;
-  bool second_pattern;
-} *slp_oprnd_info;
-
 
 
 /* This struct is used to store the information of a data reference,