diff options
author | Jakub Jelinek <jakub@redhat.com> | 2011-09-04 09:22:38 +0000 |
---|---|---|
committer | Ira Rosen <ira.rosen@linaro.org> | 2011-09-04 09:22:38 +0000 |
commit | 2f1ebd917182bad699a4637b80ccd6a30a50f567 (patch) | |
tree | ecd366ea21d066bd82366c0398e6cd3ddd01160f /gcc/tree-vect-patterns.c | |
parent | daf33e7b31da036b3a15a87add9e7615ebe54167 (diff) |
PR tree-optimization/50208
* tree-vect-patterns.c (vect_handle_widen_mult_by_const): Add an
argument. Check that def_stmt is inside the loop.
(vect_recog_widen_mult_pattern): Update calls to
vect_handle_widen_mult_by_cons.
(vect_operation_fits_smaller_type): Check that def_stmt is
inside the loop.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@178508 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-vect-patterns.c')
-rw-r--r-- | gcc/tree-vect-patterns.c | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index ef6a4fd372d..0d788827513 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -344,12 +344,14 @@ vect_recog_dot_prod_pattern (VEC (gimple, heap) **stmts, tree *type_in, replace a_T = (TYPE) a_t; with a_it - (interm_type) a_t; */ static bool -vect_handle_widen_mult_by_const (tree const_oprnd, tree *oprnd, +vect_handle_widen_mult_by_const (gimple stmt, tree const_oprnd, tree *oprnd, VEC (gimple, heap) **stmts, tree type, tree *half_type, gimple def_stmt) { tree new_type, new_oprnd, tmp; gimple new_stmt; + loop_vec_info loop_info = STMT_VINFO_LOOP_VINFO (vinfo_for_stmt (stmt)); + struct loop *loop = LOOP_VINFO_LOOP (loop_info); if (int_fits_type_p (const_oprnd, *half_type)) { @@ -359,6 +361,8 @@ vect_handle_widen_mult_by_const (tree const_oprnd, tree *oprnd, } if (TYPE_PRECISION (type) < (TYPE_PRECISION (*half_type) * 4) + || !gimple_bb (def_stmt) + || !flow_bb_inside_loop_p (loop, gimple_bb (def_stmt)) || !vinfo_for_stmt (def_stmt)) return false; @@ -527,7 +531,8 @@ vect_recog_widen_mult_pattern (VEC (gimple, heap) **stmts, { if (TREE_CODE (oprnd0) == INTEGER_CST && TREE_CODE (half_type1) == INTEGER_TYPE - && vect_handle_widen_mult_by_const (oprnd0, &oprnd1, stmts, type, + && vect_handle_widen_mult_by_const (last_stmt, oprnd0, &oprnd1, + stmts, type, &half_type1, def_stmt1)) half_type0 = half_type1; else @@ -537,7 +542,8 @@ vect_recog_widen_mult_pattern (VEC (gimple, heap) **stmts, { if (TREE_CODE (oprnd1) == INTEGER_CST && TREE_CODE (half_type0) == INTEGER_TYPE - && vect_handle_widen_mult_by_const (oprnd1, &oprnd0, stmts, type, + && vect_handle_widen_mult_by_const (last_stmt, oprnd1, &oprnd0, + stmts, type, &half_type0, def_stmt0)) half_type1 = half_type0; else @@ -868,6 +874,8 @@ vect_operation_fits_smaller_type (gimple stmt, tree def, tree *new_type, tree interm_type = NULL_TREE, half_type, tmp, new_oprnd, type; gimple def_stmt, new_stmt; bool first = false; + loop_vec_info loop_info = STMT_VINFO_LOOP_VINFO (vinfo_for_stmt (stmt)); + struct loop *loop = LOOP_VINFO_LOOP (loop_info); *new_def_stmt = NULL; @@ -898,6 +906,8 @@ vect_operation_fits_smaller_type (gimple stmt, tree def, tree *new_type, { first = true; if (!widened_name_p (oprnd, stmt, &half_type, &def_stmt, false) + || !gimple_bb (def_stmt) + || !flow_bb_inside_loop_p (loop, gimple_bb (def_stmt)) || !vinfo_for_stmt (def_stmt)) return false; } |