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 // expected-no-diagnostics
5 
6 #ifndef HEADER
7 #define HEADER
8 
9 void foo() {}
10 
11 struct S1 {
12   S1(): a(0) {}
13   S1(int v) : a(v) {}
14   int a;
15   typedef int type;
16   S1& operator +(const S1&);
17   S1& operator *(const S1&);
18   S1& operator &&(const S1&);
19   S1& operator ^(const S1&);
20 };
21 
22 template <typename T>
23 class S7 : public T {
24 protected:
25   T a;
26   T b[100];
27   S7() : a(0) {}
28 
29 public:
30   S7(typename T::type v) : a(v) {
31 #pragma omp parallel private(a) private(this->a) private(T::a)
32     for (int k = 0; k < a.a; ++k)
33       ++this->a.a;
34 #pragma omp parallel firstprivate(a) firstprivate(this->a) firstprivate(T::a)
35     for (int k = 0; k < a.a; ++k)
36       ++this->a.a;
37 #pragma omp parallel shared(a) shared(this->a) shared(T::a)
38     for (int k = 0; k < a.a; ++k)
39       ++this->a.a;
40 #pragma omp parallel reduction(+ : a) reduction(*: b[:])
41     for (int k = 0; k < a.a; ++k)
42       ++this->a.a;
43   }
44   S7 &operator=(S7 &s) {
45 #pragma omp parallel private(a) private(this->a)
46     for (int k = 0; k < s.a.a; ++k)
47       ++s.a.a;
48 #pragma omp parallel firstprivate(a) firstprivate(this->a)
49     for (int k = 0; k < s.a.a; ++k)
50       ++s.a.a;
51 #pragma omp parallel shared(a) shared(this->a)
52     for (int k = 0; k < s.a.a; ++k)
53       ++s.a.a;
54 #pragma omp parallel reduction(&& : this->a) reduction(^: b[s.a.a])
55     for (int k = 0; k < s.a.a; ++k)
56       ++s.a.a;
57     return *this;
58   }
59 };
60 
61 // CHECK: #pragma omp parallel private(this->a) private(this->a) private(T::a)
62 // CHECK: #pragma omp parallel firstprivate(this->a) firstprivate(this->a) firstprivate(T::a)
63 // CHECK: #pragma omp parallel shared(this->a) shared(this->a) shared(T::a)
64 // CHECK: #pragma omp parallel reduction(+: this->a) reduction(*: this->b[:])
65 // CHECK: #pragma omp parallel private(this->a) private(this->a)
66 // CHECK: #pragma omp parallel firstprivate(this->a) firstprivate(this->a)
67 // CHECK: #pragma omp parallel shared(this->a) shared(this->a)
68 // CHECK: #pragma omp parallel reduction(&&: this->a) reduction(^: this->b[s.a.a])
69 // CHECK: #pragma omp parallel private(this->a) private(this->a) private(this->S1::a)
70 // CHECK: #pragma omp parallel firstprivate(this->a) firstprivate(this->a) firstprivate(this->S1::a)
71 // CHECK: #pragma omp parallel shared(this->a) shared(this->a) shared(this->S1::a)
72 // CHECK: #pragma omp parallel reduction(+: this->a) reduction(*: this->b[:])
73 
74 class S8 : public S7<S1> {
75   S8() {}
76 
77 public:
78   S8(int v) : S7<S1>(v){
79 #pragma omp parallel private(a) private(this->a) private(S7 < S1 > ::a)
80     for (int k = 0; k < a.a; ++k)
81       ++this->a.a;
82 #pragma omp parallel firstprivate(a) firstprivate(this->a) firstprivate(S7 < S1 > ::a)
83     for (int k = 0; k < a.a; ++k)
84       ++this->a.a;
85 #pragma omp parallel shared(a) shared(this->a) shared(S7 < S1 > ::a)
86     for (int k = 0; k < a.a; ++k)
87       ++this->a.a;
88 #pragma omp parallel reduction(^ : S7 < S1 > ::a) reduction(+ : S7 < S1 > ::b[ : S7 < S1 > ::a.a])
89     for (int k = 0; k < a.a; ++k)
90       ++this->a.a;
91   }
92   S8 &operator=(S8 &s) {
93 #pragma omp parallel private(a) private(this->a)
94     for (int k = 0; k < s.a.a; ++k)
95       ++s.a.a;
96 #pragma omp parallel firstprivate(a) firstprivate(this->a)
97     for (int k = 0; k < s.a.a; ++k)
98       ++s.a.a;
99 #pragma omp parallel shared(a) shared(this->a)
100     for (int k = 0; k < s.a.a; ++k)
101       ++s.a.a;
102 #pragma omp parallel reduction(* : this->a) reduction(&&:this->b[a.a:])
103     for (int k = 0; k < s.a.a; ++k)
104       ++s.a.a;
105     return *this;
106   }
107 };
108 
109 // CHECK: #pragma omp parallel private(this->a) private(this->a) private(this->S7<S1>::a)
110 // CHECK: #pragma omp parallel firstprivate(this->a) firstprivate(this->a) firstprivate(this->S7<S1>::a)
111 // CHECK: #pragma omp parallel shared(this->a) shared(this->a) shared(this->S7<S1>::a)
112 // CHECK: #pragma omp parallel reduction(^: this->S7<S1>::a) reduction(+: this->S7<S1>::b[:this->S7<S1>::a.a])
113 // CHECK: #pragma omp parallel private(this->a) private(this->a)
114 // CHECK: #pragma omp parallel firstprivate(this->a) firstprivate(this->a)
115 // CHECK: #pragma omp parallel shared(this->a) shared(this->a)
116 // CHECK: #pragma omp parallel reduction(*: this->a) reduction(&&: this->b[this->a.a:])
117 
118 template <class T>
119 struct S {
120   operator T() {return T();}
121   static T TS;
122   #pragma omp threadprivate(TS)
123 };
124 
125 // CHECK:      template <class T> struct S {
126 // CHECK:        static T TS;
127 // CHECK-NEXT:   #pragma omp threadprivate(S::TS)
128 // CHECK:      };
129 // CHECK:      template<> struct S<int> {
130 // CHECK:        static int TS;
131 // CHECK-NEXT:   #pragma omp threadprivate(S<int>::TS)
132 // CHECK-NEXT: }
133 // CHECK:      template<> struct S<long> {
134 // CHECK:        static long TS;
135 // CHECK-NEXT:   #pragma omp threadprivate(S<long>::TS)
136 // CHECK-NEXT: }
137 
138 int thrp;
139 #pragma omp threadprivate(thrp)
140 
141 template <typename T, int C>
142 T tmain(T argc, T *argv) {
143   T b = argc, c, d, e, f, g;
144   static T a;
145   S<T> s;
146   T arr[C][10], arr1[C];
147 #pragma omp parallel
148   a=2;
149 #pragma omp parallel default(none), private(argc,b) firstprivate(argv) shared (d) if (parallel:argc > 0) num_threads(C) copyin(S<T>::TS, thrp) proc_bind(master) reduction(+:c, arr1[argc]) reduction(max:e, arr[:C][0:10])
150   foo();
151 #pragma omp parallel if (C) num_threads(s) proc_bind(close) reduction(^:e, f, arr[0:C][:argc]) reduction(&& : g)
152   foo();
153   return 0;
154 }
155 
156 // CHECK: template <typename T, int C> T tmain(T argc, T *argv) {
157 // CHECK-NEXT: T b = argc, c, d, e, f, g;
158 // CHECK-NEXT: static T a;
159 // CHECK-NEXT: S<T> s;
160 // CHECK-NEXT: T arr[C][10], arr1[C];
161 // CHECK-NEXT: #pragma omp parallel
162 // CHECK-NEXT: a = 2;
163 // CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) shared(d) if(parallel: argc > 0) num_threads(C) copyin(S<T>::TS,thrp) proc_bind(master) reduction(+: c,arr1[argc]) reduction(max: e,arr[:C][0:10])
164 // CHECK-NEXT: foo()
165 // CHECK-NEXT: #pragma omp parallel if(C) num_threads(s) proc_bind(close) reduction(^: e,f,arr[0:C][:argc]) reduction(&&: g)
166 // CHECK-NEXT: foo()
167 // CHECK: template<> int tmain<int, 5>(int argc, int *argv) {
168 // CHECK-NEXT: int b = argc, c, d, e, f, g;
169 // CHECK-NEXT: static int a;
170 // CHECK-NEXT: S<int> s;
171 // CHECK-NEXT: int arr[5][10], arr1[5];
172 // CHECK-NEXT: #pragma omp parallel
173 // CHECK-NEXT: a = 2;
174 // CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) shared(d) if(parallel: argc > 0) num_threads(5) copyin(S<int>::TS,thrp) proc_bind(master) reduction(+: c,arr1[argc]) reduction(max: e,arr[:5][0:10])
175 // CHECK-NEXT: foo()
176 // CHECK-NEXT: #pragma omp parallel if(5) num_threads(s) proc_bind(close) reduction(^: e,f,arr[0:5][:argc]) reduction(&&: g)
177 // CHECK-NEXT: foo()
178 // CHECK: template<> long tmain<long, 1>(long argc, long *argv) {
179 // CHECK-NEXT: long b = argc, c, d, e, f, g;
180 // CHECK-NEXT: static long a;
181 // CHECK-NEXT: S<long> s;
182 // CHECK-NEXT: long arr[1][10], arr1[1];
183 // CHECK-NEXT: #pragma omp parallel
184 // CHECK-NEXT: a = 2;
185 // CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) shared(d) if(parallel: argc > 0) num_threads(1) copyin(S<long>::TS,thrp) proc_bind(master) reduction(+: c,arr1[argc]) reduction(max: e,arr[:1][0:10])
186 // CHECK-NEXT: foo()
187 // CHECK-NEXT: #pragma omp parallel if(1) num_threads(s) proc_bind(close) reduction(^: e,f,arr[0:1][:argc]) reduction(&&: g)
188 // CHECK-NEXT: foo()
189 
190 enum Enum { };
191 
192 int main (int argc, char **argv) {
193   long x;
194   int b = argc, c, d, e, f, g;
195   static int a;
196   #pragma omp threadprivate(a)
197   int arr[10][argc], arr1[2];
198   Enum ee;
199 // CHECK: Enum ee;
200 #pragma omp parallel
201 // CHECK-NEXT: #pragma omp parallel
202   a=2;
203 // CHECK-NEXT: a = 2;
204 #pragma omp parallel default(none), private(argc,b) firstprivate(argv) if (parallel: argc > 0) num_threads(ee) copyin(a) proc_bind(spread) reduction(| : c, d, arr1[argc]) reduction(* : e, arr[:10][0:argc])
205 // CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) if(parallel: argc > 0) num_threads(ee) copyin(a) proc_bind(spread) reduction(|: c,d,arr1[argc]) reduction(*: e,arr[:10][0:argc])
206   foo();
207 // CHECK-NEXT: foo();
208 // CHECK-NEXT: #pragma omp parallel if(b) num_threads(c) proc_bind(close) reduction(^: e,f) reduction(&&: g,arr[0:argc][:10])
209 // CHECK-NEXT: foo()
210 #pragma omp parallel if (b) num_threads(c) proc_bind(close) reduction(^:e, f) reduction(&& : g, arr[0:argc][:10])
211   foo();
212   return tmain<int, 5>(b, &b) + tmain<long, 1>(x, &x);
213 }
214 
215 template <class T>
216 struct Foo {
217   int foo;
218 };
219 
220 void foo(const Foo<int> &arg) {
221 // CHECK: #pragma omp parallel
222 #pragma omp parallel
223   {
224 // CHECK: #pragma omp for schedule(static)
225 #pragma omp for schedule(static)
226     for (int idx = 0; idx < 1234; ++idx) {
227       //arg.foo = idx;
228       idx = arg.foo;
229     }
230   }
231 }
232 
233 template<typename T>
234 T S<T>::TS = 0;
235 
236 #endif
237