gcc/testsuite/gcc.dg/predict-3.c

   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 "loop iv compare heuristics: 100.0%" 3 "profile_estimate"} } */