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