Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
freebsd
GitHub Repository: freebsd/freebsd-src
Path: blob/main/contrib/llvm-project/clang/lib/Serialization/ASTWriterStmt.cpp
35233 views
1
//===--- ASTWriterStmt.cpp - Statement and Expression Serialization -------===//
2
//
3
// 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
6
//
7
//===----------------------------------------------------------------------===//
8
///
9
/// \file
10
/// Implements serialization for Statements and Expressions.
11
///
12
//===----------------------------------------------------------------------===//
13
14
#include "clang/AST/ASTConcept.h"
15
#include "clang/AST/ASTContext.h"
16
#include "clang/AST/DeclCXX.h"
17
#include "clang/AST/DeclObjC.h"
18
#include "clang/AST/DeclTemplate.h"
19
#include "clang/AST/ExprOpenMP.h"
20
#include "clang/AST/StmtVisitor.h"
21
#include "clang/Lex/Token.h"
22
#include "clang/Serialization/ASTReader.h"
23
#include "clang/Serialization/ASTRecordWriter.h"
24
#include "llvm/Bitstream/BitstreamWriter.h"
25
using namespace clang;
26
27
//===----------------------------------------------------------------------===//
28
// Statement/expression serialization
29
//===----------------------------------------------------------------------===//
30
31
namespace clang {
32
33
class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> {
34
ASTWriter &Writer;
35
ASTRecordWriter Record;
36
37
serialization::StmtCode Code;
38
unsigned AbbrevToUse;
39
40
/// A helper that can help us to write a packed bit across function
41
/// calls. For example, we may write separate bits in separate functions:
42
///
43
/// void VisitA(A* a) {
44
/// Record.push_back(a->isSomething());
45
/// }
46
///
47
/// void Visitb(B *b) {
48
/// VisitA(b);
49
/// Record.push_back(b->isAnother());
50
/// }
51
///
52
/// In such cases, it'll be better if we can pack these 2 bits. We achieve
53
/// this by writing a zero value in `VisitA` and recorded that first and add
54
/// the new bit to the recorded value.
55
class PakedBitsWriter {
56
public:
57
PakedBitsWriter(ASTRecordWriter &Record) : RecordRef(Record) {}
58
~PakedBitsWriter() { assert(!CurrentIndex); }
59
60
void addBit(bool Value) {
61
assert(CurrentIndex && "Writing Bits without recording first!");
62
PackingBits.addBit(Value);
63
}
64
void addBits(uint32_t Value, uint32_t BitsWidth) {
65
assert(CurrentIndex && "Writing Bits without recording first!");
66
PackingBits.addBits(Value, BitsWidth);
67
}
68
69
void writeBits() {
70
if (!CurrentIndex)
71
return;
72
73
RecordRef[*CurrentIndex] = (uint32_t)PackingBits;
74
CurrentIndex = std::nullopt;
75
PackingBits.reset(0);
76
}
77
78
void updateBits() {
79
writeBits();
80
81
CurrentIndex = RecordRef.size();
82
RecordRef.push_back(0);
83
}
84
85
private:
86
BitsPacker PackingBits;
87
ASTRecordWriter &RecordRef;
88
std::optional<unsigned> CurrentIndex;
89
};
90
91
PakedBitsWriter CurrentPackingBits;
92
93
public:
94
ASTStmtWriter(ASTWriter &Writer, ASTWriter::RecordData &Record)
95
: Writer(Writer), Record(Writer, Record),
96
Code(serialization::STMT_NULL_PTR), AbbrevToUse(0),
97
CurrentPackingBits(this->Record) {}
98
99
ASTStmtWriter(const ASTStmtWriter&) = delete;
100
ASTStmtWriter &operator=(const ASTStmtWriter &) = delete;
101
102
uint64_t Emit() {
103
CurrentPackingBits.writeBits();
104
assert(Code != serialization::STMT_NULL_PTR &&
105
"unhandled sub-statement writing AST file");
106
return Record.EmitStmt(Code, AbbrevToUse);
107
}
108
109
void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &ArgInfo,
110
const TemplateArgumentLoc *Args);
111
112
void VisitStmt(Stmt *S);
113
#define STMT(Type, Base) \
114
void Visit##Type(Type *);
115
#include "clang/AST/StmtNodes.inc"
116
};
117
}
118
119
void ASTStmtWriter::AddTemplateKWAndArgsInfo(
120
const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args) {
121
Record.AddSourceLocation(ArgInfo.TemplateKWLoc);
122
Record.AddSourceLocation(ArgInfo.LAngleLoc);
123
Record.AddSourceLocation(ArgInfo.RAngleLoc);
124
for (unsigned i = 0; i != ArgInfo.NumTemplateArgs; ++i)
125
Record.AddTemplateArgumentLoc(Args[i]);
126
}
127
128
void ASTStmtWriter::VisitStmt(Stmt *S) {
129
}
130
131
void ASTStmtWriter::VisitNullStmt(NullStmt *S) {
132
VisitStmt(S);
133
Record.AddSourceLocation(S->getSemiLoc());
134
Record.push_back(S->NullStmtBits.HasLeadingEmptyMacro);
135
Code = serialization::STMT_NULL;
136
}
137
138
void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) {
139
VisitStmt(S);
140
141
Record.push_back(S->size());
142
Record.push_back(S->hasStoredFPFeatures());
143
144
for (auto *CS : S->body())
145
Record.AddStmt(CS);
146
if (S->hasStoredFPFeatures())
147
Record.push_back(S->getStoredFPFeatures().getAsOpaqueInt());
148
Record.AddSourceLocation(S->getLBracLoc());
149
Record.AddSourceLocation(S->getRBracLoc());
150
151
if (!S->hasStoredFPFeatures())
152
AbbrevToUse = Writer.getCompoundStmtAbbrev();
153
154
Code = serialization::STMT_COMPOUND;
155
}
156
157
void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) {
158
VisitStmt(S);
159
Record.push_back(Writer.getSwitchCaseID(S));
160
Record.AddSourceLocation(S->getKeywordLoc());
161
Record.AddSourceLocation(S->getColonLoc());
162
}
163
164
void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) {
165
VisitSwitchCase(S);
166
Record.push_back(S->caseStmtIsGNURange());
167
Record.AddStmt(S->getLHS());
168
Record.AddStmt(S->getSubStmt());
169
if (S->caseStmtIsGNURange()) {
170
Record.AddStmt(S->getRHS());
171
Record.AddSourceLocation(S->getEllipsisLoc());
172
}
173
Code = serialization::STMT_CASE;
174
}
175
176
void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) {
177
VisitSwitchCase(S);
178
Record.AddStmt(S->getSubStmt());
179
Code = serialization::STMT_DEFAULT;
180
}
181
182
void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) {
183
VisitStmt(S);
184
Record.push_back(S->isSideEntry());
185
Record.AddDeclRef(S->getDecl());
186
Record.AddStmt(S->getSubStmt());
187
Record.AddSourceLocation(S->getIdentLoc());
188
Code = serialization::STMT_LABEL;
189
}
190
191
void ASTStmtWriter::VisitAttributedStmt(AttributedStmt *S) {
192
VisitStmt(S);
193
Record.push_back(S->getAttrs().size());
194
Record.AddAttributes(S->getAttrs());
195
Record.AddStmt(S->getSubStmt());
196
Record.AddSourceLocation(S->getAttrLoc());
197
Code = serialization::STMT_ATTRIBUTED;
198
}
199
200
void ASTStmtWriter::VisitIfStmt(IfStmt *S) {
201
VisitStmt(S);
202
203
bool HasElse = S->getElse() != nullptr;
204
bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
205
bool HasInit = S->getInit() != nullptr;
206
207
CurrentPackingBits.updateBits();
208
209
CurrentPackingBits.addBit(HasElse);
210
CurrentPackingBits.addBit(HasVar);
211
CurrentPackingBits.addBit(HasInit);
212
Record.push_back(static_cast<uint64_t>(S->getStatementKind()));
213
Record.AddStmt(S->getCond());
214
Record.AddStmt(S->getThen());
215
if (HasElse)
216
Record.AddStmt(S->getElse());
217
if (HasVar)
218
Record.AddStmt(S->getConditionVariableDeclStmt());
219
if (HasInit)
220
Record.AddStmt(S->getInit());
221
222
Record.AddSourceLocation(S->getIfLoc());
223
Record.AddSourceLocation(S->getLParenLoc());
224
Record.AddSourceLocation(S->getRParenLoc());
225
if (HasElse)
226
Record.AddSourceLocation(S->getElseLoc());
227
228
Code = serialization::STMT_IF;
229
}
230
231
void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) {
232
VisitStmt(S);
233
234
bool HasInit = S->getInit() != nullptr;
235
bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
236
Record.push_back(HasInit);
237
Record.push_back(HasVar);
238
Record.push_back(S->isAllEnumCasesCovered());
239
240
Record.AddStmt(S->getCond());
241
Record.AddStmt(S->getBody());
242
if (HasInit)
243
Record.AddStmt(S->getInit());
244
if (HasVar)
245
Record.AddStmt(S->getConditionVariableDeclStmt());
246
247
Record.AddSourceLocation(S->getSwitchLoc());
248
Record.AddSourceLocation(S->getLParenLoc());
249
Record.AddSourceLocation(S->getRParenLoc());
250
251
for (SwitchCase *SC = S->getSwitchCaseList(); SC;
252
SC = SC->getNextSwitchCase())
253
Record.push_back(Writer.RecordSwitchCaseID(SC));
254
Code = serialization::STMT_SWITCH;
255
}
256
257
void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) {
258
VisitStmt(S);
259
260
bool HasVar = S->getConditionVariableDeclStmt() != nullptr;
261
Record.push_back(HasVar);
262
263
Record.AddStmt(S->getCond());
264
Record.AddStmt(S->getBody());
265
if (HasVar)
266
Record.AddStmt(S->getConditionVariableDeclStmt());
267
268
Record.AddSourceLocation(S->getWhileLoc());
269
Record.AddSourceLocation(S->getLParenLoc());
270
Record.AddSourceLocation(S->getRParenLoc());
271
Code = serialization::STMT_WHILE;
272
}
273
274
void ASTStmtWriter::VisitDoStmt(DoStmt *S) {
275
VisitStmt(S);
276
Record.AddStmt(S->getCond());
277
Record.AddStmt(S->getBody());
278
Record.AddSourceLocation(S->getDoLoc());
279
Record.AddSourceLocation(S->getWhileLoc());
280
Record.AddSourceLocation(S->getRParenLoc());
281
Code = serialization::STMT_DO;
282
}
283
284
void ASTStmtWriter::VisitForStmt(ForStmt *S) {
285
VisitStmt(S);
286
Record.AddStmt(S->getInit());
287
Record.AddStmt(S->getCond());
288
Record.AddStmt(S->getConditionVariableDeclStmt());
289
Record.AddStmt(S->getInc());
290
Record.AddStmt(S->getBody());
291
Record.AddSourceLocation(S->getForLoc());
292
Record.AddSourceLocation(S->getLParenLoc());
293
Record.AddSourceLocation(S->getRParenLoc());
294
Code = serialization::STMT_FOR;
295
}
296
297
void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) {
298
VisitStmt(S);
299
Record.AddDeclRef(S->getLabel());
300
Record.AddSourceLocation(S->getGotoLoc());
301
Record.AddSourceLocation(S->getLabelLoc());
302
Code = serialization::STMT_GOTO;
303
}
304
305
void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
306
VisitStmt(S);
307
Record.AddSourceLocation(S->getGotoLoc());
308
Record.AddSourceLocation(S->getStarLoc());
309
Record.AddStmt(S->getTarget());
310
Code = serialization::STMT_INDIRECT_GOTO;
311
}
312
313
void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) {
314
VisitStmt(S);
315
Record.AddSourceLocation(S->getContinueLoc());
316
Code = serialization::STMT_CONTINUE;
317
}
318
319
void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) {
320
VisitStmt(S);
321
Record.AddSourceLocation(S->getBreakLoc());
322
Code = serialization::STMT_BREAK;
323
}
324
325
void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) {
326
VisitStmt(S);
327
328
bool HasNRVOCandidate = S->getNRVOCandidate() != nullptr;
329
Record.push_back(HasNRVOCandidate);
330
331
Record.AddStmt(S->getRetValue());
332
if (HasNRVOCandidate)
333
Record.AddDeclRef(S->getNRVOCandidate());
334
335
Record.AddSourceLocation(S->getReturnLoc());
336
Code = serialization::STMT_RETURN;
337
}
338
339
void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) {
340
VisitStmt(S);
341
Record.AddSourceLocation(S->getBeginLoc());
342
Record.AddSourceLocation(S->getEndLoc());
343
DeclGroupRef DG = S->getDeclGroup();
344
for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D)
345
Record.AddDeclRef(*D);
346
Code = serialization::STMT_DECL;
347
}
348
349
void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) {
350
VisitStmt(S);
351
Record.push_back(S->getNumOutputs());
352
Record.push_back(S->getNumInputs());
353
Record.push_back(S->getNumClobbers());
354
Record.AddSourceLocation(S->getAsmLoc());
355
Record.push_back(S->isVolatile());
356
Record.push_back(S->isSimple());
357
}
358
359
void ASTStmtWriter::VisitGCCAsmStmt(GCCAsmStmt *S) {
360
VisitAsmStmt(S);
361
Record.push_back(S->getNumLabels());
362
Record.AddSourceLocation(S->getRParenLoc());
363
Record.AddStmt(S->getAsmString());
364
365
// Outputs
366
for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
367
Record.AddIdentifierRef(S->getOutputIdentifier(I));
368
Record.AddStmt(S->getOutputConstraintLiteral(I));
369
Record.AddStmt(S->getOutputExpr(I));
370
}
371
372
// Inputs
373
for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
374
Record.AddIdentifierRef(S->getInputIdentifier(I));
375
Record.AddStmt(S->getInputConstraintLiteral(I));
376
Record.AddStmt(S->getInputExpr(I));
377
}
378
379
// Clobbers
380
for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
381
Record.AddStmt(S->getClobberStringLiteral(I));
382
383
// Labels
384
for (unsigned I = 0, N = S->getNumLabels(); I != N; ++I) {
385
Record.AddIdentifierRef(S->getLabelIdentifier(I));
386
Record.AddStmt(S->getLabelExpr(I));
387
}
388
389
Code = serialization::STMT_GCCASM;
390
}
391
392
void ASTStmtWriter::VisitMSAsmStmt(MSAsmStmt *S) {
393
VisitAsmStmt(S);
394
Record.AddSourceLocation(S->getLBraceLoc());
395
Record.AddSourceLocation(S->getEndLoc());
396
Record.push_back(S->getNumAsmToks());
397
Record.AddString(S->getAsmString());
398
399
// Tokens
400
for (unsigned I = 0, N = S->getNumAsmToks(); I != N; ++I) {
401
// FIXME: Move this to ASTRecordWriter?
402
Writer.AddToken(S->getAsmToks()[I], Record.getRecordData());
403
}
404
405
// Clobbers
406
for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) {
407
Record.AddString(S->getClobber(I));
408
}
409
410
// Outputs
411
for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
412
Record.AddStmt(S->getOutputExpr(I));
413
Record.AddString(S->getOutputConstraint(I));
414
}
415
416
// Inputs
417
for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
418
Record.AddStmt(S->getInputExpr(I));
419
Record.AddString(S->getInputConstraint(I));
420
}
421
422
Code = serialization::STMT_MSASM;
423
}
424
425
void ASTStmtWriter::VisitCoroutineBodyStmt(CoroutineBodyStmt *CoroStmt) {
426
VisitStmt(CoroStmt);
427
Record.push_back(CoroStmt->getParamMoves().size());
428
for (Stmt *S : CoroStmt->children())
429
Record.AddStmt(S);
430
Code = serialization::STMT_COROUTINE_BODY;
431
}
432
433
void ASTStmtWriter::VisitCoreturnStmt(CoreturnStmt *S) {
434
VisitStmt(S);
435
Record.AddSourceLocation(S->getKeywordLoc());
436
Record.AddStmt(S->getOperand());
437
Record.AddStmt(S->getPromiseCall());
438
Record.push_back(S->isImplicit());
439
Code = serialization::STMT_CORETURN;
440
}
441
442
void ASTStmtWriter::VisitCoroutineSuspendExpr(CoroutineSuspendExpr *E) {
443
VisitExpr(E);
444
Record.AddSourceLocation(E->getKeywordLoc());
445
for (Stmt *S : E->children())
446
Record.AddStmt(S);
447
Record.AddStmt(E->getOpaqueValue());
448
}
449
450
void ASTStmtWriter::VisitCoawaitExpr(CoawaitExpr *E) {
451
VisitCoroutineSuspendExpr(E);
452
Record.push_back(E->isImplicit());
453
Code = serialization::EXPR_COAWAIT;
454
}
455
456
void ASTStmtWriter::VisitCoyieldExpr(CoyieldExpr *E) {
457
VisitCoroutineSuspendExpr(E);
458
Code = serialization::EXPR_COYIELD;
459
}
460
461
void ASTStmtWriter::VisitDependentCoawaitExpr(DependentCoawaitExpr *E) {
462
VisitExpr(E);
463
Record.AddSourceLocation(E->getKeywordLoc());
464
for (Stmt *S : E->children())
465
Record.AddStmt(S);
466
Code = serialization::EXPR_DEPENDENT_COAWAIT;
467
}
468
469
static void
470
addConstraintSatisfaction(ASTRecordWriter &Record,
471
const ASTConstraintSatisfaction &Satisfaction) {
472
Record.push_back(Satisfaction.IsSatisfied);
473
Record.push_back(Satisfaction.ContainsErrors);
474
if (!Satisfaction.IsSatisfied) {
475
Record.push_back(Satisfaction.NumRecords);
476
for (const auto &DetailRecord : Satisfaction) {
477
auto *E = DetailRecord.dyn_cast<Expr *>();
478
Record.push_back(/* IsDiagnostic */ E == nullptr);
479
if (E)
480
Record.AddStmt(E);
481
else {
482
auto *Diag = DetailRecord.get<std::pair<SourceLocation, StringRef> *>();
483
Record.AddSourceLocation(Diag->first);
484
Record.AddString(Diag->second);
485
}
486
}
487
}
488
}
489
490
static void
491
addSubstitutionDiagnostic(
492
ASTRecordWriter &Record,
493
const concepts::Requirement::SubstitutionDiagnostic *D) {
494
Record.AddString(D->SubstitutedEntity);
495
Record.AddSourceLocation(D->DiagLoc);
496
Record.AddString(D->DiagMessage);
497
}
498
499
void ASTStmtWriter::VisitConceptSpecializationExpr(
500
ConceptSpecializationExpr *E) {
501
VisitExpr(E);
502
Record.AddDeclRef(E->getSpecializationDecl());
503
const ConceptReference *CR = E->getConceptReference();
504
Record.push_back(CR != nullptr);
505
if (CR)
506
Record.AddConceptReference(CR);
507
if (!E->isValueDependent())
508
addConstraintSatisfaction(Record, E->getSatisfaction());
509
510
Code = serialization::EXPR_CONCEPT_SPECIALIZATION;
511
}
512
513
void ASTStmtWriter::VisitRequiresExpr(RequiresExpr *E) {
514
VisitExpr(E);
515
Record.push_back(E->getLocalParameters().size());
516
Record.push_back(E->getRequirements().size());
517
Record.AddSourceLocation(E->RequiresExprBits.RequiresKWLoc);
518
Record.push_back(E->RequiresExprBits.IsSatisfied);
519
Record.AddDeclRef(E->getBody());
520
for (ParmVarDecl *P : E->getLocalParameters())
521
Record.AddDeclRef(P);
522
for (concepts::Requirement *R : E->getRequirements()) {
523
if (auto *TypeReq = dyn_cast<concepts::TypeRequirement>(R)) {
524
Record.push_back(concepts::Requirement::RK_Type);
525
Record.push_back(TypeReq->Status);
526
if (TypeReq->Status == concepts::TypeRequirement::SS_SubstitutionFailure)
527
addSubstitutionDiagnostic(Record, TypeReq->getSubstitutionDiagnostic());
528
else
529
Record.AddTypeSourceInfo(TypeReq->getType());
530
} else if (auto *ExprReq = dyn_cast<concepts::ExprRequirement>(R)) {
531
Record.push_back(ExprReq->getKind());
532
Record.push_back(ExprReq->Status);
533
if (ExprReq->isExprSubstitutionFailure()) {
534
addSubstitutionDiagnostic(Record,
535
ExprReq->Value.get<concepts::Requirement::SubstitutionDiagnostic *>());
536
} else
537
Record.AddStmt(ExprReq->Value.get<Expr *>());
538
if (ExprReq->getKind() == concepts::Requirement::RK_Compound) {
539
Record.AddSourceLocation(ExprReq->NoexceptLoc);
540
const auto &RetReq = ExprReq->getReturnTypeRequirement();
541
if (RetReq.isSubstitutionFailure()) {
542
Record.push_back(2);
543
addSubstitutionDiagnostic(Record, RetReq.getSubstitutionDiagnostic());
544
} else if (RetReq.isTypeConstraint()) {
545
Record.push_back(1);
546
Record.AddTemplateParameterList(
547
RetReq.getTypeConstraintTemplateParameterList());
548
if (ExprReq->Status >=
549
concepts::ExprRequirement::SS_ConstraintsNotSatisfied)
550
Record.AddStmt(
551
ExprReq->getReturnTypeRequirementSubstitutedConstraintExpr());
552
} else {
553
assert(RetReq.isEmpty());
554
Record.push_back(0);
555
}
556
}
557
} else {
558
auto *NestedReq = cast<concepts::NestedRequirement>(R);
559
Record.push_back(concepts::Requirement::RK_Nested);
560
Record.push_back(NestedReq->hasInvalidConstraint());
561
if (NestedReq->hasInvalidConstraint()) {
562
Record.AddString(NestedReq->getInvalidConstraintEntity());
563
addConstraintSatisfaction(Record, *NestedReq->Satisfaction);
564
} else {
565
Record.AddStmt(NestedReq->getConstraintExpr());
566
if (!NestedReq->isDependent())
567
addConstraintSatisfaction(Record, *NestedReq->Satisfaction);
568
}
569
}
570
}
571
Record.AddSourceLocation(E->getLParenLoc());
572
Record.AddSourceLocation(E->getRParenLoc());
573
Record.AddSourceLocation(E->getEndLoc());
574
575
Code = serialization::EXPR_REQUIRES;
576
}
577
578
579
void ASTStmtWriter::VisitCapturedStmt(CapturedStmt *S) {
580
VisitStmt(S);
581
// NumCaptures
582
Record.push_back(std::distance(S->capture_begin(), S->capture_end()));
583
584
// CapturedDecl and captured region kind
585
Record.AddDeclRef(S->getCapturedDecl());
586
Record.push_back(S->getCapturedRegionKind());
587
588
Record.AddDeclRef(S->getCapturedRecordDecl());
589
590
// Capture inits
591
for (auto *I : S->capture_inits())
592
Record.AddStmt(I);
593
594
// Body
595
Record.AddStmt(S->getCapturedStmt());
596
597
// Captures
598
for (const auto &I : S->captures()) {
599
if (I.capturesThis() || I.capturesVariableArrayType())
600
Record.AddDeclRef(nullptr);
601
else
602
Record.AddDeclRef(I.getCapturedVar());
603
Record.push_back(I.getCaptureKind());
604
Record.AddSourceLocation(I.getLocation());
605
}
606
607
Code = serialization::STMT_CAPTURED;
608
}
609
610
void ASTStmtWriter::VisitExpr(Expr *E) {
611
VisitStmt(E);
612
613
CurrentPackingBits.updateBits();
614
CurrentPackingBits.addBits(E->getDependence(), /*BitsWidth=*/5);
615
CurrentPackingBits.addBits(E->getValueKind(), /*BitsWidth=*/2);
616
CurrentPackingBits.addBits(E->getObjectKind(), /*BitsWidth=*/3);
617
618
Record.AddTypeRef(E->getType());
619
}
620
621
void ASTStmtWriter::VisitConstantExpr(ConstantExpr *E) {
622
VisitExpr(E);
623
Record.push_back(E->ConstantExprBits.ResultKind);
624
625
Record.push_back(E->ConstantExprBits.APValueKind);
626
Record.push_back(E->ConstantExprBits.IsUnsigned);
627
Record.push_back(E->ConstantExprBits.BitWidth);
628
// HasCleanup not serialized since we can just query the APValue.
629
Record.push_back(E->ConstantExprBits.IsImmediateInvocation);
630
631
switch (E->getResultStorageKind()) {
632
case ConstantResultStorageKind::None:
633
break;
634
case ConstantResultStorageKind::Int64:
635
Record.push_back(E->Int64Result());
636
break;
637
case ConstantResultStorageKind::APValue:
638
Record.AddAPValue(E->APValueResult());
639
break;
640
}
641
642
Record.AddStmt(E->getSubExpr());
643
Code = serialization::EXPR_CONSTANT;
644
}
645
646
void ASTStmtWriter::VisitSYCLUniqueStableNameExpr(SYCLUniqueStableNameExpr *E) {
647
VisitExpr(E);
648
649
Record.AddSourceLocation(E->getLocation());
650
Record.AddSourceLocation(E->getLParenLocation());
651
Record.AddSourceLocation(E->getRParenLocation());
652
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
653
654
Code = serialization::EXPR_SYCL_UNIQUE_STABLE_NAME;
655
}
656
657
void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) {
658
VisitExpr(E);
659
660
bool HasFunctionName = E->getFunctionName() != nullptr;
661
Record.push_back(HasFunctionName);
662
Record.push_back(
663
llvm::to_underlying(E->getIdentKind())); // FIXME: stable encoding
664
Record.push_back(E->isTransparent());
665
Record.AddSourceLocation(E->getLocation());
666
if (HasFunctionName)
667
Record.AddStmt(E->getFunctionName());
668
Code = serialization::EXPR_PREDEFINED;
669
}
670
671
void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) {
672
VisitExpr(E);
673
674
CurrentPackingBits.updateBits();
675
676
CurrentPackingBits.addBit(E->hadMultipleCandidates());
677
CurrentPackingBits.addBit(E->refersToEnclosingVariableOrCapture());
678
CurrentPackingBits.addBits(E->isNonOdrUse(), /*Width=*/2);
679
CurrentPackingBits.addBit(E->isImmediateEscalating());
680
CurrentPackingBits.addBit(E->getDecl() != E->getFoundDecl());
681
CurrentPackingBits.addBit(E->hasQualifier());
682
CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
683
684
if (E->hasTemplateKWAndArgsInfo()) {
685
unsigned NumTemplateArgs = E->getNumTemplateArgs();
686
Record.push_back(NumTemplateArgs);
687
}
688
689
DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind());
690
691
if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) &&
692
(E->getDecl() == E->getFoundDecl()) &&
693
nk == DeclarationName::Identifier && E->getObjectKind() == OK_Ordinary) {
694
AbbrevToUse = Writer.getDeclRefExprAbbrev();
695
}
696
697
if (E->hasQualifier())
698
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
699
700
if (E->getDecl() != E->getFoundDecl())
701
Record.AddDeclRef(E->getFoundDecl());
702
703
if (E->hasTemplateKWAndArgsInfo())
704
AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
705
E->getTrailingObjects<TemplateArgumentLoc>());
706
707
Record.AddDeclRef(E->getDecl());
708
Record.AddSourceLocation(E->getLocation());
709
Record.AddDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName());
710
Code = serialization::EXPR_DECL_REF;
711
}
712
713
void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) {
714
VisitExpr(E);
715
Record.AddSourceLocation(E->getLocation());
716
Record.AddAPInt(E->getValue());
717
718
if (E->getValue().getBitWidth() == 32) {
719
AbbrevToUse = Writer.getIntegerLiteralAbbrev();
720
}
721
722
Code = serialization::EXPR_INTEGER_LITERAL;
723
}
724
725
void ASTStmtWriter::VisitFixedPointLiteral(FixedPointLiteral *E) {
726
VisitExpr(E);
727
Record.AddSourceLocation(E->getLocation());
728
Record.push_back(E->getScale());
729
Record.AddAPInt(E->getValue());
730
Code = serialization::EXPR_FIXEDPOINT_LITERAL;
731
}
732
733
void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) {
734
VisitExpr(E);
735
Record.push_back(E->getRawSemantics());
736
Record.push_back(E->isExact());
737
Record.AddAPFloat(E->getValue());
738
Record.AddSourceLocation(E->getLocation());
739
Code = serialization::EXPR_FLOATING_LITERAL;
740
}
741
742
void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) {
743
VisitExpr(E);
744
Record.AddStmt(E->getSubExpr());
745
Code = serialization::EXPR_IMAGINARY_LITERAL;
746
}
747
748
void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) {
749
VisitExpr(E);
750
751
// Store the various bits of data of StringLiteral.
752
Record.push_back(E->getNumConcatenated());
753
Record.push_back(E->getLength());
754
Record.push_back(E->getCharByteWidth());
755
Record.push_back(llvm::to_underlying(E->getKind()));
756
Record.push_back(E->isPascal());
757
758
// Store the trailing array of SourceLocation.
759
for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I)
760
Record.AddSourceLocation(E->getStrTokenLoc(I));
761
762
// Store the trailing array of char holding the string data.
763
StringRef StrData = E->getBytes();
764
for (unsigned I = 0, N = E->getByteLength(); I != N; ++I)
765
Record.push_back(StrData[I]);
766
767
Code = serialization::EXPR_STRING_LITERAL;
768
}
769
770
void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) {
771
VisitExpr(E);
772
Record.push_back(E->getValue());
773
Record.AddSourceLocation(E->getLocation());
774
Record.push_back(llvm::to_underlying(E->getKind()));
775
776
AbbrevToUse = Writer.getCharacterLiteralAbbrev();
777
778
Code = serialization::EXPR_CHARACTER_LITERAL;
779
}
780
781
void ASTStmtWriter::VisitParenExpr(ParenExpr *E) {
782
VisitExpr(E);
783
Record.AddSourceLocation(E->getLParen());
784
Record.AddSourceLocation(E->getRParen());
785
Record.AddStmt(E->getSubExpr());
786
Code = serialization::EXPR_PAREN;
787
}
788
789
void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) {
790
VisitExpr(E);
791
Record.push_back(E->getNumExprs());
792
for (auto *SubStmt : E->exprs())
793
Record.AddStmt(SubStmt);
794
Record.AddSourceLocation(E->getLParenLoc());
795
Record.AddSourceLocation(E->getRParenLoc());
796
Code = serialization::EXPR_PAREN_LIST;
797
}
798
799
void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) {
800
VisitExpr(E);
801
bool HasFPFeatures = E->hasStoredFPFeatures();
802
// Write this first for easy access when deserializing, as they affect the
803
// size of the UnaryOperator.
804
CurrentPackingBits.addBit(HasFPFeatures);
805
Record.AddStmt(E->getSubExpr());
806
CurrentPackingBits.addBits(E->getOpcode(),
807
/*Width=*/5); // FIXME: stable encoding
808
Record.AddSourceLocation(E->getOperatorLoc());
809
CurrentPackingBits.addBit(E->canOverflow());
810
811
if (HasFPFeatures)
812
Record.push_back(E->getStoredFPFeatures().getAsOpaqueInt());
813
Code = serialization::EXPR_UNARY_OPERATOR;
814
}
815
816
void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) {
817
VisitExpr(E);
818
Record.push_back(E->getNumComponents());
819
Record.push_back(E->getNumExpressions());
820
Record.AddSourceLocation(E->getOperatorLoc());
821
Record.AddSourceLocation(E->getRParenLoc());
822
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
823
for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) {
824
const OffsetOfNode &ON = E->getComponent(I);
825
Record.push_back(ON.getKind()); // FIXME: Stable encoding
826
Record.AddSourceLocation(ON.getSourceRange().getBegin());
827
Record.AddSourceLocation(ON.getSourceRange().getEnd());
828
switch (ON.getKind()) {
829
case OffsetOfNode::Array:
830
Record.push_back(ON.getArrayExprIndex());
831
break;
832
833
case OffsetOfNode::Field:
834
Record.AddDeclRef(ON.getField());
835
break;
836
837
case OffsetOfNode::Identifier:
838
Record.AddIdentifierRef(ON.getFieldName());
839
break;
840
841
case OffsetOfNode::Base:
842
Record.AddCXXBaseSpecifier(*ON.getBase());
843
break;
844
}
845
}
846
for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I)
847
Record.AddStmt(E->getIndexExpr(I));
848
Code = serialization::EXPR_OFFSETOF;
849
}
850
851
void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
852
VisitExpr(E);
853
Record.push_back(E->getKind());
854
if (E->isArgumentType())
855
Record.AddTypeSourceInfo(E->getArgumentTypeInfo());
856
else {
857
Record.push_back(0);
858
Record.AddStmt(E->getArgumentExpr());
859
}
860
Record.AddSourceLocation(E->getOperatorLoc());
861
Record.AddSourceLocation(E->getRParenLoc());
862
Code = serialization::EXPR_SIZEOF_ALIGN_OF;
863
}
864
865
void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
866
VisitExpr(E);
867
Record.AddStmt(E->getLHS());
868
Record.AddStmt(E->getRHS());
869
Record.AddSourceLocation(E->getRBracketLoc());
870
Code = serialization::EXPR_ARRAY_SUBSCRIPT;
871
}
872
873
void ASTStmtWriter::VisitMatrixSubscriptExpr(MatrixSubscriptExpr *E) {
874
VisitExpr(E);
875
Record.AddStmt(E->getBase());
876
Record.AddStmt(E->getRowIdx());
877
Record.AddStmt(E->getColumnIdx());
878
Record.AddSourceLocation(E->getRBracketLoc());
879
Code = serialization::EXPR_ARRAY_SUBSCRIPT;
880
}
881
882
void ASTStmtWriter::VisitArraySectionExpr(ArraySectionExpr *E) {
883
VisitExpr(E);
884
Record.writeEnum(E->ASType);
885
Record.AddStmt(E->getBase());
886
Record.AddStmt(E->getLowerBound());
887
Record.AddStmt(E->getLength());
888
if (E->isOMPArraySection())
889
Record.AddStmt(E->getStride());
890
Record.AddSourceLocation(E->getColonLocFirst());
891
892
if (E->isOMPArraySection())
893
Record.AddSourceLocation(E->getColonLocSecond());
894
895
Record.AddSourceLocation(E->getRBracketLoc());
896
Code = serialization::EXPR_ARRAY_SECTION;
897
}
898
899
void ASTStmtWriter::VisitOMPArrayShapingExpr(OMPArrayShapingExpr *E) {
900
VisitExpr(E);
901
Record.push_back(E->getDimensions().size());
902
Record.AddStmt(E->getBase());
903
for (Expr *Dim : E->getDimensions())
904
Record.AddStmt(Dim);
905
for (SourceRange SR : E->getBracketsRanges())
906
Record.AddSourceRange(SR);
907
Record.AddSourceLocation(E->getLParenLoc());
908
Record.AddSourceLocation(E->getRParenLoc());
909
Code = serialization::EXPR_OMP_ARRAY_SHAPING;
910
}
911
912
void ASTStmtWriter::VisitOMPIteratorExpr(OMPIteratorExpr *E) {
913
VisitExpr(E);
914
Record.push_back(E->numOfIterators());
915
Record.AddSourceLocation(E->getIteratorKwLoc());
916
Record.AddSourceLocation(E->getLParenLoc());
917
Record.AddSourceLocation(E->getRParenLoc());
918
for (unsigned I = 0, End = E->numOfIterators(); I < End; ++I) {
919
Record.AddDeclRef(E->getIteratorDecl(I));
920
Record.AddSourceLocation(E->getAssignLoc(I));
921
OMPIteratorExpr::IteratorRange Range = E->getIteratorRange(I);
922
Record.AddStmt(Range.Begin);
923
Record.AddStmt(Range.End);
924
Record.AddStmt(Range.Step);
925
Record.AddSourceLocation(E->getColonLoc(I));
926
if (Range.Step)
927
Record.AddSourceLocation(E->getSecondColonLoc(I));
928
// Serialize helpers
929
OMPIteratorHelperData &HD = E->getHelper(I);
930
Record.AddDeclRef(HD.CounterVD);
931
Record.AddStmt(HD.Upper);
932
Record.AddStmt(HD.Update);
933
Record.AddStmt(HD.CounterUpdate);
934
}
935
Code = serialization::EXPR_OMP_ITERATOR;
936
}
937
938
void ASTStmtWriter::VisitCallExpr(CallExpr *E) {
939
VisitExpr(E);
940
941
Record.push_back(E->getNumArgs());
942
CurrentPackingBits.updateBits();
943
CurrentPackingBits.addBit(static_cast<bool>(E->getADLCallKind()));
944
CurrentPackingBits.addBit(E->hasStoredFPFeatures());
945
946
Record.AddSourceLocation(E->getRParenLoc());
947
Record.AddStmt(E->getCallee());
948
for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
949
Arg != ArgEnd; ++Arg)
950
Record.AddStmt(*Arg);
951
952
if (E->hasStoredFPFeatures())
953
Record.push_back(E->getFPFeatures().getAsOpaqueInt());
954
955
if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()) &&
956
E->getStmtClass() == Stmt::CallExprClass)
957
AbbrevToUse = Writer.getCallExprAbbrev();
958
959
Code = serialization::EXPR_CALL;
960
}
961
962
void ASTStmtWriter::VisitRecoveryExpr(RecoveryExpr *E) {
963
VisitExpr(E);
964
Record.push_back(std::distance(E->children().begin(), E->children().end()));
965
Record.AddSourceLocation(E->getBeginLoc());
966
Record.AddSourceLocation(E->getEndLoc());
967
for (Stmt *Child : E->children())
968
Record.AddStmt(Child);
969
Code = serialization::EXPR_RECOVERY;
970
}
971
972
void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) {
973
VisitExpr(E);
974
975
bool HasQualifier = E->hasQualifier();
976
bool HasFoundDecl = E->hasFoundDecl();
977
bool HasTemplateInfo = E->hasTemplateKWAndArgsInfo();
978
unsigned NumTemplateArgs = E->getNumTemplateArgs();
979
980
// Write these first for easy access when deserializing, as they affect the
981
// size of the MemberExpr.
982
CurrentPackingBits.updateBits();
983
CurrentPackingBits.addBit(HasQualifier);
984
CurrentPackingBits.addBit(HasFoundDecl);
985
CurrentPackingBits.addBit(HasTemplateInfo);
986
Record.push_back(NumTemplateArgs);
987
988
Record.AddStmt(E->getBase());
989
Record.AddDeclRef(E->getMemberDecl());
990
Record.AddDeclarationNameLoc(E->MemberDNLoc,
991
E->getMemberDecl()->getDeclName());
992
Record.AddSourceLocation(E->getMemberLoc());
993
CurrentPackingBits.addBit(E->isArrow());
994
CurrentPackingBits.addBit(E->hadMultipleCandidates());
995
CurrentPackingBits.addBits(E->isNonOdrUse(), /*Width=*/2);
996
Record.AddSourceLocation(E->getOperatorLoc());
997
998
if (HasQualifier)
999
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1000
1001
if (HasFoundDecl) {
1002
DeclAccessPair FoundDecl = E->getFoundDecl();
1003
Record.AddDeclRef(FoundDecl.getDecl());
1004
CurrentPackingBits.addBits(FoundDecl.getAccess(), /*BitWidth=*/2);
1005
}
1006
1007
if (HasTemplateInfo)
1008
AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(),
1009
E->getTrailingObjects<TemplateArgumentLoc>());
1010
1011
Code = serialization::EXPR_MEMBER;
1012
}
1013
1014
void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) {
1015
VisitExpr(E);
1016
Record.AddStmt(E->getBase());
1017
Record.AddSourceLocation(E->getIsaMemberLoc());
1018
Record.AddSourceLocation(E->getOpLoc());
1019
Record.push_back(E->isArrow());
1020
Code = serialization::EXPR_OBJC_ISA;
1021
}
1022
1023
void ASTStmtWriter::
1024
VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) {
1025
VisitExpr(E);
1026
Record.AddStmt(E->getSubExpr());
1027
Record.push_back(E->shouldCopy());
1028
Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE;
1029
}
1030
1031
void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) {
1032
VisitExplicitCastExpr(E);
1033
Record.AddSourceLocation(E->getLParenLoc());
1034
Record.AddSourceLocation(E->getBridgeKeywordLoc());
1035
Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding
1036
Code = serialization::EXPR_OBJC_BRIDGED_CAST;
1037
}
1038
1039
void ASTStmtWriter::VisitCastExpr(CastExpr *E) {
1040
VisitExpr(E);
1041
1042
Record.push_back(E->path_size());
1043
CurrentPackingBits.updateBits();
1044
// 7 bits should be enough to store the casting kinds.
1045
CurrentPackingBits.addBits(E->getCastKind(), /*Width=*/7);
1046
CurrentPackingBits.addBit(E->hasStoredFPFeatures());
1047
Record.AddStmt(E->getSubExpr());
1048
1049
for (CastExpr::path_iterator
1050
PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI)
1051
Record.AddCXXBaseSpecifier(**PI);
1052
1053
if (E->hasStoredFPFeatures())
1054
Record.push_back(E->getFPFeatures().getAsOpaqueInt());
1055
}
1056
1057
void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) {
1058
VisitExpr(E);
1059
1060
// Write this first for easy access when deserializing, as they affect the
1061
// size of the UnaryOperator.
1062
CurrentPackingBits.updateBits();
1063
CurrentPackingBits.addBits(E->getOpcode(), /*Width=*/6);
1064
bool HasFPFeatures = E->hasStoredFPFeatures();
1065
CurrentPackingBits.addBit(HasFPFeatures);
1066
Record.AddStmt(E->getLHS());
1067
Record.AddStmt(E->getRHS());
1068
Record.AddSourceLocation(E->getOperatorLoc());
1069
if (HasFPFeatures)
1070
Record.push_back(E->getStoredFPFeatures().getAsOpaqueInt());
1071
1072
if (!HasFPFeatures && E->getValueKind() == VK_PRValue &&
1073
E->getObjectKind() == OK_Ordinary)
1074
AbbrevToUse = Writer.getBinaryOperatorAbbrev();
1075
1076
Code = serialization::EXPR_BINARY_OPERATOR;
1077
}
1078
1079
void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) {
1080
VisitBinaryOperator(E);
1081
Record.AddTypeRef(E->getComputationLHSType());
1082
Record.AddTypeRef(E->getComputationResultType());
1083
1084
if (!E->hasStoredFPFeatures() && E->getValueKind() == VK_PRValue &&
1085
E->getObjectKind() == OK_Ordinary)
1086
AbbrevToUse = Writer.getCompoundAssignOperatorAbbrev();
1087
1088
Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR;
1089
}
1090
1091
void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) {
1092
VisitExpr(E);
1093
Record.AddStmt(E->getCond());
1094
Record.AddStmt(E->getLHS());
1095
Record.AddStmt(E->getRHS());
1096
Record.AddSourceLocation(E->getQuestionLoc());
1097
Record.AddSourceLocation(E->getColonLoc());
1098
Code = serialization::EXPR_CONDITIONAL_OPERATOR;
1099
}
1100
1101
void
1102
ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) {
1103
VisitExpr(E);
1104
Record.AddStmt(E->getOpaqueValue());
1105
Record.AddStmt(E->getCommon());
1106
Record.AddStmt(E->getCond());
1107
Record.AddStmt(E->getTrueExpr());
1108
Record.AddStmt(E->getFalseExpr());
1109
Record.AddSourceLocation(E->getQuestionLoc());
1110
Record.AddSourceLocation(E->getColonLoc());
1111
Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR;
1112
}
1113
1114
void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) {
1115
VisitCastExpr(E);
1116
CurrentPackingBits.addBit(E->isPartOfExplicitCast());
1117
1118
if (E->path_size() == 0 && !E->hasStoredFPFeatures())
1119
AbbrevToUse = Writer.getExprImplicitCastAbbrev();
1120
1121
Code = serialization::EXPR_IMPLICIT_CAST;
1122
}
1123
1124
void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) {
1125
VisitCastExpr(E);
1126
Record.AddTypeSourceInfo(E->getTypeInfoAsWritten());
1127
}
1128
1129
void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) {
1130
VisitExplicitCastExpr(E);
1131
Record.AddSourceLocation(E->getLParenLoc());
1132
Record.AddSourceLocation(E->getRParenLoc());
1133
Code = serialization::EXPR_CSTYLE_CAST;
1134
}
1135
1136
void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
1137
VisitExpr(E);
1138
Record.AddSourceLocation(E->getLParenLoc());
1139
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1140
Record.AddStmt(E->getInitializer());
1141
Record.push_back(E->isFileScope());
1142
Code = serialization::EXPR_COMPOUND_LITERAL;
1143
}
1144
1145
void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) {
1146
VisitExpr(E);
1147
Record.AddStmt(E->getBase());
1148
Record.AddIdentifierRef(&E->getAccessor());
1149
Record.AddSourceLocation(E->getAccessorLoc());
1150
Code = serialization::EXPR_EXT_VECTOR_ELEMENT;
1151
}
1152
1153
void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) {
1154
VisitExpr(E);
1155
// NOTE: only add the (possibly null) syntactic form.
1156
// No need to serialize the isSemanticForm flag and the semantic form.
1157
Record.AddStmt(E->getSyntacticForm());
1158
Record.AddSourceLocation(E->getLBraceLoc());
1159
Record.AddSourceLocation(E->getRBraceLoc());
1160
bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>();
1161
Record.push_back(isArrayFiller);
1162
if (isArrayFiller)
1163
Record.AddStmt(E->getArrayFiller());
1164
else
1165
Record.AddDeclRef(E->getInitializedFieldInUnion());
1166
Record.push_back(E->hadArrayRangeDesignator());
1167
Record.push_back(E->getNumInits());
1168
if (isArrayFiller) {
1169
// ArrayFiller may have filled "holes" due to designated initializer.
1170
// Replace them by 0 to indicate that the filler goes in that place.
1171
Expr *filler = E->getArrayFiller();
1172
for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
1173
Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr);
1174
} else {
1175
for (unsigned I = 0, N = E->getNumInits(); I != N; ++I)
1176
Record.AddStmt(E->getInit(I));
1177
}
1178
Code = serialization::EXPR_INIT_LIST;
1179
}
1180
1181
void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) {
1182
VisitExpr(E);
1183
Record.push_back(E->getNumSubExprs());
1184
for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1185
Record.AddStmt(E->getSubExpr(I));
1186
Record.AddSourceLocation(E->getEqualOrColonLoc());
1187
Record.push_back(E->usesGNUSyntax());
1188
for (const DesignatedInitExpr::Designator &D : E->designators()) {
1189
if (D.isFieldDesignator()) {
1190
if (FieldDecl *Field = D.getFieldDecl()) {
1191
Record.push_back(serialization::DESIG_FIELD_DECL);
1192
Record.AddDeclRef(Field);
1193
} else {
1194
Record.push_back(serialization::DESIG_FIELD_NAME);
1195
Record.AddIdentifierRef(D.getFieldName());
1196
}
1197
Record.AddSourceLocation(D.getDotLoc());
1198
Record.AddSourceLocation(D.getFieldLoc());
1199
} else if (D.isArrayDesignator()) {
1200
Record.push_back(serialization::DESIG_ARRAY);
1201
Record.push_back(D.getArrayIndex());
1202
Record.AddSourceLocation(D.getLBracketLoc());
1203
Record.AddSourceLocation(D.getRBracketLoc());
1204
} else {
1205
assert(D.isArrayRangeDesignator() && "Unknown designator");
1206
Record.push_back(serialization::DESIG_ARRAY_RANGE);
1207
Record.push_back(D.getArrayIndex());
1208
Record.AddSourceLocation(D.getLBracketLoc());
1209
Record.AddSourceLocation(D.getEllipsisLoc());
1210
Record.AddSourceLocation(D.getRBracketLoc());
1211
}
1212
}
1213
Code = serialization::EXPR_DESIGNATED_INIT;
1214
}
1215
1216
void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) {
1217
VisitExpr(E);
1218
Record.AddStmt(E->getBase());
1219
Record.AddStmt(E->getUpdater());
1220
Code = serialization::EXPR_DESIGNATED_INIT_UPDATE;
1221
}
1222
1223
void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) {
1224
VisitExpr(E);
1225
Code = serialization::EXPR_NO_INIT;
1226
}
1227
1228
void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) {
1229
VisitExpr(E);
1230
Record.AddStmt(E->SubExprs[0]);
1231
Record.AddStmt(E->SubExprs[1]);
1232
Code = serialization::EXPR_ARRAY_INIT_LOOP;
1233
}
1234
1235
void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) {
1236
VisitExpr(E);
1237
Code = serialization::EXPR_ARRAY_INIT_INDEX;
1238
}
1239
1240
void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
1241
VisitExpr(E);
1242
Code = serialization::EXPR_IMPLICIT_VALUE_INIT;
1243
}
1244
1245
void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) {
1246
VisitExpr(E);
1247
Record.AddStmt(E->getSubExpr());
1248
Record.AddTypeSourceInfo(E->getWrittenTypeInfo());
1249
Record.AddSourceLocation(E->getBuiltinLoc());
1250
Record.AddSourceLocation(E->getRParenLoc());
1251
Record.push_back(E->isMicrosoftABI());
1252
Code = serialization::EXPR_VA_ARG;
1253
}
1254
1255
void ASTStmtWriter::VisitSourceLocExpr(SourceLocExpr *E) {
1256
VisitExpr(E);
1257
Record.AddDeclRef(cast_or_null<Decl>(E->getParentContext()));
1258
Record.AddSourceLocation(E->getBeginLoc());
1259
Record.AddSourceLocation(E->getEndLoc());
1260
Record.push_back(llvm::to_underlying(E->getIdentKind()));
1261
Code = serialization::EXPR_SOURCE_LOC;
1262
}
1263
1264
void ASTStmtWriter::VisitEmbedExpr(EmbedExpr *E) {
1265
VisitExpr(E);
1266
Record.AddSourceLocation(E->getBeginLoc());
1267
Record.AddSourceLocation(E->getEndLoc());
1268
Record.AddStmt(E->getDataStringLiteral());
1269
Record.writeUInt32(E->getStartingElementPos());
1270
Record.writeUInt32(E->getDataElementCount());
1271
Code = serialization::EXPR_BUILTIN_PP_EMBED;
1272
}
1273
1274
void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) {
1275
VisitExpr(E);
1276
Record.AddSourceLocation(E->getAmpAmpLoc());
1277
Record.AddSourceLocation(E->getLabelLoc());
1278
Record.AddDeclRef(E->getLabel());
1279
Code = serialization::EXPR_ADDR_LABEL;
1280
}
1281
1282
void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) {
1283
VisitExpr(E);
1284
Record.AddStmt(E->getSubStmt());
1285
Record.AddSourceLocation(E->getLParenLoc());
1286
Record.AddSourceLocation(E->getRParenLoc());
1287
Record.push_back(E->getTemplateDepth());
1288
Code = serialization::EXPR_STMT;
1289
}
1290
1291
void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) {
1292
VisitExpr(E);
1293
Record.AddStmt(E->getCond());
1294
Record.AddStmt(E->getLHS());
1295
Record.AddStmt(E->getRHS());
1296
Record.AddSourceLocation(E->getBuiltinLoc());
1297
Record.AddSourceLocation(E->getRParenLoc());
1298
Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue());
1299
Code = serialization::EXPR_CHOOSE;
1300
}
1301
1302
void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) {
1303
VisitExpr(E);
1304
Record.AddSourceLocation(E->getTokenLocation());
1305
Code = serialization::EXPR_GNU_NULL;
1306
}
1307
1308
void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) {
1309
VisitExpr(E);
1310
Record.push_back(E->getNumSubExprs());
1311
for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1312
Record.AddStmt(E->getExpr(I));
1313
Record.AddSourceLocation(E->getBuiltinLoc());
1314
Record.AddSourceLocation(E->getRParenLoc());
1315
Code = serialization::EXPR_SHUFFLE_VECTOR;
1316
}
1317
1318
void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) {
1319
VisitExpr(E);
1320
Record.AddSourceLocation(E->getBuiltinLoc());
1321
Record.AddSourceLocation(E->getRParenLoc());
1322
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1323
Record.AddStmt(E->getSrcExpr());
1324
Code = serialization::EXPR_CONVERT_VECTOR;
1325
}
1326
1327
void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) {
1328
VisitExpr(E);
1329
Record.AddDeclRef(E->getBlockDecl());
1330
Code = serialization::EXPR_BLOCK;
1331
}
1332
1333
void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) {
1334
VisitExpr(E);
1335
1336
Record.push_back(E->getNumAssocs());
1337
Record.push_back(E->isExprPredicate());
1338
Record.push_back(E->ResultIndex);
1339
Record.AddSourceLocation(E->getGenericLoc());
1340
Record.AddSourceLocation(E->getDefaultLoc());
1341
Record.AddSourceLocation(E->getRParenLoc());
1342
1343
Stmt **Stmts = E->getTrailingObjects<Stmt *>();
1344
// Add 1 to account for the controlling expression which is the first
1345
// expression in the trailing array of Stmt *. This is not needed for
1346
// the trailing array of TypeSourceInfo *.
1347
for (unsigned I = 0, N = E->getNumAssocs() + 1; I < N; ++I)
1348
Record.AddStmt(Stmts[I]);
1349
1350
TypeSourceInfo **TSIs = E->getTrailingObjects<TypeSourceInfo *>();
1351
for (unsigned I = 0, N = E->getNumAssocs(); I < N; ++I)
1352
Record.AddTypeSourceInfo(TSIs[I]);
1353
1354
Code = serialization::EXPR_GENERIC_SELECTION;
1355
}
1356
1357
void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) {
1358
VisitExpr(E);
1359
Record.push_back(E->getNumSemanticExprs());
1360
1361
// Push the result index. Currently, this needs to exactly match
1362
// the encoding used internally for ResultIndex.
1363
unsigned result = E->getResultExprIndex();
1364
result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1);
1365
Record.push_back(result);
1366
1367
Record.AddStmt(E->getSyntacticForm());
1368
for (PseudoObjectExpr::semantics_iterator
1369
i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) {
1370
Record.AddStmt(*i);
1371
}
1372
Code = serialization::EXPR_PSEUDO_OBJECT;
1373
}
1374
1375
void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) {
1376
VisitExpr(E);
1377
Record.push_back(E->getOp());
1378
for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I)
1379
Record.AddStmt(E->getSubExprs()[I]);
1380
Record.AddSourceLocation(E->getBuiltinLoc());
1381
Record.AddSourceLocation(E->getRParenLoc());
1382
Code = serialization::EXPR_ATOMIC;
1383
}
1384
1385
//===----------------------------------------------------------------------===//
1386
// Objective-C Expressions and Statements.
1387
//===----------------------------------------------------------------------===//
1388
1389
void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) {
1390
VisitExpr(E);
1391
Record.AddStmt(E->getString());
1392
Record.AddSourceLocation(E->getAtLoc());
1393
Code = serialization::EXPR_OBJC_STRING_LITERAL;
1394
}
1395
1396
void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) {
1397
VisitExpr(E);
1398
Record.AddStmt(E->getSubExpr());
1399
Record.AddDeclRef(E->getBoxingMethod());
1400
Record.AddSourceRange(E->getSourceRange());
1401
Code = serialization::EXPR_OBJC_BOXED_EXPRESSION;
1402
}
1403
1404
void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) {
1405
VisitExpr(E);
1406
Record.push_back(E->getNumElements());
1407
for (unsigned i = 0; i < E->getNumElements(); i++)
1408
Record.AddStmt(E->getElement(i));
1409
Record.AddDeclRef(E->getArrayWithObjectsMethod());
1410
Record.AddSourceRange(E->getSourceRange());
1411
Code = serialization::EXPR_OBJC_ARRAY_LITERAL;
1412
}
1413
1414
void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) {
1415
VisitExpr(E);
1416
Record.push_back(E->getNumElements());
1417
Record.push_back(E->HasPackExpansions);
1418
for (unsigned i = 0; i < E->getNumElements(); i++) {
1419
ObjCDictionaryElement Element = E->getKeyValueElement(i);
1420
Record.AddStmt(Element.Key);
1421
Record.AddStmt(Element.Value);
1422
if (E->HasPackExpansions) {
1423
Record.AddSourceLocation(Element.EllipsisLoc);
1424
unsigned NumExpansions = 0;
1425
if (Element.NumExpansions)
1426
NumExpansions = *Element.NumExpansions + 1;
1427
Record.push_back(NumExpansions);
1428
}
1429
}
1430
1431
Record.AddDeclRef(E->getDictWithObjectsMethod());
1432
Record.AddSourceRange(E->getSourceRange());
1433
Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL;
1434
}
1435
1436
void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
1437
VisitExpr(E);
1438
Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo());
1439
Record.AddSourceLocation(E->getAtLoc());
1440
Record.AddSourceLocation(E->getRParenLoc());
1441
Code = serialization::EXPR_OBJC_ENCODE;
1442
}
1443
1444
void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) {
1445
VisitExpr(E);
1446
Record.AddSelectorRef(E->getSelector());
1447
Record.AddSourceLocation(E->getAtLoc());
1448
Record.AddSourceLocation(E->getRParenLoc());
1449
Code = serialization::EXPR_OBJC_SELECTOR_EXPR;
1450
}
1451
1452
void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) {
1453
VisitExpr(E);
1454
Record.AddDeclRef(E->getProtocol());
1455
Record.AddSourceLocation(E->getAtLoc());
1456
Record.AddSourceLocation(E->ProtoLoc);
1457
Record.AddSourceLocation(E->getRParenLoc());
1458
Code = serialization::EXPR_OBJC_PROTOCOL_EXPR;
1459
}
1460
1461
void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
1462
VisitExpr(E);
1463
Record.AddDeclRef(E->getDecl());
1464
Record.AddSourceLocation(E->getLocation());
1465
Record.AddSourceLocation(E->getOpLoc());
1466
Record.AddStmt(E->getBase());
1467
Record.push_back(E->isArrow());
1468
Record.push_back(E->isFreeIvar());
1469
Code = serialization::EXPR_OBJC_IVAR_REF_EXPR;
1470
}
1471
1472
void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
1473
VisitExpr(E);
1474
Record.push_back(E->SetterAndMethodRefFlags.getInt());
1475
Record.push_back(E->isImplicitProperty());
1476
if (E->isImplicitProperty()) {
1477
Record.AddDeclRef(E->getImplicitPropertyGetter());
1478
Record.AddDeclRef(E->getImplicitPropertySetter());
1479
} else {
1480
Record.AddDeclRef(E->getExplicitProperty());
1481
}
1482
Record.AddSourceLocation(E->getLocation());
1483
Record.AddSourceLocation(E->getReceiverLocation());
1484
if (E->isObjectReceiver()) {
1485
Record.push_back(0);
1486
Record.AddStmt(E->getBase());
1487
} else if (E->isSuperReceiver()) {
1488
Record.push_back(1);
1489
Record.AddTypeRef(E->getSuperReceiverType());
1490
} else {
1491
Record.push_back(2);
1492
Record.AddDeclRef(E->getClassReceiver());
1493
}
1494
1495
Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR;
1496
}
1497
1498
void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) {
1499
VisitExpr(E);
1500
Record.AddSourceLocation(E->getRBracket());
1501
Record.AddStmt(E->getBaseExpr());
1502
Record.AddStmt(E->getKeyExpr());
1503
Record.AddDeclRef(E->getAtIndexMethodDecl());
1504
Record.AddDeclRef(E->setAtIndexMethodDecl());
1505
1506
Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR;
1507
}
1508
1509
void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
1510
VisitExpr(E);
1511
Record.push_back(E->getNumArgs());
1512
Record.push_back(E->getNumStoredSelLocs());
1513
Record.push_back(E->SelLocsKind);
1514
Record.push_back(E->isDelegateInitCall());
1515
Record.push_back(E->IsImplicit);
1516
Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding
1517
switch (E->getReceiverKind()) {
1518
case ObjCMessageExpr::Instance:
1519
Record.AddStmt(E->getInstanceReceiver());
1520
break;
1521
1522
case ObjCMessageExpr::Class:
1523
Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo());
1524
break;
1525
1526
case ObjCMessageExpr::SuperClass:
1527
case ObjCMessageExpr::SuperInstance:
1528
Record.AddTypeRef(E->getSuperType());
1529
Record.AddSourceLocation(E->getSuperLoc());
1530
break;
1531
}
1532
1533
if (E->getMethodDecl()) {
1534
Record.push_back(1);
1535
Record.AddDeclRef(E->getMethodDecl());
1536
} else {
1537
Record.push_back(0);
1538
Record.AddSelectorRef(E->getSelector());
1539
}
1540
1541
Record.AddSourceLocation(E->getLeftLoc());
1542
Record.AddSourceLocation(E->getRightLoc());
1543
1544
for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end();
1545
Arg != ArgEnd; ++Arg)
1546
Record.AddStmt(*Arg);
1547
1548
SourceLocation *Locs = E->getStoredSelLocs();
1549
for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i)
1550
Record.AddSourceLocation(Locs[i]);
1551
1552
Code = serialization::EXPR_OBJC_MESSAGE_EXPR;
1553
}
1554
1555
void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
1556
VisitStmt(S);
1557
Record.AddStmt(S->getElement());
1558
Record.AddStmt(S->getCollection());
1559
Record.AddStmt(S->getBody());
1560
Record.AddSourceLocation(S->getForLoc());
1561
Record.AddSourceLocation(S->getRParenLoc());
1562
Code = serialization::STMT_OBJC_FOR_COLLECTION;
1563
}
1564
1565
void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
1566
VisitStmt(S);
1567
Record.AddStmt(S->getCatchBody());
1568
Record.AddDeclRef(S->getCatchParamDecl());
1569
Record.AddSourceLocation(S->getAtCatchLoc());
1570
Record.AddSourceLocation(S->getRParenLoc());
1571
Code = serialization::STMT_OBJC_CATCH;
1572
}
1573
1574
void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
1575
VisitStmt(S);
1576
Record.AddStmt(S->getFinallyBody());
1577
Record.AddSourceLocation(S->getAtFinallyLoc());
1578
Code = serialization::STMT_OBJC_FINALLY;
1579
}
1580
1581
void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) {
1582
VisitStmt(S); // FIXME: no test coverage.
1583
Record.AddStmt(S->getSubStmt());
1584
Record.AddSourceLocation(S->getAtLoc());
1585
Code = serialization::STMT_OBJC_AUTORELEASE_POOL;
1586
}
1587
1588
void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
1589
VisitStmt(S);
1590
Record.push_back(S->getNumCatchStmts());
1591
Record.push_back(S->getFinallyStmt() != nullptr);
1592
Record.AddStmt(S->getTryBody());
1593
for (ObjCAtCatchStmt *C : S->catch_stmts())
1594
Record.AddStmt(C);
1595
if (S->getFinallyStmt())
1596
Record.AddStmt(S->getFinallyStmt());
1597
Record.AddSourceLocation(S->getAtTryLoc());
1598
Code = serialization::STMT_OBJC_AT_TRY;
1599
}
1600
1601
void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
1602
VisitStmt(S); // FIXME: no test coverage.
1603
Record.AddStmt(S->getSynchExpr());
1604
Record.AddStmt(S->getSynchBody());
1605
Record.AddSourceLocation(S->getAtSynchronizedLoc());
1606
Code = serialization::STMT_OBJC_AT_SYNCHRONIZED;
1607
}
1608
1609
void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
1610
VisitStmt(S); // FIXME: no test coverage.
1611
Record.AddStmt(S->getThrowExpr());
1612
Record.AddSourceLocation(S->getThrowLoc());
1613
Code = serialization::STMT_OBJC_AT_THROW;
1614
}
1615
1616
void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) {
1617
VisitExpr(E);
1618
Record.push_back(E->getValue());
1619
Record.AddSourceLocation(E->getLocation());
1620
Code = serialization::EXPR_OBJC_BOOL_LITERAL;
1621
}
1622
1623
void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) {
1624
VisitExpr(E);
1625
Record.AddSourceRange(E->getSourceRange());
1626
Record.AddVersionTuple(E->getVersion());
1627
Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK;
1628
}
1629
1630
//===----------------------------------------------------------------------===//
1631
// C++ Expressions and Statements.
1632
//===----------------------------------------------------------------------===//
1633
1634
void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) {
1635
VisitStmt(S);
1636
Record.AddSourceLocation(S->getCatchLoc());
1637
Record.AddDeclRef(S->getExceptionDecl());
1638
Record.AddStmt(S->getHandlerBlock());
1639
Code = serialization::STMT_CXX_CATCH;
1640
}
1641
1642
void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) {
1643
VisitStmt(S);
1644
Record.push_back(S->getNumHandlers());
1645
Record.AddSourceLocation(S->getTryLoc());
1646
Record.AddStmt(S->getTryBlock());
1647
for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i)
1648
Record.AddStmt(S->getHandler(i));
1649
Code = serialization::STMT_CXX_TRY;
1650
}
1651
1652
void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) {
1653
VisitStmt(S);
1654
Record.AddSourceLocation(S->getForLoc());
1655
Record.AddSourceLocation(S->getCoawaitLoc());
1656
Record.AddSourceLocation(S->getColonLoc());
1657
Record.AddSourceLocation(S->getRParenLoc());
1658
Record.AddStmt(S->getInit());
1659
Record.AddStmt(S->getRangeStmt());
1660
Record.AddStmt(S->getBeginStmt());
1661
Record.AddStmt(S->getEndStmt());
1662
Record.AddStmt(S->getCond());
1663
Record.AddStmt(S->getInc());
1664
Record.AddStmt(S->getLoopVarStmt());
1665
Record.AddStmt(S->getBody());
1666
Code = serialization::STMT_CXX_FOR_RANGE;
1667
}
1668
1669
void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) {
1670
VisitStmt(S);
1671
Record.AddSourceLocation(S->getKeywordLoc());
1672
Record.push_back(S->isIfExists());
1673
Record.AddNestedNameSpecifierLoc(S->getQualifierLoc());
1674
Record.AddDeclarationNameInfo(S->getNameInfo());
1675
Record.AddStmt(S->getSubStmt());
1676
Code = serialization::STMT_MS_DEPENDENT_EXISTS;
1677
}
1678
1679
void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) {
1680
VisitCallExpr(E);
1681
Record.push_back(E->getOperator());
1682
Record.AddSourceRange(E->Range);
1683
1684
if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()))
1685
AbbrevToUse = Writer.getCXXOperatorCallExprAbbrev();
1686
1687
Code = serialization::EXPR_CXX_OPERATOR_CALL;
1688
}
1689
1690
void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) {
1691
VisitCallExpr(E);
1692
1693
if (!E->hasStoredFPFeatures() && !static_cast<bool>(E->getADLCallKind()))
1694
AbbrevToUse = Writer.getCXXMemberCallExprAbbrev();
1695
1696
Code = serialization::EXPR_CXX_MEMBER_CALL;
1697
}
1698
1699
void ASTStmtWriter::VisitCXXRewrittenBinaryOperator(
1700
CXXRewrittenBinaryOperator *E) {
1701
VisitExpr(E);
1702
Record.push_back(E->isReversed());
1703
Record.AddStmt(E->getSemanticForm());
1704
Code = serialization::EXPR_CXX_REWRITTEN_BINARY_OPERATOR;
1705
}
1706
1707
void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) {
1708
VisitExpr(E);
1709
1710
Record.push_back(E->getNumArgs());
1711
Record.push_back(E->isElidable());
1712
Record.push_back(E->hadMultipleCandidates());
1713
Record.push_back(E->isListInitialization());
1714
Record.push_back(E->isStdInitListInitialization());
1715
Record.push_back(E->requiresZeroInitialization());
1716
Record.push_back(
1717
llvm::to_underlying(E->getConstructionKind())); // FIXME: stable encoding
1718
Record.push_back(E->isImmediateEscalating());
1719
Record.AddSourceLocation(E->getLocation());
1720
Record.AddDeclRef(E->getConstructor());
1721
Record.AddSourceRange(E->getParenOrBraceRange());
1722
1723
for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
1724
Record.AddStmt(E->getArg(I));
1725
1726
Code = serialization::EXPR_CXX_CONSTRUCT;
1727
}
1728
1729
void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) {
1730
VisitExpr(E);
1731
Record.AddDeclRef(E->getConstructor());
1732
Record.AddSourceLocation(E->getLocation());
1733
Record.push_back(E->constructsVBase());
1734
Record.push_back(E->inheritedFromVBase());
1735
Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT;
1736
}
1737
1738
void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) {
1739
VisitCXXConstructExpr(E);
1740
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1741
Code = serialization::EXPR_CXX_TEMPORARY_OBJECT;
1742
}
1743
1744
void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) {
1745
VisitExpr(E);
1746
Record.push_back(E->LambdaExprBits.NumCaptures);
1747
Record.AddSourceRange(E->IntroducerRange);
1748
Record.push_back(E->LambdaExprBits.CaptureDefault); // FIXME: stable encoding
1749
Record.AddSourceLocation(E->CaptureDefaultLoc);
1750
Record.push_back(E->LambdaExprBits.ExplicitParams);
1751
Record.push_back(E->LambdaExprBits.ExplicitResultType);
1752
Record.AddSourceLocation(E->ClosingBrace);
1753
1754
// Add capture initializers.
1755
for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(),
1756
CEnd = E->capture_init_end();
1757
C != CEnd; ++C) {
1758
Record.AddStmt(*C);
1759
}
1760
1761
// Don't serialize the body. It belongs to the call operator declaration.
1762
// LambdaExpr only stores a copy of the Stmt *.
1763
1764
Code = serialization::EXPR_LAMBDA;
1765
}
1766
1767
void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) {
1768
VisitExpr(E);
1769
Record.AddStmt(E->getSubExpr());
1770
Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST;
1771
}
1772
1773
void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) {
1774
VisitExplicitCastExpr(E);
1775
Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc()));
1776
CurrentPackingBits.addBit(E->getAngleBrackets().isValid());
1777
if (E->getAngleBrackets().isValid())
1778
Record.AddSourceRange(E->getAngleBrackets());
1779
}
1780
1781
void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) {
1782
VisitCXXNamedCastExpr(E);
1783
Code = serialization::EXPR_CXX_STATIC_CAST;
1784
}
1785
1786
void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) {
1787
VisitCXXNamedCastExpr(E);
1788
Code = serialization::EXPR_CXX_DYNAMIC_CAST;
1789
}
1790
1791
void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) {
1792
VisitCXXNamedCastExpr(E);
1793
Code = serialization::EXPR_CXX_REINTERPRET_CAST;
1794
}
1795
1796
void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) {
1797
VisitCXXNamedCastExpr(E);
1798
Code = serialization::EXPR_CXX_CONST_CAST;
1799
}
1800
1801
void ASTStmtWriter::VisitCXXAddrspaceCastExpr(CXXAddrspaceCastExpr *E) {
1802
VisitCXXNamedCastExpr(E);
1803
Code = serialization::EXPR_CXX_ADDRSPACE_CAST;
1804
}
1805
1806
void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) {
1807
VisitExplicitCastExpr(E);
1808
Record.AddSourceLocation(E->getLParenLoc());
1809
Record.AddSourceLocation(E->getRParenLoc());
1810
Code = serialization::EXPR_CXX_FUNCTIONAL_CAST;
1811
}
1812
1813
void ASTStmtWriter::VisitBuiltinBitCastExpr(BuiltinBitCastExpr *E) {
1814
VisitExplicitCastExpr(E);
1815
Record.AddSourceLocation(E->getBeginLoc());
1816
Record.AddSourceLocation(E->getEndLoc());
1817
Code = serialization::EXPR_BUILTIN_BIT_CAST;
1818
}
1819
1820
void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) {
1821
VisitCallExpr(E);
1822
Record.AddSourceLocation(E->UDSuffixLoc);
1823
Code = serialization::EXPR_USER_DEFINED_LITERAL;
1824
}
1825
1826
void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) {
1827
VisitExpr(E);
1828
Record.push_back(E->getValue());
1829
Record.AddSourceLocation(E->getLocation());
1830
Code = serialization::EXPR_CXX_BOOL_LITERAL;
1831
}
1832
1833
void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) {
1834
VisitExpr(E);
1835
Record.AddSourceLocation(E->getLocation());
1836
Code = serialization::EXPR_CXX_NULL_PTR_LITERAL;
1837
}
1838
1839
void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) {
1840
VisitExpr(E);
1841
Record.AddSourceRange(E->getSourceRange());
1842
if (E->isTypeOperand()) {
1843
Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
1844
Code = serialization::EXPR_CXX_TYPEID_TYPE;
1845
} else {
1846
Record.AddStmt(E->getExprOperand());
1847
Code = serialization::EXPR_CXX_TYPEID_EXPR;
1848
}
1849
}
1850
1851
void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) {
1852
VisitExpr(E);
1853
Record.AddSourceLocation(E->getLocation());
1854
Record.push_back(E->isImplicit());
1855
Record.push_back(E->isCapturedByCopyInLambdaWithExplicitObjectParameter());
1856
1857
Code = serialization::EXPR_CXX_THIS;
1858
}
1859
1860
void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) {
1861
VisitExpr(E);
1862
Record.AddSourceLocation(E->getThrowLoc());
1863
Record.AddStmt(E->getSubExpr());
1864
Record.push_back(E->isThrownVariableInScope());
1865
Code = serialization::EXPR_CXX_THROW;
1866
}
1867
1868
void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
1869
VisitExpr(E);
1870
Record.AddDeclRef(E->getParam());
1871
Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext()));
1872
Record.AddSourceLocation(E->getUsedLocation());
1873
Record.push_back(E->hasRewrittenInit());
1874
if (E->hasRewrittenInit())
1875
Record.AddStmt(E->getRewrittenExpr());
1876
Code = serialization::EXPR_CXX_DEFAULT_ARG;
1877
}
1878
1879
void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
1880
VisitExpr(E);
1881
Record.push_back(E->hasRewrittenInit());
1882
Record.AddDeclRef(E->getField());
1883
Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext()));
1884
Record.AddSourceLocation(E->getExprLoc());
1885
if (E->hasRewrittenInit())
1886
Record.AddStmt(E->getRewrittenExpr());
1887
Code = serialization::EXPR_CXX_DEFAULT_INIT;
1888
}
1889
1890
void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
1891
VisitExpr(E);
1892
Record.AddCXXTemporary(E->getTemporary());
1893
Record.AddStmt(E->getSubExpr());
1894
Code = serialization::EXPR_CXX_BIND_TEMPORARY;
1895
}
1896
1897
void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
1898
VisitExpr(E);
1899
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
1900
Record.AddSourceLocation(E->getRParenLoc());
1901
Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT;
1902
}
1903
1904
void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) {
1905
VisitExpr(E);
1906
1907
Record.push_back(E->isArray());
1908
Record.push_back(E->hasInitializer());
1909
Record.push_back(E->getNumPlacementArgs());
1910
Record.push_back(E->isParenTypeId());
1911
1912
Record.push_back(E->isGlobalNew());
1913
Record.push_back(E->passAlignment());
1914
Record.push_back(E->doesUsualArrayDeleteWantSize());
1915
Record.push_back(E->CXXNewExprBits.HasInitializer);
1916
Record.push_back(E->CXXNewExprBits.StoredInitializationStyle);
1917
1918
Record.AddDeclRef(E->getOperatorNew());
1919
Record.AddDeclRef(E->getOperatorDelete());
1920
Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo());
1921
if (E->isParenTypeId())
1922
Record.AddSourceRange(E->getTypeIdParens());
1923
Record.AddSourceRange(E->getSourceRange());
1924
Record.AddSourceRange(E->getDirectInitRange());
1925
1926
for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), N = E->raw_arg_end();
1927
I != N; ++I)
1928
Record.AddStmt(*I);
1929
1930
Code = serialization::EXPR_CXX_NEW;
1931
}
1932
1933
void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) {
1934
VisitExpr(E);
1935
Record.push_back(E->isGlobalDelete());
1936
Record.push_back(E->isArrayForm());
1937
Record.push_back(E->isArrayFormAsWritten());
1938
Record.push_back(E->doesUsualArrayDeleteWantSize());
1939
Record.AddDeclRef(E->getOperatorDelete());
1940
Record.AddStmt(E->getArgument());
1941
Record.AddSourceLocation(E->getBeginLoc());
1942
1943
Code = serialization::EXPR_CXX_DELETE;
1944
}
1945
1946
void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) {
1947
VisitExpr(E);
1948
1949
Record.AddStmt(E->getBase());
1950
Record.push_back(E->isArrow());
1951
Record.AddSourceLocation(E->getOperatorLoc());
1952
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
1953
Record.AddTypeSourceInfo(E->getScopeTypeInfo());
1954
Record.AddSourceLocation(E->getColonColonLoc());
1955
Record.AddSourceLocation(E->getTildeLoc());
1956
1957
// PseudoDestructorTypeStorage.
1958
Record.AddIdentifierRef(E->getDestroyedTypeIdentifier());
1959
if (E->getDestroyedTypeIdentifier())
1960
Record.AddSourceLocation(E->getDestroyedTypeLoc());
1961
else
1962
Record.AddTypeSourceInfo(E->getDestroyedTypeInfo());
1963
1964
Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR;
1965
}
1966
1967
void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) {
1968
VisitExpr(E);
1969
Record.push_back(E->getNumObjects());
1970
for (auto &Obj : E->getObjects()) {
1971
if (auto *BD = Obj.dyn_cast<BlockDecl *>()) {
1972
Record.push_back(serialization::COK_Block);
1973
Record.AddDeclRef(BD);
1974
} else if (auto *CLE = Obj.dyn_cast<CompoundLiteralExpr *>()) {
1975
Record.push_back(serialization::COK_CompoundLiteral);
1976
Record.AddStmt(CLE);
1977
}
1978
}
1979
1980
Record.push_back(E->cleanupsHaveSideEffects());
1981
Record.AddStmt(E->getSubExpr());
1982
Code = serialization::EXPR_EXPR_WITH_CLEANUPS;
1983
}
1984
1985
void ASTStmtWriter::VisitCXXDependentScopeMemberExpr(
1986
CXXDependentScopeMemberExpr *E) {
1987
VisitExpr(E);
1988
1989
// Don't emit anything here (or if you do you will have to update
1990
// the corresponding deserialization function).
1991
Record.push_back(E->getNumTemplateArgs());
1992
CurrentPackingBits.updateBits();
1993
CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
1994
CurrentPackingBits.addBit(E->hasFirstQualifierFoundInScope());
1995
1996
if (E->hasTemplateKWAndArgsInfo()) {
1997
const ASTTemplateKWAndArgsInfo &ArgInfo =
1998
*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
1999
AddTemplateKWAndArgsInfo(ArgInfo,
2000
E->getTrailingObjects<TemplateArgumentLoc>());
2001
}
2002
2003
CurrentPackingBits.addBit(E->isArrow());
2004
2005
Record.AddTypeRef(E->getBaseType());
2006
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2007
CurrentPackingBits.addBit(!E->isImplicitAccess());
2008
if (!E->isImplicitAccess())
2009
Record.AddStmt(E->getBase());
2010
2011
Record.AddSourceLocation(E->getOperatorLoc());
2012
2013
if (E->hasFirstQualifierFoundInScope())
2014
Record.AddDeclRef(E->getFirstQualifierFoundInScope());
2015
2016
Record.AddDeclarationNameInfo(E->MemberNameInfo);
2017
Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER;
2018
}
2019
2020
void
2021
ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
2022
VisitExpr(E);
2023
2024
// Don't emit anything here, HasTemplateKWAndArgsInfo must be
2025
// emitted first.
2026
CurrentPackingBits.addBit(
2027
E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo);
2028
2029
if (E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo) {
2030
const ASTTemplateKWAndArgsInfo &ArgInfo =
2031
*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>();
2032
// 16 bits should be enought to store the number of args
2033
CurrentPackingBits.addBits(ArgInfo.NumTemplateArgs, /*Width=*/16);
2034
AddTemplateKWAndArgsInfo(ArgInfo,
2035
E->getTrailingObjects<TemplateArgumentLoc>());
2036
}
2037
2038
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2039
Record.AddDeclarationNameInfo(E->NameInfo);
2040
Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF;
2041
}
2042
2043
void
2044
ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) {
2045
VisitExpr(E);
2046
Record.push_back(E->getNumArgs());
2047
for (CXXUnresolvedConstructExpr::arg_iterator
2048
ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI)
2049
Record.AddStmt(*ArgI);
2050
Record.AddTypeSourceInfo(E->getTypeSourceInfo());
2051
Record.AddSourceLocation(E->getLParenLoc());
2052
Record.AddSourceLocation(E->getRParenLoc());
2053
Record.push_back(E->isListInitialization());
2054
Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT;
2055
}
2056
2057
void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) {
2058
VisitExpr(E);
2059
2060
Record.push_back(E->getNumDecls());
2061
2062
CurrentPackingBits.updateBits();
2063
CurrentPackingBits.addBit(E->hasTemplateKWAndArgsInfo());
2064
if (E->hasTemplateKWAndArgsInfo()) {
2065
const ASTTemplateKWAndArgsInfo &ArgInfo =
2066
*E->getTrailingASTTemplateKWAndArgsInfo();
2067
Record.push_back(ArgInfo.NumTemplateArgs);
2068
AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc());
2069
}
2070
2071
for (OverloadExpr::decls_iterator OvI = E->decls_begin(),
2072
OvE = E->decls_end();
2073
OvI != OvE; ++OvI) {
2074
Record.AddDeclRef(OvI.getDecl());
2075
Record.push_back(OvI.getAccess());
2076
}
2077
2078
Record.AddDeclarationNameInfo(E->getNameInfo());
2079
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2080
}
2081
2082
void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) {
2083
VisitOverloadExpr(E);
2084
CurrentPackingBits.addBit(E->isArrow());
2085
CurrentPackingBits.addBit(E->hasUnresolvedUsing());
2086
CurrentPackingBits.addBit(!E->isImplicitAccess());
2087
if (!E->isImplicitAccess())
2088
Record.AddStmt(E->getBase());
2089
2090
Record.AddSourceLocation(E->getOperatorLoc());
2091
2092
Record.AddTypeRef(E->getBaseType());
2093
Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER;
2094
}
2095
2096
void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
2097
VisitOverloadExpr(E);
2098
CurrentPackingBits.addBit(E->requiresADL());
2099
Record.AddDeclRef(E->getNamingClass());
2100
Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP;
2101
2102
if (Writer.isWritingStdCXXNamedModules() && Writer.getChain()) {
2103
// Referencing all the possible declarations to make sure the change get
2104
// propagted.
2105
DeclarationName Name = E->getName();
2106
for (auto *Found :
2107
Writer.getASTContext().getTranslationUnitDecl()->lookup(Name))
2108
if (Found->isFromASTFile())
2109
Writer.GetDeclRef(Found);
2110
2111
llvm::SmallVector<NamespaceDecl *> ExternalNSs;
2112
Writer.getChain()->ReadKnownNamespaces(ExternalNSs);
2113
for (auto *NS : ExternalNSs)
2114
for (auto *Found : NS->lookup(Name))
2115
Writer.GetDeclRef(Found);
2116
}
2117
}
2118
2119
void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) {
2120
VisitExpr(E);
2121
Record.push_back(E->TypeTraitExprBits.NumArgs);
2122
Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding
2123
Record.push_back(E->TypeTraitExprBits.Value);
2124
Record.AddSourceRange(E->getSourceRange());
2125
for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I)
2126
Record.AddTypeSourceInfo(E->getArg(I));
2127
Code = serialization::EXPR_TYPE_TRAIT;
2128
}
2129
2130
void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) {
2131
VisitExpr(E);
2132
Record.push_back(E->getTrait());
2133
Record.push_back(E->getValue());
2134
Record.AddSourceRange(E->getSourceRange());
2135
Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo());
2136
Record.AddStmt(E->getDimensionExpression());
2137
Code = serialization::EXPR_ARRAY_TYPE_TRAIT;
2138
}
2139
2140
void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) {
2141
VisitExpr(E);
2142
Record.push_back(E->getTrait());
2143
Record.push_back(E->getValue());
2144
Record.AddSourceRange(E->getSourceRange());
2145
Record.AddStmt(E->getQueriedExpression());
2146
Code = serialization::EXPR_CXX_EXPRESSION_TRAIT;
2147
}
2148
2149
void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) {
2150
VisitExpr(E);
2151
Record.push_back(E->getValue());
2152
Record.AddSourceRange(E->getSourceRange());
2153
Record.AddStmt(E->getOperand());
2154
Code = serialization::EXPR_CXX_NOEXCEPT;
2155
}
2156
2157
void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) {
2158
VisitExpr(E);
2159
Record.AddSourceLocation(E->getEllipsisLoc());
2160
Record.push_back(E->NumExpansions);
2161
Record.AddStmt(E->getPattern());
2162
Code = serialization::EXPR_PACK_EXPANSION;
2163
}
2164
2165
void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) {
2166
VisitExpr(E);
2167
Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size()
2168
: 0);
2169
Record.AddSourceLocation(E->OperatorLoc);
2170
Record.AddSourceLocation(E->PackLoc);
2171
Record.AddSourceLocation(E->RParenLoc);
2172
Record.AddDeclRef(E->Pack);
2173
if (E->isPartiallySubstituted()) {
2174
for (const auto &TA : E->getPartialArguments())
2175
Record.AddTemplateArgument(TA);
2176
} else if (!E->isValueDependent()) {
2177
Record.push_back(E->getPackLength());
2178
}
2179
Code = serialization::EXPR_SIZEOF_PACK;
2180
}
2181
2182
void ASTStmtWriter::VisitPackIndexingExpr(PackIndexingExpr *E) {
2183
VisitExpr(E);
2184
Record.push_back(E->TransformedExpressions);
2185
Record.push_back(E->ExpandedToEmptyPack);
2186
Record.AddSourceLocation(E->getEllipsisLoc());
2187
Record.AddSourceLocation(E->getRSquareLoc());
2188
Record.AddStmt(E->getPackIdExpression());
2189
Record.AddStmt(E->getIndexExpr());
2190
for (Expr *Sub : E->getExpressions())
2191
Record.AddStmt(Sub);
2192
Code = serialization::EXPR_PACK_INDEXING;
2193
}
2194
2195
void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr(
2196
SubstNonTypeTemplateParmExpr *E) {
2197
VisitExpr(E);
2198
Record.AddDeclRef(E->getAssociatedDecl());
2199
CurrentPackingBits.addBit(E->isReferenceParameter());
2200
CurrentPackingBits.addBits(E->getIndex(), /*Width=*/12);
2201
CurrentPackingBits.addBit((bool)E->getPackIndex());
2202
if (auto PackIndex = E->getPackIndex())
2203
Record.push_back(*PackIndex + 1);
2204
2205
Record.AddSourceLocation(E->getNameLoc());
2206
Record.AddStmt(E->getReplacement());
2207
Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM;
2208
}
2209
2210
void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr(
2211
SubstNonTypeTemplateParmPackExpr *E) {
2212
VisitExpr(E);
2213
Record.AddDeclRef(E->getAssociatedDecl());
2214
Record.push_back(E->getIndex());
2215
Record.AddTemplateArgument(E->getArgumentPack());
2216
Record.AddSourceLocation(E->getParameterPackLocation());
2217
Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK;
2218
}
2219
2220
void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) {
2221
VisitExpr(E);
2222
Record.push_back(E->getNumExpansions());
2223
Record.AddDeclRef(E->getParameterPack());
2224
Record.AddSourceLocation(E->getParameterPackLocation());
2225
for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end();
2226
I != End; ++I)
2227
Record.AddDeclRef(*I);
2228
Code = serialization::EXPR_FUNCTION_PARM_PACK;
2229
}
2230
2231
void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
2232
VisitExpr(E);
2233
Record.push_back(static_cast<bool>(E->getLifetimeExtendedTemporaryDecl()));
2234
if (E->getLifetimeExtendedTemporaryDecl())
2235
Record.AddDeclRef(E->getLifetimeExtendedTemporaryDecl());
2236
else
2237
Record.AddStmt(E->getSubExpr());
2238
Code = serialization::EXPR_MATERIALIZE_TEMPORARY;
2239
}
2240
2241
void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) {
2242
VisitExpr(E);
2243
Record.AddSourceLocation(E->LParenLoc);
2244
Record.AddSourceLocation(E->EllipsisLoc);
2245
Record.AddSourceLocation(E->RParenLoc);
2246
Record.push_back(E->NumExpansions);
2247
Record.AddStmt(E->SubExprs[0]);
2248
Record.AddStmt(E->SubExprs[1]);
2249
Record.AddStmt(E->SubExprs[2]);
2250
Record.push_back(E->Opcode);
2251
Code = serialization::EXPR_CXX_FOLD;
2252
}
2253
2254
void ASTStmtWriter::VisitCXXParenListInitExpr(CXXParenListInitExpr *E) {
2255
VisitExpr(E);
2256
ArrayRef<Expr *> InitExprs = E->getInitExprs();
2257
Record.push_back(InitExprs.size());
2258
Record.push_back(E->getUserSpecifiedInitExprs().size());
2259
Record.AddSourceLocation(E->getInitLoc());
2260
Record.AddSourceLocation(E->getBeginLoc());
2261
Record.AddSourceLocation(E->getEndLoc());
2262
for (Expr *InitExpr : E->getInitExprs())
2263
Record.AddStmt(InitExpr);
2264
Expr *ArrayFiller = E->getArrayFiller();
2265
FieldDecl *UnionField = E->getInitializedFieldInUnion();
2266
bool HasArrayFillerOrUnionDecl = ArrayFiller || UnionField;
2267
Record.push_back(HasArrayFillerOrUnionDecl);
2268
if (HasArrayFillerOrUnionDecl) {
2269
Record.push_back(static_cast<bool>(ArrayFiller));
2270
if (ArrayFiller)
2271
Record.AddStmt(ArrayFiller);
2272
else
2273
Record.AddDeclRef(UnionField);
2274
}
2275
Code = serialization::EXPR_CXX_PAREN_LIST_INIT;
2276
}
2277
2278
void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) {
2279
VisitExpr(E);
2280
Record.AddStmt(E->getSourceExpr());
2281
Record.AddSourceLocation(E->getLocation());
2282
Record.push_back(E->isUnique());
2283
Code = serialization::EXPR_OPAQUE_VALUE;
2284
}
2285
2286
void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) {
2287
VisitExpr(E);
2288
// TODO: Figure out sane writer behavior for a TypoExpr, if necessary
2289
llvm_unreachable("Cannot write TypoExpr nodes");
2290
}
2291
2292
//===----------------------------------------------------------------------===//
2293
// CUDA Expressions and Statements.
2294
//===----------------------------------------------------------------------===//
2295
2296
void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) {
2297
VisitCallExpr(E);
2298
Record.AddStmt(E->getConfig());
2299
Code = serialization::EXPR_CUDA_KERNEL_CALL;
2300
}
2301
2302
//===----------------------------------------------------------------------===//
2303
// OpenCL Expressions and Statements.
2304
//===----------------------------------------------------------------------===//
2305
void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) {
2306
VisitExpr(E);
2307
Record.AddSourceLocation(E->getBuiltinLoc());
2308
Record.AddSourceLocation(E->getRParenLoc());
2309
Record.AddStmt(E->getSrcExpr());
2310
Code = serialization::EXPR_ASTYPE;
2311
}
2312
2313
//===----------------------------------------------------------------------===//
2314
// Microsoft Expressions and Statements.
2315
//===----------------------------------------------------------------------===//
2316
void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) {
2317
VisitExpr(E);
2318
Record.push_back(E->isArrow());
2319
Record.AddStmt(E->getBaseExpr());
2320
Record.AddNestedNameSpecifierLoc(E->getQualifierLoc());
2321
Record.AddSourceLocation(E->getMemberLoc());
2322
Record.AddDeclRef(E->getPropertyDecl());
2323
Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR;
2324
}
2325
2326
void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) {
2327
VisitExpr(E);
2328
Record.AddStmt(E->getBase());
2329
Record.AddStmt(E->getIdx());
2330
Record.AddSourceLocation(E->getRBracketLoc());
2331
Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR;
2332
}
2333
2334
void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) {
2335
VisitExpr(E);
2336
Record.AddSourceRange(E->getSourceRange());
2337
Record.AddDeclRef(E->getGuidDecl());
2338
if (E->isTypeOperand()) {
2339
Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo());
2340
Code = serialization::EXPR_CXX_UUIDOF_TYPE;
2341
} else {
2342
Record.AddStmt(E->getExprOperand());
2343
Code = serialization::EXPR_CXX_UUIDOF_EXPR;
2344
}
2345
}
2346
2347
void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) {
2348
VisitStmt(S);
2349
Record.AddSourceLocation(S->getExceptLoc());
2350
Record.AddStmt(S->getFilterExpr());
2351
Record.AddStmt(S->getBlock());
2352
Code = serialization::STMT_SEH_EXCEPT;
2353
}
2354
2355
void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) {
2356
VisitStmt(S);
2357
Record.AddSourceLocation(S->getFinallyLoc());
2358
Record.AddStmt(S->getBlock());
2359
Code = serialization::STMT_SEH_FINALLY;
2360
}
2361
2362
void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) {
2363
VisitStmt(S);
2364
Record.push_back(S->getIsCXXTry());
2365
Record.AddSourceLocation(S->getTryLoc());
2366
Record.AddStmt(S->getTryBlock());
2367
Record.AddStmt(S->getHandler());
2368
Code = serialization::STMT_SEH_TRY;
2369
}
2370
2371
void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) {
2372
VisitStmt(S);
2373
Record.AddSourceLocation(S->getLeaveLoc());
2374
Code = serialization::STMT_SEH_LEAVE;
2375
}
2376
2377
//===----------------------------------------------------------------------===//
2378
// OpenMP Directives.
2379
//===----------------------------------------------------------------------===//
2380
2381
void ASTStmtWriter::VisitOMPCanonicalLoop(OMPCanonicalLoop *S) {
2382
VisitStmt(S);
2383
for (Stmt *SubStmt : S->SubStmts)
2384
Record.AddStmt(SubStmt);
2385
Code = serialization::STMT_OMP_CANONICAL_LOOP;
2386
}
2387
2388
void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) {
2389
Record.writeOMPChildren(E->Data);
2390
Record.AddSourceLocation(E->getBeginLoc());
2391
Record.AddSourceLocation(E->getEndLoc());
2392
Record.writeEnum(E->getMappedDirective());
2393
}
2394
2395
void ASTStmtWriter::VisitOMPLoopBasedDirective(OMPLoopBasedDirective *D) {
2396
VisitStmt(D);
2397
Record.writeUInt32(D->getLoopsNumber());
2398
VisitOMPExecutableDirective(D);
2399
}
2400
2401
void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) {
2402
VisitOMPLoopBasedDirective(D);
2403
}
2404
2405
void ASTStmtWriter::VisitOMPMetaDirective(OMPMetaDirective *D) {
2406
VisitStmt(D);
2407
Record.push_back(D->getNumClauses());
2408
VisitOMPExecutableDirective(D);
2409
Code = serialization::STMT_OMP_META_DIRECTIVE;
2410
}
2411
2412
void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) {
2413
VisitStmt(D);
2414
VisitOMPExecutableDirective(D);
2415
Record.writeBool(D->hasCancel());
2416
Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE;
2417
}
2418
2419
void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) {
2420
VisitOMPLoopDirective(D);
2421
Code = serialization::STMT_OMP_SIMD_DIRECTIVE;
2422
}
2423
2424
void ASTStmtWriter::VisitOMPLoopTransformationDirective(
2425
OMPLoopTransformationDirective *D) {
2426
VisitOMPLoopBasedDirective(D);
2427
Record.writeUInt32(D->getNumGeneratedLoops());
2428
}
2429
2430
void ASTStmtWriter::VisitOMPTileDirective(OMPTileDirective *D) {
2431
VisitOMPLoopTransformationDirective(D);
2432
Code = serialization::STMT_OMP_TILE_DIRECTIVE;
2433
}
2434
2435
void ASTStmtWriter::VisitOMPUnrollDirective(OMPUnrollDirective *D) {
2436
VisitOMPLoopTransformationDirective(D);
2437
Code = serialization::STMT_OMP_UNROLL_DIRECTIVE;
2438
}
2439
2440
void ASTStmtWriter::VisitOMPReverseDirective(OMPReverseDirective *D) {
2441
VisitOMPLoopTransformationDirective(D);
2442
Code = serialization::STMT_OMP_REVERSE_DIRECTIVE;
2443
}
2444
2445
void ASTStmtWriter::VisitOMPInterchangeDirective(OMPInterchangeDirective *D) {
2446
VisitOMPLoopTransformationDirective(D);
2447
Code = serialization::STMT_OMP_INTERCHANGE_DIRECTIVE;
2448
}
2449
2450
void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {
2451
VisitOMPLoopDirective(D);
2452
Record.writeBool(D->hasCancel());
2453
Code = serialization::STMT_OMP_FOR_DIRECTIVE;
2454
}
2455
2456
void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) {
2457
VisitOMPLoopDirective(D);
2458
Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE;
2459
}
2460
2461
void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) {
2462
VisitStmt(D);
2463
VisitOMPExecutableDirective(D);
2464
Record.writeBool(D->hasCancel());
2465
Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE;
2466
}
2467
2468
void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) {
2469
VisitStmt(D);
2470
VisitOMPExecutableDirective(D);
2471
Record.writeBool(D->hasCancel());
2472
Code = serialization::STMT_OMP_SECTION_DIRECTIVE;
2473
}
2474
2475
void ASTStmtWriter::VisitOMPScopeDirective(OMPScopeDirective *D) {
2476
VisitStmt(D);
2477
VisitOMPExecutableDirective(D);
2478
Code = serialization::STMT_OMP_SCOPE_DIRECTIVE;
2479
}
2480
2481
void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) {
2482
VisitStmt(D);
2483
VisitOMPExecutableDirective(D);
2484
Code = serialization::STMT_OMP_SINGLE_DIRECTIVE;
2485
}
2486
2487
void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) {
2488
VisitStmt(D);
2489
VisitOMPExecutableDirective(D);
2490
Code = serialization::STMT_OMP_MASTER_DIRECTIVE;
2491
}
2492
2493
void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) {
2494
VisitStmt(D);
2495
VisitOMPExecutableDirective(D);
2496
Record.AddDeclarationNameInfo(D->getDirectiveName());
2497
Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE;
2498
}
2499
2500
void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) {
2501
VisitOMPLoopDirective(D);
2502
Record.writeBool(D->hasCancel());
2503
Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE;
2504
}
2505
2506
void ASTStmtWriter::VisitOMPParallelForSimdDirective(
2507
OMPParallelForSimdDirective *D) {
2508
VisitOMPLoopDirective(D);
2509
Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE;
2510
}
2511
2512
void ASTStmtWriter::VisitOMPParallelMasterDirective(
2513
OMPParallelMasterDirective *D) {
2514
VisitStmt(D);
2515
VisitOMPExecutableDirective(D);
2516
Code = serialization::STMT_OMP_PARALLEL_MASTER_DIRECTIVE;
2517
}
2518
2519
void ASTStmtWriter::VisitOMPParallelMaskedDirective(
2520
OMPParallelMaskedDirective *D) {
2521
VisitStmt(D);
2522
VisitOMPExecutableDirective(D);
2523
Code = serialization::STMT_OMP_PARALLEL_MASKED_DIRECTIVE;
2524
}
2525
2526
void ASTStmtWriter::VisitOMPParallelSectionsDirective(
2527
OMPParallelSectionsDirective *D) {
2528
VisitStmt(D);
2529
VisitOMPExecutableDirective(D);
2530
Record.writeBool(D->hasCancel());
2531
Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE;
2532
}
2533
2534
void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) {
2535
VisitStmt(D);
2536
VisitOMPExecutableDirective(D);
2537
Record.writeBool(D->hasCancel());
2538
Code = serialization::STMT_OMP_TASK_DIRECTIVE;
2539
}
2540
2541
void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) {
2542
VisitStmt(D);
2543
VisitOMPExecutableDirective(D);
2544
Record.writeBool(D->isXLHSInRHSPart());
2545
Record.writeBool(D->isPostfixUpdate());
2546
Record.writeBool(D->isFailOnly());
2547
Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE;
2548
}
2549
2550
void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) {
2551
VisitStmt(D);
2552
VisitOMPExecutableDirective(D);
2553
Code = serialization::STMT_OMP_TARGET_DIRECTIVE;
2554
}
2555
2556
void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) {
2557
VisitStmt(D);
2558
VisitOMPExecutableDirective(D);
2559
Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE;
2560
}
2561
2562
void ASTStmtWriter::VisitOMPTargetEnterDataDirective(
2563
OMPTargetEnterDataDirective *D) {
2564
VisitStmt(D);
2565
VisitOMPExecutableDirective(D);
2566
Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE;
2567
}
2568
2569
void ASTStmtWriter::VisitOMPTargetExitDataDirective(
2570
OMPTargetExitDataDirective *D) {
2571
VisitStmt(D);
2572
VisitOMPExecutableDirective(D);
2573
Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE;
2574
}
2575
2576
void ASTStmtWriter::VisitOMPTargetParallelDirective(
2577
OMPTargetParallelDirective *D) {
2578
VisitStmt(D);
2579
VisitOMPExecutableDirective(D);
2580
Record.writeBool(D->hasCancel());
2581
Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE;
2582
}
2583
2584
void ASTStmtWriter::VisitOMPTargetParallelForDirective(
2585
OMPTargetParallelForDirective *D) {
2586
VisitOMPLoopDirective(D);
2587
Record.writeBool(D->hasCancel());
2588
Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE;
2589
}
2590
2591
void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) {
2592
VisitStmt(D);
2593
VisitOMPExecutableDirective(D);
2594
Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE;
2595
}
2596
2597
void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) {
2598
VisitStmt(D);
2599
VisitOMPExecutableDirective(D);
2600
Code = serialization::STMT_OMP_BARRIER_DIRECTIVE;
2601
}
2602
2603
void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) {
2604
VisitStmt(D);
2605
Record.push_back(D->getNumClauses());
2606
VisitOMPExecutableDirective(D);
2607
Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE;
2608
}
2609
2610
void ASTStmtWriter::VisitOMPErrorDirective(OMPErrorDirective *D) {
2611
VisitStmt(D);
2612
Record.push_back(D->getNumClauses());
2613
VisitOMPExecutableDirective(D);
2614
Code = serialization::STMT_OMP_ERROR_DIRECTIVE;
2615
}
2616
2617
void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) {
2618
VisitStmt(D);
2619
VisitOMPExecutableDirective(D);
2620
Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE;
2621
}
2622
2623
void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) {
2624
VisitStmt(D);
2625
VisitOMPExecutableDirective(D);
2626
Code = serialization::STMT_OMP_FLUSH_DIRECTIVE;
2627
}
2628
2629
void ASTStmtWriter::VisitOMPDepobjDirective(OMPDepobjDirective *D) {
2630
VisitStmt(D);
2631
VisitOMPExecutableDirective(D);
2632
Code = serialization::STMT_OMP_DEPOBJ_DIRECTIVE;
2633
}
2634
2635
void ASTStmtWriter::VisitOMPScanDirective(OMPScanDirective *D) {
2636
VisitStmt(D);
2637
VisitOMPExecutableDirective(D);
2638
Code = serialization::STMT_OMP_SCAN_DIRECTIVE;
2639
}
2640
2641
void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) {
2642
VisitStmt(D);
2643
VisitOMPExecutableDirective(D);
2644
Code = serialization::STMT_OMP_ORDERED_DIRECTIVE;
2645
}
2646
2647
void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) {
2648
VisitStmt(D);
2649
VisitOMPExecutableDirective(D);
2650
Code = serialization::STMT_OMP_TEAMS_DIRECTIVE;
2651
}
2652
2653
void ASTStmtWriter::VisitOMPCancellationPointDirective(
2654
OMPCancellationPointDirective *D) {
2655
VisitStmt(D);
2656
VisitOMPExecutableDirective(D);
2657
Record.writeEnum(D->getCancelRegion());
2658
Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE;
2659
}
2660
2661
void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) {
2662
VisitStmt(D);
2663
VisitOMPExecutableDirective(D);
2664
Record.writeEnum(D->getCancelRegion());
2665
Code = serialization::STMT_OMP_CANCEL_DIRECTIVE;
2666
}
2667
2668
void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) {
2669
VisitOMPLoopDirective(D);
2670
Record.writeBool(D->hasCancel());
2671
Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE;
2672
}
2673
2674
void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) {
2675
VisitOMPLoopDirective(D);
2676
Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE;
2677
}
2678
2679
void ASTStmtWriter::VisitOMPMasterTaskLoopDirective(
2680
OMPMasterTaskLoopDirective *D) {
2681
VisitOMPLoopDirective(D);
2682
Record.writeBool(D->hasCancel());
2683
Code = serialization::STMT_OMP_MASTER_TASKLOOP_DIRECTIVE;
2684
}
2685
2686
void ASTStmtWriter::VisitOMPMaskedTaskLoopDirective(
2687
OMPMaskedTaskLoopDirective *D) {
2688
VisitOMPLoopDirective(D);
2689
Record.writeBool(D->hasCancel());
2690
Code = serialization::STMT_OMP_MASKED_TASKLOOP_DIRECTIVE;
2691
}
2692
2693
void ASTStmtWriter::VisitOMPMasterTaskLoopSimdDirective(
2694
OMPMasterTaskLoopSimdDirective *D) {
2695
VisitOMPLoopDirective(D);
2696
Code = serialization::STMT_OMP_MASTER_TASKLOOP_SIMD_DIRECTIVE;
2697
}
2698
2699
void ASTStmtWriter::VisitOMPMaskedTaskLoopSimdDirective(
2700
OMPMaskedTaskLoopSimdDirective *D) {
2701
VisitOMPLoopDirective(D);
2702
Code = serialization::STMT_OMP_MASKED_TASKLOOP_SIMD_DIRECTIVE;
2703
}
2704
2705
void ASTStmtWriter::VisitOMPParallelMasterTaskLoopDirective(
2706
OMPParallelMasterTaskLoopDirective *D) {
2707
VisitOMPLoopDirective(D);
2708
Record.writeBool(D->hasCancel());
2709
Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_DIRECTIVE;
2710
}
2711
2712
void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopDirective(
2713
OMPParallelMaskedTaskLoopDirective *D) {
2714
VisitOMPLoopDirective(D);
2715
Record.writeBool(D->hasCancel());
2716
Code = serialization::STMT_OMP_PARALLEL_MASKED_TASKLOOP_DIRECTIVE;
2717
}
2718
2719
void ASTStmtWriter::VisitOMPParallelMasterTaskLoopSimdDirective(
2720
OMPParallelMasterTaskLoopSimdDirective *D) {
2721
VisitOMPLoopDirective(D);
2722
Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_SIMD_DIRECTIVE;
2723
}
2724
2725
void ASTStmtWriter::VisitOMPParallelMaskedTaskLoopSimdDirective(
2726
OMPParallelMaskedTaskLoopSimdDirective *D) {
2727
VisitOMPLoopDirective(D);
2728
Code = serialization::STMT_OMP_PARALLEL_MASKED_TASKLOOP_SIMD_DIRECTIVE;
2729
}
2730
2731
void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) {
2732
VisitOMPLoopDirective(D);
2733
Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE;
2734
}
2735
2736
void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) {
2737
VisitStmt(D);
2738
VisitOMPExecutableDirective(D);
2739
Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE;
2740
}
2741
2742
void ASTStmtWriter::VisitOMPDistributeParallelForDirective(
2743
OMPDistributeParallelForDirective *D) {
2744
VisitOMPLoopDirective(D);
2745
Record.writeBool(D->hasCancel());
2746
Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2747
}
2748
2749
void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective(
2750
OMPDistributeParallelForSimdDirective *D) {
2751
VisitOMPLoopDirective(D);
2752
Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2753
}
2754
2755
void ASTStmtWriter::VisitOMPDistributeSimdDirective(
2756
OMPDistributeSimdDirective *D) {
2757
VisitOMPLoopDirective(D);
2758
Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE;
2759
}
2760
2761
void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective(
2762
OMPTargetParallelForSimdDirective *D) {
2763
VisitOMPLoopDirective(D);
2764
Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE;
2765
}
2766
2767
void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) {
2768
VisitOMPLoopDirective(D);
2769
Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE;
2770
}
2771
2772
void ASTStmtWriter::VisitOMPTeamsDistributeDirective(
2773
OMPTeamsDistributeDirective *D) {
2774
VisitOMPLoopDirective(D);
2775
Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE;
2776
}
2777
2778
void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective(
2779
OMPTeamsDistributeSimdDirective *D) {
2780
VisitOMPLoopDirective(D);
2781
Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2782
}
2783
2784
void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective(
2785
OMPTeamsDistributeParallelForSimdDirective *D) {
2786
VisitOMPLoopDirective(D);
2787
Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2788
}
2789
2790
void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective(
2791
OMPTeamsDistributeParallelForDirective *D) {
2792
VisitOMPLoopDirective(D);
2793
Record.writeBool(D->hasCancel());
2794
Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2795
}
2796
2797
void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) {
2798
VisitStmt(D);
2799
VisitOMPExecutableDirective(D);
2800
Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE;
2801
}
2802
2803
void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective(
2804
OMPTargetTeamsDistributeDirective *D) {
2805
VisitOMPLoopDirective(D);
2806
Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE;
2807
}
2808
2809
void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective(
2810
OMPTargetTeamsDistributeParallelForDirective *D) {
2811
VisitOMPLoopDirective(D);
2812
Record.writeBool(D->hasCancel());
2813
Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE;
2814
}
2815
2816
void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
2817
OMPTargetTeamsDistributeParallelForSimdDirective *D) {
2818
VisitOMPLoopDirective(D);
2819
Code = serialization::
2820
STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE;
2821
}
2822
2823
void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective(
2824
OMPTargetTeamsDistributeSimdDirective *D) {
2825
VisitOMPLoopDirective(D);
2826
Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE;
2827
}
2828
2829
void ASTStmtWriter::VisitOMPInteropDirective(OMPInteropDirective *D) {
2830
VisitStmt(D);
2831
VisitOMPExecutableDirective(D);
2832
Code = serialization::STMT_OMP_INTEROP_DIRECTIVE;
2833
}
2834
2835
void ASTStmtWriter::VisitOMPDispatchDirective(OMPDispatchDirective *D) {
2836
VisitStmt(D);
2837
VisitOMPExecutableDirective(D);
2838
Record.AddSourceLocation(D->getTargetCallLoc());
2839
Code = serialization::STMT_OMP_DISPATCH_DIRECTIVE;
2840
}
2841
2842
void ASTStmtWriter::VisitOMPMaskedDirective(OMPMaskedDirective *D) {
2843
VisitStmt(D);
2844
VisitOMPExecutableDirective(D);
2845
Code = serialization::STMT_OMP_MASKED_DIRECTIVE;
2846
}
2847
2848
void ASTStmtWriter::VisitOMPGenericLoopDirective(OMPGenericLoopDirective *D) {
2849
VisitOMPLoopDirective(D);
2850
Code = serialization::STMT_OMP_GENERIC_LOOP_DIRECTIVE;
2851
}
2852
2853
void ASTStmtWriter::VisitOMPTeamsGenericLoopDirective(
2854
OMPTeamsGenericLoopDirective *D) {
2855
VisitOMPLoopDirective(D);
2856
Code = serialization::STMT_OMP_TEAMS_GENERIC_LOOP_DIRECTIVE;
2857
}
2858
2859
void ASTStmtWriter::VisitOMPTargetTeamsGenericLoopDirective(
2860
OMPTargetTeamsGenericLoopDirective *D) {
2861
VisitOMPLoopDirective(D);
2862
Record.writeBool(D->canBeParallelFor());
2863
Code = serialization::STMT_OMP_TARGET_TEAMS_GENERIC_LOOP_DIRECTIVE;
2864
}
2865
2866
void ASTStmtWriter::VisitOMPParallelGenericLoopDirective(
2867
OMPParallelGenericLoopDirective *D) {
2868
VisitOMPLoopDirective(D);
2869
Code = serialization::STMT_OMP_PARALLEL_GENERIC_LOOP_DIRECTIVE;
2870
}
2871
2872
void ASTStmtWriter::VisitOMPTargetParallelGenericLoopDirective(
2873
OMPTargetParallelGenericLoopDirective *D) {
2874
VisitOMPLoopDirective(D);
2875
Code = serialization::STMT_OMP_TARGET_PARALLEL_GENERIC_LOOP_DIRECTIVE;
2876
}
2877
2878
//===----------------------------------------------------------------------===//
2879
// OpenACC Constructs/Directives.
2880
//===----------------------------------------------------------------------===//
2881
void ASTStmtWriter::VisitOpenACCConstructStmt(OpenACCConstructStmt *S) {
2882
Record.push_back(S->clauses().size());
2883
Record.writeEnum(S->Kind);
2884
Record.AddSourceRange(S->Range);
2885
Record.AddSourceLocation(S->DirectiveLoc);
2886
Record.writeOpenACCClauseList(S->clauses());
2887
}
2888
2889
void ASTStmtWriter::VisitOpenACCAssociatedStmtConstruct(
2890
OpenACCAssociatedStmtConstruct *S) {
2891
VisitOpenACCConstructStmt(S);
2892
Record.AddStmt(S->getAssociatedStmt());
2893
}
2894
2895
void ASTStmtWriter::VisitOpenACCComputeConstruct(OpenACCComputeConstruct *S) {
2896
VisitStmt(S);
2897
VisitOpenACCAssociatedStmtConstruct(S);
2898
Code = serialization::STMT_OPENACC_COMPUTE_CONSTRUCT;
2899
}
2900
2901
void ASTStmtWriter::VisitOpenACCLoopConstruct(OpenACCLoopConstruct *S) {
2902
VisitStmt(S);
2903
VisitOpenACCAssociatedStmtConstruct(S);
2904
Code = serialization::STMT_OPENACC_LOOP_CONSTRUCT;
2905
}
2906
2907
//===----------------------------------------------------------------------===//
2908
// ASTWriter Implementation
2909
//===----------------------------------------------------------------------===//
2910
2911
unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) {
2912
assert(!SwitchCaseIDs.contains(S) && "SwitchCase recorded twice");
2913
unsigned NextID = SwitchCaseIDs.size();
2914
SwitchCaseIDs[S] = NextID;
2915
return NextID;
2916
}
2917
2918
unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) {
2919
assert(SwitchCaseIDs.contains(S) && "SwitchCase hasn't been seen yet");
2920
return SwitchCaseIDs[S];
2921
}
2922
2923
void ASTWriter::ClearSwitchCaseIDs() {
2924
SwitchCaseIDs.clear();
2925
}
2926
2927
/// Write the given substatement or subexpression to the
2928
/// bitstream.
2929
void ASTWriter::WriteSubStmt(Stmt *S) {
2930
RecordData Record;
2931
ASTStmtWriter Writer(*this, Record);
2932
++NumStatements;
2933
2934
if (!S) {
2935
Stream.EmitRecord(serialization::STMT_NULL_PTR, Record);
2936
return;
2937
}
2938
2939
llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S);
2940
if (I != SubStmtEntries.end()) {
2941
Record.push_back(I->second);
2942
Stream.EmitRecord(serialization::STMT_REF_PTR, Record);
2943
return;
2944
}
2945
2946
#ifndef NDEBUG
2947
assert(!ParentStmts.count(S) && "There is a Stmt cycle!");
2948
2949
struct ParentStmtInserterRAII {
2950
Stmt *S;
2951
llvm::DenseSet<Stmt *> &ParentStmts;
2952
2953
ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts)
2954
: S(S), ParentStmts(ParentStmts) {
2955
ParentStmts.insert(S);
2956
}
2957
~ParentStmtInserterRAII() {
2958
ParentStmts.erase(S);
2959
}
2960
};
2961
2962
ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts);
2963
#endif
2964
2965
Writer.Visit(S);
2966
2967
uint64_t Offset = Writer.Emit();
2968
SubStmtEntries[S] = Offset;
2969
}
2970
2971
/// Flush all of the statements that have been added to the
2972
/// queue via AddStmt().
2973
void ASTRecordWriter::FlushStmts() {
2974
// We expect to be the only consumer of the two temporary statement maps,
2975
// assert that they are empty.
2976
assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map");
2977
assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map");
2978
2979
for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
2980
Writer->WriteSubStmt(StmtsToEmit[I]);
2981
2982
assert(N == StmtsToEmit.size() && "record modified while being written!");
2983
2984
// Note that we are at the end of a full expression. Any
2985
// expression records that follow this one are part of a different
2986
// expression.
2987
Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>());
2988
2989
Writer->SubStmtEntries.clear();
2990
Writer->ParentStmts.clear();
2991
}
2992
2993
StmtsToEmit.clear();
2994
}
2995
2996
void ASTRecordWriter::FlushSubStmts() {
2997
// For a nested statement, write out the substatements in reverse order (so
2998
// that a simple stack machine can be used when loading), and don't emit a
2999
// STMT_STOP after each one.
3000
for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) {
3001
Writer->WriteSubStmt(StmtsToEmit[N - I - 1]);
3002
assert(N == StmtsToEmit.size() && "record modified while being written!");
3003
}
3004
3005
StmtsToEmit.clear();
3006
}
3007
3008