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