1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-profile_estimate" } */
       3  
       4  extern int global;
       5  
       6  int bar(int);
       7  
       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"} } */