From 4a8083285c3edf50088a095870b217ab0881dff0 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 10 Feb 2022 10:01:20 +0100 Subject: [PATCH] middle-end/104467 - fix vector extract simplification This fixes a bogus vector type used for a CTOR build as part of vector extract simplification. The code failed to consider a CTOR of vector elements. 2022-02-10 Richard Biener PR middle-end/104467 * match.pd (vector extract simplification): Multiply the number of CTOR elements with the number of element elements. * gcc.dg/torture/pr104467.c: New testcase. --- gcc/match.pd | 2 +- gcc/testsuite/gcc.dg/torture/pr104467.c | 11 +++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr104467.c diff --git a/gcc/match.pd b/gcc/match.pd index 4fe590983f3d..d9d835910457 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -6943,7 +6943,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) TREE_TYPE (TREE_TYPE (ctor))) ? type : build_vector_type (TREE_TYPE (TREE_TYPE (ctor)), - count)); + count * k)); res = (constant_p ? build_vector_from_ctor (evtype, vals) : build_constructor (evtype, vals)); } diff --git a/gcc/testsuite/gcc.dg/torture/pr104467.c b/gcc/testsuite/gcc.dg/torture/pr104467.c new file mode 100644 index 000000000000..c3bfb60698a8 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr104467.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-mavx" { target x86_64-*-* i?86-*-* } } */ + +unsigned long __attribute__((__vector_size__ (8 * sizeof (long)))) u; +signed long __attribute__((__vector_size__ (8 * sizeof (long)))) s; + +void +foo (void) +{ + s &= u + (0, 0); +} -- 2.47.2