On Wed, 14 Jan 2026, Tejas Belagod wrote:
> Variable-length Vector initializer constructors currently only work in
> non-debug mode. It ICEs when compiled with -g. This patch fixes it to handle
> variable-length vector intialization by limiting the constructor elements to
> the lower bound of the variable length poly which is also the maximum number
> of elements allowed in the initializer.
LGTM.
> PR middle-end/123392
> gcc/
> * cfgexpand.cc (expand_debug_expr): Handle variable-length initializer
> for CONSTRUCTOR.
>
> gcc/testsuite/
>
> * gcc.target/aarch64/sve/acle/general/pr123392.c: New.
> ---
> gcc/cfgexpand.cc | 6 ++----
> .../gcc.target/aarch64/sve/acle/general/pr123392.c | 10 ++++++++++
> 2 files changed, 12 insertions(+), 4 deletions(-)
> create mode 100644
> gcc/testsuite/gcc.target/aarch64/sve/acle/general/pr123392.c
>
> diff --git a/gcc/cfgexpand.cc b/gcc/cfgexpand.cc
> index a338f4a96d7..02f4c272c67 100644
> --- a/gcc/cfgexpand.cc
> +++ b/gcc/cfgexpand.cc
> @@ -5657,12 +5657,10 @@ expand_debug_expr (tree exp)
> else if (TREE_CODE (TREE_TYPE (exp)) == VECTOR_TYPE)
> {
> unsigned i;
> - unsigned HOST_WIDE_INT nelts;
> + poly_uint64 elts = TYPE_VECTOR_SUBPARTS (TREE_TYPE (exp));
> + unsigned HOST_WIDE_INT nelts = constant_lower_bound (elts);
> tree val;
>
> - if (!TYPE_VECTOR_SUBPARTS (TREE_TYPE (exp)).is_constant (&nelts))
> - goto flag_unsupported;
> -
> op0 = gen_rtx_CONCATN (mode, rtvec_alloc (nelts));
>
> FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (exp), i, val)
> diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general/pr123392.c
> b/gcc/testsuite/gcc.target/aarch64/sve/acle/general/pr123392.c
> new file mode 100644
> index 00000000000..5fe9848998d
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general/pr123392.c
> @@ -0,0 +1,10 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O3 -g" } */
> +
> +#include <arm_sve.h>
> +
> +svint32_t res (int32_t *a)
> +{
> + svint32_t s = { a[0], a[1], a[2], a[3] };
> + return s;
> +}
>
--
Richard Biener <[email protected]>
SUSE Software Solutions Germany GmbH,
Frankenstrasse 146, 90461 Nuernberg, Germany;
GF: Jochen Jaser, Andrew McDonald, Werner Knoblich; (HRB 36809, AG Nuernberg)
