mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-16 00:50:48 +08:00
Code Issues Packages Projects Releases Wiki Activity

match.pd: Don't create BIT_NOT_EXPRs for COMPLEX_TYPE [PR104675]

Browse Source 
We don't support BIT_{AND,IOR,XOR,NOT}_EXPR on complex types,
&/|/^ are just rejected for them, and ~ is parsed as CONJ_EXPR.
So, we should avoid simplifications which turn valid complex type
expressions into something that will ICE during expansion.

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

	PR tree-optimization/104675
	* match.pd (-A - 1 -> ~A, -1 - A -> ~A): Don't simplify for
	COMPLEX_TYPE.

	* gcc.dg/pr104675-1.c: New test.
	* gcc.dg/pr104675-2.c: New test.
This commit is contained in:
Jakub Jelinek 2022-02-25 10:55:17 +01:00
parent a9e2ebe839
commit 758671b88b
3 changed files with 50 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/match.pd
View File

@ -2776,13 +2776,15 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(simplify
(minus (convert? (negate @0)) integer_each_onep)
(if (!TYPE_OVERFLOW_TRAPS (type)
&& TREE_CODE (type) != COMPLEX_TYPE
&& tree_nop_conversion_p (type, TREE_TYPE (@0)))
(bit_not (convert @0))))
/* -1 - A -> ~A */
(simplify
(minus integer_all_onesp @0)
(bit_not @0))
(if (TREE_CODE (type) != COMPLEX_TYPE)
(bit_not @0)))
/* (T)(P + A) - (T)P -> (T) A */
(simplify

29
gcc/testsuite/gcc.dg/pr104675-1.c Normal file
View File

@ -0,0 +1,29 @@
/* PR tree-optimization/104675 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
_Complex int
foo (_Complex int a)
{
return (-1 + -1i) - a;
}
_Complex int
bar (_Complex int a)
{
return -a - (1 + 1i);
}
_Complex int
baz (_Complex int a)
{
_Complex int b = -1 + -1i;
return b - a;
}
_Complex int
qux (_Complex int a)
{
_Complex int b = 1 + 1i;
return -a - b;
}

18
gcc/testsuite/gcc.dg/pr104675-2.c Normal file
View File

@ -0,0 +1,18 @@
/* PR tree-optimization/104675 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
void baz (int i);
void
bar (_Complex int c, short s)
{
c -= s;
baz (__real__ c + __imag__ c);
}
void
foo (void)
{
bar (-1 - 1i, 0);
}