blob: 998fae657a4d4e712012371a8e38e25d845e6a9a [file] [log] [blame]
Alexey Bataeva769e072013-03-22 06:34:35 +00001//===--- ParseOpenMP.cpp - OpenMP directives parsing ----------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Alexey Bataeva769e072013-03-22 06:34:35 +00006//
7//===----------------------------------------------------------------------===//
8/// \file
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00009/// This file implements parsing of all OpenMP directives and clauses.
Alexey Bataeva769e072013-03-22 06:34:35 +000010///
11//===----------------------------------------------------------------------===//
12
Alexey Bataev9959db52014-05-06 10:08:46 +000013#include "clang/AST/ASTContext.h"
Alexey Bataev5ec3eb12013-07-19 03:13:43 +000014#include "clang/AST/StmtOpenMP.h"
Alexey Bataeva769e072013-03-22 06:34:35 +000015#include "clang/Parse/ParseDiagnostic.h"
Alexey Bataev6f6f3b42013-05-13 04:18:18 +000016#include "clang/Parse/Parser.h"
Vassil Vassilev11ad3392017-03-23 15:11:07 +000017#include "clang/Parse/RAIIObjectsForParser.h"
Alexey Bataev6f6f3b42013-05-13 04:18:18 +000018#include "clang/Sema/Scope.h"
19#include "llvm/ADT/PointerIntPair.h"
Michael Wong65f367f2015-07-21 13:44:28 +000020
Alexey Bataeva769e072013-03-22 06:34:35 +000021using namespace clang;
22
23//===----------------------------------------------------------------------===//
24// OpenMP declarative directives.
25//===----------------------------------------------------------------------===//
26
Dmitry Polukhin82478332016-02-13 06:53:38 +000027namespace {
28enum OpenMPDirectiveKindEx {
29 OMPD_cancellation = OMPD_unknown + 1,
30 OMPD_data,
Alexey Bataev94a4f0c2016-03-03 05:21:39 +000031 OMPD_declare,
Dmitry Polukhin0b0da292016-04-06 11:38:59 +000032 OMPD_end,
33 OMPD_end_declare,
Dmitry Polukhin82478332016-02-13 06:53:38 +000034 OMPD_enter,
35 OMPD_exit,
36 OMPD_point,
Alexey Bataev94a4f0c2016-03-03 05:21:39 +000037 OMPD_reduction,
Dmitry Polukhin82478332016-02-13 06:53:38 +000038 OMPD_target_enter,
Samuel Antao686c70c2016-05-26 17:30:50 +000039 OMPD_target_exit,
40 OMPD_update,
Kelvin Li579e41c2016-11-30 23:51:03 +000041 OMPD_distribute_parallel,
Kelvin Li80e8f562016-12-29 22:16:30 +000042 OMPD_teams_distribute_parallel,
Michael Kruse251e1482019-02-01 20:25:04 +000043 OMPD_target_teams_distribute_parallel,
44 OMPD_mapper,
Alexey Bataevd158cf62019-09-13 20:18:17 +000045 OMPD_variant,
Dmitry Polukhin82478332016-02-13 06:53:38 +000046};
Dmitry Polukhind69b5052016-05-09 14:59:13 +000047
Alexey Bataev25ed0c02019-03-07 17:54:44 +000048class DeclDirectiveListParserHelper final {
Dmitry Polukhind69b5052016-05-09 14:59:13 +000049 SmallVector<Expr *, 4> Identifiers;
50 Parser *P;
Alexey Bataev25ed0c02019-03-07 17:54:44 +000051 OpenMPDirectiveKind Kind;
Dmitry Polukhind69b5052016-05-09 14:59:13 +000052
53public:
Alexey Bataev25ed0c02019-03-07 17:54:44 +000054 DeclDirectiveListParserHelper(Parser *P, OpenMPDirectiveKind Kind)
55 : P(P), Kind(Kind) {}
Dmitry Polukhind69b5052016-05-09 14:59:13 +000056 void operator()(CXXScopeSpec &SS, DeclarationNameInfo NameInfo) {
Alexey Bataev25ed0c02019-03-07 17:54:44 +000057 ExprResult Res = P->getActions().ActOnOpenMPIdExpression(
58 P->getCurScope(), SS, NameInfo, Kind);
Dmitry Polukhind69b5052016-05-09 14:59:13 +000059 if (Res.isUsable())
60 Identifiers.push_back(Res.get());
61 }
62 llvm::ArrayRef<Expr *> getIdentifiers() const { return Identifiers; }
63};
Dmitry Polukhin82478332016-02-13 06:53:38 +000064} // namespace
65
66// Map token string to extended OMP token kind that are
67// OpenMPDirectiveKind + OpenMPDirectiveKindEx.
68static unsigned getOpenMPDirectiveKindEx(StringRef S) {
69 auto DKind = getOpenMPDirectiveKind(S);
70 if (DKind != OMPD_unknown)
71 return DKind;
72
73 return llvm::StringSwitch<unsigned>(S)
74 .Case("cancellation", OMPD_cancellation)
75 .Case("data", OMPD_data)
Alexey Bataev94a4f0c2016-03-03 05:21:39 +000076 .Case("declare", OMPD_declare)
Dmitry Polukhin0b0da292016-04-06 11:38:59 +000077 .Case("end", OMPD_end)
Dmitry Polukhin82478332016-02-13 06:53:38 +000078 .Case("enter", OMPD_enter)
79 .Case("exit", OMPD_exit)
80 .Case("point", OMPD_point)
Alexey Bataev94a4f0c2016-03-03 05:21:39 +000081 .Case("reduction", OMPD_reduction)
Samuel Antao686c70c2016-05-26 17:30:50 +000082 .Case("update", OMPD_update)
Michael Kruse251e1482019-02-01 20:25:04 +000083 .Case("mapper", OMPD_mapper)
Alexey Bataevd158cf62019-09-13 20:18:17 +000084 .Case("variant", OMPD_variant)
Dmitry Polukhin82478332016-02-13 06:53:38 +000085 .Default(OMPD_unknown);
86}
87
Alexey Bataev61908f652018-04-23 19:53:05 +000088static OpenMPDirectiveKind parseOpenMPDirectiveKind(Parser &P) {
Alexander Musmanf82886e2014-09-18 05:12:34 +000089 // Array of foldings: F[i][0] F[i][1] ===> F[i][2].
90 // E.g.: OMPD_for OMPD_simd ===> OMPD_for_simd
91 // TODO: add other combined directives in topological order.
Dmitry Polukhin82478332016-02-13 06:53:38 +000092 static const unsigned F[][3] = {
Alexey Bataev61908f652018-04-23 19:53:05 +000093 {OMPD_cancellation, OMPD_point, OMPD_cancellation_point},
94 {OMPD_declare, OMPD_reduction, OMPD_declare_reduction},
Michael Kruse251e1482019-02-01 20:25:04 +000095 {OMPD_declare, OMPD_mapper, OMPD_declare_mapper},
Alexey Bataev61908f652018-04-23 19:53:05 +000096 {OMPD_declare, OMPD_simd, OMPD_declare_simd},
97 {OMPD_declare, OMPD_target, OMPD_declare_target},
Alexey Bataevd158cf62019-09-13 20:18:17 +000098 {OMPD_declare, OMPD_variant, OMPD_declare_variant},
Alexey Bataev61908f652018-04-23 19:53:05 +000099 {OMPD_distribute, OMPD_parallel, OMPD_distribute_parallel},
100 {OMPD_distribute_parallel, OMPD_for, OMPD_distribute_parallel_for},
101 {OMPD_distribute_parallel_for, OMPD_simd,
102 OMPD_distribute_parallel_for_simd},
103 {OMPD_distribute, OMPD_simd, OMPD_distribute_simd},
104 {OMPD_end, OMPD_declare, OMPD_end_declare},
105 {OMPD_end_declare, OMPD_target, OMPD_end_declare_target},
106 {OMPD_target, OMPD_data, OMPD_target_data},
107 {OMPD_target, OMPD_enter, OMPD_target_enter},
108 {OMPD_target, OMPD_exit, OMPD_target_exit},
109 {OMPD_target, OMPD_update, OMPD_target_update},
110 {OMPD_target_enter, OMPD_data, OMPD_target_enter_data},
111 {OMPD_target_exit, OMPD_data, OMPD_target_exit_data},
112 {OMPD_for, OMPD_simd, OMPD_for_simd},
113 {OMPD_parallel, OMPD_for, OMPD_parallel_for},
114 {OMPD_parallel_for, OMPD_simd, OMPD_parallel_for_simd},
115 {OMPD_parallel, OMPD_sections, OMPD_parallel_sections},
116 {OMPD_taskloop, OMPD_simd, OMPD_taskloop_simd},
117 {OMPD_target, OMPD_parallel, OMPD_target_parallel},
118 {OMPD_target, OMPD_simd, OMPD_target_simd},
119 {OMPD_target_parallel, OMPD_for, OMPD_target_parallel_for},
120 {OMPD_target_parallel_for, OMPD_simd, OMPD_target_parallel_for_simd},
121 {OMPD_teams, OMPD_distribute, OMPD_teams_distribute},
122 {OMPD_teams_distribute, OMPD_simd, OMPD_teams_distribute_simd},
123 {OMPD_teams_distribute, OMPD_parallel, OMPD_teams_distribute_parallel},
124 {OMPD_teams_distribute_parallel, OMPD_for,
125 OMPD_teams_distribute_parallel_for},
126 {OMPD_teams_distribute_parallel_for, OMPD_simd,
127 OMPD_teams_distribute_parallel_for_simd},
128 {OMPD_target, OMPD_teams, OMPD_target_teams},
129 {OMPD_target_teams, OMPD_distribute, OMPD_target_teams_distribute},
130 {OMPD_target_teams_distribute, OMPD_parallel,
131 OMPD_target_teams_distribute_parallel},
132 {OMPD_target_teams_distribute, OMPD_simd,
133 OMPD_target_teams_distribute_simd},
134 {OMPD_target_teams_distribute_parallel, OMPD_for,
135 OMPD_target_teams_distribute_parallel_for},
136 {OMPD_target_teams_distribute_parallel_for, OMPD_simd,
137 OMPD_target_teams_distribute_parallel_for_simd}};
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000138 enum { CancellationPoint = 0, DeclareReduction = 1, TargetData = 2 };
Alexey Bataev61908f652018-04-23 19:53:05 +0000139 Token Tok = P.getCurToken();
Dmitry Polukhin82478332016-02-13 06:53:38 +0000140 unsigned DKind =
Alexey Bataev4acb8592014-07-07 13:01:15 +0000141 Tok.isAnnotation()
Dmitry Polukhin82478332016-02-13 06:53:38 +0000142 ? static_cast<unsigned>(OMPD_unknown)
143 : getOpenMPDirectiveKindEx(P.getPreprocessor().getSpelling(Tok));
144 if (DKind == OMPD_unknown)
145 return OMPD_unknown;
Michael Wong65f367f2015-07-21 13:44:28 +0000146
Alexey Bataev61908f652018-04-23 19:53:05 +0000147 for (unsigned I = 0; I < llvm::array_lengthof(F); ++I) {
148 if (DKind != F[I][0])
Dmitry Polukhin82478332016-02-13 06:53:38 +0000149 continue;
Michael Wong65f367f2015-07-21 13:44:28 +0000150
Dmitry Polukhin82478332016-02-13 06:53:38 +0000151 Tok = P.getPreprocessor().LookAhead(0);
152 unsigned SDKind =
153 Tok.isAnnotation()
154 ? static_cast<unsigned>(OMPD_unknown)
155 : getOpenMPDirectiveKindEx(P.getPreprocessor().getSpelling(Tok));
156 if (SDKind == OMPD_unknown)
157 continue;
Michael Wong65f367f2015-07-21 13:44:28 +0000158
Alexey Bataev61908f652018-04-23 19:53:05 +0000159 if (SDKind == F[I][1]) {
Dmitry Polukhin82478332016-02-13 06:53:38 +0000160 P.ConsumeToken();
Alexey Bataev61908f652018-04-23 19:53:05 +0000161 DKind = F[I][2];
Alexey Bataev4acb8592014-07-07 13:01:15 +0000162 }
163 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000164 return DKind < OMPD_unknown ? static_cast<OpenMPDirectiveKind>(DKind)
165 : OMPD_unknown;
166}
167
168static DeclarationName parseOpenMPReductionId(Parser &P) {
Alexey Bataeva839ddd2016-03-17 10:19:46 +0000169 Token Tok = P.getCurToken();
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000170 Sema &Actions = P.getActions();
171 OverloadedOperatorKind OOK = OO_None;
Alexey Bataeva839ddd2016-03-17 10:19:46 +0000172 // Allow to use 'operator' keyword for C++ operators
173 bool WithOperator = false;
174 if (Tok.is(tok::kw_operator)) {
175 P.ConsumeToken();
176 Tok = P.getCurToken();
177 WithOperator = true;
178 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000179 switch (Tok.getKind()) {
180 case tok::plus: // '+'
181 OOK = OO_Plus;
182 break;
183 case tok::minus: // '-'
184 OOK = OO_Minus;
185 break;
186 case tok::star: // '*'
187 OOK = OO_Star;
188 break;
189 case tok::amp: // '&'
190 OOK = OO_Amp;
191 break;
192 case tok::pipe: // '|'
193 OOK = OO_Pipe;
194 break;
195 case tok::caret: // '^'
196 OOK = OO_Caret;
197 break;
198 case tok::ampamp: // '&&'
199 OOK = OO_AmpAmp;
200 break;
201 case tok::pipepipe: // '||'
202 OOK = OO_PipePipe;
203 break;
204 case tok::identifier: // identifier
Alexey Bataeva839ddd2016-03-17 10:19:46 +0000205 if (!WithOperator)
206 break;
Galina Kistanova474f2ce2017-06-01 21:26:38 +0000207 LLVM_FALLTHROUGH;
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000208 default:
209 P.Diag(Tok.getLocation(), diag::err_omp_expected_reduction_identifier);
210 P.SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
211 Parser::StopBeforeMatch);
212 return DeclarationName();
213 }
214 P.ConsumeToken();
215 auto &DeclNames = Actions.getASTContext().DeclarationNames;
216 return OOK == OO_None ? DeclNames.getIdentifier(Tok.getIdentifierInfo())
217 : DeclNames.getCXXOperatorName(OOK);
218}
219
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000220/// Parse 'omp declare reduction' construct.
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000221///
222/// declare-reduction-directive:
223/// annot_pragma_openmp 'declare' 'reduction'
224/// '(' <reduction_id> ':' <type> {',' <type>} ':' <expression> ')'
225/// ['initializer' '(' ('omp_priv' '=' <expression>)|<function_call> ')']
226/// annot_pragma_openmp_end
227/// <reduction_id> is either a base language identifier or one of the following
228/// operators: '+', '-', '*', '&', '|', '^', '&&' and '||'.
229///
230Parser::DeclGroupPtrTy
231Parser::ParseOpenMPDeclareReductionDirective(AccessSpecifier AS) {
232 // Parse '('.
233 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
234 if (T.expectAndConsume(diag::err_expected_lparen_after,
235 getOpenMPDirectiveName(OMPD_declare_reduction))) {
236 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
237 return DeclGroupPtrTy();
238 }
239
240 DeclarationName Name = parseOpenMPReductionId(*this);
241 if (Name.isEmpty() && Tok.is(tok::annot_pragma_openmp_end))
242 return DeclGroupPtrTy();
243
244 // Consume ':'.
245 bool IsCorrect = !ExpectAndConsume(tok::colon);
246
247 if (!IsCorrect && Tok.is(tok::annot_pragma_openmp_end))
248 return DeclGroupPtrTy();
249
Alexey Bataeva839ddd2016-03-17 10:19:46 +0000250 IsCorrect = IsCorrect && !Name.isEmpty();
251
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000252 if (Tok.is(tok::colon) || Tok.is(tok::annot_pragma_openmp_end)) {
253 Diag(Tok.getLocation(), diag::err_expected_type);
254 IsCorrect = false;
255 }
256
257 if (!IsCorrect && Tok.is(tok::annot_pragma_openmp_end))
258 return DeclGroupPtrTy();
259
260 SmallVector<std::pair<QualType, SourceLocation>, 8> ReductionTypes;
261 // Parse list of types until ':' token.
262 do {
263 ColonProtectionRAIIObject ColonRAII(*this);
264 SourceRange Range;
Faisal Vali421b2d12017-12-29 05:41:00 +0000265 TypeResult TR =
266 ParseTypeName(&Range, DeclaratorContext::PrototypeContext, AS);
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000267 if (TR.isUsable()) {
Alexey Bataev61908f652018-04-23 19:53:05 +0000268 QualType ReductionType =
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000269 Actions.ActOnOpenMPDeclareReductionType(Range.getBegin(), TR);
270 if (!ReductionType.isNull()) {
271 ReductionTypes.push_back(
272 std::make_pair(ReductionType, Range.getBegin()));
273 }
274 } else {
275 SkipUntil(tok::comma, tok::colon, tok::annot_pragma_openmp_end,
276 StopBeforeMatch);
277 }
278
279 if (Tok.is(tok::colon) || Tok.is(tok::annot_pragma_openmp_end))
280 break;
281
282 // Consume ','.
283 if (ExpectAndConsume(tok::comma)) {
284 IsCorrect = false;
285 if (Tok.is(tok::annot_pragma_openmp_end)) {
286 Diag(Tok.getLocation(), diag::err_expected_type);
287 return DeclGroupPtrTy();
288 }
289 }
290 } while (Tok.isNot(tok::annot_pragma_openmp_end));
291
292 if (ReductionTypes.empty()) {
293 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
294 return DeclGroupPtrTy();
295 }
296
297 if (!IsCorrect && Tok.is(tok::annot_pragma_openmp_end))
298 return DeclGroupPtrTy();
299
300 // Consume ':'.
301 if (ExpectAndConsume(tok::colon))
302 IsCorrect = false;
303
304 if (Tok.is(tok::annot_pragma_openmp_end)) {
305 Diag(Tok.getLocation(), diag::err_expected_expression);
306 return DeclGroupPtrTy();
307 }
308
309 DeclGroupPtrTy DRD = Actions.ActOnOpenMPDeclareReductionDirectiveStart(
310 getCurScope(), Actions.getCurLexicalContext(), Name, ReductionTypes, AS);
311
312 // Parse <combiner> expression and then parse initializer if any for each
313 // correct type.
314 unsigned I = 0, E = ReductionTypes.size();
Alexey Bataev61908f652018-04-23 19:53:05 +0000315 for (Decl *D : DRD.get()) {
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000316 TentativeParsingAction TPA(*this);
317 ParseScope OMPDRScope(this, Scope::FnScope | Scope::DeclScope |
Momchil Velikov57c681f2017-08-10 15:43:06 +0000318 Scope::CompoundStmtScope |
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000319 Scope::OpenMPDirectiveScope);
320 // Parse <combiner> expression.
321 Actions.ActOnOpenMPDeclareReductionCombinerStart(getCurScope(), D);
322 ExprResult CombinerResult =
323 Actions.ActOnFinishFullExpr(ParseAssignmentExpression().get(),
Aaron Ballmanfb6deeb2019-01-04 16:58:14 +0000324 D->getLocation(), /*DiscardedValue*/ false);
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000325 Actions.ActOnOpenMPDeclareReductionCombinerEnd(D, CombinerResult.get());
326
327 if (CombinerResult.isInvalid() && Tok.isNot(tok::r_paren) &&
328 Tok.isNot(tok::annot_pragma_openmp_end)) {
329 TPA.Commit();
330 IsCorrect = false;
331 break;
332 }
333 IsCorrect = !T.consumeClose() && IsCorrect && CombinerResult.isUsable();
334 ExprResult InitializerResult;
335 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
336 // Parse <initializer> expression.
337 if (Tok.is(tok::identifier) &&
Alexey Bataev61908f652018-04-23 19:53:05 +0000338 Tok.getIdentifierInfo()->isStr("initializer")) {
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000339 ConsumeToken();
Alexey Bataev61908f652018-04-23 19:53:05 +0000340 } else {
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000341 Diag(Tok.getLocation(), diag::err_expected) << "'initializer'";
342 TPA.Commit();
343 IsCorrect = false;
344 break;
345 }
346 // Parse '('.
347 BalancedDelimiterTracker T(*this, tok::l_paren,
348 tok::annot_pragma_openmp_end);
349 IsCorrect =
350 !T.expectAndConsume(diag::err_expected_lparen_after, "initializer") &&
351 IsCorrect;
352 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
353 ParseScope OMPDRScope(this, Scope::FnScope | Scope::DeclScope |
Momchil Velikov57c681f2017-08-10 15:43:06 +0000354 Scope::CompoundStmtScope |
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000355 Scope::OpenMPDirectiveScope);
356 // Parse expression.
Alexey Bataev070f43a2017-09-06 14:49:58 +0000357 VarDecl *OmpPrivParm =
358 Actions.ActOnOpenMPDeclareReductionInitializerStart(getCurScope(),
359 D);
360 // Check if initializer is omp_priv <init_expr> or something else.
361 if (Tok.is(tok::identifier) &&
362 Tok.getIdentifierInfo()->isStr("omp_priv")) {
Alexey Bataeve6aa4692018-09-13 16:54:05 +0000363 if (Actions.getLangOpts().CPlusPlus) {
364 InitializerResult = Actions.ActOnFinishFullExpr(
365 ParseAssignmentExpression().get(), D->getLocation(),
Aaron Ballmanfb6deeb2019-01-04 16:58:14 +0000366 /*DiscardedValue*/ false);
Alexey Bataeve6aa4692018-09-13 16:54:05 +0000367 } else {
368 ConsumeToken();
369 ParseOpenMPReductionInitializerForDecl(OmpPrivParm);
370 }
Alexey Bataev070f43a2017-09-06 14:49:58 +0000371 } else {
372 InitializerResult = Actions.ActOnFinishFullExpr(
373 ParseAssignmentExpression().get(), D->getLocation(),
Aaron Ballmanfb6deeb2019-01-04 16:58:14 +0000374 /*DiscardedValue*/ false);
Alexey Bataev070f43a2017-09-06 14:49:58 +0000375 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000376 Actions.ActOnOpenMPDeclareReductionInitializerEnd(
Alexey Bataev070f43a2017-09-06 14:49:58 +0000377 D, InitializerResult.get(), OmpPrivParm);
Alexey Bataev94a4f0c2016-03-03 05:21:39 +0000378 if (InitializerResult.isInvalid() && Tok.isNot(tok::r_paren) &&
379 Tok.isNot(tok::annot_pragma_openmp_end)) {
380 TPA.Commit();
381 IsCorrect = false;
382 break;
383 }
384 IsCorrect =
385 !T.consumeClose() && IsCorrect && !InitializerResult.isInvalid();
386 }
387 }
388
389 ++I;
390 // Revert parsing if not the last type, otherwise accept it, we're done with
391 // parsing.
392 if (I != E)
393 TPA.Revert();
394 else
395 TPA.Commit();
396 }
397 return Actions.ActOnOpenMPDeclareReductionDirectiveEnd(getCurScope(), DRD,
398 IsCorrect);
Alexey Bataev4acb8592014-07-07 13:01:15 +0000399}
400
Alexey Bataev070f43a2017-09-06 14:49:58 +0000401void Parser::ParseOpenMPReductionInitializerForDecl(VarDecl *OmpPrivParm) {
402 // Parse declarator '=' initializer.
403 // If a '==' or '+=' is found, suggest a fixit to '='.
404 if (isTokenEqualOrEqualTypo()) {
405 ConsumeToken();
406
407 if (Tok.is(tok::code_completion)) {
408 Actions.CodeCompleteInitializer(getCurScope(), OmpPrivParm);
409 Actions.FinalizeDeclaration(OmpPrivParm);
410 cutOffParsing();
411 return;
412 }
413
414 ExprResult Init(ParseInitializer());
415
416 if (Init.isInvalid()) {
417 SkipUntil(tok::r_paren, tok::annot_pragma_openmp_end, StopBeforeMatch);
418 Actions.ActOnInitializerError(OmpPrivParm);
419 } else {
420 Actions.AddInitializerToDecl(OmpPrivParm, Init.get(),
421 /*DirectInit=*/false);
422 }
423 } else if (Tok.is(tok::l_paren)) {
424 // Parse C++ direct initializer: '(' expression-list ')'
425 BalancedDelimiterTracker T(*this, tok::l_paren);
426 T.consumeOpen();
427
428 ExprVector Exprs;
429 CommaLocsTy CommaLocs;
430
Ilya Biryukov2fab2352018-08-30 13:08:03 +0000431 SourceLocation LParLoc = T.getOpenLocation();
Ilya Biryukovff2a9972019-02-26 11:01:50 +0000432 auto RunSignatureHelp = [this, OmpPrivParm, LParLoc, &Exprs]() {
433 QualType PreferredType = Actions.ProduceConstructorSignatureHelp(
434 getCurScope(), OmpPrivParm->getType()->getCanonicalTypeInternal(),
435 OmpPrivParm->getLocation(), Exprs, LParLoc);
436 CalledSignatureHelp = true;
437 return PreferredType;
438 };
439 if (ParseExpressionList(Exprs, CommaLocs, [&] {
440 PreferredType.enterFunctionArgument(Tok.getLocation(),
441 RunSignatureHelp);
442 })) {
443 if (PP.isCodeCompletionReached() && !CalledSignatureHelp)
444 RunSignatureHelp();
Alexey Bataev070f43a2017-09-06 14:49:58 +0000445 Actions.ActOnInitializerError(OmpPrivParm);
446 SkipUntil(tok::r_paren, tok::annot_pragma_openmp_end, StopBeforeMatch);
447 } else {
448 // Match the ')'.
Alexey Bataevdbc72c92018-07-06 19:35:42 +0000449 SourceLocation RLoc = Tok.getLocation();
450 if (!T.consumeClose())
451 RLoc = T.getCloseLocation();
Alexey Bataev070f43a2017-09-06 14:49:58 +0000452
453 assert(!Exprs.empty() && Exprs.size() - 1 == CommaLocs.size() &&
454 "Unexpected number of commas!");
455
Alexey Bataevdbc72c92018-07-06 19:35:42 +0000456 ExprResult Initializer =
457 Actions.ActOnParenListExpr(T.getOpenLocation(), RLoc, Exprs);
Alexey Bataev070f43a2017-09-06 14:49:58 +0000458 Actions.AddInitializerToDecl(OmpPrivParm, Initializer.get(),
459 /*DirectInit=*/true);
460 }
461 } else if (getLangOpts().CPlusPlus11 && Tok.is(tok::l_brace)) {
462 // Parse C++0x braced-init-list.
463 Diag(Tok, diag::warn_cxx98_compat_generalized_initializer_lists);
464
465 ExprResult Init(ParseBraceInitializer());
466
467 if (Init.isInvalid()) {
468 Actions.ActOnInitializerError(OmpPrivParm);
469 } else {
470 Actions.AddInitializerToDecl(OmpPrivParm, Init.get(),
471 /*DirectInit=*/true);
472 }
473 } else {
474 Actions.ActOnUninitializedDecl(OmpPrivParm);
475 }
476}
477
Michael Kruse251e1482019-02-01 20:25:04 +0000478/// Parses 'omp declare mapper' directive.
479///
480/// declare-mapper-directive:
481/// annot_pragma_openmp 'declare' 'mapper' '(' [<mapper-identifier> ':']
482/// <type> <var> ')' [<clause>[[,] <clause>] ... ]
483/// annot_pragma_openmp_end
484/// <mapper-identifier> and <var> are base language identifiers.
485///
486Parser::DeclGroupPtrTy
487Parser::ParseOpenMPDeclareMapperDirective(AccessSpecifier AS) {
488 bool IsCorrect = true;
489 // Parse '('
490 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
491 if (T.expectAndConsume(diag::err_expected_lparen_after,
492 getOpenMPDirectiveName(OMPD_declare_mapper))) {
493 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
494 return DeclGroupPtrTy();
495 }
496
497 // Parse <mapper-identifier>
498 auto &DeclNames = Actions.getASTContext().DeclarationNames;
499 DeclarationName MapperId;
500 if (PP.LookAhead(0).is(tok::colon)) {
501 if (Tok.isNot(tok::identifier) && Tok.isNot(tok::kw_default)) {
502 Diag(Tok.getLocation(), diag::err_omp_mapper_illegal_identifier);
503 IsCorrect = false;
504 } else {
505 MapperId = DeclNames.getIdentifier(Tok.getIdentifierInfo());
506 }
507 ConsumeToken();
508 // Consume ':'.
509 ExpectAndConsume(tok::colon);
510 } else {
511 // If no mapper identifier is provided, its name is "default" by default
512 MapperId =
513 DeclNames.getIdentifier(&Actions.getASTContext().Idents.get("default"));
514 }
515
516 if (!IsCorrect && Tok.is(tok::annot_pragma_openmp_end))
517 return DeclGroupPtrTy();
518
519 // Parse <type> <var>
520 DeclarationName VName;
521 QualType MapperType;
522 SourceRange Range;
523 TypeResult ParsedType = parseOpenMPDeclareMapperVarDecl(Range, VName, AS);
524 if (ParsedType.isUsable())
525 MapperType =
526 Actions.ActOnOpenMPDeclareMapperType(Range.getBegin(), ParsedType);
527 if (MapperType.isNull())
528 IsCorrect = false;
529 if (!IsCorrect) {
530 SkipUntil(tok::annot_pragma_openmp_end, Parser::StopBeforeMatch);
531 return DeclGroupPtrTy();
532 }
533
534 // Consume ')'.
535 IsCorrect &= !T.consumeClose();
536 if (!IsCorrect) {
537 SkipUntil(tok::annot_pragma_openmp_end, Parser::StopBeforeMatch);
538 return DeclGroupPtrTy();
539 }
540
541 // Enter scope.
542 OMPDeclareMapperDecl *DMD = Actions.ActOnOpenMPDeclareMapperDirectiveStart(
543 getCurScope(), Actions.getCurLexicalContext(), MapperId, MapperType,
544 Range.getBegin(), VName, AS);
545 DeclarationNameInfo DirName;
546 SourceLocation Loc = Tok.getLocation();
547 unsigned ScopeFlags = Scope::FnScope | Scope::DeclScope |
548 Scope::CompoundStmtScope | Scope::OpenMPDirectiveScope;
549 ParseScope OMPDirectiveScope(this, ScopeFlags);
550 Actions.StartOpenMPDSABlock(OMPD_declare_mapper, DirName, getCurScope(), Loc);
551
552 // Add the mapper variable declaration.
553 Actions.ActOnOpenMPDeclareMapperDirectiveVarDecl(
554 DMD, getCurScope(), MapperType, Range.getBegin(), VName);
555
556 // Parse map clauses.
557 SmallVector<OMPClause *, 6> Clauses;
558 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
559 OpenMPClauseKind CKind = Tok.isAnnotation()
560 ? OMPC_unknown
561 : getOpenMPClauseKind(PP.getSpelling(Tok));
562 Actions.StartOpenMPClause(CKind);
563 OMPClause *Clause =
564 ParseOpenMPClause(OMPD_declare_mapper, CKind, Clauses.size() == 0);
565 if (Clause)
566 Clauses.push_back(Clause);
567 else
568 IsCorrect = false;
569 // Skip ',' if any.
570 if (Tok.is(tok::comma))
571 ConsumeToken();
572 Actions.EndOpenMPClause();
573 }
574 if (Clauses.empty()) {
575 Diag(Tok, diag::err_omp_expected_clause)
576 << getOpenMPDirectiveName(OMPD_declare_mapper);
577 IsCorrect = false;
578 }
579
580 // Exit scope.
581 Actions.EndOpenMPDSABlock(nullptr);
582 OMPDirectiveScope.Exit();
583
584 DeclGroupPtrTy DGP =
585 Actions.ActOnOpenMPDeclareMapperDirectiveEnd(DMD, getCurScope(), Clauses);
586 if (!IsCorrect)
587 return DeclGroupPtrTy();
588 return DGP;
589}
590
591TypeResult Parser::parseOpenMPDeclareMapperVarDecl(SourceRange &Range,
592 DeclarationName &Name,
593 AccessSpecifier AS) {
594 // Parse the common declaration-specifiers piece.
595 Parser::DeclSpecContext DSC = Parser::DeclSpecContext::DSC_type_specifier;
596 DeclSpec DS(AttrFactory);
597 ParseSpecifierQualifierList(DS, AS, DSC);
598
599 // Parse the declarator.
600 DeclaratorContext Context = DeclaratorContext::PrototypeContext;
601 Declarator DeclaratorInfo(DS, Context);
602 ParseDeclarator(DeclaratorInfo);
603 Range = DeclaratorInfo.getSourceRange();
604 if (DeclaratorInfo.getIdentifier() == nullptr) {
605 Diag(Tok.getLocation(), diag::err_omp_mapper_expected_declarator);
606 return true;
607 }
608 Name = Actions.GetNameForDeclarator(DeclaratorInfo).getName();
609
610 return Actions.ActOnOpenMPDeclareMapperVarDecl(getCurScope(), DeclaratorInfo);
611}
612
Alexey Bataev2af33e32016-04-07 12:45:37 +0000613namespace {
614/// RAII that recreates function context for correct parsing of clauses of
615/// 'declare simd' construct.
616/// OpenMP, 2.8.2 declare simd Construct
617/// The expressions appearing in the clauses of this directive are evaluated in
618/// the scope of the arguments of the function declaration or definition.
619class FNContextRAII final {
620 Parser &P;
621 Sema::CXXThisScopeRAII *ThisScope;
622 Parser::ParseScope *TempScope;
623 Parser::ParseScope *FnScope;
624 bool HasTemplateScope = false;
625 bool HasFunScope = false;
626 FNContextRAII() = delete;
627 FNContextRAII(const FNContextRAII &) = delete;
628 FNContextRAII &operator=(const FNContextRAII &) = delete;
629
630public:
631 FNContextRAII(Parser &P, Parser::DeclGroupPtrTy Ptr) : P(P) {
632 Decl *D = *Ptr.get().begin();
633 NamedDecl *ND = dyn_cast<NamedDecl>(D);
634 RecordDecl *RD = dyn_cast_or_null<RecordDecl>(D->getDeclContext());
635 Sema &Actions = P.getActions();
636
637 // Allow 'this' within late-parsed attributes.
Mikael Nilsson9d2872d2018-12-13 10:15:27 +0000638 ThisScope = new Sema::CXXThisScopeRAII(Actions, RD, Qualifiers(),
Alexey Bataev2af33e32016-04-07 12:45:37 +0000639 ND && ND->isCXXInstanceMember());
640
641 // If the Decl is templatized, add template parameters to scope.
642 HasTemplateScope = D->isTemplateDecl();
643 TempScope =
644 new Parser::ParseScope(&P, Scope::TemplateParamScope, HasTemplateScope);
645 if (HasTemplateScope)
646 Actions.ActOnReenterTemplateScope(Actions.getCurScope(), D);
647
648 // If the Decl is on a function, add function parameters to the scope.
649 HasFunScope = D->isFunctionOrFunctionTemplate();
Momchil Velikov57c681f2017-08-10 15:43:06 +0000650 FnScope = new Parser::ParseScope(
651 &P, Scope::FnScope | Scope::DeclScope | Scope::CompoundStmtScope,
652 HasFunScope);
Alexey Bataev2af33e32016-04-07 12:45:37 +0000653 if (HasFunScope)
654 Actions.ActOnReenterFunctionContext(Actions.getCurScope(), D);
655 }
656 ~FNContextRAII() {
657 if (HasFunScope) {
658 P.getActions().ActOnExitFunctionContext();
659 FnScope->Exit(); // Pop scope, and remove Decls from IdResolver
660 }
661 if (HasTemplateScope)
662 TempScope->Exit();
663 delete FnScope;
664 delete TempScope;
665 delete ThisScope;
666 }
667};
668} // namespace
669
Alexey Bataevd93d3762016-04-12 09:35:56 +0000670/// Parses clauses for 'declare simd' directive.
671/// clause:
672/// 'inbranch' | 'notinbranch'
673/// 'simdlen' '(' <expr> ')'
674/// { 'uniform' '(' <argument_list> ')' }
675/// { 'aligned '(' <argument_list> [ ':' <alignment> ] ')' }
Alexey Bataevecba70f2016-04-12 11:02:11 +0000676/// { 'linear '(' <argument_list> [ ':' <step> ] ')' }
677static bool parseDeclareSimdClauses(
678 Parser &P, OMPDeclareSimdDeclAttr::BranchStateTy &BS, ExprResult &SimdLen,
679 SmallVectorImpl<Expr *> &Uniforms, SmallVectorImpl<Expr *> &Aligneds,
680 SmallVectorImpl<Expr *> &Alignments, SmallVectorImpl<Expr *> &Linears,
681 SmallVectorImpl<unsigned> &LinModifiers, SmallVectorImpl<Expr *> &Steps) {
Alexey Bataevd93d3762016-04-12 09:35:56 +0000682 SourceRange BSRange;
683 const Token &Tok = P.getCurToken();
684 bool IsError = false;
685 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
686 if (Tok.isNot(tok::identifier))
687 break;
688 OMPDeclareSimdDeclAttr::BranchStateTy Out;
689 IdentifierInfo *II = Tok.getIdentifierInfo();
690 StringRef ClauseName = II->getName();
691 // Parse 'inranch|notinbranch' clauses.
692 if (OMPDeclareSimdDeclAttr::ConvertStrToBranchStateTy(ClauseName, Out)) {
693 if (BS != OMPDeclareSimdDeclAttr::BS_Undefined && BS != Out) {
694 P.Diag(Tok, diag::err_omp_declare_simd_inbranch_notinbranch)
695 << ClauseName
696 << OMPDeclareSimdDeclAttr::ConvertBranchStateTyToStr(BS) << BSRange;
697 IsError = true;
698 }
699 BS = Out;
700 BSRange = SourceRange(Tok.getLocation(), Tok.getEndLoc());
701 P.ConsumeToken();
702 } else if (ClauseName.equals("simdlen")) {
703 if (SimdLen.isUsable()) {
704 P.Diag(Tok, diag::err_omp_more_one_clause)
705 << getOpenMPDirectiveName(OMPD_declare_simd) << ClauseName << 0;
706 IsError = true;
707 }
708 P.ConsumeToken();
709 SourceLocation RLoc;
710 SimdLen = P.ParseOpenMPParensExpr(ClauseName, RLoc);
711 if (SimdLen.isInvalid())
712 IsError = true;
713 } else {
714 OpenMPClauseKind CKind = getOpenMPClauseKind(ClauseName);
Alexey Bataevecba70f2016-04-12 11:02:11 +0000715 if (CKind == OMPC_uniform || CKind == OMPC_aligned ||
716 CKind == OMPC_linear) {
Alexey Bataevd93d3762016-04-12 09:35:56 +0000717 Parser::OpenMPVarListDataTy Data;
Alexey Bataev61908f652018-04-23 19:53:05 +0000718 SmallVectorImpl<Expr *> *Vars = &Uniforms;
Alexey Bataevecba70f2016-04-12 11:02:11 +0000719 if (CKind == OMPC_aligned)
Alexey Bataevd93d3762016-04-12 09:35:56 +0000720 Vars = &Aligneds;
Alexey Bataevecba70f2016-04-12 11:02:11 +0000721 else if (CKind == OMPC_linear)
722 Vars = &Linears;
Alexey Bataevd93d3762016-04-12 09:35:56 +0000723
724 P.ConsumeToken();
725 if (P.ParseOpenMPVarList(OMPD_declare_simd,
726 getOpenMPClauseKind(ClauseName), *Vars, Data))
727 IsError = true;
Alexey Bataev61908f652018-04-23 19:53:05 +0000728 if (CKind == OMPC_aligned) {
Alexey Bataevd93d3762016-04-12 09:35:56 +0000729 Alignments.append(Aligneds.size() - Alignments.size(), Data.TailExpr);
Alexey Bataev61908f652018-04-23 19:53:05 +0000730 } else if (CKind == OMPC_linear) {
Alexey Bataevecba70f2016-04-12 11:02:11 +0000731 if (P.getActions().CheckOpenMPLinearModifier(Data.LinKind,
732 Data.DepLinMapLoc))
733 Data.LinKind = OMPC_LINEAR_val;
734 LinModifiers.append(Linears.size() - LinModifiers.size(),
735 Data.LinKind);
736 Steps.append(Linears.size() - Steps.size(), Data.TailExpr);
737 }
Alexey Bataevd93d3762016-04-12 09:35:56 +0000738 } else
739 // TODO: add parsing of other clauses.
740 break;
741 }
742 // Skip ',' if any.
743 if (Tok.is(tok::comma))
744 P.ConsumeToken();
745 }
746 return IsError;
747}
748
Alexey Bataev2af33e32016-04-07 12:45:37 +0000749/// Parse clauses for '#pragma omp declare simd'.
750Parser::DeclGroupPtrTy
751Parser::ParseOMPDeclareSimdClauses(Parser::DeclGroupPtrTy Ptr,
752 CachedTokens &Toks, SourceLocation Loc) {
Ilya Biryukov929af672019-05-17 09:32:05 +0000753 PP.EnterToken(Tok, /*IsReinject*/ true);
754 PP.EnterTokenStream(Toks, /*DisableMacroExpansion=*/true,
755 /*IsReinject*/ true);
Alexey Bataev2af33e32016-04-07 12:45:37 +0000756 // Consume the previously pushed token.
757 ConsumeAnyToken(/*ConsumeCodeCompletionTok=*/true);
Alexey Bataevd158cf62019-09-13 20:18:17 +0000758 ConsumeAnyToken(/*ConsumeCodeCompletionTok=*/true);
Alexey Bataev2af33e32016-04-07 12:45:37 +0000759
760 FNContextRAII FnContext(*this, Ptr);
761 OMPDeclareSimdDeclAttr::BranchStateTy BS =
762 OMPDeclareSimdDeclAttr::BS_Undefined;
763 ExprResult Simdlen;
Alexey Bataeve48a5fc2016-04-12 05:28:34 +0000764 SmallVector<Expr *, 4> Uniforms;
Alexey Bataevd93d3762016-04-12 09:35:56 +0000765 SmallVector<Expr *, 4> Aligneds;
766 SmallVector<Expr *, 4> Alignments;
Alexey Bataevecba70f2016-04-12 11:02:11 +0000767 SmallVector<Expr *, 4> Linears;
768 SmallVector<unsigned, 4> LinModifiers;
769 SmallVector<Expr *, 4> Steps;
770 bool IsError =
771 parseDeclareSimdClauses(*this, BS, Simdlen, Uniforms, Aligneds,
772 Alignments, Linears, LinModifiers, Steps);
Alexey Bataev2af33e32016-04-07 12:45:37 +0000773 // Need to check for extra tokens.
774 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
775 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
776 << getOpenMPDirectiveName(OMPD_declare_simd);
777 while (Tok.isNot(tok::annot_pragma_openmp_end))
778 ConsumeAnyToken();
779 }
780 // Skip the last annot_pragma_openmp_end.
Richard Smithaf3b3252017-05-18 19:21:48 +0000781 SourceLocation EndLoc = ConsumeAnnotationToken();
Alexey Bataev61908f652018-04-23 19:53:05 +0000782 if (IsError)
783 return Ptr;
784 return Actions.ActOnOpenMPDeclareSimdDirective(
785 Ptr, BS, Simdlen.get(), Uniforms, Aligneds, Alignments, Linears,
786 LinModifiers, Steps, SourceRange(Loc, EndLoc));
Alexey Bataev20dfd772016-04-04 10:12:15 +0000787}
788
Alexey Bataeva15a1412019-10-02 18:19:02 +0000789/// Parse optional 'score' '(' <expr> ')' ':'.
790static ExprResult parseContextScore(Parser &P) {
791 ExprResult ScoreExpr;
792 SmallString<16> Buffer;
793 StringRef SelectorName =
794 P.getPreprocessor().getSpelling(P.getCurToken(), Buffer);
795 OMPDeclareVariantAttr::ScoreType ScoreKind =
796 OMPDeclareVariantAttr::ScoreUnknown;
797 (void)OMPDeclareVariantAttr::ConvertStrToScoreType(SelectorName, ScoreKind);
798 if (ScoreKind == OMPDeclareVariantAttr::ScoreUnknown)
799 return ScoreExpr;
800 assert(ScoreKind == OMPDeclareVariantAttr::ScoreSpecified &&
801 "Expected \"score\" clause.");
802 (void)P.ConsumeToken();
803 SourceLocation RLoc;
804 ScoreExpr = P.ParseOpenMPParensExpr(SelectorName, RLoc);
805 // Parse ':'
806 if (P.getCurToken().is(tok::colon))
807 (void)P.ConsumeAnyToken();
808 else
809 P.Diag(P.getCurToken(), diag::warn_pragma_expected_colon)
810 << "context selector score clause";
811 return ScoreExpr;
812}
813
Alexey Bataev9ff34742019-09-25 19:43:37 +0000814/// Parse context selector for 'implementation' selector set:
Alexey Bataev1c9e1732019-10-04 15:58:45 +0000815/// 'vendor' '(' [ 'score' '(' <score _expr> ')' ':' ] <vendor> { ',' <vendor> }
816/// ')'
817static void parseImplementationSelector(
818 Parser &P, SourceLocation Loc,
819 llvm::function_ref<void(SourceRange,
820 const Sema::OpenMPDeclareVariantCtsSelectorData &)>
821 Callback) {
Alexey Bataev9ff34742019-09-25 19:43:37 +0000822 const Token &Tok = P.getCurToken();
823 // Parse inner context selector set name, if any.
824 if (!Tok.is(tok::identifier)) {
825 P.Diag(Tok.getLocation(), diag::warn_omp_declare_variant_cs_name_expected)
826 << "implementation";
827 // Skip until either '}', ')', or end of directive.
828 while (!P.SkipUntil(tok::r_brace, tok::r_paren,
829 tok::annot_pragma_openmp_end, Parser::StopBeforeMatch))
830 ;
831 return;
832 }
833 SmallString<16> Buffer;
834 StringRef CtxSelectorName = P.getPreprocessor().getSpelling(Tok, Buffer);
835 OMPDeclareVariantAttr::CtxSelectorType CSKind =
836 OMPDeclareVariantAttr::CtxUnknown;
837 (void)OMPDeclareVariantAttr::ConvertStrToCtxSelectorType(CtxSelectorName,
838 CSKind);
839 (void)P.ConsumeToken();
840 switch (CSKind) {
841 case OMPDeclareVariantAttr::CtxVendor: {
842 // Parse '('.
843 BalancedDelimiterTracker T(P, tok::l_paren, tok::annot_pragma_openmp_end);
844 (void)T.expectAndConsume(diag::err_expected_lparen_after,
845 CtxSelectorName.data());
Alexey Bataev1c9e1732019-10-04 15:58:45 +0000846 const ExprResult Score = parseContextScore(P);
847 do {
848 // Parse <vendor>.
849 StringRef VendorName;
850 if (Tok.is(tok::identifier)) {
851 Buffer.clear();
852 VendorName = P.getPreprocessor().getSpelling(P.getCurToken(), Buffer);
853 (void)P.ConsumeToken();
854 } else {
855 P.Diag(Tok.getLocation(), diag::err_omp_declare_variant_item_expected)
856 << "vendor identifier"
857 << "vendor"
858 << "implementation";
859 }
860 if (!VendorName.empty()) {
861 Sema::OpenMPDeclareVariantCtsSelectorData Data(
862 OMPDeclareVariantAttr::CtxSetImplementation, CSKind, VendorName,
863 Score);
864 Callback(SourceRange(Loc, Tok.getLocation()), Data);
865 }
866 if (!P.TryConsumeToken(tok::comma) && Tok.isNot(tok::r_paren)) {
867 P.Diag(Tok, diag::err_expected_punc)
868 << (VendorName.empty() ? "vendor name" : VendorName);
869 }
870 } while (Tok.is(tok::identifier));
Alexey Bataev9ff34742019-09-25 19:43:37 +0000871 // Parse ')'.
872 (void)T.consumeClose();
Alexey Bataev9ff34742019-09-25 19:43:37 +0000873 break;
874 }
875 case OMPDeclareVariantAttr::CtxUnknown:
876 P.Diag(Tok.getLocation(), diag::warn_omp_declare_variant_cs_name_expected)
877 << "implementation";
878 // Skip until either '}', ')', or end of directive.
879 while (!P.SkipUntil(tok::r_brace, tok::r_paren,
880 tok::annot_pragma_openmp_end, Parser::StopBeforeMatch))
881 ;
882 return;
883 }
Alexey Bataev9ff34742019-09-25 19:43:37 +0000884}
885
Alexey Bataevd158cf62019-09-13 20:18:17 +0000886/// Parses clauses for 'declare variant' directive.
887/// clause:
Alexey Bataevd158cf62019-09-13 20:18:17 +0000888/// <selector_set_name> '=' '{' <context_selectors> '}'
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000889/// [ ',' <selector_set_name> '=' '{' <context_selectors> '}' ]
890bool Parser::parseOpenMPContextSelectors(
Alexey Bataev9ff34742019-09-25 19:43:37 +0000891 SourceLocation Loc,
892 llvm::function_ref<void(SourceRange,
893 const Sema::OpenMPDeclareVariantCtsSelectorData &)>
894 Callback) {
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000895 do {
896 // Parse inner context selector set name.
897 if (!Tok.is(tok::identifier)) {
898 Diag(Tok.getLocation(), diag::err_omp_declare_variant_no_ctx_selector)
Alexey Bataevdba792c2019-09-23 18:13:31 +0000899 << getOpenMPClauseName(OMPC_match);
Alexey Bataevd158cf62019-09-13 20:18:17 +0000900 return true;
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000901 }
902 SmallString<16> Buffer;
Alexey Bataev9ff34742019-09-25 19:43:37 +0000903 StringRef CtxSelectorSetName = PP.getSpelling(Tok, Buffer);
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000904 // Parse '='.
905 (void)ConsumeToken();
906 if (Tok.isNot(tok::equal)) {
907 Diag(Tok.getLocation(), diag::err_omp_declare_variant_equal_expected)
Alexey Bataev9ff34742019-09-25 19:43:37 +0000908 << CtxSelectorSetName;
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000909 return true;
910 }
911 (void)ConsumeToken();
912 // TBD: add parsing of known context selectors.
913 // Unknown selector - just ignore it completely.
914 {
915 // Parse '{'.
916 BalancedDelimiterTracker TBr(*this, tok::l_brace,
917 tok::annot_pragma_openmp_end);
918 if (TBr.expectAndConsume(diag::err_expected_lbrace_after, "="))
919 return true;
Alexey Bataev9ff34742019-09-25 19:43:37 +0000920 OMPDeclareVariantAttr::CtxSelectorSetType CSSKind =
921 OMPDeclareVariantAttr::CtxSetUnknown;
922 (void)OMPDeclareVariantAttr::ConvertStrToCtxSelectorSetType(
923 CtxSelectorSetName, CSSKind);
924 switch (CSSKind) {
925 case OMPDeclareVariantAttr::CtxSetImplementation:
Alexey Bataev1c9e1732019-10-04 15:58:45 +0000926 parseImplementationSelector(*this, Loc, Callback);
Alexey Bataev9ff34742019-09-25 19:43:37 +0000927 break;
928 case OMPDeclareVariantAttr::CtxSetUnknown:
929 // Skip until either '}', ')', or end of directive.
930 while (!SkipUntil(tok::r_brace, tok::r_paren,
931 tok::annot_pragma_openmp_end, StopBeforeMatch))
932 ;
933 break;
934 }
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000935 // Parse '}'.
936 (void)TBr.consumeClose();
937 }
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000938 // Consume ','
939 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::annot_pragma_openmp_end))
940 (void)ExpectAndConsume(tok::comma);
941 } while (Tok.isAnyIdentifier());
Alexey Bataevd158cf62019-09-13 20:18:17 +0000942 return false;
943}
944
945/// Parse clauses for '#pragma omp declare variant ( variant-func-id ) clause'.
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000946void Parser::ParseOMPDeclareVariantClauses(Parser::DeclGroupPtrTy Ptr,
947 CachedTokens &Toks,
948 SourceLocation Loc) {
Alexey Bataevd158cf62019-09-13 20:18:17 +0000949 PP.EnterToken(Tok, /*IsReinject*/ true);
950 PP.EnterTokenStream(Toks, /*DisableMacroExpansion=*/true,
951 /*IsReinject*/ true);
952 // Consume the previously pushed token.
953 ConsumeAnyToken(/*ConsumeCodeCompletionTok=*/true);
954 ConsumeAnyToken(/*ConsumeCodeCompletionTok=*/true);
955
956 FNContextRAII FnContext(*this, Ptr);
957 // Parse function declaration id.
958 SourceLocation RLoc;
959 // Parse with IsAddressOfOperand set to true to parse methods as DeclRefExprs
960 // instead of MemberExprs.
961 ExprResult AssociatedFunction =
962 ParseOpenMPParensExpr(getOpenMPDirectiveName(OMPD_declare_variant), RLoc,
963 /*IsAddressOfOperand=*/true);
964 if (!AssociatedFunction.isUsable()) {
965 if (!Tok.is(tok::annot_pragma_openmp_end))
966 while (!SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch))
967 ;
968 // Skip the last annot_pragma_openmp_end.
969 (void)ConsumeAnnotationToken();
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000970 return;
971 }
972 Optional<std::pair<FunctionDecl *, Expr *>> DeclVarData =
973 Actions.checkOpenMPDeclareVariantFunction(
974 Ptr, AssociatedFunction.get(), SourceRange(Loc, Tok.getLocation()));
975
976 // Parse 'match'.
Alexey Bataevdba792c2019-09-23 18:13:31 +0000977 OpenMPClauseKind CKind = Tok.isAnnotation()
978 ? OMPC_unknown
979 : getOpenMPClauseKind(PP.getSpelling(Tok));
980 if (CKind != OMPC_match) {
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000981 Diag(Tok.getLocation(), diag::err_omp_declare_variant_wrong_clause)
Alexey Bataevdba792c2019-09-23 18:13:31 +0000982 << getOpenMPClauseName(OMPC_match);
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000983 while (!SkipUntil(tok::annot_pragma_openmp_end, Parser::StopBeforeMatch))
984 ;
985 // Skip the last annot_pragma_openmp_end.
986 (void)ConsumeAnnotationToken();
987 return;
988 }
989 (void)ConsumeToken();
990 // Parse '('.
991 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
Alexey Bataevdba792c2019-09-23 18:13:31 +0000992 if (T.expectAndConsume(diag::err_expected_lparen_after,
993 getOpenMPClauseName(OMPC_match))) {
Alexey Bataev0736f7f2019-09-18 16:24:31 +0000994 while (!SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch))
995 ;
996 // Skip the last annot_pragma_openmp_end.
997 (void)ConsumeAnnotationToken();
998 return;
Alexey Bataevd158cf62019-09-13 20:18:17 +0000999 }
1000
Alexey Bataev0736f7f2019-09-18 16:24:31 +00001001 // Parse inner context selectors.
Alexey Bataev9ff34742019-09-25 19:43:37 +00001002 if (!parseOpenMPContextSelectors(
1003 Loc, [this, &DeclVarData](
1004 SourceRange SR,
1005 const Sema::OpenMPDeclareVariantCtsSelectorData &Data) {
1006 if (DeclVarData.hasValue())
1007 Actions.ActOnOpenMPDeclareVariantDirective(
1008 DeclVarData.getValue().first, DeclVarData.getValue().second,
1009 SR, Data);
1010 })) {
Alexey Bataev0736f7f2019-09-18 16:24:31 +00001011 // Parse ')'.
1012 (void)T.consumeClose();
1013 // Need to check for extra tokens.
1014 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1015 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
1016 << getOpenMPDirectiveName(OMPD_declare_variant);
1017 }
Alexey Bataevd158cf62019-09-13 20:18:17 +00001018 }
Alexey Bataev0736f7f2019-09-18 16:24:31 +00001019
1020 // Skip last tokens.
1021 while (Tok.isNot(tok::annot_pragma_openmp_end))
1022 ConsumeAnyToken();
Alexey Bataevd158cf62019-09-13 20:18:17 +00001023 // Skip the last annot_pragma_openmp_end.
Alexey Bataev0736f7f2019-09-18 16:24:31 +00001024 (void)ConsumeAnnotationToken();
Alexey Bataevd158cf62019-09-13 20:18:17 +00001025}
1026
Alexey Bataev729e2422019-08-23 16:11:14 +00001027/// Parsing of simple OpenMP clauses like 'default' or 'proc_bind'.
1028///
1029/// default-clause:
1030/// 'default' '(' 'none' | 'shared' ')
1031///
1032/// proc_bind-clause:
1033/// 'proc_bind' '(' 'master' | 'close' | 'spread' ')
1034///
1035/// device_type-clause:
1036/// 'device_type' '(' 'host' | 'nohost' | 'any' )'
1037namespace {
1038 struct SimpleClauseData {
1039 unsigned Type;
1040 SourceLocation Loc;
1041 SourceLocation LOpen;
1042 SourceLocation TypeLoc;
1043 SourceLocation RLoc;
1044 SimpleClauseData(unsigned Type, SourceLocation Loc, SourceLocation LOpen,
1045 SourceLocation TypeLoc, SourceLocation RLoc)
1046 : Type(Type), Loc(Loc), LOpen(LOpen), TypeLoc(TypeLoc), RLoc(RLoc) {}
1047 };
1048} // anonymous namespace
1049
1050static Optional<SimpleClauseData>
1051parseOpenMPSimpleClause(Parser &P, OpenMPClauseKind Kind) {
1052 const Token &Tok = P.getCurToken();
1053 SourceLocation Loc = Tok.getLocation();
1054 SourceLocation LOpen = P.ConsumeToken();
1055 // Parse '('.
1056 BalancedDelimiterTracker T(P, tok::l_paren, tok::annot_pragma_openmp_end);
1057 if (T.expectAndConsume(diag::err_expected_lparen_after,
1058 getOpenMPClauseName(Kind)))
1059 return llvm::None;
1060
1061 unsigned Type = getOpenMPSimpleClauseType(
1062 Kind, Tok.isAnnotation() ? "" : P.getPreprocessor().getSpelling(Tok));
1063 SourceLocation TypeLoc = Tok.getLocation();
1064 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
1065 Tok.isNot(tok::annot_pragma_openmp_end))
1066 P.ConsumeAnyToken();
1067
1068 // Parse ')'.
1069 SourceLocation RLoc = Tok.getLocation();
1070 if (!T.consumeClose())
1071 RLoc = T.getCloseLocation();
1072
1073 return SimpleClauseData(Type, Loc, LOpen, TypeLoc, RLoc);
1074}
1075
Kelvin Lie0502752018-11-21 20:15:57 +00001076Parser::DeclGroupPtrTy Parser::ParseOMPDeclareTargetClauses() {
1077 // OpenMP 4.5 syntax with list of entities.
1078 Sema::NamedDeclSetType SameDirectiveDecls;
Alexey Bataev729e2422019-08-23 16:11:14 +00001079 SmallVector<std::tuple<OMPDeclareTargetDeclAttr::MapTypeTy, SourceLocation,
1080 NamedDecl *>,
1081 4>
1082 DeclareTargetDecls;
1083 OMPDeclareTargetDeclAttr::DevTypeTy DT = OMPDeclareTargetDeclAttr::DT_Any;
1084 SourceLocation DeviceTypeLoc;
Kelvin Lie0502752018-11-21 20:15:57 +00001085 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
1086 OMPDeclareTargetDeclAttr::MapTypeTy MT = OMPDeclareTargetDeclAttr::MT_To;
1087 if (Tok.is(tok::identifier)) {
1088 IdentifierInfo *II = Tok.getIdentifierInfo();
1089 StringRef ClauseName = II->getName();
Alexey Bataev729e2422019-08-23 16:11:14 +00001090 bool IsDeviceTypeClause =
1091 getLangOpts().OpenMP >= 50 &&
1092 getOpenMPClauseKind(ClauseName) == OMPC_device_type;
1093 // Parse 'to|link|device_type' clauses.
1094 if (!OMPDeclareTargetDeclAttr::ConvertStrToMapTypeTy(ClauseName, MT) &&
1095 !IsDeviceTypeClause) {
1096 Diag(Tok, diag::err_omp_declare_target_unexpected_clause)
1097 << ClauseName << (getLangOpts().OpenMP >= 50 ? 1 : 0);
Kelvin Lie0502752018-11-21 20:15:57 +00001098 break;
1099 }
Alexey Bataev729e2422019-08-23 16:11:14 +00001100 // Parse 'device_type' clause and go to next clause if any.
1101 if (IsDeviceTypeClause) {
1102 Optional<SimpleClauseData> DevTypeData =
1103 parseOpenMPSimpleClause(*this, OMPC_device_type);
1104 if (DevTypeData.hasValue()) {
1105 if (DeviceTypeLoc.isValid()) {
1106 // We already saw another device_type clause, diagnose it.
1107 Diag(DevTypeData.getValue().Loc,
1108 diag::warn_omp_more_one_device_type_clause);
1109 }
1110 switch(static_cast<OpenMPDeviceType>(DevTypeData.getValue().Type)) {
1111 case OMPC_DEVICE_TYPE_any:
1112 DT = OMPDeclareTargetDeclAttr::DT_Any;
1113 break;
1114 case OMPC_DEVICE_TYPE_host:
1115 DT = OMPDeclareTargetDeclAttr::DT_Host;
1116 break;
1117 case OMPC_DEVICE_TYPE_nohost:
1118 DT = OMPDeclareTargetDeclAttr::DT_NoHost;
1119 break;
1120 case OMPC_DEVICE_TYPE_unknown:
1121 llvm_unreachable("Unexpected device_type");
1122 }
1123 DeviceTypeLoc = DevTypeData.getValue().Loc;
1124 }
1125 continue;
1126 }
Kelvin Lie0502752018-11-21 20:15:57 +00001127 ConsumeToken();
1128 }
Alexey Bataev729e2422019-08-23 16:11:14 +00001129 auto &&Callback = [this, MT, &DeclareTargetDecls, &SameDirectiveDecls](
1130 CXXScopeSpec &SS, DeclarationNameInfo NameInfo) {
1131 NamedDecl *ND = Actions.lookupOpenMPDeclareTargetName(
1132 getCurScope(), SS, NameInfo, SameDirectiveDecls);
1133 if (ND)
1134 DeclareTargetDecls.emplace_back(MT, NameInfo.getLoc(), ND);
Kelvin Lie0502752018-11-21 20:15:57 +00001135 };
1136 if (ParseOpenMPSimpleVarList(OMPD_declare_target, Callback,
1137 /*AllowScopeSpecifier=*/true))
1138 break;
1139
1140 // Consume optional ','.
1141 if (Tok.is(tok::comma))
1142 ConsumeToken();
1143 }
1144 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
1145 ConsumeAnyToken();
Alexey Bataev729e2422019-08-23 16:11:14 +00001146 for (auto &MTLocDecl : DeclareTargetDecls) {
1147 OMPDeclareTargetDeclAttr::MapTypeTy MT;
1148 SourceLocation Loc;
1149 NamedDecl *ND;
1150 std::tie(MT, Loc, ND) = MTLocDecl;
1151 // device_type clause is applied only to functions.
1152 Actions.ActOnOpenMPDeclareTargetName(
1153 ND, Loc, MT, isa<VarDecl>(ND) ? OMPDeclareTargetDeclAttr::DT_Any : DT);
1154 }
Kelvin Lie0502752018-11-21 20:15:57 +00001155 SmallVector<Decl *, 4> Decls(SameDirectiveDecls.begin(),
1156 SameDirectiveDecls.end());
1157 if (Decls.empty())
1158 return DeclGroupPtrTy();
1159 return Actions.BuildDeclaratorGroup(Decls);
1160}
1161
1162void Parser::ParseOMPEndDeclareTargetDirective(OpenMPDirectiveKind DKind,
1163 SourceLocation DTLoc) {
1164 if (DKind != OMPD_end_declare_target) {
1165 Diag(Tok, diag::err_expected_end_declare_target);
1166 Diag(DTLoc, diag::note_matching) << "'#pragma omp declare target'";
1167 return;
1168 }
1169 ConsumeAnyToken();
1170 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1171 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
1172 << getOpenMPDirectiveName(OMPD_end_declare_target);
1173 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
1174 }
1175 // Skip the last annot_pragma_openmp_end.
1176 ConsumeAnyToken();
1177}
1178
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00001179/// Parsing of declarative OpenMP directives.
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001180///
1181/// threadprivate-directive:
1182/// annot_pragma_openmp 'threadprivate' simple-variable-list
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001183/// annot_pragma_openmp_end
Alexey Bataeva769e072013-03-22 06:34:35 +00001184///
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001185/// allocate-directive:
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001186/// annot_pragma_openmp 'allocate' simple-variable-list [<clause>]
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001187/// annot_pragma_openmp_end
1188///
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001189/// declare-reduction-directive:
1190/// annot_pragma_openmp 'declare' 'reduction' [...]
1191/// annot_pragma_openmp_end
1192///
Michael Kruse251e1482019-02-01 20:25:04 +00001193/// declare-mapper-directive:
1194/// annot_pragma_openmp 'declare' 'mapper' '(' [<mapper-identifer> ':']
1195/// <type> <var> ')' [<clause>[[,] <clause>] ... ]
1196/// annot_pragma_openmp_end
1197///
Alexey Bataev587e1de2016-03-30 10:43:55 +00001198/// declare-simd-directive:
1199/// annot_pragma_openmp 'declare simd' {<clause> [,]}
1200/// annot_pragma_openmp_end
1201/// <function declaration/definition>
1202///
Kelvin Li1408f912018-09-26 04:28:39 +00001203/// requires directive:
1204/// annot_pragma_openmp 'requires' <clause> [[[,] <clause>] ... ]
1205/// annot_pragma_openmp_end
1206///
Alexey Bataev587e1de2016-03-30 10:43:55 +00001207Parser::DeclGroupPtrTy Parser::ParseOpenMPDeclarativeDirectiveWithExtDecl(
1208 AccessSpecifier &AS, ParsedAttributesWithRange &Attrs,
1209 DeclSpec::TST TagType, Decl *Tag) {
Alexey Bataeva769e072013-03-22 06:34:35 +00001210 assert(Tok.is(tok::annot_pragma_openmp) && "Not an OpenMP directive!");
Alexey Bataevee6507d2013-11-18 08:17:37 +00001211 ParenBraceBracketBalancer BalancerRAIIObj(*this);
Alexey Bataeva769e072013-03-22 06:34:35 +00001212
Richard Smithaf3b3252017-05-18 19:21:48 +00001213 SourceLocation Loc = ConsumeAnnotationToken();
Alexey Bataev61908f652018-04-23 19:53:05 +00001214 OpenMPDirectiveKind DKind = parseOpenMPDirectiveKind(*this);
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001215
1216 switch (DKind) {
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001217 case OMPD_threadprivate: {
Alexey Bataeva769e072013-03-22 06:34:35 +00001218 ConsumeToken();
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001219 DeclDirectiveListParserHelper Helper(this, DKind);
1220 if (!ParseOpenMPSimpleVarList(DKind, Helper,
1221 /*AllowScopeSpecifier=*/true)) {
Alexey Bataeva769e072013-03-22 06:34:35 +00001222 // The last seen token is annot_pragma_openmp_end - need to check for
1223 // extra tokens.
1224 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1225 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001226 << getOpenMPDirectiveName(DKind);
Alp Tokerd751fa72013-12-18 19:10:49 +00001227 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
Alexey Bataeva769e072013-03-22 06:34:35 +00001228 }
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001229 // Skip the last annot_pragma_openmp_end.
Richard Smithaf3b3252017-05-18 19:21:48 +00001230 ConsumeAnnotationToken();
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001231 return Actions.ActOnOpenMPThreadprivateDirective(Loc,
1232 Helper.getIdentifiers());
Alexey Bataeva769e072013-03-22 06:34:35 +00001233 }
1234 break;
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001235 }
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001236 case OMPD_allocate: {
1237 ConsumeToken();
1238 DeclDirectiveListParserHelper Helper(this, DKind);
1239 if (!ParseOpenMPSimpleVarList(DKind, Helper,
1240 /*AllowScopeSpecifier=*/true)) {
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001241 SmallVector<OMPClause *, 1> Clauses;
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001242 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001243 SmallVector<llvm::PointerIntPair<OMPClause *, 1, bool>,
1244 OMPC_unknown + 1>
1245 FirstClauses(OMPC_unknown + 1);
1246 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
1247 OpenMPClauseKind CKind =
1248 Tok.isAnnotation() ? OMPC_unknown
1249 : getOpenMPClauseKind(PP.getSpelling(Tok));
1250 Actions.StartOpenMPClause(CKind);
1251 OMPClause *Clause = ParseOpenMPClause(OMPD_allocate, CKind,
1252 !FirstClauses[CKind].getInt());
1253 SkipUntil(tok::comma, tok::identifier, tok::annot_pragma_openmp_end,
1254 StopBeforeMatch);
1255 FirstClauses[CKind].setInt(true);
1256 if (Clause != nullptr)
1257 Clauses.push_back(Clause);
1258 if (Tok.is(tok::annot_pragma_openmp_end)) {
1259 Actions.EndOpenMPClause();
1260 break;
1261 }
1262 // Skip ',' if any.
1263 if (Tok.is(tok::comma))
1264 ConsumeToken();
1265 Actions.EndOpenMPClause();
1266 }
1267 // The last seen token is annot_pragma_openmp_end - need to check for
1268 // extra tokens.
1269 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1270 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
1271 << getOpenMPDirectiveName(DKind);
1272 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
1273 }
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001274 }
1275 // Skip the last annot_pragma_openmp_end.
1276 ConsumeAnnotationToken();
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001277 return Actions.ActOnOpenMPAllocateDirective(Loc, Helper.getIdentifiers(),
1278 Clauses);
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001279 }
1280 break;
1281 }
Kelvin Li1408f912018-09-26 04:28:39 +00001282 case OMPD_requires: {
1283 SourceLocation StartLoc = ConsumeToken();
1284 SmallVector<OMPClause *, 5> Clauses;
1285 SmallVector<llvm::PointerIntPair<OMPClause *, 1, bool>, OMPC_unknown + 1>
1286 FirstClauses(OMPC_unknown + 1);
1287 if (Tok.is(tok::annot_pragma_openmp_end)) {
Ilya Biryukovff2a9972019-02-26 11:01:50 +00001288 Diag(Tok, diag::err_omp_expected_clause)
Kelvin Li1408f912018-09-26 04:28:39 +00001289 << getOpenMPDirectiveName(OMPD_requires);
1290 break;
1291 }
1292 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
1293 OpenMPClauseKind CKind = Tok.isAnnotation()
1294 ? OMPC_unknown
1295 : getOpenMPClauseKind(PP.getSpelling(Tok));
1296 Actions.StartOpenMPClause(CKind);
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001297 OMPClause *Clause = ParseOpenMPClause(OMPD_requires, CKind,
1298 !FirstClauses[CKind].getInt());
1299 SkipUntil(tok::comma, tok::identifier, tok::annot_pragma_openmp_end,
1300 StopBeforeMatch);
Kelvin Li1408f912018-09-26 04:28:39 +00001301 FirstClauses[CKind].setInt(true);
1302 if (Clause != nullptr)
1303 Clauses.push_back(Clause);
1304 if (Tok.is(tok::annot_pragma_openmp_end)) {
1305 Actions.EndOpenMPClause();
1306 break;
1307 }
1308 // Skip ',' if any.
1309 if (Tok.is(tok::comma))
1310 ConsumeToken();
1311 Actions.EndOpenMPClause();
1312 }
1313 // Consume final annot_pragma_openmp_end
1314 if (Clauses.size() == 0) {
1315 Diag(Tok, diag::err_omp_expected_clause)
1316 << getOpenMPDirectiveName(OMPD_requires);
1317 ConsumeAnnotationToken();
1318 return nullptr;
1319 }
1320 ConsumeAnnotationToken();
1321 return Actions.ActOnOpenMPRequiresDirective(StartLoc, Clauses);
1322 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001323 case OMPD_declare_reduction:
1324 ConsumeToken();
Alexey Bataev61908f652018-04-23 19:53:05 +00001325 if (DeclGroupPtrTy Res = ParseOpenMPDeclareReductionDirective(AS)) {
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001326 // The last seen token is annot_pragma_openmp_end - need to check for
1327 // extra tokens.
1328 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1329 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
1330 << getOpenMPDirectiveName(OMPD_declare_reduction);
1331 while (Tok.isNot(tok::annot_pragma_openmp_end))
1332 ConsumeAnyToken();
1333 }
1334 // Skip the last annot_pragma_openmp_end.
Richard Smithaf3b3252017-05-18 19:21:48 +00001335 ConsumeAnnotationToken();
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001336 return Res;
1337 }
1338 break;
Michael Kruse251e1482019-02-01 20:25:04 +00001339 case OMPD_declare_mapper: {
1340 ConsumeToken();
1341 if (DeclGroupPtrTy Res = ParseOpenMPDeclareMapperDirective(AS)) {
1342 // Skip the last annot_pragma_openmp_end.
1343 ConsumeAnnotationToken();
1344 return Res;
1345 }
1346 break;
1347 }
Alexey Bataevd158cf62019-09-13 20:18:17 +00001348 case OMPD_declare_variant:
Alexey Bataev587e1de2016-03-30 10:43:55 +00001349 case OMPD_declare_simd: {
1350 // The syntax is:
Alexey Bataevd158cf62019-09-13 20:18:17 +00001351 // { #pragma omp declare {simd|variant} }
Alexey Bataev587e1de2016-03-30 10:43:55 +00001352 // <function-declaration-or-definition>
1353 //
Alexey Bataev2af33e32016-04-07 12:45:37 +00001354 CachedTokens Toks;
Alexey Bataevd158cf62019-09-13 20:18:17 +00001355 Toks.push_back(Tok);
1356 ConsumeToken();
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00001357 while(Tok.isNot(tok::annot_pragma_openmp_end)) {
1358 Toks.push_back(Tok);
1359 ConsumeAnyToken();
1360 }
1361 Toks.push_back(Tok);
1362 ConsumeAnyToken();
Alexey Bataev587e1de2016-03-30 10:43:55 +00001363
1364 DeclGroupPtrTy Ptr;
Alexey Bataev61908f652018-04-23 19:53:05 +00001365 if (Tok.is(tok::annot_pragma_openmp)) {
Alexey Bataev587e1de2016-03-30 10:43:55 +00001366 Ptr = ParseOpenMPDeclarativeDirectiveWithExtDecl(AS, Attrs, TagType, Tag);
Alexey Bataev61908f652018-04-23 19:53:05 +00001367 } else if (Tok.isNot(tok::r_brace) && !isEofOrEom()) {
Alexey Bataev587e1de2016-03-30 10:43:55 +00001368 // Here we expect to see some function declaration.
1369 if (AS == AS_none) {
1370 assert(TagType == DeclSpec::TST_unspecified);
1371 MaybeParseCXX11Attributes(Attrs);
Alexey Bataev587e1de2016-03-30 10:43:55 +00001372 ParsingDeclSpec PDS(*this);
1373 Ptr = ParseExternalDeclaration(Attrs, &PDS);
1374 } else {
1375 Ptr =
1376 ParseCXXClassMemberDeclarationWithPragmas(AS, Attrs, TagType, Tag);
1377 }
1378 }
1379 if (!Ptr) {
Alexey Bataevd158cf62019-09-13 20:18:17 +00001380 Diag(Loc, diag::err_omp_decl_in_declare_simd_variant)
1381 << (DKind == OMPD_declare_simd ? 0 : 1);
Alexey Bataev587e1de2016-03-30 10:43:55 +00001382 return DeclGroupPtrTy();
1383 }
Alexey Bataevd158cf62019-09-13 20:18:17 +00001384 if (DKind == OMPD_declare_simd)
1385 return ParseOMPDeclareSimdClauses(Ptr, Toks, Loc);
1386 assert(DKind == OMPD_declare_variant &&
1387 "Expected declare variant directive only");
Alexey Bataev0736f7f2019-09-18 16:24:31 +00001388 ParseOMPDeclareVariantClauses(Ptr, Toks, Loc);
1389 return Ptr;
Alexey Bataev587e1de2016-03-30 10:43:55 +00001390 }
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001391 case OMPD_declare_target: {
1392 SourceLocation DTLoc = ConsumeAnyToken();
1393 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
Kelvin Lie0502752018-11-21 20:15:57 +00001394 return ParseOMPDeclareTargetClauses();
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001395 }
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001396
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001397 // Skip the last annot_pragma_openmp_end.
1398 ConsumeAnyToken();
1399
1400 if (!Actions.ActOnStartOpenMPDeclareTargetDirective(DTLoc))
1401 return DeclGroupPtrTy();
1402
Alexey Bataev4f4bf7c2018-03-15 15:47:20 +00001403 llvm::SmallVector<Decl *, 4> Decls;
Alexey Bataev61908f652018-04-23 19:53:05 +00001404 DKind = parseOpenMPDirectiveKind(*this);
Kelvin Libc38e632018-09-10 02:07:09 +00001405 while (DKind != OMPD_end_declare_target && Tok.isNot(tok::eof) &&
1406 Tok.isNot(tok::r_brace)) {
Alexey Bataev502ec492017-10-03 20:00:00 +00001407 DeclGroupPtrTy Ptr;
1408 // Here we expect to see some function declaration.
1409 if (AS == AS_none) {
1410 assert(TagType == DeclSpec::TST_unspecified);
1411 MaybeParseCXX11Attributes(Attrs);
1412 ParsingDeclSpec PDS(*this);
1413 Ptr = ParseExternalDeclaration(Attrs, &PDS);
1414 } else {
1415 Ptr =
1416 ParseCXXClassMemberDeclarationWithPragmas(AS, Attrs, TagType, Tag);
1417 }
Alexey Bataev4f4bf7c2018-03-15 15:47:20 +00001418 if (Ptr) {
1419 DeclGroupRef Ref = Ptr.get();
1420 Decls.append(Ref.begin(), Ref.end());
1421 }
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001422 if (Tok.isAnnotation() && Tok.is(tok::annot_pragma_openmp)) {
1423 TentativeParsingAction TPA(*this);
Richard Smithaf3b3252017-05-18 19:21:48 +00001424 ConsumeAnnotationToken();
Alexey Bataev61908f652018-04-23 19:53:05 +00001425 DKind = parseOpenMPDirectiveKind(*this);
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001426 if (DKind != OMPD_end_declare_target)
1427 TPA.Revert();
1428 else
1429 TPA.Commit();
1430 }
1431 }
1432
Kelvin Lie0502752018-11-21 20:15:57 +00001433 ParseOMPEndDeclareTargetDirective(DKind, DTLoc);
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001434 Actions.ActOnFinishOpenMPDeclareTargetDirective();
Alexey Bataev34f8a702018-03-28 14:28:54 +00001435 return Actions.BuildDeclaratorGroup(Decls);
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001436 }
Alexey Bataeva769e072013-03-22 06:34:35 +00001437 case OMPD_unknown:
1438 Diag(Tok, diag::err_omp_unknown_directive);
1439 break;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001440 case OMPD_parallel:
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001441 case OMPD_simd:
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001442 case OMPD_task:
Alexey Bataev68446b72014-07-18 07:47:19 +00001443 case OMPD_taskyield:
Alexey Bataev4d1dfea2014-07-18 09:11:51 +00001444 case OMPD_barrier:
Alexey Bataev2df347a2014-07-18 10:17:07 +00001445 case OMPD_taskwait:
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00001446 case OMPD_taskgroup:
Alexey Bataev6125da92014-07-21 11:26:11 +00001447 case OMPD_flush:
Alexey Bataevf29276e2014-06-18 04:14:57 +00001448 case OMPD_for:
Alexander Musmanf82886e2014-09-18 05:12:34 +00001449 case OMPD_for_simd:
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001450 case OMPD_sections:
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001451 case OMPD_section:
Alexey Bataevd1e40fb2014-06-26 12:05:45 +00001452 case OMPD_single:
Alexander Musman80c22892014-07-17 08:54:58 +00001453 case OMPD_master:
Alexey Bataev9fb6e642014-07-22 06:45:04 +00001454 case OMPD_ordered:
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001455 case OMPD_critical:
Alexey Bataev4acb8592014-07-07 13:01:15 +00001456 case OMPD_parallel_for:
Alexander Musmane4e893b2014-09-23 09:33:00 +00001457 case OMPD_parallel_for_simd:
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00001458 case OMPD_parallel_sections:
Alexey Bataev0162e452014-07-22 10:10:35 +00001459 case OMPD_atomic:
Alexey Bataev0bd520b2014-09-19 08:19:49 +00001460 case OMPD_target:
Alexey Bataev13314bf2014-10-09 04:18:56 +00001461 case OMPD_teams:
Alexey Bataev6d4ed052015-07-01 06:57:41 +00001462 case OMPD_cancellation_point:
Alexey Bataev80909872015-07-02 11:25:17 +00001463 case OMPD_cancel:
Samuel Antao5b0688e2015-07-22 16:02:46 +00001464 case OMPD_target_data:
Samuel Antaodf67fc42016-01-19 19:15:56 +00001465 case OMPD_target_enter_data:
Samuel Antao72590762016-01-19 20:04:50 +00001466 case OMPD_target_exit_data:
Arpith Chacko Jacobe955b3d2016-01-26 18:48:41 +00001467 case OMPD_target_parallel:
Arpith Chacko Jacob05bebb52016-02-03 15:46:42 +00001468 case OMPD_target_parallel_for:
Alexey Bataev49f6e782015-12-01 04:18:41 +00001469 case OMPD_taskloop:
Alexey Bataev0a6ed842015-12-03 09:40:15 +00001470 case OMPD_taskloop_simd:
Carlo Bertolli6200a3d2015-12-14 14:51:25 +00001471 case OMPD_distribute:
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001472 case OMPD_end_declare_target:
Samuel Antao686c70c2016-05-26 17:30:50 +00001473 case OMPD_target_update:
Carlo Bertolli9925f152016-06-27 14:55:37 +00001474 case OMPD_distribute_parallel_for:
Kelvin Li4a39add2016-07-05 05:00:15 +00001475 case OMPD_distribute_parallel_for_simd:
Kelvin Li787f3fc2016-07-06 04:45:38 +00001476 case OMPD_distribute_simd:
Kelvin Lia579b912016-07-14 02:54:56 +00001477 case OMPD_target_parallel_for_simd:
Kelvin Li986330c2016-07-20 22:57:10 +00001478 case OMPD_target_simd:
Kelvin Li02532872016-08-05 14:37:37 +00001479 case OMPD_teams_distribute:
Kelvin Li4e325f72016-10-25 12:50:55 +00001480 case OMPD_teams_distribute_simd:
Kelvin Li579e41c2016-11-30 23:51:03 +00001481 case OMPD_teams_distribute_parallel_for_simd:
Kelvin Li7ade93f2016-12-09 03:24:30 +00001482 case OMPD_teams_distribute_parallel_for:
Kelvin Libf594a52016-12-17 05:48:59 +00001483 case OMPD_target_teams:
Kelvin Li83c451e2016-12-25 04:52:54 +00001484 case OMPD_target_teams_distribute:
Kelvin Li80e8f562016-12-29 22:16:30 +00001485 case OMPD_target_teams_distribute_parallel_for:
Kelvin Li1851df52017-01-03 05:23:48 +00001486 case OMPD_target_teams_distribute_parallel_for_simd:
Kelvin Lida681182017-01-10 18:08:18 +00001487 case OMPD_target_teams_distribute_simd:
Alexey Bataeva769e072013-03-22 06:34:35 +00001488 Diag(Tok, diag::err_omp_unexpected_directive)
Alexey Bataev96dae812018-02-16 18:36:44 +00001489 << 1 << getOpenMPDirectiveName(DKind);
Alexey Bataeva769e072013-03-22 06:34:35 +00001490 break;
1491 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001492 while (Tok.isNot(tok::annot_pragma_openmp_end))
1493 ConsumeAnyToken();
1494 ConsumeAnyToken();
David Blaikie0403cb12016-01-15 23:43:25 +00001495 return nullptr;
Alexey Bataeva769e072013-03-22 06:34:35 +00001496}
1497
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00001498/// Parsing of declarative or executable OpenMP directives.
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001499///
1500/// threadprivate-directive:
1501/// annot_pragma_openmp 'threadprivate' simple-variable-list
1502/// annot_pragma_openmp_end
1503///
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001504/// allocate-directive:
1505/// annot_pragma_openmp 'allocate' simple-variable-list
1506/// annot_pragma_openmp_end
1507///
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001508/// declare-reduction-directive:
1509/// annot_pragma_openmp 'declare' 'reduction' '(' <reduction_id> ':'
1510/// <type> {',' <type>} ':' <expression> ')' ['initializer' '('
1511/// ('omp_priv' '=' <expression>|<function_call>) ')']
1512/// annot_pragma_openmp_end
1513///
Michael Kruse251e1482019-02-01 20:25:04 +00001514/// declare-mapper-directive:
1515/// annot_pragma_openmp 'declare' 'mapper' '(' [<mapper-identifer> ':']
1516/// <type> <var> ')' [<clause>[[,] <clause>] ... ]
1517/// annot_pragma_openmp_end
1518///
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001519/// executable-directive:
Alexey Bataevd1e40fb2014-06-26 12:05:45 +00001520/// annot_pragma_openmp 'parallel' | 'simd' | 'for' | 'sections' |
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001521/// 'section' | 'single' | 'master' | 'critical' [ '(' <name> ')' ] |
1522/// 'parallel for' | 'parallel sections' | 'task' | 'taskyield' |
Alexander Musmanf82886e2014-09-18 05:12:34 +00001523/// 'barrier' | 'taskwait' | 'flush' | 'ordered' | 'atomic' |
Michael Wong65f367f2015-07-21 13:44:28 +00001524/// 'for simd' | 'parallel for simd' | 'target' | 'target data' |
Arpith Chacko Jacob05bebb52016-02-03 15:46:42 +00001525/// 'taskgroup' | 'teams' | 'taskloop' | 'taskloop simd' |
Arpith Chacko Jacobe955b3d2016-01-26 18:48:41 +00001526/// 'distribute' | 'target enter data' | 'target exit data' |
Samuel Antao686c70c2016-05-26 17:30:50 +00001527/// 'target parallel' | 'target parallel for' |
Kelvin Li4a39add2016-07-05 05:00:15 +00001528/// 'target update' | 'distribute parallel for' |
Kelvin Lia579b912016-07-14 02:54:56 +00001529/// 'distribute paralle for simd' | 'distribute simd' |
Kelvin Li02532872016-08-05 14:37:37 +00001530/// 'target parallel for simd' | 'target simd' |
Kelvin Li579e41c2016-11-30 23:51:03 +00001531/// 'teams distribute' | 'teams distribute simd' |
Kelvin Li7ade93f2016-12-09 03:24:30 +00001532/// 'teams distribute parallel for simd' |
Kelvin Li80e8f562016-12-29 22:16:30 +00001533/// 'teams distribute parallel for' | 'target teams' |
1534/// 'target teams distribute' |
Kelvin Li1851df52017-01-03 05:23:48 +00001535/// 'target teams distribute parallel for' |
Kelvin Lida681182017-01-10 18:08:18 +00001536/// 'target teams distribute parallel for simd' |
1537/// 'target teams distribute simd' {clause}
Samuel Antao72590762016-01-19 20:04:50 +00001538/// annot_pragma_openmp_end
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001539///
Richard Smitha6e8d5e2019-02-15 00:27:53 +00001540StmtResult
1541Parser::ParseOpenMPDeclarativeOrExecutableDirective(ParsedStmtContext StmtCtx) {
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001542 assert(Tok.is(tok::annot_pragma_openmp) && "Not an OpenMP directive!");
Alexey Bataevee6507d2013-11-18 08:17:37 +00001543 ParenBraceBracketBalancer BalancerRAIIObj(*this);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001544 SmallVector<OMPClause *, 5> Clauses;
Alexey Bataev4ca40ed2014-05-12 04:23:46 +00001545 SmallVector<llvm::PointerIntPair<OMPClause *, 1, bool>, OMPC_unknown + 1>
Alexey Bataeva55ed262014-05-28 06:15:33 +00001546 FirstClauses(OMPC_unknown + 1);
Momchil Velikov57c681f2017-08-10 15:43:06 +00001547 unsigned ScopeFlags = Scope::FnScope | Scope::DeclScope |
1548 Scope::CompoundStmtScope | Scope::OpenMPDirectiveScope;
Richard Smithaf3b3252017-05-18 19:21:48 +00001549 SourceLocation Loc = ConsumeAnnotationToken(), EndLoc;
Alexey Bataev61908f652018-04-23 19:53:05 +00001550 OpenMPDirectiveKind DKind = parseOpenMPDirectiveKind(*this);
Alexey Bataev6d4ed052015-07-01 06:57:41 +00001551 OpenMPDirectiveKind CancelRegion = OMPD_unknown;
Alexey Bataev758e55e2013-09-06 18:03:48 +00001552 // Name of critical directive.
1553 DeclarationNameInfo DirName;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001554 StmtResult Directive = StmtError();
Alexey Bataev68446b72014-07-18 07:47:19 +00001555 bool HasAssociatedStatement = true;
Alexey Bataev6125da92014-07-21 11:26:11 +00001556 bool FlushHasClause = false;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001557
1558 switch (DKind) {
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001559 case OMPD_threadprivate: {
Richard Smitha6e8d5e2019-02-15 00:27:53 +00001560 // FIXME: Should this be permitted in C++?
1561 if ((StmtCtx & ParsedStmtContext::AllowDeclarationsInC) ==
1562 ParsedStmtContext()) {
Alexey Bataevc4fad652016-01-13 11:18:54 +00001563 Diag(Tok, diag::err_omp_immediate_directive)
1564 << getOpenMPDirectiveName(DKind) << 0;
1565 }
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001566 ConsumeToken();
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001567 DeclDirectiveListParserHelper Helper(this, DKind);
1568 if (!ParseOpenMPSimpleVarList(DKind, Helper,
1569 /*AllowScopeSpecifier=*/false)) {
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001570 // The last seen token is annot_pragma_openmp_end - need to check for
1571 // extra tokens.
1572 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1573 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001574 << getOpenMPDirectiveName(DKind);
Alp Tokerd751fa72013-12-18 19:10:49 +00001575 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001576 }
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001577 DeclGroupPtrTy Res = Actions.ActOnOpenMPThreadprivateDirective(
1578 Loc, Helper.getIdentifiers());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001579 Directive = Actions.ActOnDeclStmt(Res, Loc, Tok.getLocation());
1580 }
Alp Tokerd751fa72013-12-18 19:10:49 +00001581 SkipUntil(tok::annot_pragma_openmp_end);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001582 break;
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001583 }
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001584 case OMPD_allocate: {
1585 // FIXME: Should this be permitted in C++?
1586 if ((StmtCtx & ParsedStmtContext::AllowDeclarationsInC) ==
1587 ParsedStmtContext()) {
1588 Diag(Tok, diag::err_omp_immediate_directive)
1589 << getOpenMPDirectiveName(DKind) << 0;
1590 }
1591 ConsumeToken();
1592 DeclDirectiveListParserHelper Helper(this, DKind);
1593 if (!ParseOpenMPSimpleVarList(DKind, Helper,
1594 /*AllowScopeSpecifier=*/false)) {
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001595 SmallVector<OMPClause *, 1> Clauses;
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001596 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001597 SmallVector<llvm::PointerIntPair<OMPClause *, 1, bool>,
1598 OMPC_unknown + 1>
1599 FirstClauses(OMPC_unknown + 1);
1600 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
1601 OpenMPClauseKind CKind =
1602 Tok.isAnnotation() ? OMPC_unknown
1603 : getOpenMPClauseKind(PP.getSpelling(Tok));
1604 Actions.StartOpenMPClause(CKind);
1605 OMPClause *Clause = ParseOpenMPClause(OMPD_allocate, CKind,
1606 !FirstClauses[CKind].getInt());
1607 SkipUntil(tok::comma, tok::identifier, tok::annot_pragma_openmp_end,
1608 StopBeforeMatch);
1609 FirstClauses[CKind].setInt(true);
1610 if (Clause != nullptr)
1611 Clauses.push_back(Clause);
1612 if (Tok.is(tok::annot_pragma_openmp_end)) {
1613 Actions.EndOpenMPClause();
1614 break;
1615 }
1616 // Skip ',' if any.
1617 if (Tok.is(tok::comma))
1618 ConsumeToken();
1619 Actions.EndOpenMPClause();
1620 }
1621 // The last seen token is annot_pragma_openmp_end - need to check for
1622 // extra tokens.
1623 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1624 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
1625 << getOpenMPDirectiveName(DKind);
1626 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
1627 }
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001628 }
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001629 DeclGroupPtrTy Res = Actions.ActOnOpenMPAllocateDirective(
1630 Loc, Helper.getIdentifiers(), Clauses);
Alexey Bataev25ed0c02019-03-07 17:54:44 +00001631 Directive = Actions.ActOnDeclStmt(Res, Loc, Tok.getLocation());
1632 }
1633 SkipUntil(tok::annot_pragma_openmp_end);
1634 break;
1635 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001636 case OMPD_declare_reduction:
1637 ConsumeToken();
Alexey Bataev61908f652018-04-23 19:53:05 +00001638 if (DeclGroupPtrTy Res =
1639 ParseOpenMPDeclareReductionDirective(/*AS=*/AS_none)) {
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001640 // The last seen token is annot_pragma_openmp_end - need to check for
1641 // extra tokens.
1642 if (Tok.isNot(tok::annot_pragma_openmp_end)) {
1643 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
1644 << getOpenMPDirectiveName(OMPD_declare_reduction);
1645 while (Tok.isNot(tok::annot_pragma_openmp_end))
1646 ConsumeAnyToken();
1647 }
1648 ConsumeAnyToken();
1649 Directive = Actions.ActOnDeclStmt(Res, Loc, Tok.getLocation());
Alexey Bataev61908f652018-04-23 19:53:05 +00001650 } else {
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001651 SkipUntil(tok::annot_pragma_openmp_end);
Alexey Bataev61908f652018-04-23 19:53:05 +00001652 }
Alexey Bataev94a4f0c2016-03-03 05:21:39 +00001653 break;
Michael Kruse251e1482019-02-01 20:25:04 +00001654 case OMPD_declare_mapper: {
1655 ConsumeToken();
1656 if (DeclGroupPtrTy Res =
1657 ParseOpenMPDeclareMapperDirective(/*AS=*/AS_none)) {
1658 // Skip the last annot_pragma_openmp_end.
1659 ConsumeAnnotationToken();
1660 Directive = Actions.ActOnDeclStmt(Res, Loc, Tok.getLocation());
1661 } else {
1662 SkipUntil(tok::annot_pragma_openmp_end);
1663 }
1664 break;
1665 }
Alexey Bataev6125da92014-07-21 11:26:11 +00001666 case OMPD_flush:
1667 if (PP.LookAhead(0).is(tok::l_paren)) {
1668 FlushHasClause = true;
1669 // Push copy of the current token back to stream to properly parse
1670 // pseudo-clause OMPFlushClause.
Ilya Biryukov929af672019-05-17 09:32:05 +00001671 PP.EnterToken(Tok, /*IsReinject*/ true);
Alexey Bataev6125da92014-07-21 11:26:11 +00001672 }
Galina Kistanova474f2ce2017-06-01 21:26:38 +00001673 LLVM_FALLTHROUGH;
Alexey Bataev68446b72014-07-18 07:47:19 +00001674 case OMPD_taskyield:
Alexey Bataev4d1dfea2014-07-18 09:11:51 +00001675 case OMPD_barrier:
Alexey Bataev2df347a2014-07-18 10:17:07 +00001676 case OMPD_taskwait:
Alexey Bataev6d4ed052015-07-01 06:57:41 +00001677 case OMPD_cancellation_point:
Alexey Bataev80909872015-07-02 11:25:17 +00001678 case OMPD_cancel:
Samuel Antaodf67fc42016-01-19 19:15:56 +00001679 case OMPD_target_enter_data:
Samuel Antao72590762016-01-19 20:04:50 +00001680 case OMPD_target_exit_data:
Samuel Antao686c70c2016-05-26 17:30:50 +00001681 case OMPD_target_update:
Richard Smitha6e8d5e2019-02-15 00:27:53 +00001682 if ((StmtCtx & ParsedStmtContext::AllowStandaloneOpenMPDirectives) ==
1683 ParsedStmtContext()) {
Alexey Bataev68446b72014-07-18 07:47:19 +00001684 Diag(Tok, diag::err_omp_immediate_directive)
Alexey Bataeveb482352015-12-18 05:05:56 +00001685 << getOpenMPDirectiveName(DKind) << 0;
Alexey Bataev68446b72014-07-18 07:47:19 +00001686 }
1687 HasAssociatedStatement = false;
Alexey Bataev6125da92014-07-21 11:26:11 +00001688 // Fall through for further analysis.
Galina Kistanova474f2ce2017-06-01 21:26:38 +00001689 LLVM_FALLTHROUGH;
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001690 case OMPD_parallel:
Alexey Bataevf29276e2014-06-18 04:14:57 +00001691 case OMPD_simd:
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001692 case OMPD_for:
Alexander Musmanf82886e2014-09-18 05:12:34 +00001693 case OMPD_for_simd:
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001694 case OMPD_sections:
Alexey Bataevd1e40fb2014-06-26 12:05:45 +00001695 case OMPD_single:
Alexey Bataev4acb8592014-07-07 13:01:15 +00001696 case OMPD_section:
Alexander Musman80c22892014-07-17 08:54:58 +00001697 case OMPD_master:
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001698 case OMPD_critical:
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00001699 case OMPD_parallel_for:
Alexander Musmane4e893b2014-09-23 09:33:00 +00001700 case OMPD_parallel_for_simd:
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +00001701 case OMPD_parallel_sections:
Alexey Bataev9fb6e642014-07-22 06:45:04 +00001702 case OMPD_task:
Alexey Bataev0162e452014-07-22 10:10:35 +00001703 case OMPD_ordered:
Alexey Bataev0bd520b2014-09-19 08:19:49 +00001704 case OMPD_atomic:
Alexey Bataev13314bf2014-10-09 04:18:56 +00001705 case OMPD_target:
Alexey Bataevc30dd2d2015-06-18 12:14:09 +00001706 case OMPD_teams:
Michael Wong65f367f2015-07-21 13:44:28 +00001707 case OMPD_taskgroup:
Alexey Bataev49f6e782015-12-01 04:18:41 +00001708 case OMPD_target_data:
Arpith Chacko Jacobe955b3d2016-01-26 18:48:41 +00001709 case OMPD_target_parallel:
Arpith Chacko Jacob05bebb52016-02-03 15:46:42 +00001710 case OMPD_target_parallel_for:
Alexey Bataev0a6ed842015-12-03 09:40:15 +00001711 case OMPD_taskloop:
Carlo Bertolli6200a3d2015-12-14 14:51:25 +00001712 case OMPD_taskloop_simd:
Carlo Bertolli9925f152016-06-27 14:55:37 +00001713 case OMPD_distribute:
Kelvin Li4a39add2016-07-05 05:00:15 +00001714 case OMPD_distribute_parallel_for:
Kelvin Li787f3fc2016-07-06 04:45:38 +00001715 case OMPD_distribute_parallel_for_simd:
Kelvin Lia579b912016-07-14 02:54:56 +00001716 case OMPD_distribute_simd:
Kelvin Li986330c2016-07-20 22:57:10 +00001717 case OMPD_target_parallel_for_simd:
Kelvin Li02532872016-08-05 14:37:37 +00001718 case OMPD_target_simd:
Kelvin Li4e325f72016-10-25 12:50:55 +00001719 case OMPD_teams_distribute:
Kelvin Li579e41c2016-11-30 23:51:03 +00001720 case OMPD_teams_distribute_simd:
Kelvin Li7ade93f2016-12-09 03:24:30 +00001721 case OMPD_teams_distribute_parallel_for_simd:
Kelvin Libf594a52016-12-17 05:48:59 +00001722 case OMPD_teams_distribute_parallel_for:
Kelvin Li83c451e2016-12-25 04:52:54 +00001723 case OMPD_target_teams:
Kelvin Li80e8f562016-12-29 22:16:30 +00001724 case OMPD_target_teams_distribute:
Kelvin Li1851df52017-01-03 05:23:48 +00001725 case OMPD_target_teams_distribute_parallel_for:
Kelvin Lida681182017-01-10 18:08:18 +00001726 case OMPD_target_teams_distribute_parallel_for_simd:
1727 case OMPD_target_teams_distribute_simd: {
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001728 ConsumeToken();
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001729 // Parse directive name of the 'critical' directive if any.
1730 if (DKind == OMPD_critical) {
1731 BalancedDelimiterTracker T(*this, tok::l_paren,
1732 tok::annot_pragma_openmp_end);
1733 if (!T.consumeOpen()) {
1734 if (Tok.isAnyIdentifier()) {
1735 DirName =
1736 DeclarationNameInfo(Tok.getIdentifierInfo(), Tok.getLocation());
1737 ConsumeAnyToken();
1738 } else {
1739 Diag(Tok, diag::err_omp_expected_identifier_for_critical);
1740 }
1741 T.consumeClose();
1742 }
Alexey Bataev80909872015-07-02 11:25:17 +00001743 } else if (DKind == OMPD_cancellation_point || DKind == OMPD_cancel) {
Alexey Bataev61908f652018-04-23 19:53:05 +00001744 CancelRegion = parseOpenMPDirectiveKind(*this);
Alexey Bataev6d4ed052015-07-01 06:57:41 +00001745 if (Tok.isNot(tok::annot_pragma_openmp_end))
1746 ConsumeToken();
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001747 }
Alexey Bataev758e55e2013-09-06 18:03:48 +00001748
Alexey Bataevf29276e2014-06-18 04:14:57 +00001749 if (isOpenMPLoopDirective(DKind))
1750 ScopeFlags |= Scope::OpenMPLoopDirectiveScope;
1751 if (isOpenMPSimdDirective(DKind))
1752 ScopeFlags |= Scope::OpenMPSimdDirectiveScope;
1753 ParseScope OMPDirectiveScope(this, ScopeFlags);
Alexey Bataevbae9a792014-06-27 10:37:06 +00001754 Actions.StartOpenMPDSABlock(DKind, DirName, Actions.getCurScope(), Loc);
Alexey Bataev758e55e2013-09-06 18:03:48 +00001755
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001756 while (Tok.isNot(tok::annot_pragma_openmp_end)) {
Alexey Bataev6125da92014-07-21 11:26:11 +00001757 OpenMPClauseKind CKind =
1758 Tok.isAnnotation()
1759 ? OMPC_unknown
1760 : FlushHasClause ? OMPC_flush
1761 : getOpenMPClauseKind(PP.getSpelling(Tok));
Alexey Bataevaac108a2015-06-23 04:51:00 +00001762 Actions.StartOpenMPClause(CKind);
Alexey Bataev6125da92014-07-21 11:26:11 +00001763 FlushHasClause = false;
Alexey Bataeva55ed262014-05-28 06:15:33 +00001764 OMPClause *Clause =
1765 ParseOpenMPClause(DKind, CKind, !FirstClauses[CKind].getInt());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001766 FirstClauses[CKind].setInt(true);
1767 if (Clause) {
1768 FirstClauses[CKind].setPointer(Clause);
1769 Clauses.push_back(Clause);
1770 }
1771
1772 // Skip ',' if any.
1773 if (Tok.is(tok::comma))
1774 ConsumeToken();
Alexey Bataevaac108a2015-06-23 04:51:00 +00001775 Actions.EndOpenMPClause();
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001776 }
1777 // End location of the directive.
1778 EndLoc = Tok.getLocation();
1779 // Consume final annot_pragma_openmp_end.
Richard Smithaf3b3252017-05-18 19:21:48 +00001780 ConsumeAnnotationToken();
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001781
Alexey Bataeveb482352015-12-18 05:05:56 +00001782 // OpenMP [2.13.8, ordered Construct, Syntax]
1783 // If the depend clause is specified, the ordered construct is a stand-alone
1784 // directive.
1785 if (DKind == OMPD_ordered && FirstClauses[OMPC_depend].getInt()) {
Richard Smitha6e8d5e2019-02-15 00:27:53 +00001786 if ((StmtCtx & ParsedStmtContext::AllowStandaloneOpenMPDirectives) ==
1787 ParsedStmtContext()) {
Alexey Bataeveb482352015-12-18 05:05:56 +00001788 Diag(Loc, diag::err_omp_immediate_directive)
1789 << getOpenMPDirectiveName(DKind) << 1
1790 << getOpenMPClauseName(OMPC_depend);
1791 }
1792 HasAssociatedStatement = false;
1793 }
1794
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001795 StmtResult AssociatedStmt;
Alexey Bataev68446b72014-07-18 07:47:19 +00001796 if (HasAssociatedStatement) {
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001797 // The body is a block scope like in Lambdas and Blocks.
Alexey Bataevbae9a792014-06-27 10:37:06 +00001798 Actions.ActOnOpenMPRegionStart(DKind, getCurScope());
Richard Smith6eb9b9e2018-02-03 00:44:57 +00001799 // FIXME: We create a bogus CompoundStmt scope to hold the contents of
1800 // the captured region. Code elsewhere assumes that any FunctionScopeInfo
1801 // should have at least one compound statement scope within it.
1802 AssociatedStmt = (Sema::CompoundScopeRAII(Actions), ParseStatement());
Alexey Bataeva8d4a5432015-04-02 07:48:16 +00001803 AssociatedStmt = Actions.ActOnOpenMPRegionEnd(AssociatedStmt, Clauses);
Alexey Bataev7828b252017-11-21 17:08:48 +00001804 } else if (DKind == OMPD_target_update || DKind == OMPD_target_enter_data ||
1805 DKind == OMPD_target_exit_data) {
Alexey Bataev7828b252017-11-21 17:08:48 +00001806 Actions.ActOnOpenMPRegionStart(DKind, getCurScope());
Richard Smith6eb9b9e2018-02-03 00:44:57 +00001807 AssociatedStmt = (Sema::CompoundScopeRAII(Actions),
1808 Actions.ActOnCompoundStmt(Loc, Loc, llvm::None,
1809 /*isStmtExpr=*/false));
Alexey Bataev7828b252017-11-21 17:08:48 +00001810 AssociatedStmt = Actions.ActOnOpenMPRegionEnd(AssociatedStmt, Clauses);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001811 }
Alexey Bataev6b8046a2015-09-03 07:23:48 +00001812 Directive = Actions.ActOnOpenMPExecutableDirective(
1813 DKind, DirName, CancelRegion, Clauses, AssociatedStmt.get(), Loc,
1814 EndLoc);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001815
1816 // Exit scope.
Alexey Bataev758e55e2013-09-06 18:03:48 +00001817 Actions.EndOpenMPDSABlock(Directive.get());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001818 OMPDirectiveScope.Exit();
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001819 break;
Alexey Bataeva55ed262014-05-28 06:15:33 +00001820 }
Alexey Bataev587e1de2016-03-30 10:43:55 +00001821 case OMPD_declare_simd:
Dmitry Polukhin0b0da292016-04-06 11:38:59 +00001822 case OMPD_declare_target:
1823 case OMPD_end_declare_target:
Kelvin Li1408f912018-09-26 04:28:39 +00001824 case OMPD_requires:
Alexey Bataevd158cf62019-09-13 20:18:17 +00001825 case OMPD_declare_variant:
Alexey Bataev587e1de2016-03-30 10:43:55 +00001826 Diag(Tok, diag::err_omp_unexpected_directive)
Alexey Bataev96dae812018-02-16 18:36:44 +00001827 << 1 << getOpenMPDirectiveName(DKind);
Alexey Bataev587e1de2016-03-30 10:43:55 +00001828 SkipUntil(tok::annot_pragma_openmp_end);
1829 break;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001830 case OMPD_unknown:
1831 Diag(Tok, diag::err_omp_unknown_directive);
Alp Tokerd751fa72013-12-18 19:10:49 +00001832 SkipUntil(tok::annot_pragma_openmp_end);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001833 break;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001834 }
1835 return Directive;
1836}
1837
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001838// Parses simple list:
1839// simple-variable-list:
1840// '(' id-expression {, id-expression} ')'
1841//
1842bool Parser::ParseOpenMPSimpleVarList(
1843 OpenMPDirectiveKind Kind,
1844 const llvm::function_ref<void(CXXScopeSpec &, DeclarationNameInfo)> &
1845 Callback,
1846 bool AllowScopeSpecifier) {
Alexey Bataeva769e072013-03-22 06:34:35 +00001847 // Parse '('.
Alp Tokerd751fa72013-12-18 19:10:49 +00001848 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001849 if (T.expectAndConsume(diag::err_expected_lparen_after,
1850 getOpenMPDirectiveName(Kind)))
1851 return true;
1852 bool IsCorrect = true;
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001853 bool NoIdentIsFound = true;
Alexey Bataeva769e072013-03-22 06:34:35 +00001854
1855 // Read tokens while ')' or annot_pragma_openmp_end is not found.
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001856 while (Tok.isNot(tok::r_paren) && Tok.isNot(tok::annot_pragma_openmp_end)) {
Alexey Bataeva769e072013-03-22 06:34:35 +00001857 CXXScopeSpec SS;
Alexey Bataeva769e072013-03-22 06:34:35 +00001858 UnqualifiedId Name;
1859 // Read var name.
1860 Token PrevTok = Tok;
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001861 NoIdentIsFound = false;
Alexey Bataeva769e072013-03-22 06:34:35 +00001862
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001863 if (AllowScopeSpecifier && getLangOpts().CPlusPlus &&
David Blaikieefdccaa2016-01-15 23:43:34 +00001864 ParseOptionalCXXScopeSpecifier(SS, nullptr, false)) {
Alexey Bataeva769e072013-03-22 06:34:35 +00001865 IsCorrect = false;
1866 SkipUntil(tok::comma, tok::r_paren, tok::annot_pragma_openmp_end,
Alp Tokerd751fa72013-12-18 19:10:49 +00001867 StopBeforeMatch);
Richard Smith35845152017-02-07 01:37:30 +00001868 } else if (ParseUnqualifiedId(SS, false, false, false, false, nullptr,
Richard Smithc08b6932018-04-27 02:00:13 +00001869 nullptr, Name)) {
Alexey Bataeva769e072013-03-22 06:34:35 +00001870 IsCorrect = false;
1871 SkipUntil(tok::comma, tok::r_paren, tok::annot_pragma_openmp_end,
Alp Tokerd751fa72013-12-18 19:10:49 +00001872 StopBeforeMatch);
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001873 } else if (Tok.isNot(tok::comma) && Tok.isNot(tok::r_paren) &&
1874 Tok.isNot(tok::annot_pragma_openmp_end)) {
1875 IsCorrect = false;
1876 SkipUntil(tok::comma, tok::r_paren, tok::annot_pragma_openmp_end,
Alp Tokerd751fa72013-12-18 19:10:49 +00001877 StopBeforeMatch);
Alp Tokerec543272013-12-24 09:48:30 +00001878 Diag(PrevTok.getLocation(), diag::err_expected)
1879 << tok::identifier
1880 << SourceRange(PrevTok.getLocation(), PrevTokLocation);
Alexey Bataeva769e072013-03-22 06:34:35 +00001881 } else {
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001882 Callback(SS, Actions.GetNameFromUnqualifiedId(Name));
Alexey Bataeva769e072013-03-22 06:34:35 +00001883 }
1884 // Consume ','.
1885 if (Tok.is(tok::comma)) {
1886 ConsumeToken();
1887 }
Alexey Bataeva769e072013-03-22 06:34:35 +00001888 }
1889
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001890 if (NoIdentIsFound) {
Alp Tokerec543272013-12-24 09:48:30 +00001891 Diag(Tok, diag::err_expected) << tok::identifier;
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001892 IsCorrect = false;
1893 }
1894
1895 // Parse ')'.
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001896 IsCorrect = !T.consumeClose() && IsCorrect;
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001897
Dmitry Polukhind69b5052016-05-09 14:59:13 +00001898 return !IsCorrect;
Alexey Bataeva769e072013-03-22 06:34:35 +00001899}
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001900
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00001901/// Parsing of OpenMP clauses.
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001902///
1903/// clause:
Alexey Bataev3778b602014-07-17 07:32:53 +00001904/// if-clause | final-clause | num_threads-clause | safelen-clause |
1905/// default-clause | private-clause | firstprivate-clause | shared-clause
1906/// | linear-clause | aligned-clause | collapse-clause |
1907/// lastprivate-clause | reduction-clause | proc_bind-clause |
Alexey Bataev74ba3a52014-07-17 12:47:03 +00001908/// schedule-clause | copyin-clause | copyprivate-clause | untied-clause |
Alexey Bataev67a4f222014-07-23 10:25:33 +00001909/// mergeable-clause | flush-clause | read-clause | write-clause |
Alexey Bataev66b15b52015-08-21 11:14:16 +00001910/// update-clause | capture-clause | seq_cst-clause | device-clause |
Kelvin Lia15fb1a2015-11-27 18:47:36 +00001911/// simdlen-clause | threads-clause | simd-clause | num_teams-clause |
Alexey Bataev1fd4aed2015-12-07 12:52:51 +00001912/// thread_limit-clause | priority-clause | grainsize-clause |
Samuel Antaoec172c62016-05-26 17:49:04 +00001913/// nogroup-clause | num_tasks-clause | hint-clause | to-clause |
Alexey Bataevfa312f32017-07-21 18:48:21 +00001914/// from-clause | is_device_ptr-clause | task_reduction-clause |
Alexey Bataeve04483e2019-03-27 14:14:31 +00001915/// in_reduction-clause | allocator-clause | allocate-clause
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001916///
1917OMPClause *Parser::ParseOpenMPClause(OpenMPDirectiveKind DKind,
1918 OpenMPClauseKind CKind, bool FirstClause) {
Craig Topper161e4db2014-05-21 06:02:52 +00001919 OMPClause *Clause = nullptr;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001920 bool ErrorFound = false;
Alexey Bataevf3c832a2018-01-09 19:21:04 +00001921 bool WrongDirective = false;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001922 // Check if clause is allowed for the given directive.
1923 if (CKind != OMPC_unknown && !isAllowedClauseForDirective(DKind, CKind)) {
Alexey Bataeva55ed262014-05-28 06:15:33 +00001924 Diag(Tok, diag::err_omp_unexpected_clause) << getOpenMPClauseName(CKind)
1925 << getOpenMPDirectiveName(DKind);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001926 ErrorFound = true;
Alexey Bataevf3c832a2018-01-09 19:21:04 +00001927 WrongDirective = true;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001928 }
1929
1930 switch (CKind) {
Alexey Bataev3778b602014-07-17 07:32:53 +00001931 case OMPC_final:
Alexey Bataev568a8332014-03-06 06:15:19 +00001932 case OMPC_num_threads:
Alexey Bataev62c87d22014-03-21 04:51:18 +00001933 case OMPC_safelen:
Alexey Bataev66b15b52015-08-21 11:14:16 +00001934 case OMPC_simdlen:
Alexander Musman8bd31e62014-05-27 15:12:19 +00001935 case OMPC_collapse:
Alexey Bataev10e775f2015-07-30 11:36:16 +00001936 case OMPC_ordered:
Michael Wonge710d542015-08-07 16:16:36 +00001937 case OMPC_device:
Kelvin Li099bb8c2015-11-24 20:50:12 +00001938 case OMPC_num_teams:
Kelvin Lia15fb1a2015-11-27 18:47:36 +00001939 case OMPC_thread_limit:
Alexey Bataeva0569352015-12-01 10:17:31 +00001940 case OMPC_priority:
Alexey Bataev1fd4aed2015-12-07 12:52:51 +00001941 case OMPC_grainsize:
Alexey Bataev382967a2015-12-08 12:06:20 +00001942 case OMPC_num_tasks:
Alexey Bataev28c75412015-12-15 08:19:24 +00001943 case OMPC_hint:
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001944 case OMPC_allocator:
Alexey Bataevaadd52e2014-02-13 05:29:23 +00001945 // OpenMP [2.5, Restrictions]
Alexey Bataev568a8332014-03-06 06:15:19 +00001946 // At most one num_threads clause can appear on the directive.
Alexey Bataev62c87d22014-03-21 04:51:18 +00001947 // OpenMP [2.8.1, simd construct, Restrictions]
Alexander Musman8bd31e62014-05-27 15:12:19 +00001948 // Only one safelen clause can appear on a simd directive.
Alexey Bataev66b15b52015-08-21 11:14:16 +00001949 // Only one simdlen clause can appear on a simd directive.
Alexander Musman8bd31e62014-05-27 15:12:19 +00001950 // Only one collapse clause can appear on a simd directive.
Michael Wonge710d542015-08-07 16:16:36 +00001951 // OpenMP [2.9.1, target data construct, Restrictions]
1952 // At most one device clause can appear on the directive.
Alexey Bataev3778b602014-07-17 07:32:53 +00001953 // OpenMP [2.11.1, task Construct, Restrictions]
1954 // At most one if clause can appear on the directive.
1955 // At most one final clause can appear on the directive.
Kelvin Li099bb8c2015-11-24 20:50:12 +00001956 // OpenMP [teams Construct, Restrictions]
1957 // At most one num_teams clause can appear on the directive.
Kelvin Lia15fb1a2015-11-27 18:47:36 +00001958 // At most one thread_limit clause can appear on the directive.
Alexey Bataeva0569352015-12-01 10:17:31 +00001959 // OpenMP [2.9.1, task Construct, Restrictions]
1960 // At most one priority clause can appear on the directive.
Alexey Bataev1fd4aed2015-12-07 12:52:51 +00001961 // OpenMP [2.9.2, taskloop Construct, Restrictions]
1962 // At most one grainsize clause can appear on the directive.
Alexey Bataev382967a2015-12-08 12:06:20 +00001963 // OpenMP [2.9.2, taskloop Construct, Restrictions]
1964 // At most one num_tasks clause can appear on the directive.
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00001965 // OpenMP [2.11.3, allocate Directive, Restrictions]
1966 // At most one allocator clause can appear on the directive.
Alexey Bataevaadd52e2014-02-13 05:29:23 +00001967 if (!FirstClause) {
Alexey Bataev6b8046a2015-09-03 07:23:48 +00001968 Diag(Tok, diag::err_omp_more_one_clause)
1969 << getOpenMPDirectiveName(DKind) << getOpenMPClauseName(CKind) << 0;
Alexey Bataevdea47612014-07-23 07:46:59 +00001970 ErrorFound = true;
Alexey Bataevaadd52e2014-02-13 05:29:23 +00001971 }
1972
Alexey Bataev10e775f2015-07-30 11:36:16 +00001973 if (CKind == OMPC_ordered && PP.LookAhead(/*N=*/0).isNot(tok::l_paren))
Alexey Bataevf3c832a2018-01-09 19:21:04 +00001974 Clause = ParseOpenMPClause(CKind, WrongDirective);
Alexey Bataev10e775f2015-07-30 11:36:16 +00001975 else
Alexey Bataevf3c832a2018-01-09 19:21:04 +00001976 Clause = ParseOpenMPSingleExprClause(CKind, WrongDirective);
Alexey Bataevaadd52e2014-02-13 05:29:23 +00001977 break;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001978 case OMPC_default:
Alexey Bataevbcbadb62014-05-06 06:04:14 +00001979 case OMPC_proc_bind:
Patrick Lyster7a2a27c2018-11-02 12:18:11 +00001980 case OMPC_atomic_default_mem_order:
Alexey Bataevaadd52e2014-02-13 05:29:23 +00001981 // OpenMP [2.14.3.1, Restrictions]
1982 // Only a single default clause may be specified on a parallel, task or
1983 // teams directive.
Alexey Bataevbcbadb62014-05-06 06:04:14 +00001984 // OpenMP [2.5, parallel Construct, Restrictions]
1985 // At most one proc_bind clause can appear on the directive.
Patrick Lyster7a2a27c2018-11-02 12:18:11 +00001986 // OpenMP [5.0, Requires directive, Restrictions]
1987 // At most one atomic_default_mem_order clause can appear
1988 // on the directive
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001989 if (!FirstClause) {
Alexey Bataev6b8046a2015-09-03 07:23:48 +00001990 Diag(Tok, diag::err_omp_more_one_clause)
1991 << getOpenMPDirectiveName(DKind) << getOpenMPClauseName(CKind) << 0;
Alexey Bataevdea47612014-07-23 07:46:59 +00001992 ErrorFound = true;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001993 }
1994
Alexey Bataevf3c832a2018-01-09 19:21:04 +00001995 Clause = ParseOpenMPSimpleClause(CKind, WrongDirective);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001996 break;
Alexey Bataev56dafe82014-06-20 07:16:17 +00001997 case OMPC_schedule:
Carlo Bertollib4adf552016-01-15 18:50:31 +00001998 case OMPC_dist_schedule:
Arpith Chacko Jacob3cf89042016-01-26 16:37:23 +00001999 case OMPC_defaultmap:
Alexey Bataev56dafe82014-06-20 07:16:17 +00002000 // OpenMP [2.7.1, Restrictions, p. 3]
2001 // Only one schedule clause can appear on a loop directive.
Arpith Chacko Jacob3cf89042016-01-26 16:37:23 +00002002 // OpenMP [2.10.4, Restrictions, p. 106]
2003 // At most one defaultmap clause can appear on the directive.
Alexey Bataev56dafe82014-06-20 07:16:17 +00002004 if (!FirstClause) {
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002005 Diag(Tok, diag::err_omp_more_one_clause)
2006 << getOpenMPDirectiveName(DKind) << getOpenMPClauseName(CKind) << 0;
Alexey Bataevdea47612014-07-23 07:46:59 +00002007 ErrorFound = true;
Alexey Bataev56dafe82014-06-20 07:16:17 +00002008 }
Galina Kistanova474f2ce2017-06-01 21:26:38 +00002009 LLVM_FALLTHROUGH;
Alexey Bataev56dafe82014-06-20 07:16:17 +00002010
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002011 case OMPC_if:
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002012 Clause = ParseOpenMPSingleExprWithArgClause(CKind, WrongDirective);
Alexey Bataev56dafe82014-06-20 07:16:17 +00002013 break;
Alexey Bataev236070f2014-06-20 11:19:47 +00002014 case OMPC_nowait:
Alexey Bataev7aea99a2014-07-17 12:19:31 +00002015 case OMPC_untied:
Alexey Bataev74ba3a52014-07-17 12:47:03 +00002016 case OMPC_mergeable:
Alexey Bataevf98b00c2014-07-23 02:27:21 +00002017 case OMPC_read:
Alexey Bataevdea47612014-07-23 07:46:59 +00002018 case OMPC_write:
Alexey Bataev67a4f222014-07-23 10:25:33 +00002019 case OMPC_update:
Alexey Bataev459dec02014-07-24 06:46:57 +00002020 case OMPC_capture:
Alexey Bataev82bad8b2014-07-24 08:55:34 +00002021 case OMPC_seq_cst:
Alexey Bataev346265e2015-09-25 10:37:12 +00002022 case OMPC_threads:
Alexey Bataevd14d1e62015-09-28 06:39:35 +00002023 case OMPC_simd:
Alexey Bataevb825de12015-12-07 10:51:44 +00002024 case OMPC_nogroup:
Kelvin Li1408f912018-09-26 04:28:39 +00002025 case OMPC_unified_address:
Patrick Lyster4a370b92018-10-01 13:47:43 +00002026 case OMPC_unified_shared_memory:
Patrick Lyster6bdf63b2018-10-03 20:07:58 +00002027 case OMPC_reverse_offload:
Patrick Lyster3fe9e392018-10-11 14:41:10 +00002028 case OMPC_dynamic_allocators:
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002029 // OpenMP [2.7.1, Restrictions, p. 9]
2030 // Only one ordered clause can appear on a loop directive.
Alexey Bataev236070f2014-06-20 11:19:47 +00002031 // OpenMP [2.7.1, Restrictions, C/C++, p. 4]
2032 // Only one nowait clause can appear on a for directive.
Kelvin Li1408f912018-09-26 04:28:39 +00002033 // OpenMP [5.0, Requires directive, Restrictions]
2034 // Each of the requires clauses can appear at most once on the directive.
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002035 if (!FirstClause) {
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002036 Diag(Tok, diag::err_omp_more_one_clause)
2037 << getOpenMPDirectiveName(DKind) << getOpenMPClauseName(CKind) << 0;
Alexey Bataevdea47612014-07-23 07:46:59 +00002038 ErrorFound = true;
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002039 }
2040
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002041 Clause = ParseOpenMPClause(CKind, WrongDirective);
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002042 break;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002043 case OMPC_private:
Alexey Bataevd5af8e42013-10-01 05:32:34 +00002044 case OMPC_firstprivate:
Alexander Musman1bb328c2014-06-04 13:06:39 +00002045 case OMPC_lastprivate:
Alexey Bataev758e55e2013-09-06 18:03:48 +00002046 case OMPC_shared:
Alexey Bataevc5e02582014-06-16 07:08:35 +00002047 case OMPC_reduction:
Alexey Bataev169d96a2017-07-18 20:17:46 +00002048 case OMPC_task_reduction:
Alexey Bataevfa312f32017-07-21 18:48:21 +00002049 case OMPC_in_reduction:
Alexander Musman8dba6642014-04-22 13:09:42 +00002050 case OMPC_linear:
Alexander Musmanf0d76e72014-05-29 14:36:25 +00002051 case OMPC_aligned:
Alexey Bataevd48bcd82014-03-31 03:36:38 +00002052 case OMPC_copyin:
Alexey Bataevbae9a792014-06-27 10:37:06 +00002053 case OMPC_copyprivate:
Alexey Bataev6125da92014-07-21 11:26:11 +00002054 case OMPC_flush:
Alexey Bataev1c2cfbc2015-06-23 14:25:19 +00002055 case OMPC_depend:
Kelvin Li0bff7af2015-11-23 05:32:03 +00002056 case OMPC_map:
Samuel Antao661c0902016-05-26 17:39:58 +00002057 case OMPC_to:
Samuel Antaoec172c62016-05-26 17:49:04 +00002058 case OMPC_from:
Carlo Bertolli2404b172016-07-13 15:37:16 +00002059 case OMPC_use_device_ptr:
Carlo Bertolli70594e92016-07-13 17:16:49 +00002060 case OMPC_is_device_ptr:
Alexey Bataeve04483e2019-03-27 14:14:31 +00002061 case OMPC_allocate:
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002062 Clause = ParseOpenMPVarListClause(DKind, CKind, WrongDirective);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002063 break;
Alexey Bataev729e2422019-08-23 16:11:14 +00002064 case OMPC_device_type:
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002065 case OMPC_unknown:
2066 Diag(Tok, diag::warn_omp_extra_tokens_at_eol)
Alexey Bataeva55ed262014-05-28 06:15:33 +00002067 << getOpenMPDirectiveName(DKind);
Alp Tokerd751fa72013-12-18 19:10:49 +00002068 SkipUntil(tok::annot_pragma_openmp_end, StopBeforeMatch);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002069 break;
2070 case OMPC_threadprivate:
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002071 case OMPC_uniform:
Alexey Bataevdba792c2019-09-23 18:13:31 +00002072 case OMPC_match:
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002073 if (!WrongDirective)
2074 Diag(Tok, diag::err_omp_unexpected_clause)
2075 << getOpenMPClauseName(CKind) << getOpenMPDirectiveName(DKind);
Alp Tokerd751fa72013-12-18 19:10:49 +00002076 SkipUntil(tok::comma, tok::annot_pragma_openmp_end, StopBeforeMatch);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002077 break;
2078 }
Craig Topper161e4db2014-05-21 06:02:52 +00002079 return ErrorFound ? nullptr : Clause;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002080}
2081
Alexey Bataev2af33e32016-04-07 12:45:37 +00002082/// Parses simple expression in parens for single-expression clauses of OpenMP
2083/// constructs.
2084/// \param RLoc Returned location of right paren.
2085ExprResult Parser::ParseOpenMPParensExpr(StringRef ClauseName,
Alexey Bataevd158cf62019-09-13 20:18:17 +00002086 SourceLocation &RLoc,
2087 bool IsAddressOfOperand) {
Alexey Bataev2af33e32016-04-07 12:45:37 +00002088 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
2089 if (T.expectAndConsume(diag::err_expected_lparen_after, ClauseName.data()))
2090 return ExprError();
2091
2092 SourceLocation ELoc = Tok.getLocation();
2093 ExprResult LHS(ParseCastExpression(
Alexey Bataevd158cf62019-09-13 20:18:17 +00002094 /*isUnaryExpression=*/false, IsAddressOfOperand, NotTypeCast));
Alexey Bataev2af33e32016-04-07 12:45:37 +00002095 ExprResult Val(ParseRHSOfBinaryExpression(LHS, prec::Conditional));
Aaron Ballmanfb6deeb2019-01-04 16:58:14 +00002096 Val = Actions.ActOnFinishFullExpr(Val.get(), ELoc, /*DiscardedValue*/ false);
Alexey Bataev2af33e32016-04-07 12:45:37 +00002097
2098 // Parse ')'.
Alexey Bataevdbc72c92018-07-06 19:35:42 +00002099 RLoc = Tok.getLocation();
2100 if (!T.consumeClose())
2101 RLoc = T.getCloseLocation();
Alexey Bataev2af33e32016-04-07 12:45:37 +00002102
Alexey Bataev2af33e32016-04-07 12:45:37 +00002103 return Val;
2104}
2105
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002106/// Parsing of OpenMP clauses with single expressions like 'final',
Alexey Bataeva0569352015-12-01 10:17:31 +00002107/// 'collapse', 'safelen', 'num_threads', 'simdlen', 'num_teams',
Alexey Bataev28c75412015-12-15 08:19:24 +00002108/// 'thread_limit', 'simdlen', 'priority', 'grainsize', 'num_tasks' or 'hint'.
Alexey Bataevaadd52e2014-02-13 05:29:23 +00002109///
Alexey Bataev3778b602014-07-17 07:32:53 +00002110/// final-clause:
2111/// 'final' '(' expression ')'
2112///
Alexey Bataev62c87d22014-03-21 04:51:18 +00002113/// num_threads-clause:
2114/// 'num_threads' '(' expression ')'
2115///
2116/// safelen-clause:
2117/// 'safelen' '(' expression ')'
2118///
Alexey Bataev66b15b52015-08-21 11:14:16 +00002119/// simdlen-clause:
2120/// 'simdlen' '(' expression ')'
2121///
Alexander Musman8bd31e62014-05-27 15:12:19 +00002122/// collapse-clause:
2123/// 'collapse' '(' expression ')'
2124///
Alexey Bataeva0569352015-12-01 10:17:31 +00002125/// priority-clause:
2126/// 'priority' '(' expression ')'
2127///
Alexey Bataev1fd4aed2015-12-07 12:52:51 +00002128/// grainsize-clause:
2129/// 'grainsize' '(' expression ')'
2130///
Alexey Bataev382967a2015-12-08 12:06:20 +00002131/// num_tasks-clause:
2132/// 'num_tasks' '(' expression ')'
2133///
Alexey Bataev28c75412015-12-15 08:19:24 +00002134/// hint-clause:
2135/// 'hint' '(' expression ')'
2136///
Alexey Bataev9cc10fc2019-03-12 18:52:33 +00002137/// allocator-clause:
2138/// 'allocator' '(' expression ')'
2139///
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002140OMPClause *Parser::ParseOpenMPSingleExprClause(OpenMPClauseKind Kind,
2141 bool ParseOnly) {
Alexey Bataevaadd52e2014-02-13 05:29:23 +00002142 SourceLocation Loc = ConsumeToken();
Alexey Bataev2af33e32016-04-07 12:45:37 +00002143 SourceLocation LLoc = Tok.getLocation();
2144 SourceLocation RLoc;
Alexey Bataevaadd52e2014-02-13 05:29:23 +00002145
Alexey Bataev2af33e32016-04-07 12:45:37 +00002146 ExprResult Val = ParseOpenMPParensExpr(getOpenMPClauseName(Kind), RLoc);
Alexey Bataevaadd52e2014-02-13 05:29:23 +00002147
2148 if (Val.isInvalid())
Craig Topper161e4db2014-05-21 06:02:52 +00002149 return nullptr;
Alexey Bataevaadd52e2014-02-13 05:29:23 +00002150
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002151 if (ParseOnly)
2152 return nullptr;
Alexey Bataev2af33e32016-04-07 12:45:37 +00002153 return Actions.ActOnOpenMPSingleExprClause(Kind, Val.get(), Loc, LLoc, RLoc);
Alexey Bataevaadd52e2014-02-13 05:29:23 +00002154}
2155
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002156/// Parsing of simple OpenMP clauses like 'default' or 'proc_bind'.
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002157///
2158/// default-clause:
2159/// 'default' '(' 'none' | 'shared' ')
2160///
Alexey Bataevbcbadb62014-05-06 06:04:14 +00002161/// proc_bind-clause:
2162/// 'proc_bind' '(' 'master' | 'close' | 'spread' ')
2163///
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002164OMPClause *Parser::ParseOpenMPSimpleClause(OpenMPClauseKind Kind,
2165 bool ParseOnly) {
Alexey Bataev729e2422019-08-23 16:11:14 +00002166 llvm::Optional<SimpleClauseData> Val = parseOpenMPSimpleClause(*this, Kind);
2167 if (!Val || ParseOnly)
Craig Topper161e4db2014-05-21 06:02:52 +00002168 return nullptr;
Alexey Bataev729e2422019-08-23 16:11:14 +00002169 return Actions.ActOnOpenMPSimpleClause(
2170 Kind, Val.getValue().Type, Val.getValue().TypeLoc, Val.getValue().LOpen,
2171 Val.getValue().Loc, Val.getValue().RLoc);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002172}
2173
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002174/// Parsing of OpenMP clauses like 'ordered'.
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002175///
2176/// ordered-clause:
2177/// 'ordered'
2178///
Alexey Bataev236070f2014-06-20 11:19:47 +00002179/// nowait-clause:
2180/// 'nowait'
2181///
Alexey Bataev7aea99a2014-07-17 12:19:31 +00002182/// untied-clause:
2183/// 'untied'
2184///
Alexey Bataev74ba3a52014-07-17 12:47:03 +00002185/// mergeable-clause:
2186/// 'mergeable'
2187///
Alexey Bataevf98b00c2014-07-23 02:27:21 +00002188/// read-clause:
2189/// 'read'
2190///
Alexey Bataev346265e2015-09-25 10:37:12 +00002191/// threads-clause:
2192/// 'threads'
2193///
Alexey Bataevd14d1e62015-09-28 06:39:35 +00002194/// simd-clause:
2195/// 'simd'
2196///
Alexey Bataevb825de12015-12-07 10:51:44 +00002197/// nogroup-clause:
2198/// 'nogroup'
2199///
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002200OMPClause *Parser::ParseOpenMPClause(OpenMPClauseKind Kind, bool ParseOnly) {
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002201 SourceLocation Loc = Tok.getLocation();
2202 ConsumeAnyToken();
2203
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002204 if (ParseOnly)
2205 return nullptr;
Alexey Bataev142e1fc2014-06-20 09:44:06 +00002206 return Actions.ActOnOpenMPClause(Kind, Loc, Tok.getLocation());
2207}
2208
2209
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002210/// Parsing of OpenMP clauses with single expressions and some additional
Alexey Bataev56dafe82014-06-20 07:16:17 +00002211/// argument like 'schedule' or 'dist_schedule'.
2212///
2213/// schedule-clause:
Alexey Bataev6402bca2015-12-28 07:25:51 +00002214/// 'schedule' '(' [ modifier [ ',' modifier ] ':' ] kind [',' expression ]
2215/// ')'
Alexey Bataev56dafe82014-06-20 07:16:17 +00002216///
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002217/// if-clause:
2218/// 'if' '(' [ directive-name-modifier ':' ] expression ')'
2219///
Arpith Chacko Jacob3cf89042016-01-26 16:37:23 +00002220/// defaultmap:
2221/// 'defaultmap' '(' modifier ':' kind ')'
2222///
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002223OMPClause *Parser::ParseOpenMPSingleExprWithArgClause(OpenMPClauseKind Kind,
2224 bool ParseOnly) {
Alexey Bataev56dafe82014-06-20 07:16:17 +00002225 SourceLocation Loc = ConsumeToken();
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002226 SourceLocation DelimLoc;
Alexey Bataev56dafe82014-06-20 07:16:17 +00002227 // Parse '('.
2228 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
2229 if (T.expectAndConsume(diag::err_expected_lparen_after,
2230 getOpenMPClauseName(Kind)))
2231 return nullptr;
2232
2233 ExprResult Val;
Alexey Bataev6402bca2015-12-28 07:25:51 +00002234 SmallVector<unsigned, 4> Arg;
2235 SmallVector<SourceLocation, 4> KLoc;
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002236 if (Kind == OMPC_schedule) {
Alexey Bataev6402bca2015-12-28 07:25:51 +00002237 enum { Modifier1, Modifier2, ScheduleKind, NumberOfElements };
2238 Arg.resize(NumberOfElements);
2239 KLoc.resize(NumberOfElements);
2240 Arg[Modifier1] = OMPC_SCHEDULE_MODIFIER_unknown;
2241 Arg[Modifier2] = OMPC_SCHEDULE_MODIFIER_unknown;
2242 Arg[ScheduleKind] = OMPC_SCHEDULE_unknown;
Alexey Bataev61908f652018-04-23 19:53:05 +00002243 unsigned KindModifier = getOpenMPSimpleClauseType(
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002244 Kind, Tok.isAnnotation() ? "" : PP.getSpelling(Tok));
Alexey Bataev6402bca2015-12-28 07:25:51 +00002245 if (KindModifier > OMPC_SCHEDULE_unknown) {
2246 // Parse 'modifier'
2247 Arg[Modifier1] = KindModifier;
2248 KLoc[Modifier1] = Tok.getLocation();
2249 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
2250 Tok.isNot(tok::annot_pragma_openmp_end))
2251 ConsumeAnyToken();
2252 if (Tok.is(tok::comma)) {
2253 // Parse ',' 'modifier'
2254 ConsumeAnyToken();
2255 KindModifier = getOpenMPSimpleClauseType(
2256 Kind, Tok.isAnnotation() ? "" : PP.getSpelling(Tok));
2257 Arg[Modifier2] = KindModifier > OMPC_SCHEDULE_unknown
2258 ? KindModifier
Aaron Ballmanad8a1042015-12-28 15:52:46 +00002259 : (unsigned)OMPC_SCHEDULE_unknown;
Alexey Bataev6402bca2015-12-28 07:25:51 +00002260 KLoc[Modifier2] = Tok.getLocation();
2261 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
2262 Tok.isNot(tok::annot_pragma_openmp_end))
2263 ConsumeAnyToken();
2264 }
2265 // Parse ':'
2266 if (Tok.is(tok::colon))
2267 ConsumeAnyToken();
2268 else
2269 Diag(Tok, diag::warn_pragma_expected_colon) << "schedule modifier";
2270 KindModifier = getOpenMPSimpleClauseType(
2271 Kind, Tok.isAnnotation() ? "" : PP.getSpelling(Tok));
2272 }
2273 Arg[ScheduleKind] = KindModifier;
2274 KLoc[ScheduleKind] = Tok.getLocation();
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002275 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
2276 Tok.isNot(tok::annot_pragma_openmp_end))
2277 ConsumeAnyToken();
Alexey Bataev6402bca2015-12-28 07:25:51 +00002278 if ((Arg[ScheduleKind] == OMPC_SCHEDULE_static ||
2279 Arg[ScheduleKind] == OMPC_SCHEDULE_dynamic ||
2280 Arg[ScheduleKind] == OMPC_SCHEDULE_guided) &&
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002281 Tok.is(tok::comma))
2282 DelimLoc = ConsumeAnyToken();
Carlo Bertollib4adf552016-01-15 18:50:31 +00002283 } else if (Kind == OMPC_dist_schedule) {
2284 Arg.push_back(getOpenMPSimpleClauseType(
2285 Kind, Tok.isAnnotation() ? "" : PP.getSpelling(Tok)));
2286 KLoc.push_back(Tok.getLocation());
2287 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
2288 Tok.isNot(tok::annot_pragma_openmp_end))
2289 ConsumeAnyToken();
2290 if (Arg.back() == OMPC_DIST_SCHEDULE_static && Tok.is(tok::comma))
2291 DelimLoc = ConsumeAnyToken();
Arpith Chacko Jacob3cf89042016-01-26 16:37:23 +00002292 } else if (Kind == OMPC_defaultmap) {
2293 // Get a defaultmap modifier
2294 Arg.push_back(getOpenMPSimpleClauseType(
2295 Kind, Tok.isAnnotation() ? "" : PP.getSpelling(Tok)));
2296 KLoc.push_back(Tok.getLocation());
2297 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
2298 Tok.isNot(tok::annot_pragma_openmp_end))
2299 ConsumeAnyToken();
2300 // Parse ':'
2301 if (Tok.is(tok::colon))
2302 ConsumeAnyToken();
2303 else if (Arg.back() != OMPC_DEFAULTMAP_MODIFIER_unknown)
2304 Diag(Tok, diag::warn_pragma_expected_colon) << "defaultmap modifier";
2305 // Get a defaultmap kind
2306 Arg.push_back(getOpenMPSimpleClauseType(
2307 Kind, Tok.isAnnotation() ? "" : PP.getSpelling(Tok)));
2308 KLoc.push_back(Tok.getLocation());
2309 if (Tok.isNot(tok::r_paren) && Tok.isNot(tok::comma) &&
2310 Tok.isNot(tok::annot_pragma_openmp_end))
2311 ConsumeAnyToken();
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002312 } else {
2313 assert(Kind == OMPC_if);
Alexey Bataev6402bca2015-12-28 07:25:51 +00002314 KLoc.push_back(Tok.getLocation());
Alexey Bataev2a6de8c2016-12-20 12:10:05 +00002315 TentativeParsingAction TPA(*this);
Alexey Bataev61908f652018-04-23 19:53:05 +00002316 Arg.push_back(parseOpenMPDirectiveKind(*this));
Alexey Bataev6402bca2015-12-28 07:25:51 +00002317 if (Arg.back() != OMPD_unknown) {
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002318 ConsumeToken();
Alexey Bataev2a6de8c2016-12-20 12:10:05 +00002319 if (Tok.is(tok::colon) && getLangOpts().OpenMP > 40) {
2320 TPA.Commit();
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002321 DelimLoc = ConsumeToken();
Alexey Bataev2a6de8c2016-12-20 12:10:05 +00002322 } else {
2323 TPA.Revert();
2324 Arg.back() = OMPD_unknown;
2325 }
Alexey Bataev61908f652018-04-23 19:53:05 +00002326 } else {
Alexey Bataev2a6de8c2016-12-20 12:10:05 +00002327 TPA.Revert();
Alexey Bataev61908f652018-04-23 19:53:05 +00002328 }
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002329 }
Alexey Bataev56dafe82014-06-20 07:16:17 +00002330
Carlo Bertollib4adf552016-01-15 18:50:31 +00002331 bool NeedAnExpression = (Kind == OMPC_schedule && DelimLoc.isValid()) ||
2332 (Kind == OMPC_dist_schedule && DelimLoc.isValid()) ||
2333 Kind == OMPC_if;
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002334 if (NeedAnExpression) {
2335 SourceLocation ELoc = Tok.getLocation();
Alexey Bataev56dafe82014-06-20 07:16:17 +00002336 ExprResult LHS(ParseCastExpression(false, false, NotTypeCast));
2337 Val = ParseRHSOfBinaryExpression(LHS, prec::Conditional);
Aaron Ballmanfb6deeb2019-01-04 16:58:14 +00002338 Val =
2339 Actions.ActOnFinishFullExpr(Val.get(), ELoc, /*DiscardedValue*/ false);
Alexey Bataev56dafe82014-06-20 07:16:17 +00002340 }
2341
2342 // Parse ')'.
Alexey Bataevdbc72c92018-07-06 19:35:42 +00002343 SourceLocation RLoc = Tok.getLocation();
2344 if (!T.consumeClose())
2345 RLoc = T.getCloseLocation();
Alexey Bataev56dafe82014-06-20 07:16:17 +00002346
Alexey Bataev6b8046a2015-09-03 07:23:48 +00002347 if (NeedAnExpression && Val.isInvalid())
2348 return nullptr;
2349
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002350 if (ParseOnly)
2351 return nullptr;
Alexey Bataev56dafe82014-06-20 07:16:17 +00002352 return Actions.ActOnOpenMPSingleExprWithArgClause(
Alexey Bataevdbc72c92018-07-06 19:35:42 +00002353 Kind, Arg, Val.get(), Loc, T.getOpenLocation(), KLoc, DelimLoc, RLoc);
Alexey Bataev56dafe82014-06-20 07:16:17 +00002354}
2355
Alexey Bataevc5e02582014-06-16 07:08:35 +00002356static bool ParseReductionId(Parser &P, CXXScopeSpec &ReductionIdScopeSpec,
2357 UnqualifiedId &ReductionId) {
Alexey Bataevc5e02582014-06-16 07:08:35 +00002358 if (ReductionIdScopeSpec.isEmpty()) {
2359 auto OOK = OO_None;
2360 switch (P.getCurToken().getKind()) {
2361 case tok::plus:
2362 OOK = OO_Plus;
2363 break;
2364 case tok::minus:
2365 OOK = OO_Minus;
2366 break;
2367 case tok::star:
2368 OOK = OO_Star;
2369 break;
2370 case tok::amp:
2371 OOK = OO_Amp;
2372 break;
2373 case tok::pipe:
2374 OOK = OO_Pipe;
2375 break;
2376 case tok::caret:
2377 OOK = OO_Caret;
2378 break;
2379 case tok::ampamp:
2380 OOK = OO_AmpAmp;
2381 break;
2382 case tok::pipepipe:
2383 OOK = OO_PipePipe;
2384 break;
2385 default:
2386 break;
2387 }
2388 if (OOK != OO_None) {
2389 SourceLocation OpLoc = P.ConsumeToken();
Alexey Bataev23b69422014-06-18 07:08:49 +00002390 SourceLocation SymbolLocations[] = {OpLoc, OpLoc, SourceLocation()};
Alexey Bataevc5e02582014-06-16 07:08:35 +00002391 ReductionId.setOperatorFunctionId(OpLoc, OOK, SymbolLocations);
2392 return false;
2393 }
2394 }
2395 return P.ParseUnqualifiedId(ReductionIdScopeSpec, /*EnteringContext*/ false,
2396 /*AllowDestructorName*/ false,
Richard Smith35845152017-02-07 01:37:30 +00002397 /*AllowConstructorName*/ false,
2398 /*AllowDeductionGuide*/ false,
Richard Smithc08b6932018-04-27 02:00:13 +00002399 nullptr, nullptr, ReductionId);
Alexey Bataevc5e02582014-06-16 07:08:35 +00002400}
2401
Kelvin Lief579432018-12-18 22:18:41 +00002402/// Checks if the token is a valid map-type-modifier.
2403static OpenMPMapModifierKind isMapModifier(Parser &P) {
2404 Token Tok = P.getCurToken();
2405 if (!Tok.is(tok::identifier))
2406 return OMPC_MAP_MODIFIER_unknown;
2407
2408 Preprocessor &PP = P.getPreprocessor();
2409 OpenMPMapModifierKind TypeModifier = static_cast<OpenMPMapModifierKind>(
2410 getOpenMPSimpleClauseType(OMPC_map, PP.getSpelling(Tok)));
2411 return TypeModifier;
2412}
2413
Michael Kruse01f670d2019-02-22 22:29:42 +00002414/// Parse the mapper modifier in map, to, and from clauses.
2415bool Parser::parseMapperModifier(OpenMPVarListDataTy &Data) {
2416 // Parse '('.
2417 BalancedDelimiterTracker T(*this, tok::l_paren, tok::colon);
2418 if (T.expectAndConsume(diag::err_expected_lparen_after, "mapper")) {
2419 SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
2420 StopBeforeMatch);
2421 return true;
2422 }
2423 // Parse mapper-identifier
2424 if (getLangOpts().CPlusPlus)
2425 ParseOptionalCXXScopeSpecifier(Data.ReductionOrMapperIdScopeSpec,
2426 /*ObjectType=*/nullptr,
2427 /*EnteringContext=*/false);
2428 if (Tok.isNot(tok::identifier) && Tok.isNot(tok::kw_default)) {
2429 Diag(Tok.getLocation(), diag::err_omp_mapper_illegal_identifier);
2430 SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
2431 StopBeforeMatch);
2432 return true;
2433 }
2434 auto &DeclNames = Actions.getASTContext().DeclarationNames;
2435 Data.ReductionOrMapperId = DeclarationNameInfo(
2436 DeclNames.getIdentifier(Tok.getIdentifierInfo()), Tok.getLocation());
2437 ConsumeToken();
2438 // Parse ')'.
2439 return T.consumeClose();
2440}
2441
Kelvin Lief579432018-12-18 22:18:41 +00002442/// Parse map-type-modifiers in map clause.
2443/// map([ [map-type-modifier[,] [map-type-modifier[,] ...] map-type : ] list)
Michael Kruse4304e9d2019-02-19 16:38:20 +00002444/// where, map-type-modifier ::= always | close | mapper(mapper-identifier)
2445bool Parser::parseMapTypeModifiers(OpenMPVarListDataTy &Data) {
2446 while (getCurToken().isNot(tok::colon)) {
2447 OpenMPMapModifierKind TypeModifier = isMapModifier(*this);
Kelvin Lief579432018-12-18 22:18:41 +00002448 if (TypeModifier == OMPC_MAP_MODIFIER_always ||
2449 TypeModifier == OMPC_MAP_MODIFIER_close) {
2450 Data.MapTypeModifiers.push_back(TypeModifier);
2451 Data.MapTypeModifiersLoc.push_back(Tok.getLocation());
Michael Kruse4304e9d2019-02-19 16:38:20 +00002452 ConsumeToken();
2453 } else if (TypeModifier == OMPC_MAP_MODIFIER_mapper) {
2454 Data.MapTypeModifiers.push_back(TypeModifier);
2455 Data.MapTypeModifiersLoc.push_back(Tok.getLocation());
2456 ConsumeToken();
Michael Kruse01f670d2019-02-22 22:29:42 +00002457 if (parseMapperModifier(Data))
Michael Kruse4304e9d2019-02-19 16:38:20 +00002458 return true;
Kelvin Lief579432018-12-18 22:18:41 +00002459 } else {
2460 // For the case of unknown map-type-modifier or a map-type.
2461 // Map-type is followed by a colon; the function returns when it
2462 // encounters a token followed by a colon.
2463 if (Tok.is(tok::comma)) {
Michael Kruse4304e9d2019-02-19 16:38:20 +00002464 Diag(Tok, diag::err_omp_map_type_modifier_missing);
2465 ConsumeToken();
Kelvin Lief579432018-12-18 22:18:41 +00002466 continue;
2467 }
2468 // Potential map-type token as it is followed by a colon.
2469 if (PP.LookAhead(0).is(tok::colon))
Michael Kruse4304e9d2019-02-19 16:38:20 +00002470 return false;
2471 Diag(Tok, diag::err_omp_unknown_map_type_modifier);
2472 ConsumeToken();
Kelvin Lief579432018-12-18 22:18:41 +00002473 }
Michael Kruse4304e9d2019-02-19 16:38:20 +00002474 if (getCurToken().is(tok::comma))
2475 ConsumeToken();
Kelvin Lief579432018-12-18 22:18:41 +00002476 }
Michael Kruse4304e9d2019-02-19 16:38:20 +00002477 return false;
Kelvin Lief579432018-12-18 22:18:41 +00002478}
2479
2480/// Checks if the token is a valid map-type.
2481static OpenMPMapClauseKind isMapType(Parser &P) {
2482 Token Tok = P.getCurToken();
2483 // The map-type token can be either an identifier or the C++ delete keyword.
2484 if (!Tok.isOneOf(tok::identifier, tok::kw_delete))
2485 return OMPC_MAP_unknown;
2486 Preprocessor &PP = P.getPreprocessor();
2487 OpenMPMapClauseKind MapType = static_cast<OpenMPMapClauseKind>(
2488 getOpenMPSimpleClauseType(OMPC_map, PP.getSpelling(Tok)));
2489 return MapType;
2490}
2491
2492/// Parse map-type in map clause.
2493/// map([ [map-type-modifier[,] [map-type-modifier[,] ...] map-type : ] list)
Ilya Biryukovff2a9972019-02-26 11:01:50 +00002494/// where, map-type ::= to | from | tofrom | alloc | release | delete
Kelvin Lief579432018-12-18 22:18:41 +00002495static void parseMapType(Parser &P, Parser::OpenMPVarListDataTy &Data) {
2496 Token Tok = P.getCurToken();
2497 if (Tok.is(tok::colon)) {
2498 P.Diag(Tok, diag::err_omp_map_type_missing);
2499 return;
2500 }
2501 Data.MapType = isMapType(P);
2502 if (Data.MapType == OMPC_MAP_unknown)
2503 P.Diag(Tok, diag::err_omp_unknown_map_type);
2504 P.ConsumeToken();
2505}
2506
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002507/// Parses clauses with list.
2508bool Parser::ParseOpenMPVarList(OpenMPDirectiveKind DKind,
2509 OpenMPClauseKind Kind,
2510 SmallVectorImpl<Expr *> &Vars,
2511 OpenMPVarListDataTy &Data) {
2512 UnqualifiedId UnqualifiedReductionId;
2513 bool InvalidReductionId = false;
Michael Kruse01f670d2019-02-22 22:29:42 +00002514 bool IsInvalidMapperModifier = false;
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002515
2516 // Parse '('.
2517 BalancedDelimiterTracker T(*this, tok::l_paren, tok::annot_pragma_openmp_end);
2518 if (T.expectAndConsume(diag::err_expected_lparen_after,
2519 getOpenMPClauseName(Kind)))
2520 return true;
2521
2522 bool NeedRParenForLinear = false;
2523 BalancedDelimiterTracker LinearT(*this, tok::l_paren,
2524 tok::annot_pragma_openmp_end);
2525 // Handle reduction-identifier for reduction clause.
Alexey Bataevfa312f32017-07-21 18:48:21 +00002526 if (Kind == OMPC_reduction || Kind == OMPC_task_reduction ||
2527 Kind == OMPC_in_reduction) {
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002528 ColonProtectionRAIIObject ColonRAII(*this);
2529 if (getLangOpts().CPlusPlus)
Michael Kruse4304e9d2019-02-19 16:38:20 +00002530 ParseOptionalCXXScopeSpecifier(Data.ReductionOrMapperIdScopeSpec,
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002531 /*ObjectType=*/nullptr,
2532 /*EnteringContext=*/false);
Michael Kruse4304e9d2019-02-19 16:38:20 +00002533 InvalidReductionId = ParseReductionId(
2534 *this, Data.ReductionOrMapperIdScopeSpec, UnqualifiedReductionId);
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002535 if (InvalidReductionId) {
2536 SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
2537 StopBeforeMatch);
2538 }
2539 if (Tok.is(tok::colon))
2540 Data.ColonLoc = ConsumeToken();
2541 else
2542 Diag(Tok, diag::warn_pragma_expected_colon) << "reduction identifier";
2543 if (!InvalidReductionId)
Michael Kruse4304e9d2019-02-19 16:38:20 +00002544 Data.ReductionOrMapperId =
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002545 Actions.GetNameFromUnqualifiedId(UnqualifiedReductionId);
2546 } else if (Kind == OMPC_depend) {
2547 // Handle dependency type for depend clause.
2548 ColonProtectionRAIIObject ColonRAII(*this);
2549 Data.DepKind =
2550 static_cast<OpenMPDependClauseKind>(getOpenMPSimpleClauseType(
2551 Kind, Tok.is(tok::identifier) ? PP.getSpelling(Tok) : ""));
2552 Data.DepLinMapLoc = Tok.getLocation();
2553
2554 if (Data.DepKind == OMPC_DEPEND_unknown) {
2555 SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
2556 StopBeforeMatch);
2557 } else {
2558 ConsumeToken();
2559 // Special processing for depend(source) clause.
2560 if (DKind == OMPD_ordered && Data.DepKind == OMPC_DEPEND_source) {
2561 // Parse ')'.
2562 T.consumeClose();
2563 return false;
2564 }
2565 }
Alexey Bataev61908f652018-04-23 19:53:05 +00002566 if (Tok.is(tok::colon)) {
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002567 Data.ColonLoc = ConsumeToken();
Alexey Bataev61908f652018-04-23 19:53:05 +00002568 } else {
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002569 Diag(Tok, DKind == OMPD_ordered ? diag::warn_pragma_expected_colon_r_paren
2570 : diag::warn_pragma_expected_colon)
2571 << "dependency type";
2572 }
2573 } else if (Kind == OMPC_linear) {
2574 // Try to parse modifier if any.
2575 if (Tok.is(tok::identifier) && PP.LookAhead(0).is(tok::l_paren)) {
2576 Data.LinKind = static_cast<OpenMPLinearClauseKind>(
2577 getOpenMPSimpleClauseType(Kind, PP.getSpelling(Tok)));
2578 Data.DepLinMapLoc = ConsumeToken();
2579 LinearT.consumeOpen();
2580 NeedRParenForLinear = true;
2581 }
2582 } else if (Kind == OMPC_map) {
2583 // Handle map type for map clause.
2584 ColonProtectionRAIIObject ColonRAII(*this);
2585
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002586 // The first identifier may be a list item, a map-type or a
Kelvin Lief579432018-12-18 22:18:41 +00002587 // map-type-modifier. The map-type can also be delete which has the same
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002588 // spelling of the C++ delete keyword.
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002589 Data.DepLinMapLoc = Tok.getLocation();
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002590
Kelvin Lief579432018-12-18 22:18:41 +00002591 // Check for presence of a colon in the map clause.
2592 TentativeParsingAction TPA(*this);
2593 bool ColonPresent = false;
2594 if (SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
2595 StopBeforeMatch)) {
2596 if (Tok.is(tok::colon))
2597 ColonPresent = true;
2598 }
2599 TPA.Revert();
2600 // Only parse map-type-modifier[s] and map-type if a colon is present in
2601 // the map clause.
2602 if (ColonPresent) {
Michael Kruse01f670d2019-02-22 22:29:42 +00002603 IsInvalidMapperModifier = parseMapTypeModifiers(Data);
2604 if (!IsInvalidMapperModifier)
Michael Kruse4304e9d2019-02-19 16:38:20 +00002605 parseMapType(*this, Data);
Michael Kruse01f670d2019-02-22 22:29:42 +00002606 else
2607 SkipUntil(tok::colon, tok::annot_pragma_openmp_end, StopBeforeMatch);
Kelvin Lief579432018-12-18 22:18:41 +00002608 }
2609 if (Data.MapType == OMPC_MAP_unknown) {
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002610 Data.MapType = OMPC_MAP_tofrom;
2611 Data.IsMapTypeImplicit = true;
2612 }
2613
2614 if (Tok.is(tok::colon))
2615 Data.ColonLoc = ConsumeToken();
Michael Kruse0336c752019-02-25 20:34:15 +00002616 } else if (Kind == OMPC_to || Kind == OMPC_from) {
Michael Kruse01f670d2019-02-22 22:29:42 +00002617 if (Tok.is(tok::identifier)) {
2618 bool IsMapperModifier = false;
Michael Kruse0336c752019-02-25 20:34:15 +00002619 if (Kind == OMPC_to) {
2620 auto Modifier = static_cast<OpenMPToModifierKind>(
2621 getOpenMPSimpleClauseType(Kind, PP.getSpelling(Tok)));
2622 if (Modifier == OMPC_TO_MODIFIER_mapper)
2623 IsMapperModifier = true;
2624 } else {
2625 auto Modifier = static_cast<OpenMPFromModifierKind>(
2626 getOpenMPSimpleClauseType(Kind, PP.getSpelling(Tok)));
2627 if (Modifier == OMPC_FROM_MODIFIER_mapper)
2628 IsMapperModifier = true;
2629 }
Michael Kruse01f670d2019-02-22 22:29:42 +00002630 if (IsMapperModifier) {
2631 // Parse the mapper modifier.
2632 ConsumeToken();
2633 IsInvalidMapperModifier = parseMapperModifier(Data);
2634 if (Tok.isNot(tok::colon)) {
2635 if (!IsInvalidMapperModifier)
2636 Diag(Tok, diag::warn_pragma_expected_colon) << ")";
2637 SkipUntil(tok::colon, tok::r_paren, tok::annot_pragma_openmp_end,
2638 StopBeforeMatch);
2639 }
2640 // Consume ':'.
2641 if (Tok.is(tok::colon))
2642 ConsumeToken();
2643 }
2644 }
Alexey Bataeve04483e2019-03-27 14:14:31 +00002645 } else if (Kind == OMPC_allocate) {
2646 // Handle optional allocator expression followed by colon delimiter.
2647 ColonProtectionRAIIObject ColonRAII(*this);
2648 TentativeParsingAction TPA(*this);
2649 ExprResult Tail =
2650 Actions.CorrectDelayedTyposInExpr(ParseAssignmentExpression());
2651 Tail = Actions.ActOnFinishFullExpr(Tail.get(), T.getOpenLocation(),
2652 /*DiscardedValue=*/false);
2653 if (Tail.isUsable()) {
2654 if (Tok.is(tok::colon)) {
2655 Data.TailExpr = Tail.get();
2656 Data.ColonLoc = ConsumeToken();
2657 TPA.Commit();
2658 } else {
2659 // colon not found, no allocator specified, parse only list of
2660 // variables.
2661 TPA.Revert();
2662 }
2663 } else {
2664 // Parsing was unsuccessfull, revert and skip to the end of clause or
2665 // directive.
2666 TPA.Revert();
2667 SkipUntil(tok::comma, tok::r_paren, tok::annot_pragma_openmp_end,
2668 StopBeforeMatch);
2669 }
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002670 }
2671
Alexey Bataevfa312f32017-07-21 18:48:21 +00002672 bool IsComma =
2673 (Kind != OMPC_reduction && Kind != OMPC_task_reduction &&
2674 Kind != OMPC_in_reduction && Kind != OMPC_depend && Kind != OMPC_map) ||
2675 (Kind == OMPC_reduction && !InvalidReductionId) ||
Kelvin Lida6bc702018-11-21 19:38:53 +00002676 (Kind == OMPC_map && Data.MapType != OMPC_MAP_unknown) ||
Alexey Bataevfa312f32017-07-21 18:48:21 +00002677 (Kind == OMPC_depend && Data.DepKind != OMPC_DEPEND_unknown);
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002678 const bool MayHaveTail = (Kind == OMPC_linear || Kind == OMPC_aligned);
2679 while (IsComma || (Tok.isNot(tok::r_paren) && Tok.isNot(tok::colon) &&
2680 Tok.isNot(tok::annot_pragma_openmp_end))) {
2681 ColonProtectionRAIIObject ColonRAII(*this, MayHaveTail);
2682 // Parse variable
2683 ExprResult VarExpr =
2684 Actions.CorrectDelayedTyposInExpr(ParseAssignmentExpression());
Alexey Bataev61908f652018-04-23 19:53:05 +00002685 if (VarExpr.isUsable()) {
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002686 Vars.push_back(VarExpr.get());
Alexey Bataev61908f652018-04-23 19:53:05 +00002687 } else {
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002688 SkipUntil(tok::comma, tok::r_paren, tok::annot_pragma_openmp_end,
2689 StopBeforeMatch);
2690 }
2691 // Skip ',' if any
2692 IsComma = Tok.is(tok::comma);
2693 if (IsComma)
2694 ConsumeToken();
2695 else if (Tok.isNot(tok::r_paren) &&
2696 Tok.isNot(tok::annot_pragma_openmp_end) &&
2697 (!MayHaveTail || Tok.isNot(tok::colon)))
2698 Diag(Tok, diag::err_omp_expected_punc)
2699 << ((Kind == OMPC_flush) ? getOpenMPDirectiveName(OMPD_flush)
2700 : getOpenMPClauseName(Kind))
2701 << (Kind == OMPC_flush);
2702 }
2703
2704 // Parse ')' for linear clause with modifier.
2705 if (NeedRParenForLinear)
2706 LinearT.consumeClose();
2707
2708 // Parse ':' linear-step (or ':' alignment).
2709 const bool MustHaveTail = MayHaveTail && Tok.is(tok::colon);
2710 if (MustHaveTail) {
2711 Data.ColonLoc = Tok.getLocation();
2712 SourceLocation ELoc = ConsumeToken();
2713 ExprResult Tail = ParseAssignmentExpression();
Aaron Ballmanfb6deeb2019-01-04 16:58:14 +00002714 Tail =
2715 Actions.ActOnFinishFullExpr(Tail.get(), ELoc, /*DiscardedValue*/ false);
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002716 if (Tail.isUsable())
2717 Data.TailExpr = Tail.get();
2718 else
2719 SkipUntil(tok::comma, tok::r_paren, tok::annot_pragma_openmp_end,
2720 StopBeforeMatch);
2721 }
2722
2723 // Parse ')'.
Alexey Bataevdbc72c92018-07-06 19:35:42 +00002724 Data.RLoc = Tok.getLocation();
2725 if (!T.consumeClose())
2726 Data.RLoc = T.getCloseLocation();
Alexey Bataev61908f652018-04-23 19:53:05 +00002727 return (Kind == OMPC_depend && Data.DepKind != OMPC_DEPEND_unknown &&
2728 Vars.empty()) ||
2729 (Kind != OMPC_depend && Kind != OMPC_map && Vars.empty()) ||
Michael Kruse4304e9d2019-02-19 16:38:20 +00002730 (MustHaveTail && !Data.TailExpr) || InvalidReductionId ||
Michael Kruse01f670d2019-02-22 22:29:42 +00002731 IsInvalidMapperModifier;
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002732}
2733
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00002734/// Parsing of OpenMP clause 'private', 'firstprivate', 'lastprivate',
Alexey Bataevfa312f32017-07-21 18:48:21 +00002735/// 'shared', 'copyin', 'copyprivate', 'flush', 'reduction', 'task_reduction' or
2736/// 'in_reduction'.
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002737///
2738/// private-clause:
2739/// 'private' '(' list ')'
Alexey Bataevd5af8e42013-10-01 05:32:34 +00002740/// firstprivate-clause:
2741/// 'firstprivate' '(' list ')'
Alexander Musman1bb328c2014-06-04 13:06:39 +00002742/// lastprivate-clause:
2743/// 'lastprivate' '(' list ')'
Alexey Bataev758e55e2013-09-06 18:03:48 +00002744/// shared-clause:
2745/// 'shared' '(' list ')'
Alexander Musman8dba6642014-04-22 13:09:42 +00002746/// linear-clause:
Alexey Bataev182227b2015-08-20 10:54:39 +00002747/// 'linear' '(' linear-list [ ':' linear-step ] ')'
Alexander Musmanf0d76e72014-05-29 14:36:25 +00002748/// aligned-clause:
2749/// 'aligned' '(' list [ ':' alignment ] ')'
Alexey Bataevc5e02582014-06-16 07:08:35 +00002750/// reduction-clause:
2751/// 'reduction' '(' reduction-identifier ':' list ')'
Alexey Bataev169d96a2017-07-18 20:17:46 +00002752/// task_reduction-clause:
2753/// 'task_reduction' '(' reduction-identifier ':' list ')'
Alexey Bataevfa312f32017-07-21 18:48:21 +00002754/// in_reduction-clause:
2755/// 'in_reduction' '(' reduction-identifier ':' list ')'
Alexey Bataev6125da92014-07-21 11:26:11 +00002756/// copyprivate-clause:
2757/// 'copyprivate' '(' list ')'
2758/// flush-clause:
2759/// 'flush' '(' list ')'
Alexey Bataev1c2cfbc2015-06-23 14:25:19 +00002760/// depend-clause:
Alexey Bataeveb482352015-12-18 05:05:56 +00002761/// 'depend' '(' in | out | inout : list | source ')'
Kelvin Li0bff7af2015-11-23 05:32:03 +00002762/// map-clause:
Kelvin Lief579432018-12-18 22:18:41 +00002763/// 'map' '(' [ [ always [,] ] [ close [,] ]
Michael Kruse01f670d2019-02-22 22:29:42 +00002764/// [ mapper '(' mapper-identifier ')' [,] ]
Kelvin Li0bff7af2015-11-23 05:32:03 +00002765/// to | from | tofrom | alloc | release | delete ':' ] list ')';
Samuel Antao661c0902016-05-26 17:39:58 +00002766/// to-clause:
Michael Kruse01f670d2019-02-22 22:29:42 +00002767/// 'to' '(' [ mapper '(' mapper-identifier ')' ':' ] list ')'
Samuel Antaoec172c62016-05-26 17:49:04 +00002768/// from-clause:
Michael Kruse0336c752019-02-25 20:34:15 +00002769/// 'from' '(' [ mapper '(' mapper-identifier ')' ':' ] list ')'
Carlo Bertolli2404b172016-07-13 15:37:16 +00002770/// use_device_ptr-clause:
2771/// 'use_device_ptr' '(' list ')'
Carlo Bertolli70594e92016-07-13 17:16:49 +00002772/// is_device_ptr-clause:
2773/// 'is_device_ptr' '(' list ')'
Alexey Bataeve04483e2019-03-27 14:14:31 +00002774/// allocate-clause:
2775/// 'allocate' '(' [ allocator ':' ] list ')'
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002776///
Alexey Bataev182227b2015-08-20 10:54:39 +00002777/// For 'linear' clause linear-list may have the following forms:
2778/// list
2779/// modifier(list)
2780/// where modifier is 'val' (C) or 'ref', 'val' or 'uval'(C++).
Alexey Bataeveb482352015-12-18 05:05:56 +00002781OMPClause *Parser::ParseOpenMPVarListClause(OpenMPDirectiveKind DKind,
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002782 OpenMPClauseKind Kind,
2783 bool ParseOnly) {
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002784 SourceLocation Loc = Tok.getLocation();
2785 SourceLocation LOpen = ConsumeToken();
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002786 SmallVector<Expr *, 4> Vars;
2787 OpenMPVarListDataTy Data;
Alexey Bataev1c2cfbc2015-06-23 14:25:19 +00002788
Alexey Bataeve48a5fc2016-04-12 05:28:34 +00002789 if (ParseOpenMPVarList(DKind, Kind, Vars, Data))
Craig Topper161e4db2014-05-21 06:02:52 +00002790 return nullptr;
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002791
Alexey Bataevf3c832a2018-01-09 19:21:04 +00002792 if (ParseOnly)
2793 return nullptr;
Michael Kruse4304e9d2019-02-19 16:38:20 +00002794 OMPVarListLocTy Locs(Loc, LOpen, Data.RLoc);
Alexey Bataevc5e02582014-06-16 07:08:35 +00002795 return Actions.ActOnOpenMPVarListClause(
Michael Kruse4304e9d2019-02-19 16:38:20 +00002796 Kind, Vars, Data.TailExpr, Locs, Data.ColonLoc,
2797 Data.ReductionOrMapperIdScopeSpec, Data.ReductionOrMapperId, Data.DepKind,
2798 Data.LinKind, Data.MapTypeModifiers, Data.MapTypeModifiersLoc,
2799 Data.MapType, Data.IsMapTypeImplicit, Data.DepLinMapLoc);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00002800}
2801