From: Richard Biener <rguenther@suse.de>
Date: Mon, 12 Jan 2026 12:55:07 +0000 (+0100)
Subject: tree-optimization/123528 - tighten bool pattern check
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=80c314ce497a6d8f5df677b9513f39e6cf85eeac;p=thirdparty%2Fgcc.git

tree-optimization/123528 - tighten bool pattern check

The following makes sure we're only applying bool patterns for
conversions to scalar integer or float types.

	PR tree-optimization/123528
	* tree-vect-patterns.cc (vect_recog_bool_pattern): Restore
	INTEGRAL_TYPE_P check but also allow SCALAR_FLOAT_TYPE_P.

	* gcc.dg/vect/vect-pr12358.c: New testcase.
---

diff --git a/gcc/testsuite/gcc.dg/vect/vect-pr12358.c b/gcc/testsuite/gcc.dg/vect/vect-pr12358.c
new file mode 100644
index 00000000000..2b42e2f486f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/vect-pr12358.c
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+
+typedef __attribute__((__vector_size__(1))) char V;
+unsigned char c;
+union {
+  _Bool b;
+  V v;
+} u;
+
+_Complex char *p;
+
+void
+foo()
+{
+  _Bool t = u.b;
+  int t1 = t;
+  char ip = __imag__ *p;
+  char rp = __real__ *p;
+  int t2 = rp;
+  _Bool pp = t1 != t2;
+  _Bool p2 = ip != 0;
+  p2 |= pp;
+  u.b = p2;
+  u.v |= c;
+}
diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc
index bfef31bfabf..97130206a21 100644
--- a/gcc/tree-vect-patterns.cc
+++ b/gcc/tree-vect-patterns.cc
@@ -6006,7 +6006,9 @@ vect_recog_bool_pattern (vec_info *vinfo,
       || rhs_code == VIEW_CONVERT_EXPR
       || rhs_code == FLOAT_EXPR)
     {
-      if (VECT_SCALAR_BOOLEAN_TYPE_P (TREE_TYPE (lhs)))
+      if (! (INTEGRAL_TYPE_P (TREE_TYPE (lhs))
+	     || SCALAR_FLOAT_TYPE_P (TREE_TYPE (lhs)))
+	  || VECT_SCALAR_BOOLEAN_TYPE_P (TREE_TYPE (lhs)))
 	return NULL;
       vectype = get_vectype_for_scalar_type (vinfo, TREE_TYPE (lhs));