diff options
| author | Richard Biener <rguenther@suse.de> | 2023-04-14 09:55:27 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-04-14 11:45:47 +0200 |
| commit | bf24f2db2841b97bc5e86bf9294d61eef32f83b3 (patch) | |
| tree | c3583d46dd1892d69e0210eb130d81b7dfad6e0e | |
| parent | 040e64b09d4422c7d3c51bee098043782112b924 (diff) | |
| download | gcc-bf24f2db2841b97bc5e86bf9294d61eef32f83b3.zip gcc-bf24f2db2841b97bc5e86bf9294d61eef32f83b3.tar.gz gcc-bf24f2db2841b97bc5e86bf9294d61eef32f83b3.tar.bz2 | |
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.
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr109502.c | 21 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.cc | 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 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, |