match.pd: Fix up (X & Y) CMP 0 -> X CMP2 ~Y simplifications [PR104499]
authorJakub Jelinek <jakub@redhat.com>
Fri, 11 Feb 2022 19:27:23 +0000 (20:27 +0100)
committerJakub Jelinek <jakub@redhat.com>
Fri, 11 Feb 2022 19:27:23 +0000 (20:27 +0100)
commit9355a8c35883b5125851bb9b4169a1a1cd8e343f
tree2b46e6c5c3b5318cb963db77da0ea979d6be4981
parentb56ad95854f0b007afda60c057f10b04666953c9
match.pd: Fix up (X & Y) CMP 0 -> X CMP2 ~Y simplifications [PR104499]

The following testcase ICEs on x86_64-linux, because match.pd emits
there a NOP_EXPR cast from int*8 vector type with BLKmode to
unsigned*8 vector type with BLKmode and vec-lowering isn't prepared
to handle such casts.

Fixed by using VIEW_CONVERT_EXPR instead.

2022-02-11  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/104499
* match.pd ((X & Y) CMP 0 -> X CMP2 ~Y): Use view_convert instead
of convert.

* gcc.c-torture/compile/pr104499.c: New test.
gcc/match.pd
gcc/testsuite/gcc.c-torture/compile/pr104499.c [new file with mode: 0644]