From 4e56b1347687a33efa47d13d357ae3b7ab759c99 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Wed, 16 Jun 2021 08:56:21 +0200 Subject: tree-optimization/101083 - fix ICE with SLP reassoc This makes us pass down the vector type for the two-operand SLP node build rather than picking that from operand one which, when constant or external, could be NULL. 2021-06-16 Richard Biener PR tree-optimization/101083 * tree-vect-slp.c (vect_slp_build_two_operator_nodes): Get vectype as argument. (vect_build_slp_tree_2): Adjust. * gcc.dg/vect/pr97832-4.c: New testcase. --- gcc/tree-vect-slp.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'gcc/tree-vect-slp.c') diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index 9ded585..8ec589b 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -1536,13 +1536,12 @@ vect_build_slp_tree (vec_info *vinfo, /* Helper for building an associated SLP node chain. */ static void -vect_slp_build_two_operator_nodes (slp_tree perm, +vect_slp_build_two_operator_nodes (slp_tree perm, tree vectype, slp_tree op0, slp_tree op1, stmt_vec_info oper1, stmt_vec_info oper2, vec > lperm) { unsigned group_size = SLP_TREE_LANES (op1); - tree vectype = SLP_TREE_VECTYPE (op1); slp_tree child1 = new _slp_tree; SLP_TREE_DEF_TYPE (child1) = vect_internal_def; @@ -2087,7 +2086,7 @@ vect_build_slp_tree_2 (vec_info *vinfo, slp_tree node, for (unsigned lane = 0; lane < group_size; ++lane) lperm.quick_push (std::make_pair (chains[lane][i].code != chains[0][i].code, lane)); - vect_slp_build_two_operator_nodes (child, op0, op1, + vect_slp_build_two_operator_nodes (child, vectype, op0, op1, (chains[0][i].code == code ? op_stmt_info : other_op_stmt_info), -- cgit v1.1