1 | // RUN: %clang_cc1 -fsyntax-only -fopenmp -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify %s -Wno-openmp-target |
2 | |
3 | // RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify %s -Wno-openmp-target |
4 | |
5 | class S { |
6 | int a; |
7 | S() : a(0) {} |
8 | |
9 | public: |
10 | S(int v) : a(v) {} |
11 | S(const S &s) : a(s.a) {} |
12 | }; |
13 | |
14 | static int sii; |
15 | // expected-note@+1 {{defined as threadprivate or thread local}} |
16 | #pragma omp threadprivate(sii) |
17 | static int globalii; |
18 | |
19 | int test_iteration_spaces() { |
20 | const int N = 100; |
21 | float a[N], b[N], c[N]; |
22 | int ii, jj, kk; |
23 | float fii; |
24 | double dii; |
25 | #pragma omp target parallel for |
26 | for (int i = 0; i < 10; i += 1) { |
27 | c[i] = a[i] + b[i]; |
28 | } |
29 | #pragma omp target parallel for |
30 | for (char i = 0; i < 10; i++) { |
31 | c[i] = a[i] + b[i]; |
32 | } |
33 | #pragma omp target parallel for |
34 | for (char i = 0; i < 10; i += '\1') { |
35 | c[i] = a[i] + b[i]; |
36 | } |
37 | #pragma omp target parallel for |
38 | for (long long i = 0; i < 10; i++) { |
39 | c[i] = a[i] + b[i]; |
40 | } |
41 | // expected-error@+2 {{expression must have integral or unscoped enumeration type, not 'double'}} |
42 | #pragma omp target parallel for |
43 | for (long long i = 0; i < 10; i += 1.5) { |
44 | c[i] = a[i] + b[i]; |
45 | } |
46 | #pragma omp target parallel for |
47 | for (long long i = 0; i < 'z'; i += 1u) { |
48 | c[i] = a[i] + b[i]; |
49 | } |
50 | // expected-error@+2 {{variable must be of integer or random access iterator type}} |
51 | #pragma omp target parallel for |
52 | for (float fi = 0; fi < 10.0; fi++) { |
53 | c[(int)fi] = a[(int)fi] + b[(int)fi]; |
54 | } |
55 | // expected-error@+2 {{variable must be of integer or random access iterator type}} |
56 | #pragma omp target parallel for |
57 | for (double fi = 0; fi < 10.0; fi++) { |
58 | c[(int)fi] = a[(int)fi] + b[(int)fi]; |
59 | } |
60 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
61 | #pragma omp target parallel for |
62 | for (int &ref = ii; ref < 10; ref++) { |
63 | } |
64 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
65 | #pragma omp target parallel for |
66 | for (int i; i < 10; i++) |
67 | c[i] = a[i]; |
68 | |
69 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
70 | #pragma omp target parallel for |
71 | for (int i = 0, j = 0; i < 10; ++i) |
72 | c[i] = a[i]; |
73 | |
74 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
75 | #pragma omp target parallel for |
76 | for (; ii < 10; ++ii) |
77 | c[ii] = a[ii]; |
78 | |
79 | // expected-warning@+3 {{expression result unused}} |
80 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
81 | #pragma omp target parallel for |
82 | for (ii + 1; ii < 10; ++ii) |
83 | c[ii] = a[ii]; |
84 | |
85 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
86 | #pragma omp target parallel for |
87 | for (c[ii] = 0; ii < 10; ++ii) |
88 | c[ii] = a[ii]; |
89 | |
90 | // Ok to skip parenthesises. |
91 | #pragma omp target parallel for |
92 | for (((ii)) = 0; ii < 10; ++ii) |
93 | c[ii] = a[ii]; |
94 | |
95 | // expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} |
96 | #pragma omp target parallel for |
97 | for (int i = 0; i; i++) |
98 | c[i] = a[i]; |
99 | |
100 | // expected-error@+3 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} |
101 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'i'}} |
102 | #pragma omp target parallel for |
103 | for (int i = 0; jj < kk; ii++) |
104 | c[i] = a[i]; |
105 | |
106 | // expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} |
107 | #pragma omp target parallel for |
108 | for (int i = 0; !!i; i++) |
109 | c[i] = a[i]; |
110 | |
111 | // Ok |
112 | #pragma omp target parallel for |
113 | for (int i = 0; i != 1; i++) |
114 | c[i] = a[i]; |
115 | |
116 | // expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}} |
117 | #pragma omp target parallel for |
118 | for (int i = 0;; i++) |
119 | c[i] = a[i]; |
120 | |
121 | // Ok. |
122 | #pragma omp target parallel for |
123 | for (int i = 11; i > 10; i--) |
124 | c[i] = a[i]; |
125 | |
126 | // Ok. |
127 | #pragma omp target parallel for |
128 | for (int i = 0; i < 10; ++i) |
129 | c[i] = a[i]; |
130 | |
131 | // Ok. |
132 | #pragma omp target parallel for |
133 | for (ii = 0; ii < 10; ++ii) |
134 | c[ii] = a[ii]; |
135 | |
136 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
137 | #pragma omp target parallel for |
138 | for (ii = 0; ii < 10; ++jj) |
139 | c[ii] = a[jj]; |
140 | |
141 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
142 | #pragma omp target parallel for |
143 | for (ii = 0; ii < 10; ++++ii) |
144 | c[ii] = a[ii]; |
145 | |
146 | // Ok but undefined behavior (in general, cannot check that incr |
147 | // is really loop-invariant). |
148 | #pragma omp target parallel for |
149 | for (ii = 0; ii < 10; ii = ii + ii) |
150 | c[ii] = a[ii]; |
151 | |
152 | // expected-error@+2 {{expression must have integral or unscoped enumeration type, not 'float'}} |
153 | #pragma omp target parallel for |
154 | for (ii = 0; ii < 10; ii = ii + 1.0f) |
155 | c[ii] = a[ii]; |
156 | |
157 | // Ok - step was converted to integer type. |
158 | #pragma omp target parallel for |
159 | for (ii = 0; ii < 10; ii = ii + (int)1.1f) |
160 | c[ii] = a[ii]; |
161 | |
162 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
163 | #pragma omp target parallel for |
164 | for (ii = 0; ii < 10; jj = ii + 2) |
165 | c[ii] = a[ii]; |
166 | |
167 | // expected-warning@+3 {{relational comparison result unused}} |
168 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
169 | #pragma omp target parallel for |
170 | for (ii = 0; ii<10; jj> kk + 2) |
171 | c[ii] = a[ii]; |
172 | |
173 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
174 | #pragma omp target parallel for |
175 | for (ii = 0; ii < 10;) |
176 | c[ii] = a[ii]; |
177 | |
178 | // expected-warning@+3 {{expression result unused}} |
179 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
180 | #pragma omp target parallel for |
181 | for (ii = 0; ii < 10; !ii) |
182 | c[ii] = a[ii]; |
183 | |
184 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
185 | #pragma omp target parallel for |
186 | for (ii = 0; ii < 10; ii ? ++ii : ++jj) |
187 | c[ii] = a[ii]; |
188 | |
189 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}} |
190 | #pragma omp target parallel for |
191 | for (ii = 0; ii < 10; ii = ii < 10) |
192 | c[ii] = a[ii]; |
193 | |
194 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
195 | // expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}} |
196 | #pragma omp target parallel for |
197 | for (ii = 0; ii < 10; ii = ii + 0) |
198 | c[ii] = a[ii]; |
199 | |
200 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
201 | // expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}} |
202 | #pragma omp target parallel for |
203 | for (ii = 0; ii < 10; ii = ii + (int)(0.8 - 0.45)) |
204 | c[ii] = a[ii]; |
205 | |
206 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
207 | // expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}} |
208 | #pragma omp target parallel for |
209 | for (ii = 0; (ii) < 10; ii -= 25) |
210 | c[ii] = a[ii]; |
211 | |
212 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
213 | // expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}} |
214 | #pragma omp target parallel for |
215 | for (ii = 0; (ii < 10); ii -= 0) |
216 | c[ii] = a[ii]; |
217 | |
218 | // expected-note@+3 {{loop step is expected to be negative due to this condition}} |
219 | // expected-error@+2 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}} |
220 | #pragma omp target parallel for |
221 | for (ii = 0; ii > 10; (ii += 0)) |
222 | c[ii] = a[ii]; |
223 | |
224 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
225 | // expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}} |
226 | #pragma omp target parallel for |
227 | for (ii = 0; ii < 10; (ii) = (1 - 1) + (ii)) |
228 | c[ii] = a[ii]; |
229 | |
230 | // expected-note@+3 {{loop step is expected to be negative due to this condition}} |
231 | // expected-error@+2 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}} |
232 | #pragma omp target parallel for |
233 | for ((ii = 0); ii > 10; (ii -= 0)) |
234 | c[ii] = a[ii]; |
235 | |
236 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
237 | // expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}} |
238 | #pragma omp target parallel for |
239 | for (ii = 0; (ii < 10); (ii -= 0)) |
240 | c[ii] = a[ii]; |
241 | |
242 | // expected-note@+2 {{defined as firstprivate}} |
243 | // expected-error@+2 {{loop iteration variable in the associated loop of 'omp target parallel for' directive may not be firstprivate, predetermined as private}} |
244 | #pragma omp target parallel for firstprivate(ii) |
245 | for (ii = 0; ii < 10; ii++) |
246 | c[ii] = a[ii]; |
247 | |
248 | // expected-note@+2 {{defined as linear}} |
249 | // expected-error@+2 {{loop iteration variable in the associated loop of 'omp target parallel for' directive may not be linear, predetermined as private}} |
250 | #pragma omp target parallel for linear(ii) |
251 | for (ii = 0; ii < 10; ii++) |
252 | c[ii] = a[ii]; |
253 | |
254 | #pragma omp target parallel for private(ii) |
255 | for (ii = 0; ii < 10; ii++) |
256 | c[ii] = a[ii]; |
257 | |
258 | #pragma omp target parallel for lastprivate(ii) |
259 | for (ii = 0; ii < 10; ii++) |
260 | c[ii] = a[ii]; |
261 | |
262 | { |
263 | // expected-error@+2 {{loop iteration variable in the associated loop of 'omp target parallel for' directive may not be threadprivate or thread local, predetermined as private}} |
264 | #pragma omp target parallel for |
265 | for (sii = 0; sii < 10; sii += 1) |
266 | c[sii] = a[sii]; |
267 | } |
268 | |
269 | { |
270 | #pragma omp target parallel for |
271 | for (globalii = 0; globalii < 10; globalii += 1) |
272 | c[globalii] = a[globalii]; |
273 | } |
274 | |
275 | { |
276 | #pragma omp target parallel for collapse(2) |
277 | for (ii = 0; ii < 10; ii += 1) |
278 | for (globalii = 0; globalii < 10; globalii += 1) |
279 | c[globalii] += a[globalii] + ii; |
280 | } |
281 | |
282 | // expected-error@+2 {{statement after '#pragma omp target parallel for' must be a for loop}} |
283 | #pragma omp target parallel for |
284 | for (auto &item : a) { |
285 | item = item + 1; |
286 | } |
287 | |
288 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
289 | // expected-error@+2 {{increment expression must cause 'i' to increase on each iteration of OpenMP for loop}} |
290 | #pragma omp target parallel for |
291 | for (unsigned i = 9; i < 10; i--) { |
292 | c[i] = a[i] + b[i]; |
293 | } |
294 | |
295 | int(*lb)[4] = nullptr; |
296 | #pragma omp target parallel for |
297 | for (int(*p)[4] = lb; p < lb + 8; ++p) { |
298 | } |
299 | |
300 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
301 | #pragma omp target parallel for |
302 | for (int a{0}; a < 10; ++a) { |
303 | } |
304 | |
305 | return 0; |
306 | } |
307 | |
308 | // Iterators allowed in openmp for-loops. |
309 | namespace std { |
310 | struct random_access_iterator_tag {}; |
311 | template <class Iter> |
312 | struct iterator_traits { |
313 | typedef typename Iter::difference_type difference_type; |
314 | typedef typename Iter::iterator_category iterator_category; |
315 | }; |
316 | template <class Iter> |
317 | typename iterator_traits<Iter>::difference_type |
318 | distance(Iter first, Iter last) { return first - last; } |
319 | } |
320 | class Iter0 { |
321 | public: |
322 | Iter0() {} |
323 | Iter0(const Iter0 &) {} |
324 | Iter0 operator++() { return *this; } |
325 | Iter0 operator--() { return *this; } |
326 | bool operator<(Iter0 a) { return true; } |
327 | }; |
328 | // expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'Iter0' for 1st argument}} |
329 | // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'Iter0' for 1st argument}} |
330 | int operator-(Iter0 a, Iter0 b) { return 0; } |
331 | class Iter1 { |
332 | public: |
333 | Iter1(float f = 0.0f, double d = 0.0) {} |
334 | Iter1(const Iter1 &) {} |
335 | Iter1 operator++() { return *this; } |
336 | Iter1 operator--() { return *this; } |
337 | bool operator<(Iter1 a) { return true; } |
338 | bool operator>=(Iter1 a) { return false; } |
339 | }; |
340 | class GoodIter { |
341 | public: |
342 | GoodIter() {} |
343 | GoodIter(const GoodIter &) {} |
344 | GoodIter(int fst, int snd) {} |
345 | GoodIter &operator=(const GoodIter &that) { return *this; } |
346 | GoodIter &operator=(const Iter0 &that) { return *this; } |
347 | GoodIter &operator+=(int x) { return *this; } |
348 | GoodIter &operator-=(int x) { return *this; } |
349 | explicit GoodIter(void *) {} |
350 | GoodIter operator++() { return *this; } |
351 | GoodIter operator--() { return *this; } |
352 | bool operator!() { return true; } |
353 | bool operator<(GoodIter a) { return true; } |
354 | bool operator<=(GoodIter a) { return true; } |
355 | bool operator>=(GoodIter a) { return false; } |
356 | typedef int difference_type; |
357 | typedef std::random_access_iterator_tag iterator_category; |
358 | }; |
359 | // expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'GoodIter' for 2nd argument}} |
360 | // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}} |
361 | int operator-(GoodIter a, GoodIter b) { return 0; } |
362 | // expected-note@+1 3 {{candidate function not viable: requires single argument 'a', but 2 arguments were provided}} |
363 | GoodIter operator-(GoodIter a) { return a; } |
364 | // expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'int' for 2nd argument}} |
365 | // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}} |
366 | GoodIter operator-(GoodIter a, int v) { return GoodIter(); } |
367 | // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'GoodIter' for 1st argument}} |
368 | GoodIter operator+(GoodIter a, int v) { return GoodIter(); } |
369 | // expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'int' for 1st argument}} |
370 | // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'int' for 1st argument}} |
371 | GoodIter operator-(int v, GoodIter a) { return GoodIter(); } |
372 | // expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'int' for 1st argument}} |
373 | GoodIter operator+(int v, GoodIter a) { return GoodIter(); } |
374 | |
375 | int test_with_random_access_iterator() { |
376 | GoodIter begin, end; |
377 | Iter0 begin0, end0; |
378 | #pragma omp target parallel for |
379 | for (GoodIter I = begin; I < end; ++I) |
380 | ++I; |
381 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
382 | #pragma omp target parallel for |
383 | for (GoodIter &I = begin; I < end; ++I) |
384 | ++I; |
385 | #pragma omp target parallel for |
386 | for (GoodIter I = begin; I >= end; --I) |
387 | ++I; |
388 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
389 | #pragma omp target parallel for |
390 | for (GoodIter I(begin); I < end; ++I) |
391 | ++I; |
392 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
393 | #pragma omp target parallel for |
394 | for (GoodIter I(nullptr); I < end; ++I) |
395 | ++I; |
396 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
397 | #pragma omp target parallel for |
398 | for (GoodIter I(0); I < end; ++I) |
399 | ++I; |
400 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
401 | #pragma omp target parallel for |
402 | for (GoodIter I(1, 2); I < end; ++I) |
403 | ++I; |
404 | #pragma omp target parallel for |
405 | for (begin = GoodIter(0); begin < end; ++begin) |
406 | ++begin; |
407 | // expected-error@+3 {{invalid operands to binary expression ('GoodIter' and 'const Iter0')}} |
408 | // expected-error@+2 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}} |
409 | #pragma omp target parallel for |
410 | for (begin = begin0; begin < end; ++begin) |
411 | ++begin; |
412 | // expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
413 | #pragma omp target parallel for |
414 | for (++begin; begin < end; ++begin) |
415 | ++begin; |
416 | #pragma omp target parallel for |
417 | for (begin = end; begin < end; ++begin) |
418 | ++begin; |
419 | // expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} |
420 | #pragma omp target parallel for |
421 | for (GoodIter I = begin; I - I; ++I) |
422 | ++I; |
423 | // expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} |
424 | #pragma omp target parallel for |
425 | for (GoodIter I = begin; begin < end; ++I) |
426 | ++I; |
427 | // expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}} |
428 | #pragma omp target parallel for |
429 | for (GoodIter I = begin; !I; ++I) |
430 | ++I; |
431 | // expected-note@+3 {{loop step is expected to be negative due to this condition}} |
432 | // expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}} |
433 | #pragma omp target parallel for |
434 | for (GoodIter I = begin; I >= end; I = I + 1) |
435 | ++I; |
436 | #pragma omp target parallel for |
437 | for (GoodIter I = begin; I >= end; I = I - 1) |
438 | ++I; |
439 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}} |
440 | #pragma omp target parallel for |
441 | for (GoodIter I = begin; I >= end; I = -I) |
442 | ++I; |
443 | // expected-note@+3 {{loop step is expected to be negative due to this condition}} |
444 | // expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}} |
445 | #pragma omp target parallel for |
446 | for (GoodIter I = begin; I >= end; I = 2 + I) |
447 | ++I; |
448 | // expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}} |
449 | #pragma omp target parallel for |
450 | for (GoodIter I = begin; I >= end; I = 2 - I) |
451 | ++I; |
452 | // expected-error@+2 {{invalid operands to binary expression ('Iter0' and 'int')}} |
453 | #pragma omp target parallel for |
454 | for (Iter0 I = begin0; I < end0; ++I) |
455 | ++I; |
456 | // Initializer is constructor without params. |
457 | // expected-error@+3 {{invalid operands to binary expression ('Iter0' and 'int')}} |
458 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
459 | #pragma omp target parallel for |
460 | for (Iter0 I; I < end0; ++I) |
461 | ++I; |
462 | Iter1 begin1, end1; |
463 | // expected-error@+3 {{invalid operands to binary expression ('Iter1' and 'Iter1')}} |
464 | // expected-error@+2 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}} |
465 | #pragma omp target parallel for |
466 | for (Iter1 I = begin1; I < end1; ++I) |
467 | ++I; |
468 | // expected-note@+3 {{loop step is expected to be negative due to this condition}} |
469 | // expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}} |
470 | #pragma omp target parallel for |
471 | for (Iter1 I = begin1; I >= end1; ++I) |
472 | ++I; |
473 | // expected-error@+5 {{invalid operands to binary expression ('Iter1' and 'float')}} |
474 | // expected-error@+4 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}} |
475 | // Initializer is constructor with all default params. |
476 | // expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}} |
477 | #pragma omp target parallel for |
478 | for (Iter1 I; I < end1; ++I) { |
479 | } |
480 | return 0; |
481 | } |
482 | |
483 | template <typename IT, int ST> |
484 | class TC { |
485 | public: |
486 | int dotest_lt(IT begin, IT end) { |
487 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
488 | // expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}} |
489 | #pragma omp target parallel for |
490 | for (IT I = begin; I < end; I = I + ST) { |
491 | ++I; |
492 | } |
493 | // expected-note@+3 {{loop step is expected to be positive due to this condition}} |
494 | // expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}} |
495 | #pragma omp target parallel for |
496 | for (IT I = begin; I <= end; I += ST) { |
497 | ++I; |
498 | } |
499 | #pragma omp target parallel for |
500 | for (IT I = begin; I < end; ++I) { |
501 | ++I; |
502 | } |
503 | } |
504 | |
505 | static IT step() { |
506 | return IT(ST); |
507 | } |
508 | }; |
509 | template <typename IT, int ST = 0> |
510 | int dotest_gt(IT begin, IT end) { |
511 | // expected-note@+3 2 {{loop step is expected to be negative due to this condition}} |
512 | // expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}} |
513 | #pragma omp target parallel for |
514 | for (IT I = begin; I >= end; I = I + ST) { |
515 | ++I; |
516 | } |
517 | // expected-note@+3 2 {{loop step is expected to be negative due to this condition}} |
518 | // expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}} |
519 | #pragma omp target parallel for |
520 | for (IT I = begin; I >= end; I += ST) { |
521 | ++I; |
522 | } |
523 | |
524 | // expected-note@+3 {{loop step is expected to be negative due to this condition}} |
525 | // expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}} |
526 | #pragma omp target parallel for |
527 | for (IT I = begin; I >= end; ++I) { |
528 | ++I; |
529 | } |
530 | |
531 | #pragma omp target parallel for |
532 | for (IT I = begin; I < end; I += TC<int, ST>::step()) { |
533 | ++I; |
534 | } |
535 | } |
536 | |
537 | void test_with_template() { |
538 | GoodIter begin, end; |
539 | TC<GoodIter, 100> t1; |
540 | TC<GoodIter, -100> t2; |
541 | t1.dotest_lt(begin, end); |
542 | t2.dotest_lt(begin, end); // expected-note {{in instantiation of member function 'TC<GoodIter, -100>::dotest_lt' requested here}} |
543 | dotest_gt(begin, end); // expected-note {{in instantiation of function template specialization 'dotest_gt<GoodIter, 0>' requested here}} |
544 | dotest_gt<unsigned, 10>(0, 100); // expected-note {{in instantiation of function template specialization 'dotest_gt<unsigned int, 10>' requested here}} |
545 | } |
546 | |
547 | void test_loop_break() { |
548 | const int N = 100; |
549 | float a[N], b[N], c[N]; |
550 | #pragma omp target parallel for |
551 | for (int i = 0; i < 10; i++) { |
552 | c[i] = a[i] + b[i]; |
553 | for (int j = 0; j < 10; ++j) { |
554 | if (a[i] > b[j]) |
555 | break; // OK in nested loop |
556 | } |
557 | switch (i) { |
558 | case 1: |
559 | b[i]++; |
560 | break; |
561 | default: |
562 | break; |
563 | } |
564 | if (c[i] > 10) |
565 | break; // expected-error {{'break' statement cannot be used in OpenMP for loop}} |
566 | |
567 | if (c[i] > 11) |
568 | break; // expected-error {{'break' statement cannot be used in OpenMP for loop}} |
569 | } |
570 | |
571 | #pragma omp target parallel for |
572 | for (int i = 0; i < 10; i++) { |
573 | for (int j = 0; j < 10; j++) { |
574 | c[i] = a[i] + b[i]; |
575 | if (c[i] > 10) { |
576 | if (c[i] < 20) { |
577 | break; // OK |
578 | } |
579 | } |
580 | } |
581 | } |
582 | } |
583 | |
584 | void test_loop_eh() { |
585 | const int N = 100; |
586 | float a[N], b[N], c[N]; |
587 | #pragma omp target parallel for |
588 | for (int i = 0; i < 10; i++) { |
589 | c[i] = a[i] + b[i]; |
590 | try { |
591 | for (int j = 0; j < 10; ++j) { |
592 | if (a[i] > b[j]) |
593 | throw a[i]; |
594 | } |
595 | throw a[i]; |
596 | } catch (float f) { |
597 | if (f > 0.1) |
598 | throw a[i]; |
599 | return; // expected-error {{cannot return from OpenMP region}} |
600 | } |
601 | switch (i) { |
602 | case 1: |
603 | b[i]++; |
604 | break; |
605 | default: |
606 | break; |
607 | } |
608 | for (int j = 0; j < 10; j++) { |
609 | if (c[i] > 10) |
610 | throw c[i]; |
611 | } |
612 | } |
613 | if (c[9] > 10) |
614 | throw c[9]; // OK |
615 | |
616 | #pragma omp target parallel for |
617 | for (int i = 0; i < 10; ++i) { |
618 | struct S { |
619 | void g() { throw 0; } |
620 | }; |
621 | } |
622 | } |
623 | |
624 | void test_loop_firstprivate_lastprivate() { |
625 | S s(4); |
626 | #pragma omp target parallel for lastprivate(s) firstprivate(s) |
627 | for (int i = 0; i < 16; ++i) |
628 | ; |
629 | } |
630 | |