You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
61 lines
1.4 KiB
61 lines
1.4 KiB
4 months ago
|
// 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}
|