diff options
| author | Richard Biener <rguenther@suse.de> | 2022-03-25 08:43:45 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-03-25 13:15:37 +0100 |
| commit | 0b0fc52b0412cc1608f4f0edb8a0ab2495619c4e (patch) | |
| tree | 9fa9785b885eb6e71801b43896f0604e34d8eb91 /gcc | |
| parent | 711c7f079bc0d250e6c5c4450828453c1096542c (diff) | |
| download | gcc-0b0fc52b0412cc1608f4f0edb8a0ab2495619c4e.zip gcc-0b0fc52b0412cc1608f4f0edb8a0ab2495619c4e.tar.gz gcc-0b0fc52b0412cc1608f4f0edb8a0ab2495619c4e.tar.bz2 | |
middle-end/105049 - fix uniform_vector_p and vector CTOR gimplification
We have
return VIEW_CONVERT_EXPR<U>( VEC_PERM_EXPR < {<<< Unknown tree: compound_literal_expr
V D.1984 = { 0 }; >>>, { 0 }} , {<<< Unknown tree: compound_literal_expr
V D.1985 = { 0 }; >>>, { 0 }} , { 0, 0 } > & {(short int) SAVE_EXPR <c>, (short int) SAVE_EXPR <c>});
where we gimplify the init CTORs to
_1 = {{ 0 }, { 0 }};
_2 = {{ 0 }, { 0 }};
instead of to vector constants. That later runs into a bug in
uniform_vector_p which doesn't handle CTORs of vector elements
correctly.
The following adjusts uniform_vector_p to handle CTORs of vector
elements.
2022-03-25 Richard Biener <rguenther@suse.de>
PR middle-end/105049
* tree.cc (uniform_vector_p): Recurse for VECTOR_CST or
CONSTRUCTOR first elements.
* gcc.dg/pr105049.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr105049.c | 12 | ||||
| -rw-r--r-- | gcc/tree.cc | 2 |
2 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr105049.c b/gcc/testsuite/gcc.dg/pr105049.c new file mode 100644 index 0000000..b0518c6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr105049.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fno-tree-forwprop" } */ + +typedef short __attribute__((__vector_size__ (sizeof(short)))) V; +typedef short __attribute__((__vector_size__ (2*sizeof(short)))) U; +char c; + +U +foo (void) +{ + return __builtin_shufflevector ((V){}, (V){}, 0, 0) & c; +} diff --git a/gcc/tree.cc b/gcc/tree.cc index b8017af..ec200e9 100644 --- a/gcc/tree.cc +++ b/gcc/tree.cc @@ -10266,6 +10266,8 @@ uniform_vector_p (const_tree vec) if (i != nelts) return NULL_TREE; + if (TREE_CODE (first) == CONSTRUCTOR || TREE_CODE (first) == VECTOR_CST) + return uniform_vector_p (first); return first; } |