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 
13 void foo() {}
14 
15 struct 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 
23 template <typename T>
24 class S7 : public T {
25 protected:
26   T a, b;
27   S7() : a(0) {}
28 
29 public:
30   S7(typename T::type v) : a(v) {
31 #pragma omp taskgroup task_reduction(+:b)
32 #pragma omp task private(a) private(this->a) private(T::a) in_reduction(+:this->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 task_reduction(+: this->b)
45 // CHECK: #pragma omp task private(this->a) private(this->a) private(T::a) in_reduction(+: 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 
49 class S8 : public S7<S1> {
50   S8() {}
51 
52 public:
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 
69 template <class T>
70 struct 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 
89 template <typename T, int C>
90 T 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 
142 enum Enum {};
143 
144 int 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 
173 extern template int S<int>::TS;
174 extern template long S<long>::TS;
175 
176 #endif
177