From eca52fdd6c570658e417ab38d25e0874d0c9c044 Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Tue, 31 Jul 2018 14:25:15 +0000 Subject: [PATCH] [30/46] Use stmt_vec_infos rather than gimple stmts for worklists 2018-07-31 Richard Sandiford gcc/ * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Change the type of the worklist from a vector of gimple stmts to a vector of stmt_vec_infos. * tree-vect-stmts.c (vect_mark_relevant, process_use) (vect_mark_stmts_to_be_vectorized): Likewise From-SVN: r263145 --- gcc/ChangeLog | 8 ++++++++ gcc/tree-vect-loop.c | 6 +++--- gcc/tree-vect-stmts.c | 16 +++++++--------- 3 files changed, 18 insertions(+), 12 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c697e70ec0d..55e3c2cc32e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2018-07-31 Richard Sandiford + + * tree-vect-loop.c (vect_analyze_scalar_cycles_1): Change the type + of the worklist from a vector of gimple stmts to a vector of + stmt_vec_infos. + * tree-vect-stmts.c (vect_mark_relevant, process_use) + (vect_mark_stmts_to_be_vectorized): Likewise + 2018-07-31 Richard Sandiford * tree-vect-loop.c (vect_analyze_loop_operations): Look up the diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 33e49c99d7f..2f45d0d3aae 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -474,7 +474,7 @@ vect_analyze_scalar_cycles_1 (loop_vec_info loop_vinfo, struct loop *loop) { basic_block bb = loop->header; tree init, step; - auto_vec worklist; + auto_vec worklist; gphi_iterator gsi; bool double_reduc; @@ -543,9 +543,9 @@ vect_analyze_scalar_cycles_1 (loop_vec_info loop_vinfo, struct loop *loop) /* Second - identify all reductions and nested cycles. */ while (worklist.length () > 0) { - gimple *phi = worklist.pop (); + stmt_vec_info stmt_vinfo = worklist.pop (); + gphi *phi = as_a (stmt_vinfo->stmt); tree def = PHI_RESULT (phi); - stmt_vec_info stmt_vinfo = vinfo_for_stmt (phi); if (dump_enabled_p ()) { diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index 1a4cfd7f2fa..126ffb07637 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -194,7 +194,7 @@ vect_clobber_variable (gimple *stmt, gimple_stmt_iterator *gsi, tree var) Mark STMT as "relevant for vectorization" and add it to WORKLIST. */ static void -vect_mark_relevant (vec *worklist, gimple *stmt, +vect_mark_relevant (vec *worklist, gimple *stmt, enum vect_relevant relevant, bool live_p) { stmt_vec_info stmt_info = vinfo_for_stmt (stmt); @@ -453,7 +453,7 @@ exist_non_indexing_operands_for_use_p (tree use, gimple *stmt) static bool process_use (gimple *stmt, tree use, loop_vec_info loop_vinfo, - enum vect_relevant relevant, vec *worklist, + enum vect_relevant relevant, vec *worklist, bool force) { stmt_vec_info stmt_vinfo = vinfo_for_stmt (stmt); @@ -618,16 +618,14 @@ vect_mark_stmts_to_be_vectorized (loop_vec_info loop_vinfo) basic_block *bbs = LOOP_VINFO_BBS (loop_vinfo); unsigned int nbbs = loop->num_nodes; gimple_stmt_iterator si; - gimple *stmt; unsigned int i; - stmt_vec_info stmt_vinfo; basic_block bb; bool live_p; enum vect_relevant relevant; DUMP_VECT_SCOPE ("vect_mark_stmts_to_be_vectorized"); - auto_vec worklist; + auto_vec worklist; /* 1. Init worklist. */ for (i = 0; i < nbbs; i++) @@ -665,17 +663,17 @@ vect_mark_stmts_to_be_vectorized (loop_vec_info loop_vinfo) use_operand_p use_p; ssa_op_iter iter; - stmt = worklist.pop (); + stmt_vec_info stmt_vinfo = worklist.pop (); if (dump_enabled_p ()) { - dump_printf_loc (MSG_NOTE, vect_location, "worklist: examine stmt: "); - dump_gimple_stmt (MSG_NOTE, TDF_SLIM, stmt, 0); + dump_printf_loc (MSG_NOTE, vect_location, + "worklist: examine stmt: "); + dump_gimple_stmt (MSG_NOTE, TDF_SLIM, stmt_vinfo->stmt, 0); } /* Examine the USEs of STMT. For each USE, mark the stmt that defines it (DEF_STMT) as relevant/irrelevant according to the relevance property of STMT. */ - stmt_vinfo = vinfo_for_stmt (stmt); relevant = STMT_VINFO_RELEVANT (stmt_vinfo); /* Generally, the relevance property of STMT (in STMT_VINFO_RELEVANT) is -- 2.30.2