| // RUN: %clang_cc1 -O1 -disable-llvm-passes -emit-llvm %s -o - -triple=x86_64-linux-gnu -verify |
| // RUN: %clang_cc1 -O1 -disable-llvm-passes -emit-llvm %s -o - -triple=x86_64-linux-gnu | FileCheck %s |
| |
| void wl(int e){ |
| // CHECK-LABEL: define{{.*}}wl |
| // CHECK: br {{.*}} !prof !6 |
| while(e) [[likely]] ++e; |
| } |
| |
| void wu(int e){ |
| // CHECK-LABEL: define{{.*}}wu |
| // CHECK: br {{.*}} !prof !10 |
| while(e) [[unlikely]] ++e; |
| } |
| |
| void w_branch_elided(unsigned e){ |
| // CHECK-LABEL: define{{.*}}w_branch_elided |
| // CHECK-NOT: br {{.*}} !prof |
| // expected-warning@+2 {{attribute 'likely' has no effect when annotating an infinite loop}} |
| // expected-note@+1 {{annotating the infinite loop here}} |
| while(1) [[likely]] ++e; |
| } |
| |
| void fl(unsigned e) |
| { |
| // CHECK-LABEL: define{{.*}}fl |
| // CHECK: br {{.*}} !prof !6 |
| for(int i = 0; i != e; ++e) [[likely]]; |
| } |
| |
| void fu(int e) |
| { |
| // CHECK-LABEL: define{{.*}}fu |
| // CHECK: br {{.*}} !prof !10 |
| for(int i = 0; i != e; ++e) [[unlikely]]; |
| } |
| |
| void f_branch_elided() |
| { |
| // CHECK-LABEL: define{{.*}}f_branch_elided |
| // CHECK-NOT: br {{.*}} !prof |
| for(;;) [[likely]]; |
| } |
| |
| void frl(int (&&e) [4]) |
| { |
| // CHECK-LABEL: define{{.*}}frl |
| // CHECK: br {{.*}} !prof !6 |
| for(int i : e) [[likely]]; |
| } |
| |
| void fru(int (&&e) [4]) |
| { |
| // CHECK-LABEL: define{{.*}}fru |
| // CHECK: br {{.*}} !prof !10 |
| for(int i : e) [[unlikely]]; |
| } |
| |
| // CHECK: !6 = !{!"branch_weights", i32 2000, i32 1} |
| // CHECK: !10 = !{!"branch_weights", i32 1, i32 2000} |