| // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s -O1 -disable-llvm-passes | FileCheck %s --check-prefix=ALL --check-prefix=O1 |
| // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s -O0 | FileCheck %s --check-prefix=ALL --check-prefix=O0 |
| extern int global; |
| |
| int expect_taken(int x) { |
| // ALL-LABEL: expect_taken |
| // O1: call i64 @llvm.expect.with.probability.i64(i64 {{%.*}}, i64 1, double 9.000000e-01) |
| // O0-NOT: @llvm.expect.with.probability |
| |
| if (__builtin_expect_with_probability(x == 100, 1, 0.9)) { |
| return 0; |
| } |
| return x; |
| } |
| |
| int expect_not_taken(int x) { |
| // ALL-LABEL: expect_not_taken |
| // O1: call i64 @llvm.expect.with.probability.i64(i64 {{%.*}}, i64 0, double 9.000000e-01) |
| // O0-NOT: @llvm.expect.with.probability |
| |
| if (__builtin_expect_with_probability(x == 100, 0, 0.9)) { |
| return 0; |
| } |
| return x; |
| } |
| |
| struct S { |
| static constexpr int prob = 1; |
| }; |
| |
| template<typename T> |
| int expect_taken_template(int x) { |
| // ALL-LABEL: expect_taken_template |
| // O1: call i64 @llvm.expect.with.probability.i64(i64 {{%.*}}, i64 1, double 1.000000e+00) |
| // O0-NOT: @llvm.expect.with.probability |
| |
| if (__builtin_expect_with_probability (x == 100, 1, T::prob)) { |
| return 0; |
| } |
| return x; |
| } |
| |
| int f() { |
| return expect_taken_template<S>(global); |
| } |
| |
| int x; |
| extern "C" { |
| int y(void); |
| } |
| void foo(); |
| |
| void expect_value_side_effects() { |
| // ALL-LABEL: expect_value_side_effects |
| // ALL: [[CALL:%.*]] = call i32 @y |
| // O1: [[SEXT:%.*]] = sext i32 [[CALL]] to i64 |
| // O1: call i64 @llvm.expect.with.probability.i64(i64 {{%.*}}, i64 [[SEXT]], double 6.000000e-01) |
| // O0-NOT: @llvm.expect.with.probability |
| |
| if (__builtin_expect_with_probability(x, y(), 0.6)) |
| foo(); |
| } |
| |
| int switch_cond(int x) { |
| // ALL-LABEL: switch_cond |
| // O1: call i64 @llvm.expect.with.probability.i64(i64 {{%.*}}, i64 1, double 8.000000e-01) |
| // O0-NOT: @llvm.expect.with.probability |
| |
| switch (__builtin_expect_with_probability(x, 1, 0.8)) { |
| case 0: |
| x = x + 0; |
| case 1: |
| x = x + 1; |
| case 2: |
| x = x + 2; |
| case 5: |
| x = x + 5; |
| default: |
| x = x + 6; |
| } |
| return x; |
| } |
| |
| constexpr double prob = 0.8; |
| |
| int variable_expected(int stuff) { |
| // ALL-LABEL: variable_expected |
| // O1: call i64 @llvm.expect.with.probability.i64(i64 {{%.*}}, i64 {{%.*}}, double 8.000000e-01) |
| // O0-NOT: @llvm.expect.with.probability |
| |
| int res = 0; |
| |
| switch(__builtin_expect_with_probability(stuff, stuff, prob)) { |
| case 0: |
| res = 1; |
| break; |
| default: |
| break; |
| } |
| return res; |
| } |