OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

match.pd: Fix up (X & Y) CMP 0 -> X CMP2 ~Y simplifications [PR104499]

Browse Source 
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.
This commit is contained in:
Jakub Jelinek 2022-02-11 20:27:23 +01:00
parent b56ad95854
commit 9355a8c358
2 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/match.pd
View File

@ -5778,7 +5778,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(if (TYPE_UNSIGNED (TREE_TYPE (@1)))
(icmp @0 { csts; })
(with { tree utype = unsigned_type_for (TREE_TYPE (@1)); }
(icmp (convert:utype @0) { csts; }))))))))
(icmp (view_convert:utype @0) { csts; }))))))))
/* When one argument is a constant, overflow detection can be simplified.
Currently restricted to single use so as not to interfere too much with

11
gcc/testsuite/gcc.c-torture/compile/pr104499.c Normal file
View File

@ -0,0 +1,11 @@
/* PR tree-optimization/104499 */
typedef int __attribute__((__vector_size__ (8 * sizeof (int)))) V;
V v;
void
foo (void)
{
v = ((1 | v) != 1);
}