1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fopenmp -ast-dump %s | FileCheck --match-full-lines -implicit-check-not=openmp_structured_block %s
2 
3 void test_one(int x) {
4 #pragma omp taskloop
5   for (int i = 0; i < x; i++)
6     ;
7 }
8 
9 void test_two(int x, int y) {
10 #pragma omp taskloop
11   for (int i = 0; i < x; i++)
12     for (int i = 0; i < y; i++)
13       ;
14 }
15 
16 void test_three(int x, int y) {
17 #pragma omp taskloop collapse(1)
18   for (int i = 0; i < x; i++)
19     for (int i = 0; i < y; i++)
20       ;
21 }
22 
23 void test_four(int x, int y) {
24 #pragma omp taskloop collapse(2)
25   for (int i = 0; i < x; i++)
26     for (int i = 0; i < y; i++)
27       ;
28 }
29 
30 void test_five(int x, int y, int z) {
31 #pragma omp taskloop collapse(2)
32   for (int i = 0; i < x; i++)
33     for (int i = 0; i < y; i++)
34       for (int i = 0; i < z; i++)
35         ;
36 }
37 
38 // CHECK: TranslationUnitDecl {{.*}} <<invalid sloc>> <invalid sloc>
39 // CHECK: |-FunctionDecl {{.*}} <{{.*}}ast-dump-openmp-taskloop.c:3:1, line:7:1> line:3:6 test_one 'void (int)'
40 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:15, col:19> col:19 used x 'int'
41 // CHECK-NEXT: | `-CompoundStmt {{.*}} <col:22, line:7:1>
42 // CHECK-NEXT: |   `-OMPTaskLoopDirective {{.*}} <line:4:1, col:21>
43 // CHECK-NEXT: |     |-OMPFirstprivateClause {{.*}} <<invalid sloc>> <implicit>
44 // CHECK-NEXT: |     | `-DeclRefExpr {{.*}} <line:5:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
45 // CHECK-NEXT: |     `-CapturedStmt {{.*}} <col:3, line:6:5>
46 // CHECK-NEXT: |       `-CapturedDecl {{.*}} <<invalid sloc>> <invalid sloc>
47 // CHECK-NEXT: |         |-ForStmt {{.*}} <line:5:3, line:6:5>
48 // CHECK-NEXT: |         | |-DeclStmt {{.*}} <line:5:8, col:17>
49 // CHECK-NEXT: |         | | `-VarDecl {{.*}} <col:8, col:16> col:12 used i 'int' cinit
50 // CHECK-NEXT: |         | |   `-IntegerLiteral {{.*}} <col:16> 'int' 0
51 // CHECK-NEXT: |         | |-<<<NULL>>>
52 // CHECK-NEXT: |         | |-BinaryOperator {{.*}} <col:19, col:23> 'int' '<'
53 // CHECK-NEXT: |         | | |-ImplicitCastExpr {{.*}} <col:19> 'int' <LValueToRValue>
54 // CHECK-NEXT: |         | | | `-DeclRefExpr {{.*}} <col:19> 'int' lvalue Var {{.*}} 'i' 'int'
55 // CHECK-NEXT: |         | | `-ImplicitCastExpr {{.*}} <col:23> 'int' <LValueToRValue>
56 // CHECK-NEXT: |         | |   `-DeclRefExpr {{.*}} <col:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
57 // CHECK-NEXT: |         | |-UnaryOperator {{.*}} <col:26, col:27> 'int' postfix '++'
58 // CHECK-NEXT: |         | | `-DeclRefExpr {{.*}} <col:26> 'int' lvalue Var {{.*}} 'i' 'int'
59 // CHECK-NEXT: |         | `-NullStmt {{.*}} <line:6:5>
60 // CHECK-NEXT: |         |-AlwaysInlineAttr {{.*}} <<invalid sloc>> Implicit __forceinline
61 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <line:4:1> col:1 implicit .global_tid. 'const int'
62 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .part_id. 'const int *const restrict'
63 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .privates. 'void *const restrict'
64 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .copy_fn. 'void (*const restrict)(void *const restrict, ...)'
65 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .task_t. 'void *const'
66 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .lb. 'const unsigned long'
67 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .ub. 'const unsigned long'
68 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .st. 'const long'
69 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .liter. 'const int'
70 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .reductions. 'void *const restrict'
71 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit __context 'struct (anonymous at {{.*}}ast-dump-openmp-taskloop.c:4:1) *const restrict'
72 // CHECK-NEXT: |         `-VarDecl {{.*}} <line:5:8, col:16> col:12 used i 'int' cinit
73 // CHECK-NEXT: |           `-IntegerLiteral {{.*}} <col:16> 'int' 0
74 // CHECK-NEXT: |-FunctionDecl {{.*}} <line:9:1, line:14:1> line:9:6 test_two 'void (int, int)'
75 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:15, col:19> col:19 used x 'int'
76 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:22, col:26> col:26 used y 'int'
77 // CHECK-NEXT: | `-CompoundStmt {{.*}} <col:29, line:14:1>
78 // CHECK-NEXT: |   `-OMPTaskLoopDirective {{.*}} <line:10:1, col:21>
79 // CHECK-NEXT: |     |-OMPFirstprivateClause {{.*}} <<invalid sloc>> <implicit>
80 // CHECK-NEXT: |     | |-DeclRefExpr {{.*}} <line:11:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
81 // CHECK-NEXT: |     | `-DeclRefExpr {{.*}} <line:12:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
82 // CHECK-NEXT: |     `-CapturedStmt {{.*}} <line:11:3, line:13:7>
83 // CHECK-NEXT: |       `-CapturedDecl {{.*}} <<invalid sloc>> <invalid sloc>
84 // CHECK-NEXT: |         |-ForStmt {{.*}} <line:11:3, line:13:7>
85 // CHECK-NEXT: |         | |-DeclStmt {{.*}} <line:11:8, col:17>
86 // CHECK-NEXT: |         | | `-VarDecl {{.*}} <col:8, col:16> col:12 used i 'int' cinit
87 // CHECK-NEXT: |         | |   `-IntegerLiteral {{.*}} <col:16> 'int' 0
88 // CHECK-NEXT: |         | |-<<<NULL>>>
89 // CHECK-NEXT: |         | |-BinaryOperator {{.*}} <col:19, col:23> 'int' '<'
90 // CHECK-NEXT: |         | | |-ImplicitCastExpr {{.*}} <col:19> 'int' <LValueToRValue>
91 // CHECK-NEXT: |         | | | `-DeclRefExpr {{.*}} <col:19> 'int' lvalue Var {{.*}} 'i' 'int'
92 // CHECK-NEXT: |         | | `-ImplicitCastExpr {{.*}} <col:23> 'int' <LValueToRValue>
93 // CHECK-NEXT: |         | |   `-DeclRefExpr {{.*}} <col:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
94 // CHECK-NEXT: |         | |-UnaryOperator {{.*}} <col:26, col:27> 'int' postfix '++'
95 // CHECK-NEXT: |         | | `-DeclRefExpr {{.*}} <col:26> 'int' lvalue Var {{.*}} 'i' 'int'
96 // CHECK-NEXT: |         | `-ForStmt {{.*}} <line:12:5, line:13:7>
97 // CHECK-NEXT: |         |   |-DeclStmt {{.*}} <line:12:10, col:19>
98 // CHECK-NEXT: |         |   | `-VarDecl {{.*}} <col:10, col:18> col:14 used i 'int' cinit
99 // CHECK-NEXT: |         |   |   `-IntegerLiteral {{.*}} <col:18> 'int' 0
100 // CHECK-NEXT: |         |   |-<<<NULL>>>
101 // CHECK-NEXT: |         |   |-BinaryOperator {{.*}} <col:21, col:25> 'int' '<'
102 // CHECK-NEXT: |         |   | |-ImplicitCastExpr {{.*}} <col:21> 'int' <LValueToRValue>
103 // CHECK-NEXT: |         |   | | `-DeclRefExpr {{.*}} <col:21> 'int' lvalue Var {{.*}} 'i' 'int'
104 // CHECK-NEXT: |         |   | `-ImplicitCastExpr {{.*}} <col:25> 'int' <LValueToRValue>
105 // CHECK-NEXT: |         |   |   `-DeclRefExpr {{.*}} <col:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
106 // CHECK-NEXT: |         |   |-UnaryOperator {{.*}} <col:28, col:29> 'int' postfix '++'
107 // CHECK-NEXT: |         |   | `-DeclRefExpr {{.*}} <col:28> 'int' lvalue Var {{.*}} 'i' 'int'
108 // CHECK-NEXT: |         |   `-NullStmt {{.*}} <line:13:7>
109 // CHECK-NEXT: |         |-AlwaysInlineAttr {{.*}} <<invalid sloc>> Implicit __forceinline
110 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <line:10:1> col:1 implicit .global_tid. 'const int'
111 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .part_id. 'const int *const restrict'
112 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .privates. 'void *const restrict'
113 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .copy_fn. 'void (*const restrict)(void *const restrict, ...)'
114 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .task_t. 'void *const'
115 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .lb. 'const unsigned long'
116 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .ub. 'const unsigned long'
117 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .st. 'const long'
118 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .liter. 'const int'
119 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .reductions. 'void *const restrict'
120 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit __context 'struct (anonymous at {{.*}}ast-dump-openmp-taskloop.c:10:1) *const restrict'
121 // CHECK-NEXT: |         |-VarDecl {{.*}} <line:11:8, col:16> col:12 used i 'int' cinit
122 // CHECK-NEXT: |         | `-IntegerLiteral {{.*}} <col:16> 'int' 0
123 // CHECK-NEXT: |         `-VarDecl {{.*}} <line:12:10, col:18> col:14 used i 'int' cinit
124 // CHECK-NEXT: |           `-IntegerLiteral {{.*}} <col:18> 'int' 0
125 // CHECK-NEXT: |-FunctionDecl {{.*}} <line:16:1, line:21:1> line:16:6 test_three 'void (int, int)'
126 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:17, col:21> col:21 used x 'int'
127 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:24, col:28> col:28 used y 'int'
128 // CHECK-NEXT: | `-CompoundStmt {{.*}} <col:31, line:21:1>
129 // CHECK-NEXT: |   `-OMPTaskLoopDirective {{.*}} <line:17:1, col:33>
130 // CHECK-NEXT: |     |-OMPCollapseClause {{.*}} <col:22, col:32>
131 // CHECK-NEXT: |     | `-ConstantExpr {{.*}} <col:31> 'int'
132 // CHECK-NEXT: |     |   `-IntegerLiteral {{.*}} <col:31> 'int' 1
133 // CHECK-NEXT: |     |-OMPFirstprivateClause {{.*}} <<invalid sloc>> <implicit>
134 // CHECK-NEXT: |     | |-DeclRefExpr {{.*}} <line:18:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
135 // CHECK-NEXT: |     | `-DeclRefExpr {{.*}} <line:19:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
136 // CHECK-NEXT: |     `-CapturedStmt {{.*}} <line:18:3, line:20:7>
137 // CHECK-NEXT: |       `-CapturedDecl {{.*}} <<invalid sloc>> <invalid sloc>
138 // CHECK-NEXT: |         |-ForStmt {{.*}} <line:18:3, line:20:7>
139 // CHECK-NEXT: |         | |-DeclStmt {{.*}} <line:18:8, col:17>
140 // CHECK-NEXT: |         | | `-VarDecl {{.*}} <col:8, col:16> col:12 used i 'int' cinit
141 // CHECK-NEXT: |         | |   `-IntegerLiteral {{.*}} <col:16> 'int' 0
142 // CHECK-NEXT: |         | |-<<<NULL>>>
143 // CHECK-NEXT: |         | |-BinaryOperator {{.*}} <col:19, col:23> 'int' '<'
144 // CHECK-NEXT: |         | | |-ImplicitCastExpr {{.*}} <col:19> 'int' <LValueToRValue>
145 // CHECK-NEXT: |         | | | `-DeclRefExpr {{.*}} <col:19> 'int' lvalue Var {{.*}} 'i' 'int'
146 // CHECK-NEXT: |         | | `-ImplicitCastExpr {{.*}} <col:23> 'int' <LValueToRValue>
147 // CHECK-NEXT: |         | |   `-DeclRefExpr {{.*}} <col:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
148 // CHECK-NEXT: |         | |-UnaryOperator {{.*}} <col:26, col:27> 'int' postfix '++'
149 // CHECK-NEXT: |         | | `-DeclRefExpr {{.*}} <col:26> 'int' lvalue Var {{.*}} 'i' 'int'
150 // CHECK-NEXT: |         | `-ForStmt {{.*}} <line:19:5, line:20:7>
151 // CHECK-NEXT: |         |   |-DeclStmt {{.*}} <line:19:10, col:19>
152 // CHECK-NEXT: |         |   | `-VarDecl {{.*}} <col:10, col:18> col:14 used i 'int' cinit
153 // CHECK-NEXT: |         |   |   `-IntegerLiteral {{.*}} <col:18> 'int' 0
154 // CHECK-NEXT: |         |   |-<<<NULL>>>
155 // CHECK-NEXT: |         |   |-BinaryOperator {{.*}} <col:21, col:25> 'int' '<'
156 // CHECK-NEXT: |         |   | |-ImplicitCastExpr {{.*}} <col:21> 'int' <LValueToRValue>
157 // CHECK-NEXT: |         |   | | `-DeclRefExpr {{.*}} <col:21> 'int' lvalue Var {{.*}} 'i' 'int'
158 // CHECK-NEXT: |         |   | `-ImplicitCastExpr {{.*}} <col:25> 'int' <LValueToRValue>
159 // CHECK-NEXT: |         |   |   `-DeclRefExpr {{.*}} <col:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
160 // CHECK-NEXT: |         |   |-UnaryOperator {{.*}} <col:28, col:29> 'int' postfix '++'
161 // CHECK-NEXT: |         |   | `-DeclRefExpr {{.*}} <col:28> 'int' lvalue Var {{.*}} 'i' 'int'
162 // CHECK-NEXT: |         |   `-NullStmt {{.*}} <line:20:7>
163 // CHECK-NEXT: |         |-AlwaysInlineAttr {{.*}} <<invalid sloc>> Implicit __forceinline
164 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <line:17:1> col:1 implicit .global_tid. 'const int'
165 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .part_id. 'const int *const restrict'
166 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .privates. 'void *const restrict'
167 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .copy_fn. 'void (*const restrict)(void *const restrict, ...)'
168 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .task_t. 'void *const'
169 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .lb. 'const unsigned long'
170 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .ub. 'const unsigned long'
171 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .st. 'const long'
172 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .liter. 'const int'
173 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .reductions. 'void *const restrict'
174 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit __context 'struct (anonymous at {{.*}}ast-dump-openmp-taskloop.c:17:1) *const restrict'
175 // CHECK-NEXT: |         |-VarDecl {{.*}} <line:18:8, col:16> col:12 used i 'int' cinit
176 // CHECK-NEXT: |         | `-IntegerLiteral {{.*}} <col:16> 'int' 0
177 // CHECK-NEXT: |         `-VarDecl {{.*}} <line:19:10, col:18> col:14 used i 'int' cinit
178 // CHECK-NEXT: |           `-IntegerLiteral {{.*}} <col:18> 'int' 0
179 // CHECK-NEXT: |-FunctionDecl {{.*}} <line:23:1, line:28:1> line:23:6 test_four 'void (int, int)'
180 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:16, col:20> col:20 used x 'int'
181 // CHECK-NEXT: | |-ParmVarDecl {{.*}} <col:23, col:27> col:27 used y 'int'
182 // CHECK-NEXT: | `-CompoundStmt {{.*}} <col:30, line:28:1>
183 // CHECK-NEXT: |   `-OMPTaskLoopDirective {{.*}} <line:24:1, col:33>
184 // CHECK-NEXT: |     |-OMPCollapseClause {{.*}} <col:22, col:32>
185 // CHECK-NEXT: |     | `-ConstantExpr {{.*}} <col:31> 'int'
186 // CHECK-NEXT: |     |   `-IntegerLiteral {{.*}} <col:31> 'int' 2
187 // CHECK-NEXT: |     |-OMPFirstprivateClause {{.*}} <<invalid sloc>> <implicit>
188 // CHECK-NEXT: |     | |-DeclRefExpr {{.*}} <line:25:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
189 // CHECK-NEXT: |     | `-DeclRefExpr {{.*}} <line:26:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
190 // CHECK-NEXT: |     `-CapturedStmt {{.*}} <line:25:3, line:27:7>
191 // CHECK-NEXT: |       `-CapturedDecl {{.*}} <<invalid sloc>> <invalid sloc>
192 // CHECK-NEXT: |         |-ForStmt {{.*}} <line:25:3, line:27:7>
193 // CHECK-NEXT: |         | |-DeclStmt {{.*}} <line:25:8, col:17>
194 // CHECK-NEXT: |         | | `-VarDecl {{.*}} <col:8, col:16> col:12 used i 'int' cinit
195 // CHECK-NEXT: |         | |   `-IntegerLiteral {{.*}} <col:16> 'int' 0
196 // CHECK-NEXT: |         | |-<<<NULL>>>
197 // CHECK-NEXT: |         | |-BinaryOperator {{.*}} <col:19, col:23> 'int' '<'
198 // CHECK-NEXT: |         | | |-ImplicitCastExpr {{.*}} <col:19> 'int' <LValueToRValue>
199 // CHECK-NEXT: |         | | | `-DeclRefExpr {{.*}} <col:19> 'int' lvalue Var {{.*}} 'i' 'int'
200 // CHECK-NEXT: |         | | `-ImplicitCastExpr {{.*}} <col:23> 'int' <LValueToRValue>
201 // CHECK-NEXT: |         | |   `-DeclRefExpr {{.*}} <col:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
202 // CHECK-NEXT: |         | |-UnaryOperator {{.*}} <col:26, col:27> 'int' postfix '++'
203 // CHECK-NEXT: |         | | `-DeclRefExpr {{.*}} <col:26> 'int' lvalue Var {{.*}} 'i' 'int'
204 // CHECK-NEXT: |         | `-ForStmt {{.*}} <line:26:5, line:27:7>
205 // CHECK-NEXT: |         |   |-DeclStmt {{.*}} <line:26:10, col:19>
206 // CHECK-NEXT: |         |   | `-VarDecl {{.*}} <col:10, col:18> col:14 used i 'int' cinit
207 // CHECK-NEXT: |         |   |   `-IntegerLiteral {{.*}} <col:18> 'int' 0
208 // CHECK-NEXT: |         |   |-<<<NULL>>>
209 // CHECK-NEXT: |         |   |-BinaryOperator {{.*}} <col:21, col:25> 'int' '<'
210 // CHECK-NEXT: |         |   | |-ImplicitCastExpr {{.*}} <col:21> 'int' <LValueToRValue>
211 // CHECK-NEXT: |         |   | | `-DeclRefExpr {{.*}} <col:21> 'int' lvalue Var {{.*}} 'i' 'int'
212 // CHECK-NEXT: |         |   | `-ImplicitCastExpr {{.*}} <col:25> 'int' <LValueToRValue>
213 // CHECK-NEXT: |         |   |   `-DeclRefExpr {{.*}} <col:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
214 // CHECK-NEXT: |         |   |-UnaryOperator {{.*}} <col:28, col:29> 'int' postfix '++'
215 // CHECK-NEXT: |         |   | `-DeclRefExpr {{.*}} <col:28> 'int' lvalue Var {{.*}} 'i' 'int'
216 // CHECK-NEXT: |         |   `-NullStmt {{.*}} <line:27:7>
217 // CHECK-NEXT: |         |-AlwaysInlineAttr {{.*}} <<invalid sloc>> Implicit __forceinline
218 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <line:24:1> col:1 implicit .global_tid. 'const int'
219 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .part_id. 'const int *const restrict'
220 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .privates. 'void *const restrict'
221 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .copy_fn. 'void (*const restrict)(void *const restrict, ...)'
222 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .task_t. 'void *const'
223 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .lb. 'const unsigned long'
224 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .ub. 'const unsigned long'
225 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .st. 'const long'
226 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .liter. 'const int'
227 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .reductions. 'void *const restrict'
228 // CHECK-NEXT: |         |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit __context 'struct (anonymous at {{.*}}ast-dump-openmp-taskloop.c:24:1) *const restrict'
229 // CHECK-NEXT: |         |-VarDecl {{.*}} <line:25:8, col:16> col:12 used i 'int' cinit
230 // CHECK-NEXT: |         | `-IntegerLiteral {{.*}} <col:16> 'int' 0
231 // CHECK-NEXT: |         `-VarDecl {{.*}} <line:26:10, col:18> col:14 used i 'int' cinit
232 // CHECK-NEXT: |           `-IntegerLiteral {{.*}} <col:18> 'int' 0
233 // CHECK-NEXT: `-FunctionDecl {{.*}} <line:30:1, line:36:1> line:30:6 test_five 'void (int, int, int)'
234 // CHECK-NEXT:   |-ParmVarDecl {{.*}} <col:16, col:20> col:20 used x 'int'
235 // CHECK-NEXT:   |-ParmVarDecl {{.*}} <col:23, col:27> col:27 used y 'int'
236 // CHECK-NEXT:   |-ParmVarDecl {{.*}} <col:30, col:34> col:34 used z 'int'
237 // CHECK-NEXT:   `-CompoundStmt {{.*}} <col:37, line:36:1>
238 // CHECK-NEXT:     `-OMPTaskLoopDirective {{.*}} <line:31:1, col:33>
239 // CHECK-NEXT:       |-OMPCollapseClause {{.*}} <col:22, col:32>
240 // CHECK-NEXT:       | `-ConstantExpr {{.*}} <col:31> 'int'
241 // CHECK-NEXT:       |   `-IntegerLiteral {{.*}} <col:31> 'int' 2
242 // CHECK-NEXT:       |-OMPFirstprivateClause {{.*}} <<invalid sloc>> <implicit>
243 // CHECK-NEXT:       | |-DeclRefExpr {{.*}} <line:32:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
244 // CHECK-NEXT:       | |-DeclRefExpr {{.*}} <line:33:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
245 // CHECK-NEXT:       | `-DeclRefExpr {{.*}} <line:34:27> 'int' lvalue ParmVar {{.*}} 'z' 'int'
246 // CHECK-NEXT:       `-CapturedStmt {{.*}} <line:32:3, line:35:9>
247 // CHECK-NEXT:         `-CapturedDecl {{.*}} <<invalid sloc>> <invalid sloc>
248 // CHECK-NEXT:           |-ForStmt {{.*}} <line:32:3, line:35:9>
249 // CHECK-NEXT:           | |-DeclStmt {{.*}} <line:32:8, col:17>
250 // CHECK-NEXT:           | | `-VarDecl {{.*}} <col:8, col:16> col:12 used i 'int' cinit
251 // CHECK-NEXT:           | |   `-IntegerLiteral {{.*}} <col:16> 'int' 0
252 // CHECK-NEXT:           | |-<<<NULL>>>
253 // CHECK-NEXT:           | |-BinaryOperator {{.*}} <col:19, col:23> 'int' '<'
254 // CHECK-NEXT:           | | |-ImplicitCastExpr {{.*}} <col:19> 'int' <LValueToRValue>
255 // CHECK-NEXT:           | | | `-DeclRefExpr {{.*}} <col:19> 'int' lvalue Var {{.*}} 'i' 'int'
256 // CHECK-NEXT:           | | `-ImplicitCastExpr {{.*}} <col:23> 'int' <LValueToRValue>
257 // CHECK-NEXT:           | |   `-DeclRefExpr {{.*}} <col:23> 'int' lvalue ParmVar {{.*}} 'x' 'int'
258 // CHECK-NEXT:           | |-UnaryOperator {{.*}} <col:26, col:27> 'int' postfix '++'
259 // CHECK-NEXT:           | | `-DeclRefExpr {{.*}} <col:26> 'int' lvalue Var {{.*}} 'i' 'int'
260 // CHECK-NEXT:           | `-ForStmt {{.*}} <line:33:5, line:35:9>
261 // CHECK-NEXT:           |   |-DeclStmt {{.*}} <line:33:10, col:19>
262 // CHECK-NEXT:           |   | `-VarDecl {{.*}} <col:10, col:18> col:14 used i 'int' cinit
263 // CHECK-NEXT:           |   |   `-IntegerLiteral {{.*}} <col:18> 'int' 0
264 // CHECK-NEXT:           |   |-<<<NULL>>>
265 // CHECK-NEXT:           |   |-BinaryOperator {{.*}} <col:21, col:25> 'int' '<'
266 // CHECK-NEXT:           |   | |-ImplicitCastExpr {{.*}} <col:21> 'int' <LValueToRValue>
267 // CHECK-NEXT:           |   | | `-DeclRefExpr {{.*}} <col:21> 'int' lvalue Var {{.*}} 'i' 'int'
268 // CHECK-NEXT:           |   | `-ImplicitCastExpr {{.*}} <col:25> 'int' <LValueToRValue>
269 // CHECK-NEXT:           |   |   `-DeclRefExpr {{.*}} <col:25> 'int' lvalue ParmVar {{.*}} 'y' 'int'
270 // CHECK-NEXT:           |   |-UnaryOperator {{.*}} <col:28, col:29> 'int' postfix '++'
271 // CHECK-NEXT:           |   | `-DeclRefExpr {{.*}} <col:28> 'int' lvalue Var {{.*}} 'i' 'int'
272 // CHECK-NEXT:           |   `-ForStmt {{.*}} <line:34:7, line:35:9>
273 // CHECK-NEXT:           |     |-DeclStmt {{.*}} <line:34:12, col:21>
274 // CHECK-NEXT:           |     | `-VarDecl {{.*}} <col:12, col:20> col:16 used i 'int' cinit
275 // CHECK-NEXT:           |     |   `-IntegerLiteral {{.*}} <col:20> 'int' 0
276 // CHECK-NEXT:           |     |-<<<NULL>>>
277 // CHECK-NEXT:           |     |-BinaryOperator {{.*}} <col:23, col:27> 'int' '<'
278 // CHECK-NEXT:           |     | |-ImplicitCastExpr {{.*}} <col:23> 'int' <LValueToRValue>
279 // CHECK-NEXT:           |     | | `-DeclRefExpr {{.*}} <col:23> 'int' lvalue Var {{.*}} 'i' 'int'
280 // CHECK-NEXT:           |     | `-ImplicitCastExpr {{.*}} <col:27> 'int' <LValueToRValue>
281 // CHECK-NEXT:           |     |   `-DeclRefExpr {{.*}} <col:27> 'int' lvalue ParmVar {{.*}} 'z' 'int'
282 // CHECK-NEXT:           |     |-UnaryOperator {{.*}} <col:30, col:31> 'int' postfix '++'
283 // CHECK-NEXT:           |     | `-DeclRefExpr {{.*}} <col:30> 'int' lvalue Var {{.*}} 'i' 'int'
284 // CHECK-NEXT:           |     `-NullStmt {{.*}} <line:35:9>
285 // CHECK-NEXT:           |-AlwaysInlineAttr {{.*}} <<invalid sloc>> Implicit __forceinline
286 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <line:31:1> col:1 implicit .global_tid. 'const int'
287 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .part_id. 'const int *const restrict'
288 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .privates. 'void *const restrict'
289 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .copy_fn. 'void (*const restrict)(void *const restrict, ...)'
290 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .task_t. 'void *const'
291 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .lb. 'const unsigned long'
292 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .ub. 'const unsigned long'
293 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .st. 'const long'
294 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .liter. 'const int'
295 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit .reductions. 'void *const restrict'
296 // CHECK-NEXT:           |-ImplicitParamDecl {{.*}} <col:1> col:1 implicit __context 'struct (anonymous at {{.*}}ast-dump-openmp-taskloop.c:31:1) *const restrict'
297 // CHECK-NEXT:           |-VarDecl {{.*}} <line:32:8, col:16> col:12 used i 'int' cinit
298 // CHECK-NEXT:           | `-IntegerLiteral {{.*}} <col:16> 'int' 0
299 // CHECK-NEXT:           |-VarDecl {{.*}} <line:33:10, col:18> col:14 used i 'int' cinit
300 // CHECK-NEXT:           | `-IntegerLiteral {{.*}} <col:18> 'int' 0
301 // CHECK-NEXT:           `-VarDecl {{.*}} <line:34:12, col:20> col:16 used i 'int' cinit
302 // CHECK-NEXT:             `-IntegerLiteral {{.*}} <col:20> 'int' 0
303