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

tree-optimization/114799 - SLP and patterns

Browse source 
The following plugs a hole with computing whether a SLP node has any
pattern stmts which is important to know when we want to replace it
by a CTOR from external defs.

	PR tree-optimization/114799
	* tree-vect-slp.cc (vect_get_and_check_slp_defs): Properly
	update ->any_pattern when swapping operands.

	* gcc.dg/vect/bb-slp-pr114799.c: New testcase.
This commit is contained in:
Richard Biener 2024-04-23 08:39:03 +02:00
parent 42189f21b2
commit 18e8e55487
2 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
gcc/testsuite/gcc.dg/vect/bb-slp-pr114799.c Normal file
View file

@ -0,0 +1,16 @@
/* { dg-do compile } */
/* { dg-additional-options "-fno-tree-forwprop" } */
unsigned long x;
unsigned char y;
void
foo (void)
{
unsigned long tt = y;
tt+=255;
unsigned short t1 = tt;
t1 = 254 - t1;
tt += ((unsigned long)t1);
x = tt;
}

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

@ -888,6 +888,12 @@ vect_get_and_check_slp_defs (vec_info *vinfo, unsigned char swap,
(*oprnds_info)[i+1]->def_stmts[stmt_num]);
std::swap ((*oprnds_info)[i]->ops[stmt_num],
(*oprnds_info)[i+1]->ops[stmt_num]);
/* After swapping some operands we lost track whether an
operand has any pattern defs so be conservative here. */
if ((*oprnds_info)[i]->any_pattern
|| (*oprnds_info)[i+1]->any_pattern)
(*oprnds_info)[i]->any_pattern
= (*oprnds_info)[i+1]->any_pattern = true;
swapped = true;
continue;
}