Unlike the old vinfo_for_stmt, vec_info::lookup_stmt can cope with
any statement, so there's no need to check beforehand that the statement
is part of the vectorisable region. This means that there are no longer
any calls to vect_stmt_in_region_p.
2018-07-24 Richard Sandiford <richard.sandif...@arm.com>
gcc/
* tree-vectorizer.h (vect_stmt_in_region_p): Delete.
* tree-vectorizer.c (vect_stmt_in_region_p): Likewise.
Index: gcc/tree-vectorizer.h
===================================================================
--- gcc/tree-vectorizer.h 2018-07-24 10:24:29.300253129 +0100
+++ gcc/tree-vectorizer.h 2018-07-24 10:24:32.472224947 +0100
@@ -1609,7 +1609,6 @@ void vect_pattern_recog (vec_info *);
/* In tree-vectorizer.c. */
unsigned vectorize_loops (void);
-bool vect_stmt_in_region_p (vec_info *, gimple *);
void vect_free_loop_info_assumptions (struct loop *);
#endif /* GCC_TREE_VECTORIZER_H */
Index: gcc/tree-vectorizer.c
===================================================================
--- gcc/tree-vectorizer.c 2018-07-24 10:24:29.300253129 +0100
+++ gcc/tree-vectorizer.c 2018-07-24 10:24:32.472224947 +0100
@@ -700,33 +700,6 @@ vect_free_loop_info_assumptions (struct
loop_constraint_clear (loop, LOOP_C_FINITE);
}
-/* Return whether STMT is inside the region we try to vectorize. */
-
-bool
-vect_stmt_in_region_p (vec_info *vinfo, gimple *stmt)
-{
- if (!gimple_bb (stmt))
- return false;
-
- if (loop_vec_info loop_vinfo = dyn_cast <loop_vec_info> (vinfo))
- {
- struct loop *loop = LOOP_VINFO_LOOP (loop_vinfo);
- if (!flow_bb_inside_loop_p (loop, gimple_bb (stmt)))
- return false;
- }
- else
- {
- bb_vec_info bb_vinfo = as_a <bb_vec_info> (vinfo);
- if (gimple_bb (stmt) != BB_VINFO_BB (bb_vinfo)
- || gimple_uid (stmt) == -1U
- || gimple_code (stmt) == GIMPLE_PHI)
- return false;
- }
-
- return true;
-}
-
-
/* If LOOP has been versioned during ifcvt, return the internal call
guarding it. */
