diff options
author | Richard Biener <rguenther@suse.de> | 2020-12-08 09:42:35 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2020-12-08 09:44:19 +0100 |
commit | e844c04e35ca2fe9ee2f758a720dd37cbe81e7ef (patch) | |
tree | 5f22afafdab729d24354ba1820df497c458f4f0c /gcc | |
parent | c1370f8c0d0760714fe77d55c1fa16045ffa69f2 (diff) | |
download | gcc-e844c04e35ca2fe9ee2f758a720dd37cbe81e7ef.zip gcc-e844c04e35ca2fe9ee2f758a720dd37cbe81e7ef.tar.gz gcc-e844c04e35ca2fe9ee2f758a720dd37cbe81e7ef.tar.bz2 |
tree-optimization/98180 - fix BIT_INSERT_EXPR sequence vectorization
This adds a missing check for the first inserted value.
2020-12-08 Richard Biener <rguenther@suse.de>
PR tree-optimization/98180
* tree-vect-slp.c (vect_slp_check_for_constructors): Check the
first inserted value has a def.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/tree-vect-slp.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index 2dccca0..a2757e7 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -4193,10 +4193,12 @@ vect_slp_check_for_constructors (bb_vec_info bb_vinfo) else if (gimple_assign_rhs_code (assign) == BIT_INSERT_EXPR && VECTOR_TYPE_P (TREE_TYPE (rhs)) && TYPE_VECTOR_SUBPARTS (TREE_TYPE (rhs)).is_constant () + && TYPE_VECTOR_SUBPARTS (TREE_TYPE (rhs)).to_constant () > 1 && integer_zerop (gimple_assign_rhs3 (assign)) && useless_type_conversion_p (TREE_TYPE (TREE_TYPE (rhs)), - TREE_TYPE (gimple_assign_rhs2 (assign)))) + TREE_TYPE (gimple_assign_rhs2 (assign))) + && bb_vinfo->lookup_def (gimple_assign_rhs2 (assign))) { /* We start to match on insert to lane zero but since the inserts need not be ordered we'd have to search both |