From: Richard Biener <rguenther@suse.de>
Date: Thu, 10 Feb 2022 09:01:20 +0000 (+0100)
Subject: middle-end/104467 - fix vector extract simplification
X-Git-Tag: basepoints/gcc-13~1139
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a8083285c3edf50088a095870b217ab0881dff0;p=thirdparty%2Fgcc.git

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  <rguenther@suse.de>

	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.
---

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);
+}