FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tree-optimization/113018 - ICE with BB reduction vectorization

Browse source 
When BB reduction vectorization picks up a chain with an ASM def
in it and that's inside the vectorized region we fail to get its
LHS.  Instead of trying to get the correct def the following
avoids vectorizing such def and instead keeps it as def to add
in the epilog.

	PR tree-optimization/113018
	* tree-vect-slp.cc (vect_slp_check_for_roots): Only start
	SLP discovery from stmts with a LHS.
This commit is contained in:
Richard Biener 2023-12-14 16:00:50 +01:00
parent 83088b331c
commit 4e9b2c94e4
1 changed files with 11 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
gcc/tree-vect-slp.cc
View file

@ -7419,7 +7419,12 @@ vect_slp_check_for_roots (bb_vec_info bb_vinfo)
invalid = true;
break;
}
if (chain[i].dt != vect_internal_def)
if (chain[i].dt != vect_internal_def
/* Avoid stmts where the def is not the LHS, like
ASMs. */
|| (gimple_get_lhs (bb_vinfo->lookup_def
(chain[i].op)->stmt)
!= chain[i].op))
remain_cnt++;
}
if (!invalid && chain.length () - remain_cnt > 1)
@ -7431,8 +7436,11 @@ vect_slp_check_for_roots (bb_vec_info bb_vinfo)
remain.create (remain_cnt);
for (unsigned i = 0; i < chain.length (); ++i)
{
if (chain[i].dt == vect_internal_def)
stmts.quick_push (bb_vinfo->lookup_def (chain[i].op));
stmt_vec_info stmt_info;
if (chain[i].dt == vect_internal_def
&& ((stmt_info = bb_vinfo->lookup_def (chain[i].op)),
gimple_get_lhs (stmt_info->stmt) == chain[i].op))
stmts.quick_push (stmt_info);
else
remain.quick_push (chain[i].op);
}