diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2018-07-31 14:21:45 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2018-07-31 14:21:45 +0000 |
| commit | c98d05955ba54fcdbae37f2a9e81b8cca6f1ca59 (patch) | |
| tree | 95f219682b2ae0c794bd3e824106dcd8939d555c /gcc/tree-vect-patterns.c | |
| parent | 6585ff8f3a55bbfed6a4f2c2addac7a27ed087d3 (diff) | |
| download | gcc-c98d05955ba54fcdbae37f2a9e81b8cca6f1ca59.zip gcc-c98d05955ba54fcdbae37f2a9e81b8cca6f1ca59.tar.gz gcc-c98d05955ba54fcdbae37f2a9e81b8cca6f1ca59.tar.bz2 | |
[08/46] Add vec_info::lookup_def
This patch adds a vec_info helper for checking whether an operand is an
SSA_NAME that is defined in the vectorisable region.
2018-07-31 Richard Sandiford <richard.sandiford@arm.com>
gcc/
* tree-vectorizer.h (vec_info::lookup_def): Declare.
* tree-vectorizer.c (vec_info::lookup_def): New function.
* tree-vect-patterns.c (vect_get_internal_def): Use it.
(vect_widened_op_tree): Likewise.
* tree-vect-stmts.c (vect_is_simple_use): Likewise.
* tree-vect-loop.c (vect_analyze_loop_operations): Likewise.
(vectorizable_reduction): Likewise.
(vect_valid_reduction_input_p): Take a stmt_vec_info instead
of a gimple *.
(vect_is_slp_reduction): Update calls accordingly. Use
vec_info::lookup_def.
(vect_is_simple_reduction): Likewise
* tree-vect-slp.c (vect_detect_hybrid_slp_1): Use vec_info::lookup_def.
From-SVN: r263123
Diffstat (limited to 'gcc/tree-vect-patterns.c')
| -rw-r--r-- | gcc/tree-vect-patterns.c | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index de0454b..4f9f092 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -227,14 +227,11 @@ vect_element_precision (unsigned int precision) static stmt_vec_info vect_get_internal_def (vec_info *vinfo, tree op) { - vect_def_type dt; - gimple *def_stmt; - if (TREE_CODE (op) != SSA_NAME - || !vect_is_simple_use (op, vinfo, &dt, &def_stmt) - || dt != vect_internal_def) - return NULL; - - return vinfo_for_stmt (def_stmt); + stmt_vec_info def_stmt_info = vinfo->lookup_def (op); + if (def_stmt_info + && STMT_VINFO_DEF_TYPE (def_stmt_info) == vect_internal_def) + return def_stmt_info; + return NULL; } /* Check whether NAME, an ssa-name used in USE_STMT, @@ -528,6 +525,7 @@ vect_widened_op_tree (stmt_vec_info stmt_info, tree_code code, vect_unpromoted_value *unprom, tree *common_type) { /* Check for an integer operation with the right code. */ + vec_info *vinfo = stmt_info->vinfo; gassign *assign = dyn_cast <gassign *> (stmt_info->stmt); if (!assign) return 0; @@ -584,7 +582,7 @@ vect_widened_op_tree (stmt_vec_info stmt_info, tree_code code, /* Recursively process the definition of the operand. */ stmt_vec_info def_stmt_info - = vinfo_for_stmt (SSA_NAME_DEF_STMT (this_unprom->op)); + = vinfo->lookup_def (this_unprom->op); nops = vect_widened_op_tree (def_stmt_info, code, widened_code, shift_p, max_nops, this_unprom, common_type); |