From: Richard Biener Date: Tue, 8 Dec 2020 08:42:35 +0000 (+0100) Subject: tree-optimization/98180 - fix BIT_INSERT_EXPR sequence vectorization X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e844c04e35ca2fe9ee2f758a720dd37cbe81e7ef;p=gcc.git tree-optimization/98180 - fix BIT_INSERT_EXPR sequence vectorization This adds a missing check for the first inserted value. 2020-12-08 Richard Biener PR tree-optimization/98180 * tree-vect-slp.c (vect_slp_check_for_constructors): Check the first inserted value has a def. --- diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index 2dccca02aa0..a2757e707ff 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