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.
(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
--- /dev/null
+/* 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;
+}
--- /dev/null
+/* 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);
+}