1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
| // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -disable-llvm-passes -o - %s -O1 | FileCheck %s
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -disable-llvm-passes -o - -x c++ %s -O1 | FileCheck %s
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s -O0 | FileCheck %s --check-prefix=CHECK_O0
// When optimizing, the builtin should be converted to metadata.
// When not optimizing, there should be no metadata created for the builtin.
// In both cases, the builtin should be removed from the code.
#ifdef __cplusplus
extern "C" {
#endif
void foo();
void branch(int x) {
// CHECK-LABEL: define void @branch(
// CHECK-NOT: builtin_unpredictable
// CHECK: !unpredictable [[METADATA:.+]]
// CHECK_O0-NOT: builtin_unpredictable
// CHECK_O0-NOT: !unpredictable
if (__builtin_unpredictable(x > 0))
foo ();
}
int unpredictable_switch(int x) {
// CHECK-LABEL: @unpredictable_switch(
// CHECK-NOT: builtin_unpredictable
// CHECK: !unpredictable [[METADATA:.+]]
// CHECK_O0-NOT: builtin_unpredictable
// CHECK_O0-NOT: !unpredictable
switch(__builtin_unpredictable(x)) {
default:
return 0;
case 0:
case 1:
case 2:
return 1;
case 5:
return 5;
};
return 0;
}
#ifdef __cplusplus
}
#endif
// CHECK: [[METADATA]] = !{}
|