1 // RUN: %clang_cc1 -emit-llvm -triple i386-linux-gnu %s -o - | FileCheck %s
2 // RUN: %clang_cc1 -x c++ -emit-pch -triple i386-linux-gnu -o %t %s
3 // RUN: %clang_cc1 -include-pch %t %s -triple i386-linux-gnu -emit-llvm -o - | FileCheck %s
4 // expected-no-diagnostics
5
6 #ifndef HEADER
7 #define HEADER
8
9 /// foo: declarations only
10
11 __attribute__((assume("foo:before1"))) void foo();
12
13 __attribute__((assume("foo:before2")))
14 __attribute__((assume("foo:before3"))) void
15 foo();
16
17 /// baz: static function declarations and a definition
18
19 __attribute__((assume("baz:before1"))) static void baz();
20
21 __attribute__((assume("baz:before2")))
22 __attribute__((assume("baz:before3"))) static void
23 baz();
24
25 // Definition
baz()26 __attribute__((assume("baz:def1,baz:def2"))) static void baz() { foo(); }
27
28 __attribute__((assume("baz:after"))) static void baz();
29
30 /// bar: external function declarations and a definition
31
32 __attribute__((assume("bar:before1"))) void bar();
33
34 __attribute__((assume("bar:before2")))
35 __attribute__((assume("bar:before3"))) void
36 bar();
37
38 // Definition
bar()39 __attribute__((assume("bar:def1,bar:def2"))) void bar() { baz(); }
40
41 __attribute__((assume("bar:after"))) void bar();
42
43 /// back to foo
44
45 __attribute__((assume("foo:after"))) void foo();
46
47 /// class tests
48 class C {
49 __attribute__((assume("C:private_method"))) void private_method();
50 __attribute__((assume("C:private_static"))) static void private_static();
51
52 public:
53 __attribute__((assume("C:public_method1"))) void public_method();
54 __attribute__((assume("C:public_static1"))) static void public_static();
55 };
56
public_method()57 __attribute__((assume("C:public_method2"))) void C::public_method() {
58 private_method();
59 }
60
public_static()61 __attribute__((assume("C:public_static2"))) void C::public_static() {
62 private_static();
63 }
64
65 /// template tests
66 template <typename T>
template_func()67 __attribute__((assume("template_func<T>"))) void template_func() {}
68
69 template <>
template_func()70 __attribute__((assume("template_func<float>"))) void template_func<float>() {}
71
72 template <>
template_func()73 void template_func<int>() {}
74
75 template <typename T>
76 struct S {
77 __attribute__((assume("S<T>::method"))) void method();
78 };
79
80 template <>
method()81 __attribute__((assume("S<float>::method"))) void S<float>::method() {}
82
83 template <>
method()84 void S<int>::method() {}
85
86 // CHECK: define{{.*}} void @_Z3barv() #0
87 // CHECK: define{{.*}} void @_ZL3bazv() #1
88 // CHECK: define{{.*}} void @_ZN1C13public_methodEv({{.*}}) #2
89 // CHECK: declare{{.*}} void @_ZN1C14private_methodEv({{.*}}) #3
90 // CHECK: define{{.*}} void @_ZN1C13public_staticEv() #4
91 // CHECK: declare{{.*}} void @_ZN1C14private_staticEv() #5
92 // CHECK: define{{.*}} void @_Z13template_funcIfEvv() #6
93 // CHECK: define{{.*}} void @_Z13template_funcIiEvv() #7
94 // CHECK: define{{.*}} void @_ZN1SIfE6methodEv({{.*}}) #8
95 // CHECK: define{{.*}} void @_ZN1SIiE6methodEv({{.*}}) #9
96 // CHECK: declare{{.*}} void @_Z3foov() #10
97 // CHECK: attributes #0
98 // CHECK-SAME: "llvm.assume"="bar:before1,bar:before2,bar:before3,bar:def1,bar:def2"
99 // CHECK: attributes #1
100 // CHECK-SAME: "llvm.assume"="baz:before1,baz:before2,baz:before3,baz:def1,baz:def2,baz:after"
101 // CHECK: attributes #2
102 // CHECK-SAME: "llvm.assume"="C:public_method1,C:public_method2"
103 // CHECK: attributes #3
104 // CHECK-SAME: "llvm.assume"="C:private_method"
105 // CHECK: attributes #4
106 // CHECK-SAME: "llvm.assume"="C:public_static1,C:public_static2"
107 // CHECK: attributes #5
108 // CHECK-SAME: "llvm.assume"="C:private_static"
109 // CHECK: attributes #6
110 // CHECK-SAME: "llvm.assume"="template_func<T>,template_func<float>"
111 // CHECK: attributes #7
112 // CHECK-SAME: "llvm.assume"="template_func<T>"
113 // CHECK: attributes #8
114 // CHECK-SAME: "llvm.assume"="S<T>::method,S<float>::method"
115 // CHECK: attributes #9
116 // CHECK-SAME: "llvm.assume"="S<T>::method"
117 // CHECK: attributes #10
118 // CHECK-SAME: "llvm.assume"="foo:before1,foo:before2,foo:before3"
119
120 #endif
121