Clang Project

clang_source_code/test/OpenMP/target_parallel_for_simd_loop_messages.cpp
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
5class S {
6  int a;
7  S() : a(0) {}
8
9public:
10  S(int v) : a(v) {}
11  S(const S &s) : a(s.a) {}
12};
13
14static int sii;
15// expected-note@+1 {{defined as threadprivate or thread local}}
16#pragma omp threadprivate(sii)
17static int globalii;
18
19int 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 simd
26  for (int i = 0; i < 10; i += 1) {
27    c[i] = a[i] + b[i];
28  }
29#pragma omp target parallel for simd
30  for (char i = 0; i < 10; i++) {
31    c[i] = a[i] + b[i];
32  }
33#pragma omp target parallel for simd
34  for (char i = 0; i < 10; i += '\1') {
35    c[i] = a[i] + b[i];
36  }
37#pragma omp target parallel for simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
108  for (int i = 0; !!i; i++)
109    c[i] = a[i];
110
111// Ok
112#pragma omp target parallel for simd
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 simd
118  for (int i = 0;; i++)
119    c[i] = a[i];
120
121// Ok.
122#pragma omp target parallel for simd
123  for (int i = 11; i > 10; i--)
124    c[i] = a[i];
125
126// Ok.
127#pragma omp target parallel for simd
128  for (int i = 0; i < 10; ++i)
129    c[i] = a[i];
130
131// Ok.
132#pragma omp target parallel for simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd
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 simd' directive may not be firstprivate, predetermined as linear}}
244#pragma omp target parallel for simd firstprivate(ii)
245  for (ii = 0; ii < 10; ii++)
246    c[ii] = a[ii];
247
248#pragma omp target parallel for simd linear(ii)
249  for (ii = 0; ii < 10; ii++)
250    c[ii] = a[ii];
251
252// expected-note@+2  {{defined as private}}
253// expected-error@+2 {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be private, predetermined as linear}}
254#pragma omp target parallel for simd private(ii)
255  for (ii = 0; ii < 10; ii++)
256    c[ii] = a[ii];
257
258// expected-note@+2  {{defined as lastprivate}}
259// expected-error@+2 {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be lastprivate, predetermined as linear}}
260#pragma omp target parallel for simd lastprivate(ii)
261  for (ii = 0; ii < 10; ii++)
262    c[ii] = a[ii];
263
264  {
265// expected-error@+2 {{loop iteration variable in the associated loop of 'omp target parallel for simd' directive may not be threadprivate or thread local, predetermined as linear}}
266#pragma omp target parallel for simd
267    for (sii = 0; sii < 10; sii += 1)
268      c[sii] = a[sii];
269  }
270
271  {
272#pragma omp target parallel for simd
273    for (globalii = 0; globalii < 10; globalii += 1)
274      c[globalii] = a[globalii];
275  }
276
277  {
278#pragma omp target parallel for simd collapse(2)
279    for (ii = 0; ii < 10; ii += 1)
280    for (globalii = 0; globalii < 10; globalii += 1)
281      c[globalii] += a[globalii] + ii;
282  }
283
284// expected-error@+2 {{statement after '#pragma omp target parallel for simd' must be a for loop}}
285#pragma omp target parallel for simd
286  for (auto &item : a) {
287    item = item + 1;
288  }
289
290// expected-note@+3 {{loop step is expected to be positive due to this condition}}
291// expected-error@+2 {{increment expression must cause 'i' to increase on each iteration of OpenMP for loop}}
292#pragma omp target parallel for simd
293  for (unsigned i = 9; i < 10; i--) {
294    c[i] = a[i] + b[i];
295  }
296
297  int(*lb)[4] = nullptr;
298#pragma omp target parallel for simd
299  for (int(*p)[4] = lb; p < lb + 8; ++p) {
300  }
301
302// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
303#pragma omp target parallel for simd
304  for (int a{0}; a < 10; ++a) {
305  }
306
307  return 0;
308}
309
310// Iterators allowed in openmp for-loops.
311namespace std {
312struct random_access_iterator_tag {};
313template <class Iter>
314struct iterator_traits {
315  typedef typename Iter::difference_type difference_type;
316  typedef typename Iter::iterator_category iterator_category;
317};
318template <class Iter>
319typename iterator_traits<Iter>::difference_type
320distance(Iter first, Iter last) { return first - last; }
321}
322class Iter0 {
323public:
324  Iter0() {}
325  Iter0(const Iter0 &) {}
326  Iter0 operator++() { return *this; }
327  Iter0 operator--() { return *this; }
328  bool operator<(Iter0 a) { return true; }
329};
330// expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'Iter0' for 1st argument}}
331// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'Iter0' for 1st argument}}
332int operator-(Iter0 a, Iter0 b) { return 0; }
333class Iter1 {
334public:
335  Iter1(float f = 0.0f, double d = 0.0) {}
336  Iter1(const Iter1 &) {}
337  Iter1 operator++() { return *this; }
338  Iter1 operator--() { return *this; }
339  bool operator<(Iter1 a) { return true; }
340  bool operator>=(Iter1 a) { return false; }
341};
342class GoodIter {
343public:
344  GoodIter() {}
345  GoodIter(const GoodIter &) {}
346  GoodIter(int fst, int snd) {}
347  GoodIter &operator=(const GoodIter &that) { return *this; }
348  GoodIter &operator=(const Iter0 &that) { return *this; }
349  GoodIter &operator+=(int x) { return *this; }
350  GoodIter &operator-=(int x) { return *this; }
351  explicit GoodIter(void *) {}
352  GoodIter operator++() { return *this; }
353  GoodIter operator--() { return *this; }
354  bool operator!() { return true; }
355  bool operator<(GoodIter a) { return true; }
356  bool operator<=(GoodIter a) { return true; }
357  bool operator>=(GoodIter a) { return false; }
358  typedef int difference_type;
359  typedef std::random_access_iterator_tag iterator_category;
360};
361// expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'GoodIter' for 2nd argument}}
362// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}}
363int operator-(GoodIter a, GoodIter b) { return 0; }
364// expected-note@+1 3 {{candidate function not viable: requires single argument 'a', but 2 arguments were provided}}
365GoodIter operator-(GoodIter a) { return a; }
366// expected-note@+2 {{candidate function not viable: no known conversion from 'const Iter0' to 'int' for 2nd argument}}
367// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'GoodIter' for 1st argument}}
368GoodIter operator-(GoodIter a, int v) { return GoodIter(); }
369// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'GoodIter' for 1st argument}}
370GoodIter operator+(GoodIter a, int v) { return GoodIter(); }
371// expected-note@+2 {{candidate function not viable: no known conversion from 'GoodIter' to 'int' for 1st argument}}
372// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter1' to 'int' for 1st argument}}
373GoodIter operator-(int v, GoodIter a) { return GoodIter(); }
374// expected-note@+1 2 {{candidate function not viable: no known conversion from 'Iter0' to 'int' for 1st argument}}
375GoodIter operator+(int v, GoodIter a) { return GoodIter(); }
376
377int test_with_random_access_iterator() {
378  GoodIter begin, end;
379  Iter0 begin0, end0;
380#pragma omp target parallel for simd
381  for (GoodIter I = begin; I < end; ++I)
382    ++I;
383// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
384#pragma omp target parallel for simd
385  for (GoodIter &I = begin; I < end; ++I)
386    ++I;
387#pragma omp target parallel for simd
388  for (GoodIter I = begin; I >= end; --I)
389    ++I;
390// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
391#pragma omp target parallel for simd
392  for (GoodIter I(begin); I < end; ++I)
393    ++I;
394// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
395#pragma omp target parallel for simd
396  for (GoodIter I(nullptr); I < end; ++I)
397    ++I;
398// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
399#pragma omp target parallel for simd
400  for (GoodIter I(0); I < end; ++I)
401    ++I;
402// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
403#pragma omp target parallel for simd
404  for (GoodIter I(1, 2); I < end; ++I)
405    ++I;
406#pragma omp target parallel for simd
407  for (begin = GoodIter(0); begin < end; ++begin)
408    ++begin;
409// expected-error@+3 {{invalid operands to binary expression ('GoodIter' and 'const Iter0')}}
410// expected-error@+2 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}
411#pragma omp target parallel for simd
412  for (begin = begin0; begin < end; ++begin)
413    ++begin;
414// expected-error@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
415#pragma omp target parallel for simd
416  for (++begin; begin < end; ++begin)
417    ++begin;
418#pragma omp target parallel for simd
419  for (begin = end; begin < end; ++begin)
420    ++begin;
421// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}}
422#pragma omp target parallel for simd
423  for (GoodIter I = begin; I - I; ++I)
424    ++I;
425// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}}
426#pragma omp target parallel for simd
427  for (GoodIter I = begin; begin < end; ++I)
428    ++I;
429// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}}
430#pragma omp target parallel for simd
431  for (GoodIter I = begin; !I; ++I)
432    ++I;
433// expected-note@+3 {{loop step is expected to be negative due to this condition}}
434// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
435#pragma omp target parallel for simd
436  for (GoodIter I = begin; I >= end; I = I + 1)
437    ++I;
438#pragma omp target parallel for simd
439  for (GoodIter I = begin; I >= end; I = I - 1)
440    ++I;
441// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}
442#pragma omp target parallel for simd
443  for (GoodIter I = begin; I >= end; I = -I)
444    ++I;
445// expected-note@+3 {{loop step is expected to be negative due to this condition}}
446// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
447#pragma omp target parallel for simd
448  for (GoodIter I = begin; I >= end; I = 2 + I)
449    ++I;
450// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}
451#pragma omp target parallel for simd
452  for (GoodIter I = begin; I >= end; I = 2 - I)
453    ++I;
454// expected-error@+2 {{invalid operands to binary expression ('Iter0' and 'int')}}
455#pragma omp target parallel for simd
456  for (Iter0 I = begin0; I < end0; ++I)
457    ++I;
458// Initializer is constructor without params.
459// expected-error@+3 {{invalid operands to binary expression ('Iter0' and 'int')}}
460// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
461#pragma omp target parallel for simd
462  for (Iter0 I; I < end0; ++I)
463    ++I;
464  Iter1 begin1, end1;
465// expected-error@+3 {{invalid operands to binary expression ('Iter1' and 'Iter1')}}
466// expected-error@+2 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}
467#pragma omp target parallel for simd
468  for (Iter1 I = begin1; I < end1; ++I)
469    ++I;
470// expected-note@+3 {{loop step is expected to be negative due to this condition}}
471// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
472#pragma omp target parallel for simd
473  for (Iter1 I = begin1; I >= end1; ++I)
474    ++I;
475// expected-error@+5 {{invalid operands to binary expression ('Iter1' and 'float')}}
476// expected-error@+4 {{could not calculate number of iterations calling 'operator-' with upper and lower loop bounds}}
477// Initializer is constructor with all default params.
478// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}
479#pragma omp target parallel for simd
480  for (Iter1 I; I < end1; ++I) {
481  }
482  return 0;
483}
484
485template <typename IT, int ST>
486class TC {
487public:
488  int dotest_lt(IT begin, IT end) {
489// expected-note@+3 {{loop step is expected to be positive due to this condition}}
490// expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}
491#pragma omp target parallel for simd
492    for (IT I = begin; I < end; I = I + ST) {
493      ++I;
494    }
495// expected-note@+3 {{loop step is expected to be positive due to this condition}}
496// expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}
497#pragma omp target parallel for simd
498    for (IT I = begin; I <= end; I += ST) {
499      ++I;
500    }
501#pragma omp target parallel for simd
502    for (IT I = begin; I < end; ++I) {
503      ++I;
504    }
505  }
506
507  static IT step() {
508    return IT(ST);
509  }
510};
511template <typename IT, int ST = 0>
512int dotest_gt(IT begin, IT end) {
513// expected-note@+3 2 {{loop step is expected to be negative due to this condition}}
514// expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
515#pragma omp target parallel for simd
516  for (IT I = begin; I >= end; I = I + ST) {
517    ++I;
518  }
519// expected-note@+3 2 {{loop step is expected to be negative due to this condition}}
520// expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
521#pragma omp target parallel for simd
522  for (IT I = begin; I >= end; I += ST) {
523    ++I;
524  }
525
526// expected-note@+3 {{loop step is expected to be negative due to this condition}}
527// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}
528#pragma omp target parallel for simd
529  for (IT I = begin; I >= end; ++I) {
530    ++I;
531  }
532
533#pragma omp target parallel for simd
534  for (IT I = begin; I < end; I += TC<int, ST>::step()) {
535    ++I;
536  }
537}
538
539void test_with_template() {
540  GoodIter begin, end;
541  TC<GoodIter, 100> t1;
542  TC<GoodIter, -100> t2;
543  t1.dotest_lt(begin, end);
544  t2.dotest_lt(begin, end);         // expected-note {{in instantiation of member function 'TC<GoodIter, -100>::dotest_lt' requested here}}
545  dotest_gt(begin, end);            // expected-note {{in instantiation of function template specialization 'dotest_gt<GoodIter, 0>' requested here}}
546  dotest_gt<unsigned, 10>(0, 100);  // expected-note {{in instantiation of function template specialization 'dotest_gt<unsigned int, 10>' requested here}}
547}
548
549void test_loop_break() {
550  const int N = 100;
551  float a[N], b[N], c[N];
552#pragma omp target parallel for simd
553  for (int i = 0; i < 10; i++) {
554    c[i] = a[i] + b[i];
555    for (int j = 0; j < 10; ++j) {
556      if (a[i] > b[j])
557        break; // OK in nested loop
558    }
559    switch (i) {
560    case 1:
561      b[i]++;
562      break;
563    default:
564      break;
565    }
566    if (c[i] > 10)
567      break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}
568
569    if (c[i] > 11)
570      break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}
571  }
572
573#pragma omp target parallel for simd
574  for (int i = 0; i < 10; i++) {
575    for (int j = 0; j < 10; j++) {
576      c[i] = a[i] + b[i];
577      if (c[i] > 10) {
578        if (c[i] < 20) {
579          break; // OK
580        }
581      }
582    }
583  }
584}
585
586void test_loop_eh() {
587  const int N = 100;
588  float a[N], b[N], c[N];
589#pragma omp target parallel for simd
590  for (int i = 0; i < 10; i++) {
591    c[i] = a[i] + b[i];
592    try { // expected-error {{'try' statement cannot be used in OpenMP simd region}}
593      for (int j = 0; j < 10; ++j) {
594        if (a[i] > b[j])
595          throw a[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}
596      }
597      throw a[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}
598    } catch (float f) {
599      if (f > 0.1)
600        throw a[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}
601      return; // expected-error {{cannot return from OpenMP region}}
602    }
603    switch (i) {
604    case 1:
605      b[i]++;
606      break;
607    default:
608      break;
609    }
610    for (int j = 0; j < 10; j++) {
611      if (c[i] > 10)
612        throw c[i]; // expected-error {{'throw' statement cannot be used in OpenMP simd region}}
613    }
614  }
615  if (c[9] > 10)
616    throw c[9]; // OK
617
618#pragma omp target parallel for simd
619  for (int i = 0; i < 10; ++i) {
620    struct S {
621      void g() { throw 0; }
622    };
623  }
624}
625
626void test_loop_firstprivate_lastprivate() {
627  S s(4);
628#pragma omp target parallel for simd lastprivate(s) firstprivate(s)
629  for (int i = 0; i < 16; ++i)
630    ;
631}
632
CodeThinker, Enjoy your reading code