1// RUN: %clang_cc1 -verify -fopenmp=libiomp5 -ast-print %s | FileCheck %s
2// RUN: %clang_cc1 -fopenmp=libiomp5 -x c++ -std=c++11 -emit-pch -o %t %s
3// RUN: %clang_cc1 -fopenmp=libiomp5 -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
9void foo() {}
10
11template <class T>
12struct S {
13  operator T() { return T(); }
14  static T TS;
15#pragma omp threadprivate(TS)
16};
17
18// CHECK:      template <class T = int> struct S {
19// CHECK:        static int TS;
20// CHECK-NEXT:   #pragma omp threadprivate(S<int>::TS)
21// CHECK-NEXT: }
22// CHECK:      template <class T = long> struct S {
23// CHECK:        static long TS;
24// CHECK-NEXT:   #pragma omp threadprivate(S<long>::TS)
25// CHECK-NEXT: }
26// CHECK:      template <class T> struct S {
27// CHECK:        static T TS;
28// CHECK-NEXT:   #pragma omp threadprivate(S::TS)
29// CHECK:      };
30
31template <typename T, int C>
32T tmain(T argc, T *argv) {
33  T b = argc, c, d, e, f, g;
34  static T a;
35  S<T> s;
36#pragma omp task untied
37  a = 2;
38#pragma omp task default(none), private(argc, b) firstprivate(argv) shared(d) if (argc > 0) final(S<T>::TS > 0)
39  foo();
40#pragma omp task if (C) mergeable
41  foo();
42  return 0;
43}
44
45// CHECK: template <typename T = int, int C = 5> int tmain(int argc, int *argv) {
46// CHECK-NEXT: int b = argc, c, d, e, f, g;
47// CHECK-NEXT: static int a;
48// CHECK-NEXT: S<int> s;
49// CHECK-NEXT: #pragma omp task untied
50// CHECK-NEXT: a = 2;
51// CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) shared(d) if(argc > 0) final(S<int>::TS > 0)
52// CHECK-NEXT: foo()
53// CHECK-NEXT: #pragma omp task if(5) mergeable
54// CHECK-NEXT: foo()
55// CHECK: template <typename T = long, int C = 1> long tmain(long argc, long *argv) {
56// CHECK-NEXT: long b = argc, c, d, e, f, g;
57// CHECK-NEXT: static long a;
58// CHECK-NEXT: S<long> s;
59// CHECK-NEXT: #pragma omp task untied
60// CHECK-NEXT: a = 2;
61// CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) shared(d) if(argc > 0) final(S<long>::TS > 0)
62// CHECK-NEXT: foo()
63// CHECK-NEXT: #pragma omp task if(1) mergeable
64// CHECK-NEXT: foo()
65// CHECK: template <typename T, int C> T tmain(T argc, T *argv) {
66// CHECK-NEXT: T b = argc, c, d, e, f, g;
67// CHECK-NEXT: static T a;
68// CHECK-NEXT: S<T> s;
69// CHECK-NEXT: #pragma omp task untied
70// CHECK-NEXT: a = 2;
71// CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) shared(d) if(argc > 0) final(S<T>::TS > 0)
72// CHECK-NEXT: foo()
73// CHECK-NEXT: #pragma omp task if(C) mergeable
74// CHECK-NEXT: foo()
75
76enum Enum {};
77
78int main(int argc, char **argv) {
79  long x;
80  int b = argc, c, d, e, f, g;
81  static int a;
82#pragma omp threadprivate(a)
83  Enum ee;
84// CHECK: Enum ee;
85#pragma omp task untied mergeable
86  // CHECK-NEXT: #pragma omp task untied mergeable
87  a = 2;
88// CHECK-NEXT: a = 2;
89#pragma omp task default(none), private(argc, b) firstprivate(argv) if (argc > 0) final(a > 0)
90  // CHECK-NEXT: #pragma omp task default(none) private(argc,b) firstprivate(argv) if(argc > 0) final(a > 0)
91  foo();
92  // CHECK-NEXT: foo();
93  return tmain<int, 5>(b, &b) + tmain<long, 1>(x, &x);
94}
95
96#endif
97