Clang Project

clang_source_code/test/OpenMP/task_ast_print.cpp
1// RUN: %clang_cc1 -verify -fopenmp -fopenmp-version=45 -ast-print %s | FileCheck %s
2// RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -x c++ -std=c++11 -emit-pch -o %t %s
3// RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -std=c++11 -include-pch %t -fsyntax-only -verify %s -ast-print | FileCheck %s
4
5// RUN: %clang_cc1 -verify -fopenmp-simd -fopenmp-version=45 -ast-print %s | FileCheck %s
6// RUN: %clang_cc1 -fopenmp-simd -fopenmp-version=45 -x c++ -std=c++11 -emit-pch -o %t %s
7// RUN: %clang_cc1 -fopenmp-simd -fopenmp-version=45 -std=c++11 -include-pch %t -fsyntax-only -verify %s -ast-print | FileCheck %s
8// expected-no-diagnostics
9
10#ifndef HEADER
11#define HEADER
12
13void foo() {}
14
15struct S1 {
16  S1(): a(0) {}
17  S1(int v) : a(v) {}
18  int a;
19  typedef int type;
20  S1 operator +(const S1&);
21};
22
23template <typename T>
24class S7 : public T {
25protected:
26  T a, b;
27  S7() : a(0) {}
28
29public:
30  S7(typename T::type v) : a(v) {
31#pragma omp taskgroup allocate(b) task_reduction(+:b)
32#pragma omp task private(a) private(this->a) private(T::a) in_reduction(+:this->b) allocate(b)
33    for (int k = 0; k < a.a; ++k)
34      ++this->a.a;
35  }
36  S7 &operator=(S7 &s) {
37#pragma omp task private(a) private(this->a)
38    for (int k = 0; k < s.a.a; ++k)
39      ++s.a.a;
40    return *this;
41  }
42};
43
44// CHECK: #pragma omp taskgroup allocate(this->b) task_reduction(+: this->b)
45// CHECK: #pragma omp task private(this->a) private(this->a) private(T::a) in_reduction(+: this->b) allocate(this->b){{$}}
46// CHECK: #pragma omp task private(this->a) private(this->a)
47// CHECK: #pragma omp task private(this->a) private(this->a) private(this->S1::a)
48
49class S8 : public S7<S1> {
50  S8() {}
51
52public:
53  S8(int v) : S7<S1>(v){
54#pragma omp task private(a) private(this->a) private(S7<S1>::a)
55    for (int k = 0; k < a.a; ++k)
56      ++this->a.a;
57  }
58  S8 &operator=(S8 &s) {
59#pragma omp task private(a) private(this->a)
60    for (int k = 0; k < s.a.a; ++k)
61      ++s.a.a;
62    return *this;
63  }
64};
65
66// CHECK: #pragma omp task private(this->a) private(this->a) private(this->S7<S1>::a)
67// CHECK: #pragma omp task private(this->a) private(this->a)
68
69template <class T>
70struct S {
71  operator T() { return T(); }
72  static T TS;
73#pragma omp threadprivate(TS)
74};
75
76// CHECK:      template <class T> struct S {
77// CHECK:        static T TS;
78// CHECK-NEXT:   #pragma omp threadprivate(S::TS)
79// CHECK:      };
80// CHECK:      template<> struct S<int> {
81// CHECK:        static int TS;
82// CHECK-NEXT:   #pragma omp threadprivate(S<int>::TS)
83// CHECK-NEXT: }
84// CHECK:      template<> struct S<long> {
85// CHECK:        static long TS;
86// CHECK-NEXT:   #pragma omp threadprivate(S<long>::TS)
87// CHECK-NEXT: }
88
89template <typename T, int C>
90T tmain(T argc, T *argv) {
91  T b = argc, c, d, e, f, g;
92  static T a;
93  S<T> s;
94  T arr[argc];
95#pragma omp task untied depend(in : argc, argv[b:argc], arr[:]) if (task : argc > 0)
96  a = 2;
97#pragma omp task default(none), private(argc, b) firstprivate(argv) shared(d) if (argc > 0) final(S<T>::TS > 0) priority(argc)
98  foo();
99#pragma omp taskgroup task_reduction(-: argc)
100#pragma omp task if (C) mergeable priority(C) in_reduction(-: argc)
101  foo();
102  return 0;
103}
104
105// CHECK: template <typename T, int C> T tmain(T argc, T *argv) {
106// CHECK-NEXT: T b = argc, c, d, e, f, g;
107// CHECK-NEXT: static T a;
108// CHECK-NEXT: S<T> s;
109// CHECK-NEXT: T arr[argc];
110// CHECK-NEXT: #pragma omp task untied depend(in : argc,argv[b:argc],arr[:]) if(task: argc > 0)
111// CHECK-NEXT: a = 2;
112// CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) shared(d) if(argc > 0) final(S<T>::TS > 0) priority(argc)
113// CHECK-NEXT: foo()
114// CHECK-NEXT: #pragma omp taskgroup task_reduction(-: argc)
115// CHECK-NEXT: #pragma omp task if(C) mergeable priority(C) in_reduction(-: argc)
116// CHECK-NEXT: foo()
117// CHECK: template<> int tmain<int, 5>(int argc, int *argv) {
118// CHECK-NEXT: int b = argc, c, d, e, f, g;
119// CHECK-NEXT: static int a;
120// CHECK-NEXT: S<int> s;
121// CHECK-NEXT: int arr[argc];
122// CHECK-NEXT: #pragma omp task untied depend(in : argc,argv[b:argc],arr[:]) if(task: argc > 0)
123// CHECK-NEXT: a = 2;
124// CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) shared(d) if(argc > 0) final(S<int>::TS > 0) priority(argc)
125// CHECK-NEXT: foo()
126// CHECK-NEXT: #pragma omp taskgroup task_reduction(-: argc)
127// CHECK-NEXT: #pragma omp task if(5) mergeable priority(5) in_reduction(-: argc)
128// CHECK-NEXT: foo()
129// CHECK: template<> long tmain<long, 1>(long argc, long *argv) {
130// CHECK-NEXT: long b = argc, c, d, e, f, g;
131// CHECK-NEXT: static long a;
132// CHECK-NEXT: S<long> s;
133// CHECK-NEXT: long arr[argc];
134// CHECK-NEXT: #pragma omp task untied depend(in : argc,argv[b:argc],arr[:]) if(task: argc > 0)
135// CHECK-NEXT: a = 2;
136// CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) shared(d) if(argc > 0) final(S<long>::TS > 0) priority(argc)
137// CHECK-NEXT: foo()
138// CHECK-NEXT: #pragma omp taskgroup task_reduction(-: argc)
139// CHECK-NEXT: #pragma omp task if(1) mergeable priority(1) in_reduction(-: argc)
140// CHECK-NEXT: foo()
141
142enum Enum {};
143
144int main(int argc, char **argv) {
145  long x;
146  int b = argc, c, d, e, f, g;
147  static int a;
148  int arr[10], arr1[argc];
149#pragma omp threadprivate(a)
150  Enum ee;
151// CHECK: Enum ee;
152#pragma omp task untied mergeable depend(out:argv[:a][1], (arr)[0:]) if(task: argc > 0) priority(f)
153  // CHECK-NEXT: #pragma omp task untied mergeable depend(out : argv[:a][1],(arr)[0:]) if(task: argc > 0) priority(f)
154  a = 2;
155// CHECK-NEXT: a = 2;
156#pragma omp taskgroup task_reduction(min: arr1)
157#pragma omp task default(none), private(argc, b) firstprivate(argv) if (argc > 0) final(a > 0) depend(inout : a, argv[:argc],arr[:a]) priority(23) in_reduction(min: arr1)
158  // CHECK-NEXT: #pragma omp taskgroup task_reduction(min: arr1)
159  // CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) if(argc > 0) final(a > 0) depend(inout : a,argv[:argc],arr[:a]) priority(23) in_reduction(min: arr1)
160  foo();
161  // CHECK-NEXT: foo();
162#pragma omp taskgroup task_reduction(min: arr1)
163#pragma omp parallel reduction(+:arr1)
164#pragma omp task in_reduction(min: arr1)
165  // CHECK-NEXT: #pragma omp taskgroup task_reduction(min: arr1)
166  // CHECK-NEXT: #pragma omp parallel reduction(+: arr1)
167  // CHECK-NEXT: #pragma omp task in_reduction(min: arr1)
168  foo();
169  // CHECK-NEXT: foo();
170  return tmain<int, 5>(b, &b) + tmain<long, 1>(x, &x);
171}
172
173extern template int S<int>::TS;
174extern template long S<long>::TS;
175
176#endif
177