1 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -x c++ -emit-llvm %s -o - -femit-all-decls | FileCheck %s
2 // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-apple-darwin10 -emit-pch -o %t %s
3 // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-apple-darwin10 -include-pch %t -verify %s -emit-llvm -o - -femit-all-decls | FileCheck %s
4 // expected-no-diagnostics
5 #ifndef HEADER
6 #define HEADER
7 
8 #pragma omp declare simd linear(d : 8)
9 #pragma omp declare simd inbranch simdlen(32)
10 #pragma omp declare simd notinbranch
11 void add_1(float *d);
12 
13 #pragma omp declare simd linear(d : 8)
14 #pragma omp declare simd inbranch simdlen(32)
15 #pragma omp declare simd notinbranch
16 void add_1(float *d) {}
17 
18 #pragma omp declare simd linear(d : 8)
19 #pragma omp declare simd inbranch simdlen(32)
20 #pragma omp declare simd notinbranch
21 void add_2(float *d);
22 
23 #pragma omp declare simd aligned(hp, hp2)
24 template <class C>
25 void h(C *hp, C *hp2, C *hq, C *lin) {
26   add_2(0);
27 }
28 
29 // Explicit specialization with <C=int>.
30 // Pragmas need to be same, otherwise standard says that's undefined behavior.
31 #pragma omp declare simd aligned(hp, hp2)
32 template <>
33 void h(int *hp, int *hp2, int *hq, int *lin) {
34   // Implicit specialization with <C=float>.
35   // This is special case where the directive is stored by Sema and is
36   // generated together with the (pending) function instatiation.
37   h((float *)hp, (float *)hp2, (float *)hq, (float *)lin);
38 }
39 
40 class VV {
41 public:
42 #pragma omp declare simd uniform(this, a) linear(val(b) : a)
43   int add(int a, int b) __attribute__((cold)) { return a + b; }
44 
45 #pragma omp declare simd aligned(b : 4) aligned(a) linear(ref(b) : 4) linear(this, a)
46   float taddpf(float *a, float *&b) { return *a + *b; }
47 
48 #pragma omp declare simd linear(uval(c) : 8)
49 #pragma omp declare simd aligned(b : 8)
50   int tadd(int (&b)[], int &c) { return x[b[0]] + b[0]; }
51 
52 private:
53   int x[10];
54 } vv;
55 
56 template <int X, typename T>
57 class TVV {
58 public:
59 #pragma omp declare simd simdlen(X)
60   int tadd(int a, int b) { return a + b; }
61 
62 #pragma omp declare simd aligned(a : X * 2) aligned(b) linear(ref(b) : X)
63   float taddpf(float *a, T *&b) { return *a + *b; }
64 
65 #pragma omp declare simd
66 #pragma omp declare simd uniform(this, b)
67   int tadd(int b) { return x[b] + b; }
68 
69 private:
70   int x[X];
71 };
72 
73 #pragma omp declare simd simdlen(N) aligned(b : N * 2) linear(uval(c) : N)
74 template <int N>
75 void foo(int (&b)[N], float *&c) {}
76 
77 TVV<16, float> t16;
78 
79 void f(int (&g)[]) {
80   float a = 1.0f, b = 2.0f;
81   float *p = &b;
82   float r = t16.taddpf(&a, p);
83   int res = t16.tadd(b);
84   int c[64];
85   vv.add(res, res);
86   vv.taddpf(p, p);
87   vv.tadd(g, res);
88   foo(c, p);
89 }
90 
91 #pragma omp declare simd
92 #pragma omp declare simd notinbranch aligned(a : 32)
93 int bar(VV v, float *a) { return 0; }
94 #pragma omp declare simd
95 #pragma omp declare simd notinbranch aligned(a)
96 float baz(VV v, int a[]) { return 0; }
97 #pragma omp declare simd
98 #pragma omp declare simd notinbranch aligned(a)
99 double bay(VV v, double *&a) { return 0; }
100 #pragma omp declare simd
101 #pragma omp declare simd inbranch linear(a : b) uniform(v, b)
102 void bax(VV v, double *a, int b) {}
103 #pragma omp declare simd uniform(q) aligned(q : 16) linear(k : 1)
104 float foo(float *q, float x, int k) { return 0; }
105 #pragma omp declare simd notinbranch
106 double foo(double x) { return 0; }
107 
108 // CHECK-DAG: define {{.+}}@_Z5add_1Pf(
109 // CHECK-DAG: define {{.+}}@_Z1hIiEvPT_S1_S1_S1_(
110 // CHECK-DAG: define {{.+}}@_Z1hIfEvPT_S1_S1_S1_(
111 // CHECK-DAG: define {{.+}}@_ZN2VV3addEii(
112 // CHECK-DAG: define {{.+}}@_ZN2VV6taddpfEPfRS0_(
113 // CHECK-DAG: define {{.+}}@_ZN2VV4taddERA_iRi(
114 // CHECK-DAG: define {{.+}}@_Z1fRA_i(
115 // CHECK-DAG: define {{.+}}@_ZN3TVVILi16EfE6taddpfEPfRS1_(
116 // CHECK-DAG: define {{.+}}@_ZN3TVVILi16EfE4taddEi(
117 // CHECK-DAG: define {{.+}}@_Z3fooILi64EEvRAT__iRPf(
118 // CHECK-DAG: define {{.+}}@_Z3bar2VVPf(
119 // CHECK-DAG: define {{.+}}@_Z3baz2VVPi(
120 // CHECK-DAG: define {{.+}}@_Z3bay2VVRPd(
121 // CHECK-DAG: define {{.+}}@_Z3bax2VVPdi(
122 // CHECK-DAG: define {{.+}}@_Z3fooPffi(
123 // CHECK-DAG: define {{.+}}@_Z3food(
124 // CHECK-DAG: declare {{.+}}@_Z5add_2Pf(
125 
126 // CHECK-DAG: "_ZGVbM4l8__Z5add_1Pf"
127 // CHECK-DAG: "_ZGVbN4l8__Z5add_1Pf"
128 // CHECK-DAG: "_ZGVcM8l8__Z5add_1Pf"
129 // CHECK-DAG: "_ZGVcN8l8__Z5add_1Pf"
130 // CHECK-DAG: "_ZGVdM8l8__Z5add_1Pf"
131 // CHECK-DAG: "_ZGVdN8l8__Z5add_1Pf"
132 // CHECK-DAG: "_ZGVeM16l8__Z5add_1Pf"
133 // CHECK-DAG: "_ZGVeN16l8__Z5add_1Pf"
134 // CHECK-DAG: "_ZGVbM32v__Z5add_1Pf"
135 // CHECK-DAG: "_ZGVcM32v__Z5add_1Pf"
136 // CHECK-DAG: "_ZGVdM32v__Z5add_1Pf"
137 // CHECK-DAG: "_ZGVeM32v__Z5add_1Pf"
138 // CHECK-DAG: "_ZGVbN2v__Z5add_1Pf"
139 // CHECK-DAG: "_ZGVcN4v__Z5add_1Pf"
140 // CHECK-DAG: "_ZGVdN4v__Z5add_1Pf"
141 // CHECK-DAG: "_ZGVeN8v__Z5add_1Pf"
142 
143 // CHECK-DAG: "_ZGVbM2va16va16vv__Z1hIiEvPT_S1_S1_S1_"
144 // CHECK-DAG: "_ZGVbN2va16va16vv__Z1hIiEvPT_S1_S1_S1_"
145 // CHECK-DAG: "_ZGVcM4va16va16vv__Z1hIiEvPT_S1_S1_S1_"
146 // CHECK-DAG: "_ZGVcN4va16va16vv__Z1hIiEvPT_S1_S1_S1_"
147 // CHECK-DAG: "_ZGVdM4va16va16vv__Z1hIiEvPT_S1_S1_S1_"
148 // CHECK-DAG: "_ZGVdN4va16va16vv__Z1hIiEvPT_S1_S1_S1_"
149 // CHECK-DAG: "_ZGVeM8va16va16vv__Z1hIiEvPT_S1_S1_S1_"
150 // CHECK-DAG: "_ZGVeN8va16va16vv__Z1hIiEvPT_S1_S1_S1_"
151 
152 // CHECK-DAG: "_ZGVbM2va16va16vv__Z1hIfEvPT_S1_S1_S1_"
153 // CHECK-DAG: "_ZGVbN2va16va16vv__Z1hIfEvPT_S1_S1_S1_"
154 // CHECK-DAG: "_ZGVcM4va16va16vv__Z1hIfEvPT_S1_S1_S1_"
155 // CHECK-DAG: "_ZGVcN4va16va16vv__Z1hIfEvPT_S1_S1_S1_"
156 // CHECK-DAG: "_ZGVdM4va16va16vv__Z1hIfEvPT_S1_S1_S1_"
157 // CHECK-DAG: "_ZGVdN4va16va16vv__Z1hIfEvPT_S1_S1_S1_"
158 // CHECK-DAG: "_ZGVeM8va16va16vv__Z1hIfEvPT_S1_S1_S1_"
159 // CHECK-DAG: "_ZGVeN8va16va16vv__Z1hIfEvPT_S1_S1_S1_"
160 
161 // CHECK-DAG: "_ZGVbM4uus1__ZN2VV3addEii"
162 // CHECK-DAG: "_ZGVbN4uus1__ZN2VV3addEii"
163 // CHECK-DAG: "_ZGVcM8uus1__ZN2VV3addEii"
164 // CHECK-DAG: "_ZGVcN8uus1__ZN2VV3addEii"
165 // CHECK-DAG: "_ZGVdM8uus1__ZN2VV3addEii"
166 // CHECK-DAG: "_ZGVdN8uus1__ZN2VV3addEii"
167 // CHECK-DAG: "_ZGVeM16uus1__ZN2VV3addEii"
168 // CHECK-DAG: "_ZGVeN16uus1__ZN2VV3addEii"
169 
170 // CHECK-DAG: "_ZGVbM4lla16l4a4__ZN2VV6taddpfEPfRS0_"
171 // CHECK-DAG: "_ZGVbN4lla16l4a4__ZN2VV6taddpfEPfRS0_"
172 // CHECK-DAG: "_ZGVcM8lla16l4a4__ZN2VV6taddpfEPfRS0_"
173 // CHECK-DAG: "_ZGVcN8lla16l4a4__ZN2VV6taddpfEPfRS0_"
174 // CHECK-DAG: "_ZGVdM8lla16l4a4__ZN2VV6taddpfEPfRS0_"
175 // CHECK-DAG: "_ZGVdN8lla16l4a4__ZN2VV6taddpfEPfRS0_"
176 // CHECK-DAG: "_ZGVeM16lla16l4a4__ZN2VV6taddpfEPfRS0_"
177 // CHECK-DAG: "_ZGVeN16lla16l4a4__ZN2VV6taddpfEPfRS0_"
178 
179 // CHECK-DAG: "_ZGVbM4vvl8__ZN2VV4taddERA_iRi"
180 // CHECK-DAG: "_ZGVbN4vvl8__ZN2VV4taddERA_iRi"
181 // CHECK-DAG: "_ZGVcM8vvl8__ZN2VV4taddERA_iRi"
182 // CHECK-DAG: "_ZGVcN8vvl8__ZN2VV4taddERA_iRi"
183 // CHECK-DAG: "_ZGVdM8vvl8__ZN2VV4taddERA_iRi"
184 // CHECK-DAG: "_ZGVdN8vvl8__ZN2VV4taddERA_iRi"
185 // CHECK-DAG: "_ZGVeM16vvl8__ZN2VV4taddERA_iRi"
186 // CHECK-DAG: "_ZGVeN16vvl8__ZN2VV4taddERA_iRi"
187 // CHECK-DAG: "_ZGVbM4vva8v__ZN2VV4taddERA_iRi"
188 // CHECK-DAG: "_ZGVbN4vva8v__ZN2VV4taddERA_iRi"
189 // CHECK-DAG: "_ZGVcM8vva8v__ZN2VV4taddERA_iRi"
190 // CHECK-DAG: "_ZGVcN8vva8v__ZN2VV4taddERA_iRi"
191 // CHECK-DAG: "_ZGVdM8vva8v__ZN2VV4taddERA_iRi"
192 // CHECK-DAG: "_ZGVdN8vva8v__ZN2VV4taddERA_iRi"
193 // CHECK-DAG: "_ZGVeM16vva8v__ZN2VV4taddERA_iRi"
194 // CHECK-DAG: "_ZGVeN16vva8v__ZN2VV4taddERA_iRi"
195 
196 // CHECK-DAG: "_ZGVbM4vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
197 // CHECK-DAG: "_ZGVbN4vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
198 // CHECK-DAG: "_ZGVcM8vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
199 // CHECK-DAG: "_ZGVcN8vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
200 // CHECK-DAG: "_ZGVdM8vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
201 // CHECK-DAG: "_ZGVdN8vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
202 // CHECK-DAG: "_ZGVeM16vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
203 // CHECK-DAG: "_ZGVeN16vva32l16a16__ZN3TVVILi16EfE6taddpfEPfRS1_"
204 
205 // CHECK-DAG: "_ZGVbM4uu__ZN3TVVILi16EfE4taddEi"
206 // CHECK-DAG: "_ZGVbN4uu__ZN3TVVILi16EfE4taddEi"
207 // CHECK-DAG: "_ZGVcM8uu__ZN3TVVILi16EfE4taddEi"
208 // CHECK-DAG: "_ZGVcN8uu__ZN3TVVILi16EfE4taddEi"
209 // CHECK-DAG: "_ZGVdM8uu__ZN3TVVILi16EfE4taddEi"
210 // CHECK-DAG: "_ZGVdN8uu__ZN3TVVILi16EfE4taddEi"
211 // CHECK-DAG: "_ZGVeM16uu__ZN3TVVILi16EfE4taddEi"
212 // CHECK-DAG: "_ZGVeN16uu__ZN3TVVILi16EfE4taddEi"
213 // CHECK-DAG: "_ZGVbM4vv__ZN3TVVILi16EfE4taddEi"
214 // CHECK-DAG: "_ZGVbN4vv__ZN3TVVILi16EfE4taddEi"
215 // CHECK-DAG: "_ZGVcM8vv__ZN3TVVILi16EfE4taddEi"
216 // CHECK-DAG: "_ZGVcN8vv__ZN3TVVILi16EfE4taddEi"
217 // CHECK-DAG: "_ZGVdM8vv__ZN3TVVILi16EfE4taddEi"
218 // CHECK-DAG: "_ZGVdN8vv__ZN3TVVILi16EfE4taddEi"
219 // CHECK-DAG: "_ZGVeM16vv__ZN3TVVILi16EfE4taddEi"
220 // CHECK-DAG: "_ZGVeN16vv__ZN3TVVILi16EfE4taddEi"
221 
222 // CHECK-DAG: "_ZGVbM64va128l64__Z3fooILi64EEvRAT__iRPf"
223 // CHECK-DAG: "_ZGVbN64va128l64__Z3fooILi64EEvRAT__iRPf"
224 // CHECK-DAG: "_ZGVcM64va128l64__Z3fooILi64EEvRAT__iRPf"
225 // CHECK-DAG: "_ZGVcN64va128l64__Z3fooILi64EEvRAT__iRPf"
226 // CHECK-DAG: "_ZGVdM64va128l64__Z3fooILi64EEvRAT__iRPf"
227 // CHECK-DAG: "_ZGVdN64va128l64__Z3fooILi64EEvRAT__iRPf"
228 // CHECK-DAG: "_ZGVeM64va128l64__Z3fooILi64EEvRAT__iRPf"
229 // CHECK-DAG: "_ZGVeN64va128l64__Z3fooILi64EEvRAT__iRPf"
230 
231 // CHECK-DAG: "_ZGVbM4vv__Z3bar2VVPf"
232 // CHECK-DAG: "_ZGVbN4vv__Z3bar2VVPf"
233 // CHECK-DAG: "_ZGVcM8vv__Z3bar2VVPf"
234 // CHECK-DAG: "_ZGVcN8vv__Z3bar2VVPf"
235 // CHECK-DAG: "_ZGVdM8vv__Z3bar2VVPf"
236 // CHECK-DAG: "_ZGVdN8vv__Z3bar2VVPf"
237 // CHECK-DAG: "_ZGVeM16vv__Z3bar2VVPf"
238 // CHECK-DAG: "_ZGVeN16vv__Z3bar2VVPf"
239 // CHECK-DAG: "_ZGVbN4vva32__Z3bar2VVPf"
240 // CHECK-DAG: "_ZGVcN8vva32__Z3bar2VVPf"
241 // CHECK-DAG: "_ZGVdN8vva32__Z3bar2VVPf"
242 // CHECK-DAG: "_ZGVeN16vva32__Z3bar2VVPf"
243 
244 // CHECK-DAG: "_ZGVbM4vv__Z3baz2VVPi"
245 // CHECK-DAG: "_ZGVbN4vv__Z3baz2VVPi"
246 // CHECK-DAG: "_ZGVcM8vv__Z3baz2VVPi"
247 // CHECK-DAG: "_ZGVcN8vv__Z3baz2VVPi"
248 // CHECK-DAG: "_ZGVdM8vv__Z3baz2VVPi"
249 // CHECK-DAG: "_ZGVdN8vv__Z3baz2VVPi"
250 // CHECK-DAG: "_ZGVeM16vv__Z3baz2VVPi"
251 // CHECK-DAG: "_ZGVeN16vv__Z3baz2VVPi"
252 // CHECK-DAG: "_ZGVbN4vva16__Z3baz2VVPi"
253 // CHECK-DAG: "_ZGVcN8vva16__Z3baz2VVPi"
254 // CHECK-DAG: "_ZGVdN8vva16__Z3baz2VVPi"
255 // CHECK-DAG: "_ZGVeN16vva16__Z3baz2VVPi"
256 
257 // CHECK-DAG: "_ZGVbM2vv__Z3bay2VVRPd"
258 // CHECK-DAG: "_ZGVbN2vv__Z3bay2VVRPd"
259 // CHECK-DAG: "_ZGVcM4vv__Z3bay2VVRPd"
260 // CHECK-DAG: "_ZGVcN4vv__Z3bay2VVRPd"
261 // CHECK-DAG: "_ZGVdM4vv__Z3bay2VVRPd"
262 // CHECK-DAG: "_ZGVdN4vv__Z3bay2VVRPd"
263 // CHECK-DAG: "_ZGVeM8vv__Z3bay2VVRPd"
264 // CHECK-DAG: "_ZGVeN8vv__Z3bay2VVRPd"
265 // CHECK-DAG: "_ZGVbN2vva16__Z3bay2VVRPd"
266 // CHECK-DAG: "_ZGVcN4vva16__Z3bay2VVRPd"
267 // CHECK-DAG: "_ZGVdN4vva16__Z3bay2VVRPd"
268 // CHECK-DAG: "_ZGVeN8vva16__Z3bay2VVRPd"
269 
270 // CHECK-DAG: "_ZGVbM4us2u__Z3bax2VVPdi"
271 // CHECK-DAG: "_ZGVcM8us2u__Z3bax2VVPdi"
272 // CHECK-DAG: "_ZGVdM8us2u__Z3bax2VVPdi"
273 // CHECK-DAG: "_ZGVeM16us2u__Z3bax2VVPdi"
274 // CHECK-DAG: "_ZGVbM4vvv__Z3bax2VVPdi"
275 // CHECK-DAG: "_ZGVbN4vvv__Z3bax2VVPdi"
276 // CHECK-DAG: "_ZGVcM8vvv__Z3bax2VVPdi"
277 // CHECK-DAG: "_ZGVcN8vvv__Z3bax2VVPdi"
278 // CHECK-DAG: "_ZGVdM8vvv__Z3bax2VVPdi"
279 // CHECK-DAG: "_ZGVdN8vvv__Z3bax2VVPdi"
280 // CHECK-DAG: "_ZGVeM16vvv__Z3bax2VVPdi"
281 // CHECK-DAG: "_ZGVeN16vvv__Z3bax2VVPdi"
282 
283 // CHECK-DAG: "_ZGVbM4ua16vl1__Z3fooPffi"
284 // CHECK-DAG: "_ZGVbN4ua16vl1__Z3fooPffi"
285 // CHECK-DAG: "_ZGVcM8ua16vl1__Z3fooPffi"
286 // CHECK-DAG: "_ZGVcN8ua16vl1__Z3fooPffi"
287 // CHECK-DAG: "_ZGVdM8ua16vl1__Z3fooPffi"
288 // CHECK-DAG: "_ZGVdN8ua16vl1__Z3fooPffi"
289 // CHECK-DAG: "_ZGVeM16ua16vl1__Z3fooPffi"
290 // CHECK-DAG: "_ZGVeN16ua16vl1__Z3fooPffi"
291 
292 // CHECK-DAG: "_ZGVbM4l8__Z5add_2Pf"
293 // CHECK-DAG: "_ZGVbN4l8__Z5add_2Pf"
294 // CHECK-DAG: "_ZGVcM8l8__Z5add_2Pf"
295 // CHECK-DAG: "_ZGVcN8l8__Z5add_2Pf"
296 // CHECK-DAG: "_ZGVdM8l8__Z5add_2Pf"
297 // CHECK-DAG: "_ZGVdN8l8__Z5add_2Pf"
298 // CHECK-DAG: "_ZGVeM16l8__Z5add_2Pf"
299 // CHECK-DAG: "_ZGVeN16l8__Z5add_2Pf"
300 // CHECK-DAG: "_ZGVbM32v__Z5add_2Pf"
301 // CHECK-DAG: "_ZGVcM32v__Z5add_2Pf"
302 // CHECK-DAG: "_ZGVdM32v__Z5add_2Pf"
303 // CHECK-DAG: "_ZGVeM32v__Z5add_2Pf"
304 // CHECK-DAG: "_ZGVbN2v__Z5add_2Pf"
305 // CHECK-DAG: "_ZGVcN4v__Z5add_2Pf"
306 // CHECK-DAG: "_ZGVdN4v__Z5add_2Pf"
307 // CHECK-DAG: "_ZGVeN8v__Z5add_2Pf"
308 
309 // CHECK-DAG: "_ZGVbN2v__Z3food"
310 // CHECK-DAG: "_ZGVcN4v__Z3food"
311 // CHECK-DAG: "_ZGVdN4v__Z3food"
312 // CHECK-DAG: "_ZGVeN8v__Z3food"
313 
314 // CHECK-NOT: "_ZGV{{.+}}__Z1fRA_i
315 
316 #endif
317