From bf24f2db2841b97bc5e86bf9294d61eef32f83b3 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 14 Apr 2023 09:55:27 +0200 Subject: [PATCH] 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.cc (vectorizable_assignment): Fix check for conversion between mask and non-mask types. * gcc.dg/vect/pr109502.c: New testcase. --- gcc/testsuite/gcc.dg/vect/pr109502.c | 21 +++++++++++++++++++++ gcc/tree-vect-stmts.cc | 3 +-- 2 files changed, 22 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/vect/pr109502.c diff --git a/gcc/testsuite/gcc.dg/vect/pr109502.c b/gcc/testsuite/gcc.dg/vect/pr109502.c new file mode 100644 index 0000000..970c63e --- /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.cc b/gcc/tree-vect-stmts.cc index efa2d0d..6b7dbfd 100644 --- a/gcc/tree-vect-stmts.cc +++ b/gcc/tree-vect-stmts.cc @@ -5595,8 +5595,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, -- 2.7.4