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