OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree-optimization/101615 - SLP permute opt with CTOR roots

Browse Source 
CTOR roots are not explicitely represented so we have to make sure
to materialize permutes on SLP graph entries to them.

2021-07-28  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/101615
	* tree-vect-slp.c (vect_optimize_slp): Materialize permutes
	at CTOR SLP graph entries.

	* gcc.dg/vect/bb-slp-pr101615-2.c: New testcase.
This commit is contained in:
Richard Biener 2021-07-28 15:12:00 +02:00
parent 8b06ccb20e
commit 3c91efec15
2 changed files with 35 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
gcc/testsuite/gcc.dg/vect/bb-slp-pr101615-2.c Normal file
View File

@ -0,0 +1,23 @@
/* { dg-do run } */
/* { dg-additional-options "-O3 -w -Wno-psabi" } */
#include "tree-vect.h"
int res[6] = { 5, 7, 11, 3, 3, 3 };
int a[6] = {5, 5, 8};
int c;
int main()
{
check_vect ();
for (int b = 0; b <= 4; b++)
for (; c <= 4; c++) {
a[0] |= 1;
for (int e = 0; e <= 4; e++)
a[e + 1] |= 3;
}
for (int d = 0; d < 6; d++)
if (a[d] != res[d])
__builtin_abort ();
return 0;
}

12
gcc/tree-vect-slp.c
View File

@ -3715,6 +3715,18 @@ vect_optimize_slp (vec_info *vinfo)
vertices[idx].perm_out = perms.length () - 1;
}
/* In addition to the above we have to mark outgoing permutes facing
non-reduction graph entries that are not represented as to be
materialized. */
for (slp_instance instance : vinfo->slp_instances)
if (SLP_INSTANCE_KIND (instance) == slp_inst_kind_ctor)
{
/* Just setting perm_out isn't enough for the propagation to
pick this up. */
vertices[SLP_INSTANCE_TREE (instance)->vertex].perm_in = 0;
vertices[SLP_INSTANCE_TREE (instance)->vertex].perm_out = 0;
}
/* Propagate permutes along the graph and compute materialization points. */
bool changed;
bool do_materialization = false;