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
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
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 
57 __attribute__((assume("C:public_method2"))) void C::public_method() {
58   private_method();
59 }
60 
61 __attribute__((assume("C:public_static2"))) void C::public_static() {
62   private_static();
63 }
64 
65 /// template tests
66 template <typename T>
67 __attribute__((assume("template_func<T>"))) void template_func() {}
68 
69 template <>
70 __attribute__((assume("template_func<float>"))) void template_func<float>() {}
71 
72 template <>
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 <>
81 __attribute__((assume("S<float>::method"))) void S<float>::method() {}
82 
83 template <>
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