re PR tree-optimization/33291 (a+=2; a+=2 not simplified to a+=4; with -O3 ...
[gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / phi-opt-2.c
1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-optimized" } */
3
4 _Bool f1(_Bool a, _Bool b)
5 {
6 if (a)
7 {
8 if (b)
9 return 1;
10 else
11 return 0;
12 }
13 return 0;
14 }
15
16
17 /* There should be only one if, the outer one; the inner one
18 should have been changed to straight line code with the
19 value of b (except that we don't fold ! (b != 0) into b
20 which can be fixed in a different patch). */
21 /* { dg-final { scan-tree-dump-times "if" 1 "optimized"} } */
22 /* { dg-final { cleanup-tree-dump "optimized" } } */