middle-end/110461 - pattern applying wrongly to vectors

The following guards a match.pd pattern that wasn't supposed to
apply to vectors and thus runs into TYPE_PRECISION checking.  For
vector support the constant case is lacking and the pattern would
have missing optab support checking for the result operation.

	PR middle-end/110461
	* match.pd (bitop (convert@2 @0) (convert?@3 @1)): Disable
	for VECTOR_TYPE_P.

	* gcc.dg/pr110461.c: New testcase.

diff --git a/gcc/match.pd b/gcc/match.pd
index 83bcefa914bf8a4bbbd91625d57d49700f55fa7f..f09583bbcac491cdb0e193f7465914fa4f843cda 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1853,6 +1853,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
             || tree_nop_conversion_p (TREE_TYPE (@0), type)))
        || types_match (@0, @1))
        && !POINTER_TYPE_P (TREE_TYPE (@0))
+       && !VECTOR_TYPE_P (TREE_TYPE (@0))
        && TREE_CODE (TREE_TYPE (@0)) != OFFSET_TYPE
        /* ???  This transform conflicts with fold-const.cc doing
          Convert (T)(x & c) into (T)x & (T)c, if c is an integer

diff --git a/gcc/testsuite/gcc.dg/pr110461.c b/gcc/testsuite/gcc.dg/pr110461.c
new file mode 100644 (file)
index 0000000..cd23a2b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr110461.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-O" } */
+
+typedef int v4si __attribute__ ((vector_size (4*sizeof(int))));
+typedef short v4hi __attribute__ ((vector_size (4*sizeof(short))));
+
+v4hi res;
+v4hi a, b;
+
+void f(void)
+{
+  v4si t = __builtin_convertvector (a, v4si);
+  v4si t1 = __builtin_convertvector (b, v4si);
+  t ^= t1;
+  res = __builtin_convertvector (t, v4hi);
+}