1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-profile_estimate" } */
3 
4 extern int global;
5 
6 int bar(int);
7 
foo(int bound)8 void foo (int bound)
9 {
10   int i, ret = 0;
11   for (i = 0; i <= bound; i++)
12     {
13       if (i < bound - 2)
14 	global += bar (i);
15       /* The following test is redundant with the loop bound check in the
16          for stmt and thus eliminated by FRE which makes the controlled
17 	 stmt always executed and thus equivalent to 100%.  Thus the
18 	 heuristic only applies three times.  */
19       if (i <= bound)
20 	global += bar (i);
21       if (i + 1 < bound)
22 	global += bar (i);
23       if (i != bound)
24 	global += bar (i);
25     }
26 }
27 
28 /* { dg-final { scan-tree-dump-times "guess loop iv compare heuristics of edge\[^:\]*: 64.00%" 3 "profile_estimate"} } */
29