The following makes sure we're only applying bool patterns for
conversions to scalar integer or float types.
Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
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.
---
gcc/testsuite/gcc.dg/vect/vect-pr12358.c | 25 ++++++++++++++++++++++++
gcc/tree-vect-patterns.cc | 4 +++-
2 files changed, 28 insertions(+), 1 deletion(-)
create mode 100644 gcc/testsuite/gcc.dg/vect/vect-pr12358.c
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 79c9ebb8eb8..11004043aca 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));
--
2.51.0
