gcc/testsuite/gcc.dg/tree-ssa/andor-7.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-original" } */
   3 /* PR tree-optimization/98710 */
   4
   5 signed foo(signed x, signed y, signed z)
   6 {
   7     return (x | z) & ~(y | z); // x & ~(y | z);
   8 }
   9 // Note . here is `(` or `)`
  10 /* { dg-final { scan-tree-dump "return x \& ~.y \\| z.;|return ~.y \\| z. \& x;" "original" } } */
  11
  12 signed foo_or(signed a, signed b, signed c)
  13 {
  14     return (a & c) | ~(b & c); // a | ~(b & c);
  15 }
  16 /* { dg-final { scan-tree-dump "return a \\| ~.b \& c.;|return ~.b \& c. \\| a;" "original" } } */