diff options
| author | Ilya Enkovich <enkovich.gnu@gmail.com> | 2016-03-04 13:49:54 +0000 |
|---|---|---|
| committer | Ilya Enkovich <ienkovich@gcc.gnu.org> | 2016-03-04 13:49:54 +0000 |
| commit | af3cdd3433e0bc60f4e6ebee1ee699bb19485cce (patch) | |
| tree | 38f0d831d9046ff5a804a681c6e7d0dc1ae4b7a8 /gcc | |
| parent | 7ff6ca3899e0cae8460f7dc30770002559bc0553 (diff) | |
| download | gcc-af3cdd3433e0bc60f4e6ebee1ee699bb19485cce.zip gcc-af3cdd3433e0bc60f4e6ebee1ee699bb19485cce.tar.gz gcc-af3cdd3433e0bc60f4e6ebee1ee699bb19485cce.tar.bz2 | |
tree-vect-patterns.c (search_type_for_mask): Handle comparison of booleans.
gcc/
* tree-vect-patterns.c (search_type_for_mask): Handle
comparison of booleans.
gcc/testsuite/
* gcc.dg/pr70026.c: New test.
From-SVN: r233966
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr70026.c | 15 | ||||
| -rw-r--r-- | gcc/tree-vect-patterns.c | 9 |
4 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 828f608..551044c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-03-04 Ilya Enkovich <enkovich.gnu@gmail.com> + + * tree-vect-patterns.c (search_type_for_mask): Handle + comparison of booleans. + + 2016-03-04 Jakub Jelinek <jakub@redhat.com> * doc/extend.texi (__builtin_alloca, __builtin_alloca_with_align): diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7a05cd3..5faeb86 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2016-03-04 Ilya Enkovich <enkovich.gnu@gmail.com> + + * gcc.dg/pr70026.c: New test. + 2016-03-04 Marek Polacek <polacek@redhat.com> PR c/69798 diff --git a/gcc/testsuite/gcc.dg/pr70026.c b/gcc/testsuite/gcc.dg/pr70026.c new file mode 100644 index 0000000..32f59e2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr70026.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +unsigned int a[64], b[64], c[64], d[64], e[64]; + +void +foo () +{ + int i; + for (i = 0; i < 64; i++) + { + d[i] = a[i]; + e[i] = ((b[i] < e[i]) != !c[i]) && !a[i]; + } +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index 4b3065e..0ee5bbe 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -3220,6 +3220,15 @@ search_type_for_mask (tree var, vec_info *vinfo) { tree comp_vectype, mask_type; + if (TREE_CODE (TREE_TYPE (rhs1)) == BOOLEAN_TYPE) + { + res = search_type_for_mask (rhs1, vinfo); + res2 = search_type_for_mask (gimple_assign_rhs2 (def_stmt), vinfo); + if (!res || (res2 && TYPE_PRECISION (res) > TYPE_PRECISION (res2))) + res = res2; + break; + } + comp_vectype = get_vectype_for_scalar_type (TREE_TYPE (rhs1)); if (comp_vectype == NULL_TREE) return NULL_TREE; |