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