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

middle-end/110232 - fix native interpret of vector <signed-boolean:1>

Browse source 
The following fixes native interpretation of a buffer as boolean
vector with bit-precision elements such as AVX512 vectors.  The
check whether the buffer covers the whole vector was broken for
bit-precision elements and the following instead implements it
based on the vector type size.

	PR middle-end/110232
	* fold-const.cc (native_interpret_vector): Use TYPE_SIZE_UNIT
	to check whether the buffer covers the whole vector.

	* gcc.target/i386/pr110232.c: New testcase.
This commit is contained in:
Richard Biener 2023-06-13 09:19:34 +02:00
parent 1c3661e224
commit 0f3d07e16f
2 changed files with 16 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
gcc/fold-const.cc
View file

@ -8796,16 +8796,13 @@ native_interpret_vector_part (tree type, const unsigned char *bytes,
static tree
native_interpret_vector (tree type, const unsigned char *ptr, unsigned int len)
{
tree etype;
unsigned int size;
unsigned HOST_WIDE_INT count;
unsigned HOST_WIDE_INT size;
etype = TREE_TYPE (type);
size = GET_MODE_SIZE (SCALAR_TYPE_MODE (etype));
if (!TYPE_VECTOR_SUBPARTS (type).is_constant (&count)
|| size * count > len)
if (!tree_to_poly_uint64 (TYPE_SIZE_UNIT (type)).is_constant (&size)
|| size > len)
return NULL_TREE;
unsigned HOST_WIDE_INT count = TYPE_VECTOR_SUBPARTS (type).to_constant ();
return native_interpret_vector_part (type, ptr, len, count, 1);
}

12
gcc/testsuite/gcc.target/i386/pr110232.c Normal file
View file

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-options "-O3 -march=znver4 --param vect-partial-vector-usage=2 -fno-vect-cost-model -fdump-tree-vect" } */
int a[4096];
void foo ()
{
for (int i = 1; i < 4095; ++i)
a[i] = 42;
}
/* { dg-final { scan-tree-dump-not "VIEW_CONVERT_EXPR" "vect" } } */