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

tree-optimization/97769 - fix assert in peeling for alignment

Browse source 
The following removes an assert that can not easily be adjusted to
cover the additional cases we now handle after the removal of
the same-align DRs vector.

2020-11-10  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/97769
	* tree-vect-data-refs.c (vect_update_misalignment_for_peel):
	Remove assert.

	* gcc.dg/vect/pr97769.c: New testcase.
This commit is contained in:
Richard Biener 2020-11-10 13:36:22 +01:00
parent 960c4712c8
commit 1693746302
2 changed files with 33 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
gcc/testsuite/gcc.dg/vect/pr97769.c Normal file
View file

@ -0,0 +1,32 @@
/* { dg-do compile } */
/* { dg-additional-options "-O3" } */
typedef struct {
int alg;
int h1[8];
unsigned d1[1];
} tmp;
typedef struct {
tmp itmp;
tmp otmp;
} h1;
h1 c;
static void
fn1(char *p1, int p2)
{
int i = 0;
for (; i < 4; i++)
*p1++ = p2;
}
static void
fn2(tmp *p1)
{
char *d = (char *)p1->d1;
int *b = p1->h1;
for (int a; a; a++, d += 4)
fn1(d, *b++);
}
void fn3() { fn2(&(&c)->otmp); }

7
gcc/tree-vect-data-refs.c
View file

@ -1186,14 +1186,9 @@ static void
vect_update_misalignment_for_peel (dr_vec_info *dr_info,
dr_vec_info *dr_peel_info, int npeel)
{
/* It can be assumed that if dr_info has the same alignment as dr_peel,
it is aligned in the vector loop. */
/* If dr_info is aligned of dr_peel_info is, then mark it so. */
if (vect_dr_aligned_if_peeled_dr_is (dr_info, dr_peel_info))
{
gcc_assert (!known_alignment_for_access_p (dr_info)
|| !known_alignment_for_access_p (dr_peel_info)
|| (DR_MISALIGNMENT (dr_info)
== DR_MISALIGNMENT (dr_peel_info)));
SET_DR_MISALIGNMENT (dr_info, 0);
return;
}