mirrors/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-23 19:03:59 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

tree-optimization/105437 - BB vect with extern defs of throwing stmts

Browse Source 
We have to watch out for vectorized stmt insert locations if the
def from the last stmt alters control flow.  We constrain region
building so we know the def is outside of the current region
and thus we can insert at the region start point.

2022-05-02  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/105437
	* tree-vect-slp.cc (vect_schedule_slp_node): Handle the
	case where last_stmt alters control flow.

	* g++.dg/vect/pr105437.cc: New testcase.
This commit is contained in:
Richard Biener 2022-05-02 09:30:27 +02:00
parent 82a344f206
commit 3a3eda000f
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
gcc/testsuite/g++.dg/vect/pr105437.cc Normal file
View File

@ -0,0 +1,24 @@
// { dg-do compile }
struct ControlClass
{
virtual ~ControlClass();
int Width;
int Height;
unsigned IsToRepaint : 1;
};
struct SelectClass : ControlClass
{
SelectClass(void);
};
int Non_Folded_Value();
SelectClass::SelectClass(void)
{
int factor = Non_Folded_Value();
Width = 32 << factor;
Height = 24 << factor;
}

7
gcc/tree-vect-slp.cc
View File

@ -7302,6 +7302,13 @@ vect_schedule_slp_node (vec_info *vinfo,
gcc_assert (seen_vector_def);
si = gsi_after_labels (as_a <bb_vec_info> (vinfo)->bbs[0]);
}
else if (is_ctrl_altering_stmt (last_stmt))
{
/* We split regions to vectorize at control altering stmts
with a definition so this must be an external which
we can insert at the start of the region. */
si = gsi_after_labels (as_a <bb_vec_info> (vinfo)->bbs[0]);
}
else if (is_a <bb_vec_info> (vinfo)
&& gimple_bb (last_stmt) != gimple_bb (stmt_info->stmt)
&& gimple_could_trap_p (stmt_info->stmt))