gcc/testsuite/gcc.dg/tree-ssa/cond-bool-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 --param logical-op-non-short-circuit=1 -fdump-tree-optimized-raw" } */
   3
   4 /* PR tree-optimization/95929 */
   5
   6
   7 static inline _Bool nand(_Bool a, _Bool b)
   8 {
   9     return !(a && b);
  10 }
  11
  12 _Bool f(int a, int b)
  13 {
  14     return nand(nand(b, nand(a, a)), nand(a, nand(b, b)));
  15 }
  16
  17 /* We should be able to optimize this to (a != 0) ^ (b != 0) */
  18 /* There should be no negate_expr nor gimple_cond here. */
  19
  20 /* { dg-final { scan-tree-dump-not "negate_expr, " "optimized" } } */
  21 /* { dg-final { scan-tree-dump-times "ne_expr, " 2 "optimized" } } */
  22 /* { dg-final { scan-tree-dump-not "gimple_cond " "optimized" } } */
  23 /* { dg-final { scan-tree-dump-not "cond_expr, " "optimized" } } */
  24 /* { dg-final { scan-tree-dump-not "gimple_phi " "optimized" } } */
  25 /* { dg-final { scan-tree-dump-times "bit_xor_expr, " 1 "optimized" } } */
  26 /* { dg-final { scan-tree-dump-times "gimple_assign " 3 "optimized" } } */