gcc/testsuite/gcc.dg/tree-ssa/predict-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-profile_estimate" } */
   3 int test2();
   4 int
   5 test (int a, int b)
   6 {
   7         if (__builtin_expect_with_probability (a, 0, 0.8)+__builtin_expect_with_probability (b, 5, 0.9) == 5)
   8                 test2();
   9 }
  10 /* Combining two predictions together can not be done precisely, so check that result is DS theory.  */
  11 /* { dg-final { scan-tree-dump-times "combined value predictions heuristics of edge .->.: 72.00" 1 "profile_estimate"} } */