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

lto/96591 - walk VECTOR_CST elements in walk_tree

Browse source 
This implements walking of VECTOR_CST elements in walk_tree, mimicing
the walk of COMPLEX_CST elements.  Without this free-lang-data fails
to see some types in case they are only refered to via tree constants
used only as VECTOR_CST elements.

2021-02-08  Richard Biener  <rguenther@suse.de>

	PR lto/96591
	* tree.c (walk_tree_1): Walk VECTOR_CST elements.

	* g++.dg/lto/pr96591_0.C: New testcase.
This commit is contained in:
Richard Biener 2021-02-08 09:52:56 +01:00
parent 0d701e3eb8
commit d4536e4313
2 changed files with 57 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

45
gcc/testsuite/g++.dg/lto/pr96591_0.C Normal file
View file

@ -0,0 +1,45 @@
// { dg-lto-do assemble }
// { dg-lto-options { { -O -flto } } }
template <typename scalar_t, unsigned length>
struct builtin_simd
{
using type [[gnu::vector_size(sizeof(scalar_t) * length)]] = scalar_t;
};
struct simd_traits
{
using scalar_type = int;
template <typename new_scalar_type>
using rebind = typename builtin_simd<new_scalar_type, 1>::type;
};
template <typename simd_t>
constexpr simd_t fill(typename simd_traits::scalar_type const scalar)
{
return simd_t{scalar};
}
class Test
{
using score_type = typename builtin_simd<int, 1>::type;
score_type data[1]{fill<score_type>(8)};
};
struct TestFactoryBase
{
virtual Test *CreateTest() = 0;
};
template <class TestClass>
struct TestFactoryImpl : public TestFactoryBase
{
Test *CreateTest() override { return new TestClass; }
};
void MakeAndRegisterTestInfo(TestFactoryBase *factory);
int main() {
MakeAndRegisterTestInfo(new TestFactoryImpl<Test>);
}

13
gcc/tree.c
View file

@ -12131,7 +12131,6 @@ walk_tree_1 (tree *tp, walk_tree_fn func, void *data,
case INTEGER_CST:
case REAL_CST:
case FIXED_CST:
case VECTOR_CST:
case STRING_CST:
case BLOCK:
case PLACEHOLDER_EXPR:
@ -12162,6 +12161,18 @@ walk_tree_1 (tree *tp, walk_tree_fn func, void *data,
WALK_SUBTREE_TAIL (TREE_VEC_ELT (*tp, 0));
}
case VECTOR_CST:
{
unsigned len = vector_cst_encoded_nelts (*tp);
if (len == 0)
break;
/* Walk all elements but the first. */
while (--len)
WALK_SUBTREE (VECTOR_CST_ENCODED_ELT (*tp, len));
/* Now walk the first one as a tail call. */
WALK_SUBTREE_TAIL (VECTOR_CST_ENCODED_ELT (*tp, 0));
}
case COMPLEX_CST:
WALK_SUBTREE (TREE_REALPART (*tp));
WALK_SUBTREE_TAIL (TREE_IMAGPART (*tp));