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 
5 // RUN: %clang_cc1 -verify -fopenmp-simd -ast-print %s | FileCheck %s
6 // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -emit-pch -o %t %s
7 // RUN: %clang_cc1 -fopenmp-simd -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 template <typename T>
14 void bar(T &x, T &y) { x.a += y.a; }
15 
16 namespace N1
17 {
18   struct A { int a; A() : a(0) {} };
19   #pragma omp declare reduction(+: A : bar(omp_out, omp_in))
20 };
21 
22 #pragma omp declare reduction(+ : int, char : omp_out *= omp_in)
23 // CHECK: #pragma omp declare reduction (+ : int : omp_out *= omp_in){{$}}
24 // CHECK-NEXT: #pragma omp declare reduction (+ : char : omp_out *= omp_in)
25 
26 
27 template <class T>
28 class SSS {
29 public:
30 #pragma omp declare reduction(fun : T : omp_out += omp_in) initializer(omp_priv = omp_orig + 15)
31 #pragma omp declare reduction(fun1 : T : omp_out=1, omp_out=foo(omp_in)) initializer(omp_priv = omp_orig + 14)
32   static T foo(T &);
33 };
34 
35 // CHECK: template <class T> class SSS {
36 // CHECK: #pragma omp declare reduction (fun : T : omp_out += omp_in) initializer(omp_priv = omp_orig + 15)
37 // CHECK: #pragma omp declare reduction (fun1 : T : omp_out = 1 , omp_out = foo(omp_in)) initializer(omp_priv = omp_orig + 14)
38 // CHECK: };
39 // CHECK: template<> class SSS<int> {
40 // CHECK: #pragma omp declare reduction (fun : int : omp_out += omp_in) initializer(omp_priv = omp_orig + 15)
41 // CHECK: #pragma omp declare reduction (fun1 : int : omp_out = 1 , omp_out = foo(omp_in)) initializer(omp_priv = omp_orig + 14)
42 // CHECK: };
43 
44 SSS<int> d;
45 
46 void init(SSS<int> &lhs, SSS<int> rhs);
47 
48 #pragma omp declare reduction(fun : SSS < int > : omp_out = omp_in) initializer(init(omp_priv, omp_orig))
49 // CHECK: #pragma omp declare reduction (fun : SSS<int> : omp_out = omp_in) initializer(init(omp_priv, omp_orig))
50 
51 // CHECK: template <typename T> T foo(T a) {
52 // CHECK: #pragma omp declare reduction (fun : T : omp_out += omp_in) initializer(omp_priv = omp_orig + 15);
53 // CHECK: {
54 // CHECK: #pragma omp declare reduction (fun : T : omp_out += omp_in) initializer(omp_priv = omp_orig + 15);
55 // CHECK: }
56 // CHECK: return a;
57 // CHECK: }
58 
59 // CHECK: template<> int foo<int>(int a) {
60 // CHECK: #pragma omp declare reduction (fun : int : omp_out += omp_in) initializer(omp_priv = omp_orig + 15);
61 // CHECK: {
62 // CHECK: #pragma omp declare reduction (fun : int : omp_out += omp_in) initializer(omp_priv = omp_orig + 15);
63 // CHECK: }
64 // CHECK: return a;
65 // CHECK: }
66 template <typename T>
67 T foo(T a) {
68 #pragma omp declare reduction(fun : T : omp_out += omp_in) initializer(omp_priv = omp_orig + 15)
69   {
70 #pragma omp declare reduction(fun : T : omp_out += omp_in) initializer(omp_priv = omp_orig + 15)
71   }
72   return a;
73 }
74 
75 int main() {
76   int i = 0;
77   SSS<int> sss;
78   // TODO: Add support for scoped reduction identifiers
79   //  #pragma omp parallel reduction(SSS<int>::fun : i)
80   // TODO-CHECK: #pragma omp parallel reduction(SSS<int>::fun: i)
81   {
82     i += 1;
83   }
84   // #pragma omp parallel reduction(::fun:sss)
85   // TODO-CHECK: #pragma omp parallel reduction(::fun: sss)
86   {
87   }
88   N1::A a;
89   // CHECK: #pragma omp parallel reduction(+: a)
90   #pragma omp parallel reduction(+: a)
91   {
92   }
93   return foo(15);
94 }
95 
96 #endif
97