From e844c04e35ca2fe9ee2f758a720dd37cbe81e7ef Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 8 Dec 2020 09:42:35 +0100 Subject: [PATCH] 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. --- gcc/tree-vect-slp.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.7.4