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

tree-optimization/111915 - mixing grouped and non-grouped accesses

Browse source 
The change to allow SLP of non-grouped accesses failed to check
for the case of mixing with grouped accesses.

	PR tree-optimization/111915
	* tree-vect-slp.cc (vect_build_slp_tree_1): Check all
	accesses are either grouped or not.

	* gcc.dg/vect/pr111915.c: New testcase.
This commit is contained in:
Richard Biener 2023-10-23 13:42:53 +02:00
parent 738d44348e
commit 00eb0812e6
2 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gcc/testsuite/gcc.dg/vect/pr111915.c Normal file
View file

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-additional-options "-fno-tree-vrp -fno-tree-dominator-opts -fno-tree-ccp" } */
void
foo (int * __restrict a, int * __restrict b, int * __restrict w)
{
for (int i = 0; i < 16; ++i)
{
*a += w[2*i+0];
*b += w[2*i&1];
}
}

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

@ -1297,6 +1297,9 @@ vect_build_slp_tree_1 (vec_info *vinfo, unsigned char *swap,
|| rhs_code == INDIRECT_REF
|| rhs_code == COMPONENT_REF
|| rhs_code == MEM_REF)))
|| (ldst_p
&& (STMT_VINFO_GROUPED_ACCESS (stmt_info)
!= STMT_VINFO_GROUPED_ACCESS (first_stmt_info)))
|| (ldst_p
&& (STMT_VINFO_GATHER_SCATTER_P (stmt_info)
!= STMT_VINFO_GATHER_SCATTER_P (first_stmt_info)))