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

Make dwarf2out punt for MODE_VECTOR_BOOL

Browse source 
The dwarf2 handling of vector constants currently divides the vector
into a length (number of elements) and byte element size.  This doesn't
work well for MODE_VECTOR_BOOL, where several elements are packed into
the same byte.

We should probably add a way of encoding this in future, but for now
the safest thing is to punt, like we already do for variable-length
vectors.

2019-12-10  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
	* dwarf2out.c (loc_descriptor): Punt for MODE_VECTOR_BOOL.
	(add_const_value_attribute): Likewise.

gcc/testsuite/
	* gcc.target/aarch64/sve/acle/general/debug_4.c: New test.

From-SVN: r279165
This commit is contained in:
Richard Sandiford 2019-12-10 12:20:20 +00:00 • committed by Richard Sandiford
parent b78500ecb8
commit b78d005e8f
4 changed files with 37 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,3 +1,8 @@
2019-12-10 Richard Sandiford <richard.sandiford@arm.com>
* dwarf2out.c (loc_descriptor): Punt for MODE_VECTOR_BOOL.
(add_const_value_attribute): Likewise.
2019-12-10 Richard Sandiford <richard.sandiford@arm.com>
* tree-vect-loop.c (vect_create_epilog_for_reduction): When

13
gcc/dwarf2out.c
View file

@ -16763,7 +16763,12 @@ loc_descriptor (rtx rtl, machine_mode mode,
if (mode == VOIDmode)
mode = GET_MODE (rtl);
if (mode != VOIDmode && (dwarf_version >= 4 || !dwarf_strict))
if (mode != VOIDmode
/* The combination of a length and byte elt_size doesn't extend
naturally to boolean vectors, where several elements are packed
into the same byte. */
&& GET_MODE_CLASS (mode) != MODE_VECTOR_BOOL
&& (dwarf_version >= 4 || !dwarf_strict))
{
unsigned int length;
if (!CONST_VECTOR_NUNITS (rtl).is_constant (&length))
@ -19622,6 +19627,12 @@ add_const_value_attribute (dw_die_ref die, rtx rtl)
return false;
machine_mode mode = GET_MODE (rtl);
/* The combination of a length and byte elt_size doesn't extend
naturally to boolean vectors, where several elements are packed
into the same byte. */
if (GET_MODE_CLASS (mode) == MODE_VECTOR_BOOL)
return false;
unsigned int elt_size = GET_MODE_UNIT_SIZE (mode);
unsigned char *array
= ggc_vec_alloc<unsigned char> (length * elt_size);

4
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,7 @@
2019-12-10 Richard Sandiford <richard.sandiford@arm.com>
* gcc.target/aarch64/sve/acle/general/debug_4.c: New test.
2019-12-10 Richard Sandiford <richard.sandiford@arm.com>
* gcc.target/aarch64/sve/clastb_9.c: New test.

16
gcc/testsuite/gcc.target/aarch64/sve/acle/general/debug_4.c Normal file
View file

@ -0,0 +1,16 @@
/* { dg-options "-O -g -msve-vector-bits=512" } */
#include <arm_sve.h>
void __attribute__((noipa))
g (volatile int *x, svbool_t pg)
{
*x = 1;
}
void
f (volatile int *x)
{
svbool_t pg = svorr_z (svpfalse (), svpfalse (), svpfalse ());
g (x, pg);
}