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-4.c
1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-optimized" } */
3
4 _Bool t();
5 _Bool t1();
6
7 _Bool f1()
8 {
9 return t() && t1();
10 }
11
12 /* There should be only one if, the outer one; the inner one
13 should have been changed to straight line code with the
14 value of b (except that we don't fold ! (b != 0) into b
15 which means that we miss a sib calling opportunity). */
16 /* { dg-final { scan-tree-dump-times "if " 1 "optimized"} } */
17 /* { dg-final { cleanup-tree-dump "optimized" } } */