| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-profile_estimate-details" } */ |
| |
| extern int global; |
| |
| void foo (int base) |
| { |
| for (int i = 0; __builtin_expect_with_probability (i < base, 1, 0.05f); i++) |
| global++; |
| } |
| |
| /* { dg-final { scan-tree-dump "first match heuristics: 5.00%" "profile_estimate"} } */ |
| /* { dg-final { scan-tree-dump "__builtin_expect_with_probability heuristics of edge .*->.*: 5.00%" "profile_estimate"} } */ |
| /* { dg-final { scan-tree-dump "is probably executed at most 19" "profile_estimate"} } */ |
| |