gcc/testsuite/gcc.dg/tree-ssa/bitops-6.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-optimized-raw" } */
   3 /* PR tree-optimization/111282 */
   4
   5
   6 int f(int a, int b)
   7 {
   8   return a & (b ^ ~a); // a & b
   9 }
  10
  11 _Bool fb(_Bool x, _Bool y)
  12 {
  13   return x & (y ^ !x); // x & y
  14 }
  15
  16 int fa(int w, int z)
  17 {
  18   return (~w) & (w ^ z); // ~w & z
  19 }
  20
  21 int fcmp(int x, int y)
  22 {
  23   _Bool a = x == 2;
  24   _Bool b = y == 1;
  25   return a & (b ^ !a); // (x == 2) & (y == 1)
  26 }
  27
  28 /* { dg-final { scan-tree-dump-not   "bit_xor_expr, "   "optimized" } } */
  29 /* { dg-final { scan-tree-dump-times "bit_and_expr, " 4 "optimized" } } */
  30 /* { dg-final { scan-tree-dump-times "bit_not_expr, " 1 "optimized" } } */
  31 /* { dg-final { scan-tree-dump-not   "ne_expr, "        "optimized" } } */
  32 /* { dg-final { scan-tree-dump-times "eq_expr, "      2 "optimized" } } */
  33