[gcc r11-10677] tree-optimization/109502 - vector conversion between mask and non-mask

[gcc r11-10677] tree-optimization/109502 - vector conversion between mask and non-mask

[Richard Biener]

https://gcc.gnu.org/g:7fc59677f7a9a2bff75e0002fef303a41a9ebe9d

commit r11-10677-g7fc59677f7a9a2bff75e0002fef303a41a9ebe9d
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Apr 14 09:55:27 2023 +0200

    tree-optimization/109502 - vector conversion between mask and non-mask
    
    The following fixes a check that should have rejected vectorizing
    a conversion between a mask and non-mask type.  Those should be
    done via pattern statements.
    
            PR tree-optimization/109502
            * tree-vect-stmts.c (vectorizable_assignment): Fix
            check for conversion between mask and non-mask types.
    
            * gcc.dg/vect/pr109502.c: New testcase.
    
    (cherry picked from commit bf24f2db2841b97bc5e86bf9294d61eef32f83b3)

Diff:
---
 gcc/testsuite/gcc.dg/vect/pr109502.c | 21 +++++++++++++++++++++
 gcc/tree-vect-stmts.c                |  3 +--
 2 files changed, 22 insertions(+), 2 deletions(-)

diff --git a/gcc/testsuite/gcc.dg/vect/pr109502.c b/gcc/testsuite/gcc.dg/vect/pr109502.c
new file mode 100644
index 00000000000..970c63e931b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr109502.c
@@ -0,0 +1,21 @@
+/* { dg-do run } */
+/* { dg-additional-options "-O" } */
+
+unsigned g;
+
+unsigned
+foo (void)
+{
+  unsigned a = !g;
+  a += !(a % 6);
+  return a;
+}
+
+int
+main ()
+{
+  unsigned x = foo ();
+  if (x != 1)
+    __builtin_abort ();
+  return 0;
+}
diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index 2899b1dc9dc..04f83c1127a 100644
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -5263,8 +5263,7 @@ vectorizable_assignment (vec_info *vinfo,
 		       GET_MODE_SIZE (TYPE_MODE (vectype_in)))))
     return false;
 
-  if (VECTOR_BOOLEAN_TYPE_P (vectype)
-      && !VECTOR_BOOLEAN_TYPE_P (vectype_in))
+  if (VECTOR_BOOLEAN_TYPE_P (vectype) != VECTOR_BOOLEAN_TYPE_P (vectype_in))
     {
       if (dump_enabled_p ())
 	dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,