1 // RUN: %clang_cc1 -verify -fopenmp -ast-dump %s | FileCheck %s
2 // RUN: %clang_cc1 -verify -fopenmp-simd -ast-dump %s | FileCheck %s
3 // expected-no-diagnostics
4
5 int ga, gb;
6 #pragma omp threadprivate(ga, gb)
7
8 // CHECK: |-OMPThreadPrivateDecl {{.+}} <col:9> col:9
9 // CHECK-NEXT: | |-DeclRefExpr {{.+}} <col:27> 'int' lvalue Var {{.+}} 'ga' 'int'
10 // CHECK-NEXT: | `-DeclRefExpr {{.+}} <col:31> 'int' lvalue Var {{.+}} 'gb' 'int'
11
12 #pragma omp declare reduction(+ : int, char : omp_out *= omp_in)
13
14 #pragma omp declare reduction(fun : float : omp_out += omp_in) initializer(omp_priv = omp_orig + 15)
15
16 // CHECK: |-OMPDeclareReductionDecl {{.+}} <line:12:35> col:35 operator+ 'int' combiner
17 // CHECK-NEXT: | |-CompoundAssignOperator {{.+}} <col:47, col:58> 'int' lvalue '*=' ComputeLHSTy='int' ComputeResultTy='int'
18 // CHECK-NEXT: | | |-DeclRefExpr {{.+}} <col:47> 'int' lvalue Var {{.+}} 'omp_out' 'int'
19 // CHECK-NEXT: | | `-ImplicitCastExpr {{.+}} <col:58> 'int' <LValueToRValue>
20 // CHECK-NEXT: | | `-DeclRefExpr {{.+}} <col:58> 'int' lvalue Var {{.+}} 'omp_in' 'int'
21 // CHECK-NEXT: | |-VarDecl {{.+}} <col:35> col:35 implicit used omp_in 'int'
22 // CHECK-NEXT: | `-VarDecl {{.+}} <col:35> col:35 implicit used omp_out 'int'
23 // CHECK-NEXT: |-OMPDeclareReductionDecl {{.+}} <col:40> col:40 operator+ 'char' combiner
24 // CHECK-NEXT: | |-CompoundAssignOperator {{.+}} <col:47, col:58> 'char' lvalue '*=' ComputeLHSTy='int' ComputeResultTy='int'
25 // CHECK-NEXT: | | |-DeclRefExpr {{.+}} <col:47> 'char' lvalue Var {{.+}} 'omp_out' 'char'
26 // CHECK-NEXT: | | `-ImplicitCastExpr {{.+}} <col:58> 'int' <IntegralCast>
27 // CHECK-NEXT: | | `-ImplicitCastExpr {{.+}} <col:58> 'char' <LValueToRValue>
28 // CHECK-NEXT: | | `-DeclRefExpr {{.+}} <col:58> 'char' lvalue Var {{.+}} 'omp_in' 'char'
29 // CHECK-NEXT: | |-VarDecl {{.+}} <col:40> col:40 implicit used omp_in 'char'
30 // CHECK-NEXT: | `-VarDecl {{.+}} <col:40> col:40 implicit used omp_out 'char'
31 // CHECK-NEXT: |-OMPDeclareReductionDecl {{.+}} <line:14:37> col:37 fun 'float' combiner initializer
32 // CHECK-NEXT: | |-CompoundAssignOperator {{.+}} <col:45, col:56> 'float' lvalue '+=' ComputeLHSTy='float' ComputeResultTy='float'
33 // CHECK-NEXT: | | |-DeclRefExpr {{.+}} <col:45> 'float' lvalue Var {{.+}} 'omp_out' 'float'
34 // CHECK-NEXT: | | `-ImplicitCastExpr {{.+}} <col:56> 'float' <LValueToRValue>
35 // CHECK-NEXT: | | `-DeclRefExpr {{.+}} <col:56> 'float' lvalue Var {{.+}} 'omp_in' 'float'
36
37 struct S {
38 int a, b;
SS39 S() {
40 #pragma omp parallel for default(none) private(a) shared(b) schedule(static, a)
41 for (int i = 0; i < 0; ++i)
42 ++a;
43 }
44 };
45
46 // CHECK: | `-OMPParallelForDirective {{.+}} {{<line:40:9, col:80>|<col:9, col:80>}}
47 // CHECK-NEXT: | |-OMPDefaultClause {{.+}} <col:26, col:38>
48 // CHECK-NEXT: | |-OMPPrivateClause {{.+}} <col:40, col:49>
49 // CHECK-NEXT: | | `-DeclRefExpr {{.+}} <col:48> 'int' lvalue OMPCapturedExpr {{.+}} 'a' 'int &'
50 // CHECK-NEXT: | |-OMPSharedClause {{.+}} <col:51, col:59>
51 // CHECK-NEXT: | | `-MemberExpr {{.+}} <col:58> 'int' lvalue ->b
52 // CHECK-NEXT: | | `-CXXThisExpr {{.+}} <col:58> 'S *' this
53 // CHECK-NEXT: | |-OMPScheduleClause {{.+}} <col:61, col:79>
54 // CHECK-NEXT: | | `-ImplicitCastExpr {{.+}} <col:78> 'int' <LValueToRValue>
55 // CHECK-NEXT: | | `-DeclRefExpr {{.+}} <col:78> 'int' lvalue OMPCapturedExpr {{.+}} '.capture_expr.' 'int'
56 // CHECK-NEXT: | `-CapturedStmt {{.+}} <line:41:5, line:42:9>
57 // CHECK-NEXT: | |-CapturedDecl {{.+}} <<invalid sloc>> <invalid sloc>
58 // CHECK-NEXT: | | |-ForStmt {{.+}} <line:41:5, line:42:9>
59 // CHECK: | | | `-UnaryOperator {{.+}} <line:42:7, col:9> 'int' lvalue prefix '++'
60 // CHECK-NEXT: | | | `-DeclRefExpr {{.+}} <col:9> 'int' lvalue OMPCapturedExpr {{.+}} 'a' 'int &'
61
62 #pragma omp declare simd
63 #pragma omp declare simd inbranch
64 void foo();
65
66 // CHECK: |-FunctionDecl {{.+}} <line:64:1, col:10> col:6 foo 'void ()'
67 // CHECK-NEXT: |-OMPDeclareSimdDeclAttr {{.+}} <line:63:9, col:34> Implicit BS_Inbranch
68 // CHECK: `-OMPDeclareSimdDeclAttr {{.+}} <line:62:9, col:25> Implicit BS_Undefined
69
70 #pragma omp declare target
bar()71 int bar() {
72 int f;
73 return f;
74 }
75 #pragma omp end declare target
76
77 // CHECK: `-FunctionDecl {{.+}} <line:71:1, line:74:1> line:71:5 bar 'int ()'
78 // CHECK-NEXT: |-CompoundStmt {{.+}} <col:11, line:74:1>
79 // CHECK-NEXT: | |-DeclStmt {{.+}} <line:72:3, col:8>
80 // CHECK-NEXT: | | `-VarDecl {{.+}} <col:3, col:7> col:7 used f 'int'
81 // CHECK-NEXT: | `-ReturnStmt {{.+}} <line:73:3, col:10>
82 // CHECK-NEXT: | `-ImplicitCastExpr {{.+}} <col:10> 'int' <LValueToRValue>
83 // CHECK-NEXT: | `-DeclRefExpr {{.+}} <col:10> 'int' lvalue Var {{.+}} 'f' 'int'
84 // CHECK-NEXT: `-OMPDeclareTargetDeclAttr {{.+}} <<invalid sloc>> Implicit MT_To
85