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/Serialization/ASTRecordWriter.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/StmtVisitor.h" 20 #include "clang/Lex/Token.h" 21 #include "llvm/Bitstream/BitstreamWriter.h" 22 using namespace clang; 23 24 //===----------------------------------------------------------------------===// 25 // Statement/expression serialization 26 //===----------------------------------------------------------------------===// 27 28 namespace clang { 29 30 class ASTStmtWriter : public StmtVisitor<ASTStmtWriter, void> { 31 ASTWriter &Writer; 32 ASTRecordWriter Record; 33 34 serialization::StmtCode Code; 35 unsigned AbbrevToUse; 36 37 public: 38 ASTStmtWriter(ASTWriter &Writer, ASTWriter::RecordData &Record) 39 : Writer(Writer), Record(Writer, Record), 40 Code(serialization::STMT_NULL_PTR), AbbrevToUse(0) {} 41 42 ASTStmtWriter(const ASTStmtWriter&) = delete; 43 44 uint64_t Emit() { 45 assert(Code != serialization::STMT_NULL_PTR && 46 "unhandled sub-statement writing AST file"); 47 return Record.EmitStmt(Code, AbbrevToUse); 48 } 49 50 void AddTemplateKWAndArgsInfo(const ASTTemplateKWAndArgsInfo &ArgInfo, 51 const TemplateArgumentLoc *Args); 52 53 void VisitStmt(Stmt *S); 54 #define STMT(Type, Base) \ 55 void Visit##Type(Type *); 56 #include "clang/AST/StmtNodes.inc" 57 }; 58 } 59 60 void ASTStmtWriter::AddTemplateKWAndArgsInfo( 61 const ASTTemplateKWAndArgsInfo &ArgInfo, const TemplateArgumentLoc *Args) { 62 Record.AddSourceLocation(ArgInfo.TemplateKWLoc); 63 Record.AddSourceLocation(ArgInfo.LAngleLoc); 64 Record.AddSourceLocation(ArgInfo.RAngleLoc); 65 for (unsigned i = 0; i != ArgInfo.NumTemplateArgs; ++i) 66 Record.AddTemplateArgumentLoc(Args[i]); 67 } 68 69 void ASTStmtWriter::VisitStmt(Stmt *S) { 70 Record.push_back(S->StmtBits.IsOMPStructuredBlock); 71 } 72 73 void ASTStmtWriter::VisitNullStmt(NullStmt *S) { 74 VisitStmt(S); 75 Record.AddSourceLocation(S->getSemiLoc()); 76 Record.push_back(S->NullStmtBits.HasLeadingEmptyMacro); 77 Code = serialization::STMT_NULL; 78 } 79 80 void ASTStmtWriter::VisitCompoundStmt(CompoundStmt *S) { 81 VisitStmt(S); 82 Record.push_back(S->size()); 83 for (auto *CS : S->body()) 84 Record.AddStmt(CS); 85 Record.AddSourceLocation(S->getLBracLoc()); 86 Record.AddSourceLocation(S->getRBracLoc()); 87 Code = serialization::STMT_COMPOUND; 88 } 89 90 void ASTStmtWriter::VisitSwitchCase(SwitchCase *S) { 91 VisitStmt(S); 92 Record.push_back(Writer.getSwitchCaseID(S)); 93 Record.AddSourceLocation(S->getKeywordLoc()); 94 Record.AddSourceLocation(S->getColonLoc()); 95 } 96 97 void ASTStmtWriter::VisitCaseStmt(CaseStmt *S) { 98 VisitSwitchCase(S); 99 Record.push_back(S->caseStmtIsGNURange()); 100 Record.AddStmt(S->getLHS()); 101 Record.AddStmt(S->getSubStmt()); 102 if (S->caseStmtIsGNURange()) { 103 Record.AddStmt(S->getRHS()); 104 Record.AddSourceLocation(S->getEllipsisLoc()); 105 } 106 Code = serialization::STMT_CASE; 107 } 108 109 void ASTStmtWriter::VisitDefaultStmt(DefaultStmt *S) { 110 VisitSwitchCase(S); 111 Record.AddStmt(S->getSubStmt()); 112 Code = serialization::STMT_DEFAULT; 113 } 114 115 void ASTStmtWriter::VisitLabelStmt(LabelStmt *S) { 116 VisitStmt(S); 117 Record.AddDeclRef(S->getDecl()); 118 Record.AddStmt(S->getSubStmt()); 119 Record.AddSourceLocation(S->getIdentLoc()); 120 Code = serialization::STMT_LABEL; 121 } 122 123 void ASTStmtWriter::VisitAttributedStmt(AttributedStmt *S) { 124 VisitStmt(S); 125 Record.push_back(S->getAttrs().size()); 126 Record.AddAttributes(S->getAttrs()); 127 Record.AddStmt(S->getSubStmt()); 128 Record.AddSourceLocation(S->getAttrLoc()); 129 Code = serialization::STMT_ATTRIBUTED; 130 } 131 132 void ASTStmtWriter::VisitIfStmt(IfStmt *S) { 133 VisitStmt(S); 134 135 bool HasElse = S->getElse() != nullptr; 136 bool HasVar = S->getConditionVariableDeclStmt() != nullptr; 137 bool HasInit = S->getInit() != nullptr; 138 139 Record.push_back(S->isConstexpr()); 140 Record.push_back(HasElse); 141 Record.push_back(HasVar); 142 Record.push_back(HasInit); 143 144 Record.AddStmt(S->getCond()); 145 Record.AddStmt(S->getThen()); 146 if (HasElse) 147 Record.AddStmt(S->getElse()); 148 if (HasVar) 149 Record.AddDeclRef(S->getConditionVariable()); 150 if (HasInit) 151 Record.AddStmt(S->getInit()); 152 153 Record.AddSourceLocation(S->getIfLoc()); 154 if (HasElse) 155 Record.AddSourceLocation(S->getElseLoc()); 156 157 Code = serialization::STMT_IF; 158 } 159 160 void ASTStmtWriter::VisitSwitchStmt(SwitchStmt *S) { 161 VisitStmt(S); 162 163 bool HasInit = S->getInit() != nullptr; 164 bool HasVar = S->getConditionVariableDeclStmt() != nullptr; 165 Record.push_back(HasInit); 166 Record.push_back(HasVar); 167 Record.push_back(S->isAllEnumCasesCovered()); 168 169 Record.AddStmt(S->getCond()); 170 Record.AddStmt(S->getBody()); 171 if (HasInit) 172 Record.AddStmt(S->getInit()); 173 if (HasVar) 174 Record.AddDeclRef(S->getConditionVariable()); 175 176 Record.AddSourceLocation(S->getSwitchLoc()); 177 178 for (SwitchCase *SC = S->getSwitchCaseList(); SC; 179 SC = SC->getNextSwitchCase()) 180 Record.push_back(Writer.RecordSwitchCaseID(SC)); 181 Code = serialization::STMT_SWITCH; 182 } 183 184 void ASTStmtWriter::VisitWhileStmt(WhileStmt *S) { 185 VisitStmt(S); 186 187 bool HasVar = S->getConditionVariableDeclStmt() != nullptr; 188 Record.push_back(HasVar); 189 190 Record.AddStmt(S->getCond()); 191 Record.AddStmt(S->getBody()); 192 if (HasVar) 193 Record.AddDeclRef(S->getConditionVariable()); 194 195 Record.AddSourceLocation(S->getWhileLoc()); 196 Code = serialization::STMT_WHILE; 197 } 198 199 void ASTStmtWriter::VisitDoStmt(DoStmt *S) { 200 VisitStmt(S); 201 Record.AddStmt(S->getCond()); 202 Record.AddStmt(S->getBody()); 203 Record.AddSourceLocation(S->getDoLoc()); 204 Record.AddSourceLocation(S->getWhileLoc()); 205 Record.AddSourceLocation(S->getRParenLoc()); 206 Code = serialization::STMT_DO; 207 } 208 209 void ASTStmtWriter::VisitForStmt(ForStmt *S) { 210 VisitStmt(S); 211 Record.AddStmt(S->getInit()); 212 Record.AddStmt(S->getCond()); 213 Record.AddDeclRef(S->getConditionVariable()); 214 Record.AddStmt(S->getInc()); 215 Record.AddStmt(S->getBody()); 216 Record.AddSourceLocation(S->getForLoc()); 217 Record.AddSourceLocation(S->getLParenLoc()); 218 Record.AddSourceLocation(S->getRParenLoc()); 219 Code = serialization::STMT_FOR; 220 } 221 222 void ASTStmtWriter::VisitGotoStmt(GotoStmt *S) { 223 VisitStmt(S); 224 Record.AddDeclRef(S->getLabel()); 225 Record.AddSourceLocation(S->getGotoLoc()); 226 Record.AddSourceLocation(S->getLabelLoc()); 227 Code = serialization::STMT_GOTO; 228 } 229 230 void ASTStmtWriter::VisitIndirectGotoStmt(IndirectGotoStmt *S) { 231 VisitStmt(S); 232 Record.AddSourceLocation(S->getGotoLoc()); 233 Record.AddSourceLocation(S->getStarLoc()); 234 Record.AddStmt(S->getTarget()); 235 Code = serialization::STMT_INDIRECT_GOTO; 236 } 237 238 void ASTStmtWriter::VisitContinueStmt(ContinueStmt *S) { 239 VisitStmt(S); 240 Record.AddSourceLocation(S->getContinueLoc()); 241 Code = serialization::STMT_CONTINUE; 242 } 243 244 void ASTStmtWriter::VisitBreakStmt(BreakStmt *S) { 245 VisitStmt(S); 246 Record.AddSourceLocation(S->getBreakLoc()); 247 Code = serialization::STMT_BREAK; 248 } 249 250 void ASTStmtWriter::VisitReturnStmt(ReturnStmt *S) { 251 VisitStmt(S); 252 253 bool HasNRVOCandidate = S->getNRVOCandidate() != nullptr; 254 Record.push_back(HasNRVOCandidate); 255 256 Record.AddStmt(S->getRetValue()); 257 if (HasNRVOCandidate) 258 Record.AddDeclRef(S->getNRVOCandidate()); 259 260 Record.AddSourceLocation(S->getReturnLoc()); 261 Code = serialization::STMT_RETURN; 262 } 263 264 void ASTStmtWriter::VisitDeclStmt(DeclStmt *S) { 265 VisitStmt(S); 266 Record.AddSourceLocation(S->getBeginLoc()); 267 Record.AddSourceLocation(S->getEndLoc()); 268 DeclGroupRef DG = S->getDeclGroup(); 269 for (DeclGroupRef::iterator D = DG.begin(), DEnd = DG.end(); D != DEnd; ++D) 270 Record.AddDeclRef(*D); 271 Code = serialization::STMT_DECL; 272 } 273 274 void ASTStmtWriter::VisitAsmStmt(AsmStmt *S) { 275 VisitStmt(S); 276 Record.push_back(S->getNumOutputs()); 277 Record.push_back(S->getNumInputs()); 278 Record.push_back(S->getNumClobbers()); 279 Record.AddSourceLocation(S->getAsmLoc()); 280 Record.push_back(S->isVolatile()); 281 Record.push_back(S->isSimple()); 282 } 283 284 void ASTStmtWriter::VisitGCCAsmStmt(GCCAsmStmt *S) { 285 VisitAsmStmt(S); 286 Record.push_back(S->getNumLabels()); 287 Record.AddSourceLocation(S->getRParenLoc()); 288 Record.AddStmt(S->getAsmString()); 289 290 // Outputs 291 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) { 292 Record.AddIdentifierRef(S->getOutputIdentifier(I)); 293 Record.AddStmt(S->getOutputConstraintLiteral(I)); 294 Record.AddStmt(S->getOutputExpr(I)); 295 } 296 297 // Inputs 298 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) { 299 Record.AddIdentifierRef(S->getInputIdentifier(I)); 300 Record.AddStmt(S->getInputConstraintLiteral(I)); 301 Record.AddStmt(S->getInputExpr(I)); 302 } 303 304 // Clobbers 305 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) 306 Record.AddStmt(S->getClobberStringLiteral(I)); 307 308 // Labels 309 for (auto *E : S->labels()) Record.AddStmt(E); 310 311 Code = serialization::STMT_GCCASM; 312 } 313 314 void ASTStmtWriter::VisitMSAsmStmt(MSAsmStmt *S) { 315 VisitAsmStmt(S); 316 Record.AddSourceLocation(S->getLBraceLoc()); 317 Record.AddSourceLocation(S->getEndLoc()); 318 Record.push_back(S->getNumAsmToks()); 319 Record.AddString(S->getAsmString()); 320 321 // Tokens 322 for (unsigned I = 0, N = S->getNumAsmToks(); I != N; ++I) { 323 // FIXME: Move this to ASTRecordWriter? 324 Writer.AddToken(S->getAsmToks()[I], Record.getRecordData()); 325 } 326 327 // Clobbers 328 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I) { 329 Record.AddString(S->getClobber(I)); 330 } 331 332 // Outputs 333 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) { 334 Record.AddStmt(S->getOutputExpr(I)); 335 Record.AddString(S->getOutputConstraint(I)); 336 } 337 338 // Inputs 339 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) { 340 Record.AddStmt(S->getInputExpr(I)); 341 Record.AddString(S->getInputConstraint(I)); 342 } 343 344 Code = serialization::STMT_MSASM; 345 } 346 347 void ASTStmtWriter::VisitCoroutineBodyStmt(CoroutineBodyStmt *CoroStmt) { 348 VisitStmt(CoroStmt); 349 Record.push_back(CoroStmt->getParamMoves().size()); 350 for (Stmt *S : CoroStmt->children()) 351 Record.AddStmt(S); 352 Code = serialization::STMT_COROUTINE_BODY; 353 } 354 355 void ASTStmtWriter::VisitCoreturnStmt(CoreturnStmt *S) { 356 VisitStmt(S); 357 Record.AddSourceLocation(S->getKeywordLoc()); 358 Record.AddStmt(S->getOperand()); 359 Record.AddStmt(S->getPromiseCall()); 360 Record.push_back(S->isImplicit()); 361 Code = serialization::STMT_CORETURN; 362 } 363 364 void ASTStmtWriter::VisitCoroutineSuspendExpr(CoroutineSuspendExpr *E) { 365 VisitExpr(E); 366 Record.AddSourceLocation(E->getKeywordLoc()); 367 for (Stmt *S : E->children()) 368 Record.AddStmt(S); 369 Record.AddStmt(E->getOpaqueValue()); 370 } 371 372 void ASTStmtWriter::VisitCoawaitExpr(CoawaitExpr *E) { 373 VisitCoroutineSuspendExpr(E); 374 Record.push_back(E->isImplicit()); 375 Code = serialization::EXPR_COAWAIT; 376 } 377 378 void ASTStmtWriter::VisitCoyieldExpr(CoyieldExpr *E) { 379 VisitCoroutineSuspendExpr(E); 380 Code = serialization::EXPR_COYIELD; 381 } 382 383 void ASTStmtWriter::VisitDependentCoawaitExpr(DependentCoawaitExpr *E) { 384 VisitExpr(E); 385 Record.AddSourceLocation(E->getKeywordLoc()); 386 for (Stmt *S : E->children()) 387 Record.AddStmt(S); 388 Code = serialization::EXPR_DEPENDENT_COAWAIT; 389 } 390 391 void ASTStmtWriter::VisitConceptSpecializationExpr( 392 ConceptSpecializationExpr *E) { 393 VisitExpr(E); 394 ArrayRef<TemplateArgument> TemplateArgs = E->getTemplateArguments(); 395 Record.push_back(TemplateArgs.size()); 396 Record.AddNestedNameSpecifierLoc(E->getNestedNameSpecifierLoc()); 397 Record.AddSourceLocation(E->getTemplateKWLoc()); 398 Record.AddDeclarationNameInfo(E->getConceptNameInfo()); 399 Record.AddDeclRef(E->getNamedConcept()); 400 Record.AddASTTemplateArgumentListInfo(E->getTemplateArgsAsWritten()); 401 for (const TemplateArgument &Arg : TemplateArgs) 402 Record.AddTemplateArgument(Arg); 403 const ASTConstraintSatisfaction &Satisfaction = E->getSatisfaction(); 404 Record.push_back(Satisfaction.IsSatisfied); 405 if (!Satisfaction.IsSatisfied) { 406 Record.push_back(Satisfaction.NumRecords); 407 for (const auto &DetailRecord : Satisfaction) { 408 Record.AddStmt(const_cast<Expr *>(DetailRecord.first)); 409 auto *E = DetailRecord.second.dyn_cast<Expr *>(); 410 Record.push_back(E == nullptr); 411 if (E) 412 Record.AddStmt(E); 413 else { 414 auto *Diag = DetailRecord.second.get<std::pair<SourceLocation, 415 StringRef> *>(); 416 Record.AddSourceLocation(Diag->first); 417 Record.AddString(Diag->second); 418 } 419 } 420 } 421 422 Code = serialization::EXPR_CONCEPT_SPECIALIZATION; 423 } 424 425 426 void ASTStmtWriter::VisitCapturedStmt(CapturedStmt *S) { 427 VisitStmt(S); 428 // NumCaptures 429 Record.push_back(std::distance(S->capture_begin(), S->capture_end())); 430 431 // CapturedDecl and captured region kind 432 Record.AddDeclRef(S->getCapturedDecl()); 433 Record.push_back(S->getCapturedRegionKind()); 434 435 Record.AddDeclRef(S->getCapturedRecordDecl()); 436 437 // Capture inits 438 for (auto *I : S->capture_inits()) 439 Record.AddStmt(I); 440 441 // Body 442 Record.AddStmt(S->getCapturedStmt()); 443 444 // Captures 445 for (const auto &I : S->captures()) { 446 if (I.capturesThis() || I.capturesVariableArrayType()) 447 Record.AddDeclRef(nullptr); 448 else 449 Record.AddDeclRef(I.getCapturedVar()); 450 Record.push_back(I.getCaptureKind()); 451 Record.AddSourceLocation(I.getLocation()); 452 } 453 454 Code = serialization::STMT_CAPTURED; 455 } 456 457 void ASTStmtWriter::VisitExpr(Expr *E) { 458 VisitStmt(E); 459 Record.AddTypeRef(E->getType()); 460 Record.push_back(E->isTypeDependent()); 461 Record.push_back(E->isValueDependent()); 462 Record.push_back(E->isInstantiationDependent()); 463 Record.push_back(E->containsUnexpandedParameterPack()); 464 Record.push_back(E->getValueKind()); 465 Record.push_back(E->getObjectKind()); 466 } 467 468 void ASTStmtWriter::VisitConstantExpr(ConstantExpr *E) { 469 VisitExpr(E); 470 Record.push_back(static_cast<uint64_t>(E->ConstantExprBits.ResultKind)); 471 switch (E->ConstantExprBits.ResultKind) { 472 case ConstantExpr::RSK_Int64: 473 Record.push_back(E->Int64Result()); 474 Record.push_back(E->ConstantExprBits.IsUnsigned | 475 E->ConstantExprBits.BitWidth << 1); 476 break; 477 case ConstantExpr::RSK_APValue: 478 Record.AddAPValue(E->APValueResult()); 479 } 480 Record.AddStmt(E->getSubExpr()); 481 Code = serialization::EXPR_CONSTANT; 482 } 483 484 void ASTStmtWriter::VisitPredefinedExpr(PredefinedExpr *E) { 485 VisitExpr(E); 486 487 bool HasFunctionName = E->getFunctionName() != nullptr; 488 Record.push_back(HasFunctionName); 489 Record.push_back(E->getIdentKind()); // FIXME: stable encoding 490 Record.AddSourceLocation(E->getLocation()); 491 if (HasFunctionName) 492 Record.AddStmt(E->getFunctionName()); 493 Code = serialization::EXPR_PREDEFINED; 494 } 495 496 void ASTStmtWriter::VisitDeclRefExpr(DeclRefExpr *E) { 497 VisitExpr(E); 498 499 Record.push_back(E->hasQualifier()); 500 Record.push_back(E->getDecl() != E->getFoundDecl()); 501 Record.push_back(E->hasTemplateKWAndArgsInfo()); 502 Record.push_back(E->hadMultipleCandidates()); 503 Record.push_back(E->refersToEnclosingVariableOrCapture()); 504 Record.push_back(E->isNonOdrUse()); 505 506 if (E->hasTemplateKWAndArgsInfo()) { 507 unsigned NumTemplateArgs = E->getNumTemplateArgs(); 508 Record.push_back(NumTemplateArgs); 509 } 510 511 DeclarationName::NameKind nk = (E->getDecl()->getDeclName().getNameKind()); 512 513 if ((!E->hasTemplateKWAndArgsInfo()) && (!E->hasQualifier()) && 514 (E->getDecl() == E->getFoundDecl()) && 515 nk == DeclarationName::Identifier && 516 !E->refersToEnclosingVariableOrCapture() && !E->isNonOdrUse()) { 517 AbbrevToUse = Writer.getDeclRefExprAbbrev(); 518 } 519 520 if (E->hasQualifier()) 521 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 522 523 if (E->getDecl() != E->getFoundDecl()) 524 Record.AddDeclRef(E->getFoundDecl()); 525 526 if (E->hasTemplateKWAndArgsInfo()) 527 AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(), 528 E->getTrailingObjects<TemplateArgumentLoc>()); 529 530 Record.AddDeclRef(E->getDecl()); 531 Record.AddSourceLocation(E->getLocation()); 532 Record.AddDeclarationNameLoc(E->DNLoc, E->getDecl()->getDeclName()); 533 Code = serialization::EXPR_DECL_REF; 534 } 535 536 void ASTStmtWriter::VisitIntegerLiteral(IntegerLiteral *E) { 537 VisitExpr(E); 538 Record.AddSourceLocation(E->getLocation()); 539 Record.AddAPInt(E->getValue()); 540 541 if (E->getValue().getBitWidth() == 32) { 542 AbbrevToUse = Writer.getIntegerLiteralAbbrev(); 543 } 544 545 Code = serialization::EXPR_INTEGER_LITERAL; 546 } 547 548 void ASTStmtWriter::VisitFixedPointLiteral(FixedPointLiteral *E) { 549 VisitExpr(E); 550 Record.AddSourceLocation(E->getLocation()); 551 Record.AddAPInt(E->getValue()); 552 Code = serialization::EXPR_INTEGER_LITERAL; 553 } 554 555 void ASTStmtWriter::VisitFloatingLiteral(FloatingLiteral *E) { 556 VisitExpr(E); 557 Record.push_back(E->getRawSemantics()); 558 Record.push_back(E->isExact()); 559 Record.AddAPFloat(E->getValue()); 560 Record.AddSourceLocation(E->getLocation()); 561 Code = serialization::EXPR_FLOATING_LITERAL; 562 } 563 564 void ASTStmtWriter::VisitImaginaryLiteral(ImaginaryLiteral *E) { 565 VisitExpr(E); 566 Record.AddStmt(E->getSubExpr()); 567 Code = serialization::EXPR_IMAGINARY_LITERAL; 568 } 569 570 void ASTStmtWriter::VisitStringLiteral(StringLiteral *E) { 571 VisitExpr(E); 572 573 // Store the various bits of data of StringLiteral. 574 Record.push_back(E->getNumConcatenated()); 575 Record.push_back(E->getLength()); 576 Record.push_back(E->getCharByteWidth()); 577 Record.push_back(E->getKind()); 578 Record.push_back(E->isPascal()); 579 580 // Store the trailing array of SourceLocation. 581 for (unsigned I = 0, N = E->getNumConcatenated(); I != N; ++I) 582 Record.AddSourceLocation(E->getStrTokenLoc(I)); 583 584 // Store the trailing array of char holding the string data. 585 StringRef StrData = E->getBytes(); 586 for (unsigned I = 0, N = E->getByteLength(); I != N; ++I) 587 Record.push_back(StrData[I]); 588 589 Code = serialization::EXPR_STRING_LITERAL; 590 } 591 592 void ASTStmtWriter::VisitCharacterLiteral(CharacterLiteral *E) { 593 VisitExpr(E); 594 Record.push_back(E->getValue()); 595 Record.AddSourceLocation(E->getLocation()); 596 Record.push_back(E->getKind()); 597 598 AbbrevToUse = Writer.getCharacterLiteralAbbrev(); 599 600 Code = serialization::EXPR_CHARACTER_LITERAL; 601 } 602 603 void ASTStmtWriter::VisitParenExpr(ParenExpr *E) { 604 VisitExpr(E); 605 Record.AddSourceLocation(E->getLParen()); 606 Record.AddSourceLocation(E->getRParen()); 607 Record.AddStmt(E->getSubExpr()); 608 Code = serialization::EXPR_PAREN; 609 } 610 611 void ASTStmtWriter::VisitParenListExpr(ParenListExpr *E) { 612 VisitExpr(E); 613 Record.push_back(E->getNumExprs()); 614 for (auto *SubStmt : E->exprs()) 615 Record.AddStmt(SubStmt); 616 Record.AddSourceLocation(E->getLParenLoc()); 617 Record.AddSourceLocation(E->getRParenLoc()); 618 Code = serialization::EXPR_PAREN_LIST; 619 } 620 621 void ASTStmtWriter::VisitUnaryOperator(UnaryOperator *E) { 622 VisitExpr(E); 623 Record.AddStmt(E->getSubExpr()); 624 Record.push_back(E->getOpcode()); // FIXME: stable encoding 625 Record.AddSourceLocation(E->getOperatorLoc()); 626 Record.push_back(E->canOverflow()); 627 Code = serialization::EXPR_UNARY_OPERATOR; 628 } 629 630 void ASTStmtWriter::VisitOffsetOfExpr(OffsetOfExpr *E) { 631 VisitExpr(E); 632 Record.push_back(E->getNumComponents()); 633 Record.push_back(E->getNumExpressions()); 634 Record.AddSourceLocation(E->getOperatorLoc()); 635 Record.AddSourceLocation(E->getRParenLoc()); 636 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 637 for (unsigned I = 0, N = E->getNumComponents(); I != N; ++I) { 638 const OffsetOfNode &ON = E->getComponent(I); 639 Record.push_back(ON.getKind()); // FIXME: Stable encoding 640 Record.AddSourceLocation(ON.getSourceRange().getBegin()); 641 Record.AddSourceLocation(ON.getSourceRange().getEnd()); 642 switch (ON.getKind()) { 643 case OffsetOfNode::Array: 644 Record.push_back(ON.getArrayExprIndex()); 645 break; 646 647 case OffsetOfNode::Field: 648 Record.AddDeclRef(ON.getField()); 649 break; 650 651 case OffsetOfNode::Identifier: 652 Record.AddIdentifierRef(ON.getFieldName()); 653 break; 654 655 case OffsetOfNode::Base: 656 Record.AddCXXBaseSpecifier(*ON.getBase()); 657 break; 658 } 659 } 660 for (unsigned I = 0, N = E->getNumExpressions(); I != N; ++I) 661 Record.AddStmt(E->getIndexExpr(I)); 662 Code = serialization::EXPR_OFFSETOF; 663 } 664 665 void ASTStmtWriter::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) { 666 VisitExpr(E); 667 Record.push_back(E->getKind()); 668 if (E->isArgumentType()) 669 Record.AddTypeSourceInfo(E->getArgumentTypeInfo()); 670 else { 671 Record.push_back(0); 672 Record.AddStmt(E->getArgumentExpr()); 673 } 674 Record.AddSourceLocation(E->getOperatorLoc()); 675 Record.AddSourceLocation(E->getRParenLoc()); 676 Code = serialization::EXPR_SIZEOF_ALIGN_OF; 677 } 678 679 void ASTStmtWriter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 680 VisitExpr(E); 681 Record.AddStmt(E->getLHS()); 682 Record.AddStmt(E->getRHS()); 683 Record.AddSourceLocation(E->getRBracketLoc()); 684 Code = serialization::EXPR_ARRAY_SUBSCRIPT; 685 } 686 687 void ASTStmtWriter::VisitOMPArraySectionExpr(OMPArraySectionExpr *E) { 688 VisitExpr(E); 689 Record.AddStmt(E->getBase()); 690 Record.AddStmt(E->getLowerBound()); 691 Record.AddStmt(E->getLength()); 692 Record.AddSourceLocation(E->getColonLoc()); 693 Record.AddSourceLocation(E->getRBracketLoc()); 694 Code = serialization::EXPR_OMP_ARRAY_SECTION; 695 } 696 697 void ASTStmtWriter::VisitCallExpr(CallExpr *E) { 698 VisitExpr(E); 699 Record.push_back(E->getNumArgs()); 700 Record.AddSourceLocation(E->getRParenLoc()); 701 Record.AddStmt(E->getCallee()); 702 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end(); 703 Arg != ArgEnd; ++Arg) 704 Record.AddStmt(*Arg); 705 Record.push_back(static_cast<unsigned>(E->getADLCallKind())); 706 Code = serialization::EXPR_CALL; 707 } 708 709 void ASTStmtWriter::VisitMemberExpr(MemberExpr *E) { 710 VisitExpr(E); 711 712 bool HasQualifier = E->hasQualifier(); 713 bool HasFoundDecl = 714 E->hasQualifierOrFoundDecl() && 715 (E->getFoundDecl().getDecl() != E->getMemberDecl() || 716 E->getFoundDecl().getAccess() != E->getMemberDecl()->getAccess()); 717 bool HasTemplateInfo = E->hasTemplateKWAndArgsInfo(); 718 unsigned NumTemplateArgs = E->getNumTemplateArgs(); 719 720 // Write these first for easy access when deserializing, as they affect the 721 // size of the MemberExpr. 722 Record.push_back(HasQualifier); 723 Record.push_back(HasFoundDecl); 724 Record.push_back(HasTemplateInfo); 725 Record.push_back(NumTemplateArgs); 726 727 Record.AddStmt(E->getBase()); 728 Record.AddDeclRef(E->getMemberDecl()); 729 Record.AddDeclarationNameLoc(E->MemberDNLoc, 730 E->getMemberDecl()->getDeclName()); 731 Record.AddSourceLocation(E->getMemberLoc()); 732 Record.push_back(E->isArrow()); 733 Record.push_back(E->hadMultipleCandidates()); 734 Record.push_back(E->isNonOdrUse()); 735 Record.AddSourceLocation(E->getOperatorLoc()); 736 737 if (HasFoundDecl) { 738 DeclAccessPair FoundDecl = E->getFoundDecl(); 739 Record.AddDeclRef(FoundDecl.getDecl()); 740 Record.push_back(FoundDecl.getAccess()); 741 } 742 743 if (HasQualifier) 744 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 745 746 if (HasTemplateInfo) 747 AddTemplateKWAndArgsInfo(*E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(), 748 E->getTrailingObjects<TemplateArgumentLoc>()); 749 750 Code = serialization::EXPR_MEMBER; 751 } 752 753 void ASTStmtWriter::VisitObjCIsaExpr(ObjCIsaExpr *E) { 754 VisitExpr(E); 755 Record.AddStmt(E->getBase()); 756 Record.AddSourceLocation(E->getIsaMemberLoc()); 757 Record.AddSourceLocation(E->getOpLoc()); 758 Record.push_back(E->isArrow()); 759 Code = serialization::EXPR_OBJC_ISA; 760 } 761 762 void ASTStmtWriter:: 763 VisitObjCIndirectCopyRestoreExpr(ObjCIndirectCopyRestoreExpr *E) { 764 VisitExpr(E); 765 Record.AddStmt(E->getSubExpr()); 766 Record.push_back(E->shouldCopy()); 767 Code = serialization::EXPR_OBJC_INDIRECT_COPY_RESTORE; 768 } 769 770 void ASTStmtWriter::VisitObjCBridgedCastExpr(ObjCBridgedCastExpr *E) { 771 VisitExplicitCastExpr(E); 772 Record.AddSourceLocation(E->getLParenLoc()); 773 Record.AddSourceLocation(E->getBridgeKeywordLoc()); 774 Record.push_back(E->getBridgeKind()); // FIXME: Stable encoding 775 Code = serialization::EXPR_OBJC_BRIDGED_CAST; 776 } 777 778 void ASTStmtWriter::VisitCastExpr(CastExpr *E) { 779 VisitExpr(E); 780 Record.push_back(E->path_size()); 781 Record.AddStmt(E->getSubExpr()); 782 Record.push_back(E->getCastKind()); // FIXME: stable encoding 783 784 for (CastExpr::path_iterator 785 PI = E->path_begin(), PE = E->path_end(); PI != PE; ++PI) 786 Record.AddCXXBaseSpecifier(**PI); 787 } 788 789 void ASTStmtWriter::VisitBinaryOperator(BinaryOperator *E) { 790 VisitExpr(E); 791 Record.AddStmt(E->getLHS()); 792 Record.AddStmt(E->getRHS()); 793 Record.push_back(E->getOpcode()); // FIXME: stable encoding 794 Record.AddSourceLocation(E->getOperatorLoc()); 795 Record.push_back(E->getFPFeatures().getInt()); 796 Code = serialization::EXPR_BINARY_OPERATOR; 797 } 798 799 void ASTStmtWriter::VisitCompoundAssignOperator(CompoundAssignOperator *E) { 800 VisitBinaryOperator(E); 801 Record.AddTypeRef(E->getComputationLHSType()); 802 Record.AddTypeRef(E->getComputationResultType()); 803 Code = serialization::EXPR_COMPOUND_ASSIGN_OPERATOR; 804 } 805 806 void ASTStmtWriter::VisitConditionalOperator(ConditionalOperator *E) { 807 VisitExpr(E); 808 Record.AddStmt(E->getCond()); 809 Record.AddStmt(E->getLHS()); 810 Record.AddStmt(E->getRHS()); 811 Record.AddSourceLocation(E->getQuestionLoc()); 812 Record.AddSourceLocation(E->getColonLoc()); 813 Code = serialization::EXPR_CONDITIONAL_OPERATOR; 814 } 815 816 void 817 ASTStmtWriter::VisitBinaryConditionalOperator(BinaryConditionalOperator *E) { 818 VisitExpr(E); 819 Record.AddStmt(E->getOpaqueValue()); 820 Record.AddStmt(E->getCommon()); 821 Record.AddStmt(E->getCond()); 822 Record.AddStmt(E->getTrueExpr()); 823 Record.AddStmt(E->getFalseExpr()); 824 Record.AddSourceLocation(E->getQuestionLoc()); 825 Record.AddSourceLocation(E->getColonLoc()); 826 Code = serialization::EXPR_BINARY_CONDITIONAL_OPERATOR; 827 } 828 829 void ASTStmtWriter::VisitImplicitCastExpr(ImplicitCastExpr *E) { 830 VisitCastExpr(E); 831 Record.push_back(E->isPartOfExplicitCast()); 832 833 if (E->path_size() == 0) 834 AbbrevToUse = Writer.getExprImplicitCastAbbrev(); 835 836 Code = serialization::EXPR_IMPLICIT_CAST; 837 } 838 839 void ASTStmtWriter::VisitExplicitCastExpr(ExplicitCastExpr *E) { 840 VisitCastExpr(E); 841 Record.AddTypeSourceInfo(E->getTypeInfoAsWritten()); 842 } 843 844 void ASTStmtWriter::VisitCStyleCastExpr(CStyleCastExpr *E) { 845 VisitExplicitCastExpr(E); 846 Record.AddSourceLocation(E->getLParenLoc()); 847 Record.AddSourceLocation(E->getRParenLoc()); 848 Code = serialization::EXPR_CSTYLE_CAST; 849 } 850 851 void ASTStmtWriter::VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 852 VisitExpr(E); 853 Record.AddSourceLocation(E->getLParenLoc()); 854 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 855 Record.AddStmt(E->getInitializer()); 856 Record.push_back(E->isFileScope()); 857 Code = serialization::EXPR_COMPOUND_LITERAL; 858 } 859 860 void ASTStmtWriter::VisitExtVectorElementExpr(ExtVectorElementExpr *E) { 861 VisitExpr(E); 862 Record.AddStmt(E->getBase()); 863 Record.AddIdentifierRef(&E->getAccessor()); 864 Record.AddSourceLocation(E->getAccessorLoc()); 865 Code = serialization::EXPR_EXT_VECTOR_ELEMENT; 866 } 867 868 void ASTStmtWriter::VisitInitListExpr(InitListExpr *E) { 869 VisitExpr(E); 870 // NOTE: only add the (possibly null) syntactic form. 871 // No need to serialize the isSemanticForm flag and the semantic form. 872 Record.AddStmt(E->getSyntacticForm()); 873 Record.AddSourceLocation(E->getLBraceLoc()); 874 Record.AddSourceLocation(E->getRBraceLoc()); 875 bool isArrayFiller = E->ArrayFillerOrUnionFieldInit.is<Expr*>(); 876 Record.push_back(isArrayFiller); 877 if (isArrayFiller) 878 Record.AddStmt(E->getArrayFiller()); 879 else 880 Record.AddDeclRef(E->getInitializedFieldInUnion()); 881 Record.push_back(E->hadArrayRangeDesignator()); 882 Record.push_back(E->getNumInits()); 883 if (isArrayFiller) { 884 // ArrayFiller may have filled "holes" due to designated initializer. 885 // Replace them by 0 to indicate that the filler goes in that place. 886 Expr *filler = E->getArrayFiller(); 887 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I) 888 Record.AddStmt(E->getInit(I) != filler ? E->getInit(I) : nullptr); 889 } else { 890 for (unsigned I = 0, N = E->getNumInits(); I != N; ++I) 891 Record.AddStmt(E->getInit(I)); 892 } 893 Code = serialization::EXPR_INIT_LIST; 894 } 895 896 void ASTStmtWriter::VisitDesignatedInitExpr(DesignatedInitExpr *E) { 897 VisitExpr(E); 898 Record.push_back(E->getNumSubExprs()); 899 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I) 900 Record.AddStmt(E->getSubExpr(I)); 901 Record.AddSourceLocation(E->getEqualOrColonLoc()); 902 Record.push_back(E->usesGNUSyntax()); 903 for (const DesignatedInitExpr::Designator &D : E->designators()) { 904 if (D.isFieldDesignator()) { 905 if (FieldDecl *Field = D.getField()) { 906 Record.push_back(serialization::DESIG_FIELD_DECL); 907 Record.AddDeclRef(Field); 908 } else { 909 Record.push_back(serialization::DESIG_FIELD_NAME); 910 Record.AddIdentifierRef(D.getFieldName()); 911 } 912 Record.AddSourceLocation(D.getDotLoc()); 913 Record.AddSourceLocation(D.getFieldLoc()); 914 } else if (D.isArrayDesignator()) { 915 Record.push_back(serialization::DESIG_ARRAY); 916 Record.push_back(D.getFirstExprIndex()); 917 Record.AddSourceLocation(D.getLBracketLoc()); 918 Record.AddSourceLocation(D.getRBracketLoc()); 919 } else { 920 assert(D.isArrayRangeDesignator() && "Unknown designator"); 921 Record.push_back(serialization::DESIG_ARRAY_RANGE); 922 Record.push_back(D.getFirstExprIndex()); 923 Record.AddSourceLocation(D.getLBracketLoc()); 924 Record.AddSourceLocation(D.getEllipsisLoc()); 925 Record.AddSourceLocation(D.getRBracketLoc()); 926 } 927 } 928 Code = serialization::EXPR_DESIGNATED_INIT; 929 } 930 931 void ASTStmtWriter::VisitDesignatedInitUpdateExpr(DesignatedInitUpdateExpr *E) { 932 VisitExpr(E); 933 Record.AddStmt(E->getBase()); 934 Record.AddStmt(E->getUpdater()); 935 Code = serialization::EXPR_DESIGNATED_INIT_UPDATE; 936 } 937 938 void ASTStmtWriter::VisitNoInitExpr(NoInitExpr *E) { 939 VisitExpr(E); 940 Code = serialization::EXPR_NO_INIT; 941 } 942 943 void ASTStmtWriter::VisitArrayInitLoopExpr(ArrayInitLoopExpr *E) { 944 VisitExpr(E); 945 Record.AddStmt(E->SubExprs[0]); 946 Record.AddStmt(E->SubExprs[1]); 947 Code = serialization::EXPR_ARRAY_INIT_LOOP; 948 } 949 950 void ASTStmtWriter::VisitArrayInitIndexExpr(ArrayInitIndexExpr *E) { 951 VisitExpr(E); 952 Code = serialization::EXPR_ARRAY_INIT_INDEX; 953 } 954 955 void ASTStmtWriter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) { 956 VisitExpr(E); 957 Code = serialization::EXPR_IMPLICIT_VALUE_INIT; 958 } 959 960 void ASTStmtWriter::VisitVAArgExpr(VAArgExpr *E) { 961 VisitExpr(E); 962 Record.AddStmt(E->getSubExpr()); 963 Record.AddTypeSourceInfo(E->getWrittenTypeInfo()); 964 Record.AddSourceLocation(E->getBuiltinLoc()); 965 Record.AddSourceLocation(E->getRParenLoc()); 966 Record.push_back(E->isMicrosoftABI()); 967 Code = serialization::EXPR_VA_ARG; 968 } 969 970 void ASTStmtWriter::VisitSourceLocExpr(SourceLocExpr *E) { 971 VisitExpr(E); 972 Record.AddDeclRef(cast_or_null<Decl>(E->getParentContext())); 973 Record.AddSourceLocation(E->getBeginLoc()); 974 Record.AddSourceLocation(E->getEndLoc()); 975 Record.push_back(E->getIdentKind()); 976 Code = serialization::EXPR_SOURCE_LOC; 977 } 978 979 void ASTStmtWriter::VisitAddrLabelExpr(AddrLabelExpr *E) { 980 VisitExpr(E); 981 Record.AddSourceLocation(E->getAmpAmpLoc()); 982 Record.AddSourceLocation(E->getLabelLoc()); 983 Record.AddDeclRef(E->getLabel()); 984 Code = serialization::EXPR_ADDR_LABEL; 985 } 986 987 void ASTStmtWriter::VisitStmtExpr(StmtExpr *E) { 988 VisitExpr(E); 989 Record.AddStmt(E->getSubStmt()); 990 Record.AddSourceLocation(E->getLParenLoc()); 991 Record.AddSourceLocation(E->getRParenLoc()); 992 Code = serialization::EXPR_STMT; 993 } 994 995 void ASTStmtWriter::VisitChooseExpr(ChooseExpr *E) { 996 VisitExpr(E); 997 Record.AddStmt(E->getCond()); 998 Record.AddStmt(E->getLHS()); 999 Record.AddStmt(E->getRHS()); 1000 Record.AddSourceLocation(E->getBuiltinLoc()); 1001 Record.AddSourceLocation(E->getRParenLoc()); 1002 Record.push_back(E->isConditionDependent() ? false : E->isConditionTrue()); 1003 Code = serialization::EXPR_CHOOSE; 1004 } 1005 1006 void ASTStmtWriter::VisitGNUNullExpr(GNUNullExpr *E) { 1007 VisitExpr(E); 1008 Record.AddSourceLocation(E->getTokenLocation()); 1009 Code = serialization::EXPR_GNU_NULL; 1010 } 1011 1012 void ASTStmtWriter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) { 1013 VisitExpr(E); 1014 Record.push_back(E->getNumSubExprs()); 1015 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I) 1016 Record.AddStmt(E->getExpr(I)); 1017 Record.AddSourceLocation(E->getBuiltinLoc()); 1018 Record.AddSourceLocation(E->getRParenLoc()); 1019 Code = serialization::EXPR_SHUFFLE_VECTOR; 1020 } 1021 1022 void ASTStmtWriter::VisitConvertVectorExpr(ConvertVectorExpr *E) { 1023 VisitExpr(E); 1024 Record.AddSourceLocation(E->getBuiltinLoc()); 1025 Record.AddSourceLocation(E->getRParenLoc()); 1026 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1027 Record.AddStmt(E->getSrcExpr()); 1028 Code = serialization::EXPR_CONVERT_VECTOR; 1029 } 1030 1031 void ASTStmtWriter::VisitBlockExpr(BlockExpr *E) { 1032 VisitExpr(E); 1033 Record.AddDeclRef(E->getBlockDecl()); 1034 Code = serialization::EXPR_BLOCK; 1035 } 1036 1037 void ASTStmtWriter::VisitGenericSelectionExpr(GenericSelectionExpr *E) { 1038 VisitExpr(E); 1039 1040 Record.push_back(E->getNumAssocs()); 1041 Record.push_back(E->ResultIndex); 1042 Record.AddSourceLocation(E->getGenericLoc()); 1043 Record.AddSourceLocation(E->getDefaultLoc()); 1044 Record.AddSourceLocation(E->getRParenLoc()); 1045 1046 Stmt **Stmts = E->getTrailingObjects<Stmt *>(); 1047 // Add 1 to account for the controlling expression which is the first 1048 // expression in the trailing array of Stmt *. This is not needed for 1049 // the trailing array of TypeSourceInfo *. 1050 for (unsigned I = 0, N = E->getNumAssocs() + 1; I < N; ++I) 1051 Record.AddStmt(Stmts[I]); 1052 1053 TypeSourceInfo **TSIs = E->getTrailingObjects<TypeSourceInfo *>(); 1054 for (unsigned I = 0, N = E->getNumAssocs(); I < N; ++I) 1055 Record.AddTypeSourceInfo(TSIs[I]); 1056 1057 Code = serialization::EXPR_GENERIC_SELECTION; 1058 } 1059 1060 void ASTStmtWriter::VisitPseudoObjectExpr(PseudoObjectExpr *E) { 1061 VisitExpr(E); 1062 Record.push_back(E->getNumSemanticExprs()); 1063 1064 // Push the result index. Currently, this needs to exactly match 1065 // the encoding used internally for ResultIndex. 1066 unsigned result = E->getResultExprIndex(); 1067 result = (result == PseudoObjectExpr::NoResult ? 0 : result + 1); 1068 Record.push_back(result); 1069 1070 Record.AddStmt(E->getSyntacticForm()); 1071 for (PseudoObjectExpr::semantics_iterator 1072 i = E->semantics_begin(), e = E->semantics_end(); i != e; ++i) { 1073 Record.AddStmt(*i); 1074 } 1075 Code = serialization::EXPR_PSEUDO_OBJECT; 1076 } 1077 1078 void ASTStmtWriter::VisitAtomicExpr(AtomicExpr *E) { 1079 VisitExpr(E); 1080 Record.push_back(E->getOp()); 1081 for (unsigned I = 0, N = E->getNumSubExprs(); I != N; ++I) 1082 Record.AddStmt(E->getSubExprs()[I]); 1083 Record.AddSourceLocation(E->getBuiltinLoc()); 1084 Record.AddSourceLocation(E->getRParenLoc()); 1085 Code = serialization::EXPR_ATOMIC; 1086 } 1087 1088 //===----------------------------------------------------------------------===// 1089 // Objective-C Expressions and Statements. 1090 //===----------------------------------------------------------------------===// 1091 1092 void ASTStmtWriter::VisitObjCStringLiteral(ObjCStringLiteral *E) { 1093 VisitExpr(E); 1094 Record.AddStmt(E->getString()); 1095 Record.AddSourceLocation(E->getAtLoc()); 1096 Code = serialization::EXPR_OBJC_STRING_LITERAL; 1097 } 1098 1099 void ASTStmtWriter::VisitObjCBoxedExpr(ObjCBoxedExpr *E) { 1100 VisitExpr(E); 1101 Record.AddStmt(E->getSubExpr()); 1102 Record.AddDeclRef(E->getBoxingMethod()); 1103 Record.AddSourceRange(E->getSourceRange()); 1104 Code = serialization::EXPR_OBJC_BOXED_EXPRESSION; 1105 } 1106 1107 void ASTStmtWriter::VisitObjCArrayLiteral(ObjCArrayLiteral *E) { 1108 VisitExpr(E); 1109 Record.push_back(E->getNumElements()); 1110 for (unsigned i = 0; i < E->getNumElements(); i++) 1111 Record.AddStmt(E->getElement(i)); 1112 Record.AddDeclRef(E->getArrayWithObjectsMethod()); 1113 Record.AddSourceRange(E->getSourceRange()); 1114 Code = serialization::EXPR_OBJC_ARRAY_LITERAL; 1115 } 1116 1117 void ASTStmtWriter::VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) { 1118 VisitExpr(E); 1119 Record.push_back(E->getNumElements()); 1120 Record.push_back(E->HasPackExpansions); 1121 for (unsigned i = 0; i < E->getNumElements(); i++) { 1122 ObjCDictionaryElement Element = E->getKeyValueElement(i); 1123 Record.AddStmt(Element.Key); 1124 Record.AddStmt(Element.Value); 1125 if (E->HasPackExpansions) { 1126 Record.AddSourceLocation(Element.EllipsisLoc); 1127 unsigned NumExpansions = 0; 1128 if (Element.NumExpansions) 1129 NumExpansions = *Element.NumExpansions + 1; 1130 Record.push_back(NumExpansions); 1131 } 1132 } 1133 1134 Record.AddDeclRef(E->getDictWithObjectsMethod()); 1135 Record.AddSourceRange(E->getSourceRange()); 1136 Code = serialization::EXPR_OBJC_DICTIONARY_LITERAL; 1137 } 1138 1139 void ASTStmtWriter::VisitObjCEncodeExpr(ObjCEncodeExpr *E) { 1140 VisitExpr(E); 1141 Record.AddTypeSourceInfo(E->getEncodedTypeSourceInfo()); 1142 Record.AddSourceLocation(E->getAtLoc()); 1143 Record.AddSourceLocation(E->getRParenLoc()); 1144 Code = serialization::EXPR_OBJC_ENCODE; 1145 } 1146 1147 void ASTStmtWriter::VisitObjCSelectorExpr(ObjCSelectorExpr *E) { 1148 VisitExpr(E); 1149 Record.AddSelectorRef(E->getSelector()); 1150 Record.AddSourceLocation(E->getAtLoc()); 1151 Record.AddSourceLocation(E->getRParenLoc()); 1152 Code = serialization::EXPR_OBJC_SELECTOR_EXPR; 1153 } 1154 1155 void ASTStmtWriter::VisitObjCProtocolExpr(ObjCProtocolExpr *E) { 1156 VisitExpr(E); 1157 Record.AddDeclRef(E->getProtocol()); 1158 Record.AddSourceLocation(E->getAtLoc()); 1159 Record.AddSourceLocation(E->ProtoLoc); 1160 Record.AddSourceLocation(E->getRParenLoc()); 1161 Code = serialization::EXPR_OBJC_PROTOCOL_EXPR; 1162 } 1163 1164 void ASTStmtWriter::VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 1165 VisitExpr(E); 1166 Record.AddDeclRef(E->getDecl()); 1167 Record.AddSourceLocation(E->getLocation()); 1168 Record.AddSourceLocation(E->getOpLoc()); 1169 Record.AddStmt(E->getBase()); 1170 Record.push_back(E->isArrow()); 1171 Record.push_back(E->isFreeIvar()); 1172 Code = serialization::EXPR_OBJC_IVAR_REF_EXPR; 1173 } 1174 1175 void ASTStmtWriter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { 1176 VisitExpr(E); 1177 Record.push_back(E->SetterAndMethodRefFlags.getInt()); 1178 Record.push_back(E->isImplicitProperty()); 1179 if (E->isImplicitProperty()) { 1180 Record.AddDeclRef(E->getImplicitPropertyGetter()); 1181 Record.AddDeclRef(E->getImplicitPropertySetter()); 1182 } else { 1183 Record.AddDeclRef(E->getExplicitProperty()); 1184 } 1185 Record.AddSourceLocation(E->getLocation()); 1186 Record.AddSourceLocation(E->getReceiverLocation()); 1187 if (E->isObjectReceiver()) { 1188 Record.push_back(0); 1189 Record.AddStmt(E->getBase()); 1190 } else if (E->isSuperReceiver()) { 1191 Record.push_back(1); 1192 Record.AddTypeRef(E->getSuperReceiverType()); 1193 } else { 1194 Record.push_back(2); 1195 Record.AddDeclRef(E->getClassReceiver()); 1196 } 1197 1198 Code = serialization::EXPR_OBJC_PROPERTY_REF_EXPR; 1199 } 1200 1201 void ASTStmtWriter::VisitObjCSubscriptRefExpr(ObjCSubscriptRefExpr *E) { 1202 VisitExpr(E); 1203 Record.AddSourceLocation(E->getRBracket()); 1204 Record.AddStmt(E->getBaseExpr()); 1205 Record.AddStmt(E->getKeyExpr()); 1206 Record.AddDeclRef(E->getAtIndexMethodDecl()); 1207 Record.AddDeclRef(E->setAtIndexMethodDecl()); 1208 1209 Code = serialization::EXPR_OBJC_SUBSCRIPT_REF_EXPR; 1210 } 1211 1212 void ASTStmtWriter::VisitObjCMessageExpr(ObjCMessageExpr *E) { 1213 VisitExpr(E); 1214 Record.push_back(E->getNumArgs()); 1215 Record.push_back(E->getNumStoredSelLocs()); 1216 Record.push_back(E->SelLocsKind); 1217 Record.push_back(E->isDelegateInitCall()); 1218 Record.push_back(E->IsImplicit); 1219 Record.push_back((unsigned)E->getReceiverKind()); // FIXME: stable encoding 1220 switch (E->getReceiverKind()) { 1221 case ObjCMessageExpr::Instance: 1222 Record.AddStmt(E->getInstanceReceiver()); 1223 break; 1224 1225 case ObjCMessageExpr::Class: 1226 Record.AddTypeSourceInfo(E->getClassReceiverTypeInfo()); 1227 break; 1228 1229 case ObjCMessageExpr::SuperClass: 1230 case ObjCMessageExpr::SuperInstance: 1231 Record.AddTypeRef(E->getSuperType()); 1232 Record.AddSourceLocation(E->getSuperLoc()); 1233 break; 1234 } 1235 1236 if (E->getMethodDecl()) { 1237 Record.push_back(1); 1238 Record.AddDeclRef(E->getMethodDecl()); 1239 } else { 1240 Record.push_back(0); 1241 Record.AddSelectorRef(E->getSelector()); 1242 } 1243 1244 Record.AddSourceLocation(E->getLeftLoc()); 1245 Record.AddSourceLocation(E->getRightLoc()); 1246 1247 for (CallExpr::arg_iterator Arg = E->arg_begin(), ArgEnd = E->arg_end(); 1248 Arg != ArgEnd; ++Arg) 1249 Record.AddStmt(*Arg); 1250 1251 SourceLocation *Locs = E->getStoredSelLocs(); 1252 for (unsigned i = 0, e = E->getNumStoredSelLocs(); i != e; ++i) 1253 Record.AddSourceLocation(Locs[i]); 1254 1255 Code = serialization::EXPR_OBJC_MESSAGE_EXPR; 1256 } 1257 1258 void ASTStmtWriter::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) { 1259 VisitStmt(S); 1260 Record.AddStmt(S->getElement()); 1261 Record.AddStmt(S->getCollection()); 1262 Record.AddStmt(S->getBody()); 1263 Record.AddSourceLocation(S->getForLoc()); 1264 Record.AddSourceLocation(S->getRParenLoc()); 1265 Code = serialization::STMT_OBJC_FOR_COLLECTION; 1266 } 1267 1268 void ASTStmtWriter::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) { 1269 VisitStmt(S); 1270 Record.AddStmt(S->getCatchBody()); 1271 Record.AddDeclRef(S->getCatchParamDecl()); 1272 Record.AddSourceLocation(S->getAtCatchLoc()); 1273 Record.AddSourceLocation(S->getRParenLoc()); 1274 Code = serialization::STMT_OBJC_CATCH; 1275 } 1276 1277 void ASTStmtWriter::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) { 1278 VisitStmt(S); 1279 Record.AddStmt(S->getFinallyBody()); 1280 Record.AddSourceLocation(S->getAtFinallyLoc()); 1281 Code = serialization::STMT_OBJC_FINALLY; 1282 } 1283 1284 void ASTStmtWriter::VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *S) { 1285 VisitStmt(S); // FIXME: no test coverage. 1286 Record.AddStmt(S->getSubStmt()); 1287 Record.AddSourceLocation(S->getAtLoc()); 1288 Code = serialization::STMT_OBJC_AUTORELEASE_POOL; 1289 } 1290 1291 void ASTStmtWriter::VisitObjCAtTryStmt(ObjCAtTryStmt *S) { 1292 VisitStmt(S); 1293 Record.push_back(S->getNumCatchStmts()); 1294 Record.push_back(S->getFinallyStmt() != nullptr); 1295 Record.AddStmt(S->getTryBody()); 1296 for (unsigned I = 0, N = S->getNumCatchStmts(); I != N; ++I) 1297 Record.AddStmt(S->getCatchStmt(I)); 1298 if (S->getFinallyStmt()) 1299 Record.AddStmt(S->getFinallyStmt()); 1300 Record.AddSourceLocation(S->getAtTryLoc()); 1301 Code = serialization::STMT_OBJC_AT_TRY; 1302 } 1303 1304 void ASTStmtWriter::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) { 1305 VisitStmt(S); // FIXME: no test coverage. 1306 Record.AddStmt(S->getSynchExpr()); 1307 Record.AddStmt(S->getSynchBody()); 1308 Record.AddSourceLocation(S->getAtSynchronizedLoc()); 1309 Code = serialization::STMT_OBJC_AT_SYNCHRONIZED; 1310 } 1311 1312 void ASTStmtWriter::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) { 1313 VisitStmt(S); // FIXME: no test coverage. 1314 Record.AddStmt(S->getThrowExpr()); 1315 Record.AddSourceLocation(S->getThrowLoc()); 1316 Code = serialization::STMT_OBJC_AT_THROW; 1317 } 1318 1319 void ASTStmtWriter::VisitObjCBoolLiteralExpr(ObjCBoolLiteralExpr *E) { 1320 VisitExpr(E); 1321 Record.push_back(E->getValue()); 1322 Record.AddSourceLocation(E->getLocation()); 1323 Code = serialization::EXPR_OBJC_BOOL_LITERAL; 1324 } 1325 1326 void ASTStmtWriter::VisitObjCAvailabilityCheckExpr(ObjCAvailabilityCheckExpr *E) { 1327 VisitExpr(E); 1328 Record.AddSourceRange(E->getSourceRange()); 1329 Record.AddVersionTuple(E->getVersion()); 1330 Code = serialization::EXPR_OBJC_AVAILABILITY_CHECK; 1331 } 1332 1333 //===----------------------------------------------------------------------===// 1334 // C++ Expressions and Statements. 1335 //===----------------------------------------------------------------------===// 1336 1337 void ASTStmtWriter::VisitCXXCatchStmt(CXXCatchStmt *S) { 1338 VisitStmt(S); 1339 Record.AddSourceLocation(S->getCatchLoc()); 1340 Record.AddDeclRef(S->getExceptionDecl()); 1341 Record.AddStmt(S->getHandlerBlock()); 1342 Code = serialization::STMT_CXX_CATCH; 1343 } 1344 1345 void ASTStmtWriter::VisitCXXTryStmt(CXXTryStmt *S) { 1346 VisitStmt(S); 1347 Record.push_back(S->getNumHandlers()); 1348 Record.AddSourceLocation(S->getTryLoc()); 1349 Record.AddStmt(S->getTryBlock()); 1350 for (unsigned i = 0, e = S->getNumHandlers(); i != e; ++i) 1351 Record.AddStmt(S->getHandler(i)); 1352 Code = serialization::STMT_CXX_TRY; 1353 } 1354 1355 void ASTStmtWriter::VisitCXXForRangeStmt(CXXForRangeStmt *S) { 1356 VisitStmt(S); 1357 Record.AddSourceLocation(S->getForLoc()); 1358 Record.AddSourceLocation(S->getCoawaitLoc()); 1359 Record.AddSourceLocation(S->getColonLoc()); 1360 Record.AddSourceLocation(S->getRParenLoc()); 1361 Record.AddStmt(S->getInit()); 1362 Record.AddStmt(S->getRangeStmt()); 1363 Record.AddStmt(S->getBeginStmt()); 1364 Record.AddStmt(S->getEndStmt()); 1365 Record.AddStmt(S->getCond()); 1366 Record.AddStmt(S->getInc()); 1367 Record.AddStmt(S->getLoopVarStmt()); 1368 Record.AddStmt(S->getBody()); 1369 Code = serialization::STMT_CXX_FOR_RANGE; 1370 } 1371 1372 void ASTStmtWriter::VisitMSDependentExistsStmt(MSDependentExistsStmt *S) { 1373 VisitStmt(S); 1374 Record.AddSourceLocation(S->getKeywordLoc()); 1375 Record.push_back(S->isIfExists()); 1376 Record.AddNestedNameSpecifierLoc(S->getQualifierLoc()); 1377 Record.AddDeclarationNameInfo(S->getNameInfo()); 1378 Record.AddStmt(S->getSubStmt()); 1379 Code = serialization::STMT_MS_DEPENDENT_EXISTS; 1380 } 1381 1382 void ASTStmtWriter::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *E) { 1383 VisitCallExpr(E); 1384 Record.push_back(E->getOperator()); 1385 Record.push_back(E->getFPFeatures().getInt()); 1386 Record.AddSourceRange(E->Range); 1387 Code = serialization::EXPR_CXX_OPERATOR_CALL; 1388 } 1389 1390 void ASTStmtWriter::VisitCXXMemberCallExpr(CXXMemberCallExpr *E) { 1391 VisitCallExpr(E); 1392 Code = serialization::EXPR_CXX_MEMBER_CALL; 1393 } 1394 1395 void ASTStmtWriter::VisitCXXRewrittenBinaryOperator( 1396 CXXRewrittenBinaryOperator *E) { 1397 VisitExpr(E); 1398 Record.push_back(E->isReversed()); 1399 Record.AddStmt(E->getSemanticForm()); 1400 Code = serialization::EXPR_CXX_REWRITTEN_BINARY_OPERATOR; 1401 } 1402 1403 void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) { 1404 VisitExpr(E); 1405 1406 Record.push_back(E->getNumArgs()); 1407 Record.push_back(E->isElidable()); 1408 Record.push_back(E->hadMultipleCandidates()); 1409 Record.push_back(E->isListInitialization()); 1410 Record.push_back(E->isStdInitListInitialization()); 1411 Record.push_back(E->requiresZeroInitialization()); 1412 Record.push_back(E->getConstructionKind()); // FIXME: stable encoding 1413 Record.AddSourceLocation(E->getLocation()); 1414 Record.AddDeclRef(E->getConstructor()); 1415 Record.AddSourceRange(E->getParenOrBraceRange()); 1416 1417 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I) 1418 Record.AddStmt(E->getArg(I)); 1419 1420 Code = serialization::EXPR_CXX_CONSTRUCT; 1421 } 1422 1423 void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) { 1424 VisitExpr(E); 1425 Record.AddDeclRef(E->getConstructor()); 1426 Record.AddSourceLocation(E->getLocation()); 1427 Record.push_back(E->constructsVBase()); 1428 Record.push_back(E->inheritedFromVBase()); 1429 Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT; 1430 } 1431 1432 void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) { 1433 VisitCXXConstructExpr(E); 1434 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1435 Code = serialization::EXPR_CXX_TEMPORARY_OBJECT; 1436 } 1437 1438 void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) { 1439 VisitExpr(E); 1440 Record.push_back(E->NumCaptures); 1441 Record.AddSourceRange(E->IntroducerRange); 1442 Record.push_back(E->CaptureDefault); // FIXME: stable encoding 1443 Record.AddSourceLocation(E->CaptureDefaultLoc); 1444 Record.push_back(E->ExplicitParams); 1445 Record.push_back(E->ExplicitResultType); 1446 Record.AddSourceLocation(E->ClosingBrace); 1447 1448 // Add capture initializers. 1449 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(), 1450 CEnd = E->capture_init_end(); 1451 C != CEnd; ++C) { 1452 Record.AddStmt(*C); 1453 } 1454 1455 Code = serialization::EXPR_LAMBDA; 1456 } 1457 1458 void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) { 1459 VisitExpr(E); 1460 Record.AddStmt(E->getSubExpr()); 1461 Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST; 1462 } 1463 1464 void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) { 1465 VisitExplicitCastExpr(E); 1466 Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc())); 1467 Record.AddSourceRange(E->getAngleBrackets()); 1468 } 1469 1470 void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) { 1471 VisitCXXNamedCastExpr(E); 1472 Code = serialization::EXPR_CXX_STATIC_CAST; 1473 } 1474 1475 void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) { 1476 VisitCXXNamedCastExpr(E); 1477 Code = serialization::EXPR_CXX_DYNAMIC_CAST; 1478 } 1479 1480 void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) { 1481 VisitCXXNamedCastExpr(E); 1482 Code = serialization::EXPR_CXX_REINTERPRET_CAST; 1483 } 1484 1485 void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) { 1486 VisitCXXNamedCastExpr(E); 1487 Code = serialization::EXPR_CXX_CONST_CAST; 1488 } 1489 1490 void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) { 1491 VisitExplicitCastExpr(E); 1492 Record.AddSourceLocation(E->getLParenLoc()); 1493 Record.AddSourceLocation(E->getRParenLoc()); 1494 Code = serialization::EXPR_CXX_FUNCTIONAL_CAST; 1495 } 1496 1497 void ASTStmtWriter::VisitBuiltinBitCastExpr(BuiltinBitCastExpr *E) { 1498 VisitExplicitCastExpr(E); 1499 Record.AddSourceLocation(E->getBeginLoc()); 1500 Record.AddSourceLocation(E->getEndLoc()); 1501 } 1502 1503 void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) { 1504 VisitCallExpr(E); 1505 Record.AddSourceLocation(E->UDSuffixLoc); 1506 Code = serialization::EXPR_USER_DEFINED_LITERAL; 1507 } 1508 1509 void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) { 1510 VisitExpr(E); 1511 Record.push_back(E->getValue()); 1512 Record.AddSourceLocation(E->getLocation()); 1513 Code = serialization::EXPR_CXX_BOOL_LITERAL; 1514 } 1515 1516 void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) { 1517 VisitExpr(E); 1518 Record.AddSourceLocation(E->getLocation()); 1519 Code = serialization::EXPR_CXX_NULL_PTR_LITERAL; 1520 } 1521 1522 void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) { 1523 VisitExpr(E); 1524 Record.AddSourceRange(E->getSourceRange()); 1525 if (E->isTypeOperand()) { 1526 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo()); 1527 Code = serialization::EXPR_CXX_TYPEID_TYPE; 1528 } else { 1529 Record.AddStmt(E->getExprOperand()); 1530 Code = serialization::EXPR_CXX_TYPEID_EXPR; 1531 } 1532 } 1533 1534 void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) { 1535 VisitExpr(E); 1536 Record.AddSourceLocation(E->getLocation()); 1537 Record.push_back(E->isImplicit()); 1538 Code = serialization::EXPR_CXX_THIS; 1539 } 1540 1541 void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) { 1542 VisitExpr(E); 1543 Record.AddSourceLocation(E->getThrowLoc()); 1544 Record.AddStmt(E->getSubExpr()); 1545 Record.push_back(E->isThrownVariableInScope()); 1546 Code = serialization::EXPR_CXX_THROW; 1547 } 1548 1549 void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) { 1550 VisitExpr(E); 1551 Record.AddDeclRef(E->getParam()); 1552 Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext())); 1553 Record.AddSourceLocation(E->getUsedLocation()); 1554 Code = serialization::EXPR_CXX_DEFAULT_ARG; 1555 } 1556 1557 void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) { 1558 VisitExpr(E); 1559 Record.AddDeclRef(E->getField()); 1560 Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext())); 1561 Record.AddSourceLocation(E->getExprLoc()); 1562 Code = serialization::EXPR_CXX_DEFAULT_INIT; 1563 } 1564 1565 void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) { 1566 VisitExpr(E); 1567 Record.AddCXXTemporary(E->getTemporary()); 1568 Record.AddStmt(E->getSubExpr()); 1569 Code = serialization::EXPR_CXX_BIND_TEMPORARY; 1570 } 1571 1572 void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) { 1573 VisitExpr(E); 1574 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1575 Record.AddSourceLocation(E->getRParenLoc()); 1576 Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT; 1577 } 1578 1579 void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) { 1580 VisitExpr(E); 1581 1582 Record.push_back(E->isArray()); 1583 Record.push_back(E->hasInitializer()); 1584 Record.push_back(E->getNumPlacementArgs()); 1585 Record.push_back(E->isParenTypeId()); 1586 1587 Record.push_back(E->isGlobalNew()); 1588 Record.push_back(E->passAlignment()); 1589 Record.push_back(E->doesUsualArrayDeleteWantSize()); 1590 Record.push_back(E->CXXNewExprBits.StoredInitializationStyle); 1591 1592 Record.AddDeclRef(E->getOperatorNew()); 1593 Record.AddDeclRef(E->getOperatorDelete()); 1594 Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo()); 1595 if (E->isParenTypeId()) 1596 Record.AddSourceRange(E->getTypeIdParens()); 1597 Record.AddSourceRange(E->getSourceRange()); 1598 Record.AddSourceRange(E->getDirectInitRange()); 1599 1600 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), N = E->raw_arg_end(); 1601 I != N; ++I) 1602 Record.AddStmt(*I); 1603 1604 Code = serialization::EXPR_CXX_NEW; 1605 } 1606 1607 void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) { 1608 VisitExpr(E); 1609 Record.push_back(E->isGlobalDelete()); 1610 Record.push_back(E->isArrayForm()); 1611 Record.push_back(E->isArrayFormAsWritten()); 1612 Record.push_back(E->doesUsualArrayDeleteWantSize()); 1613 Record.AddDeclRef(E->getOperatorDelete()); 1614 Record.AddStmt(E->getArgument()); 1615 Record.AddSourceLocation(E->getBeginLoc()); 1616 1617 Code = serialization::EXPR_CXX_DELETE; 1618 } 1619 1620 void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) { 1621 VisitExpr(E); 1622 1623 Record.AddStmt(E->getBase()); 1624 Record.push_back(E->isArrow()); 1625 Record.AddSourceLocation(E->getOperatorLoc()); 1626 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1627 Record.AddTypeSourceInfo(E->getScopeTypeInfo()); 1628 Record.AddSourceLocation(E->getColonColonLoc()); 1629 Record.AddSourceLocation(E->getTildeLoc()); 1630 1631 // PseudoDestructorTypeStorage. 1632 Record.AddIdentifierRef(E->getDestroyedTypeIdentifier()); 1633 if (E->getDestroyedTypeIdentifier()) 1634 Record.AddSourceLocation(E->getDestroyedTypeLoc()); 1635 else 1636 Record.AddTypeSourceInfo(E->getDestroyedTypeInfo()); 1637 1638 Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR; 1639 } 1640 1641 void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) { 1642 VisitExpr(E); 1643 Record.push_back(E->getNumObjects()); 1644 for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i) 1645 Record.AddDeclRef(E->getObject(i)); 1646 1647 Record.push_back(E->cleanupsHaveSideEffects()); 1648 Record.AddStmt(E->getSubExpr()); 1649 Code = serialization::EXPR_EXPR_WITH_CLEANUPS; 1650 } 1651 1652 void ASTStmtWriter::VisitCXXDependentScopeMemberExpr( 1653 CXXDependentScopeMemberExpr *E) { 1654 VisitExpr(E); 1655 1656 // Don't emit anything here (or if you do you will have to update 1657 // the corresponding deserialization function). 1658 1659 Record.push_back(E->hasTemplateKWAndArgsInfo()); 1660 Record.push_back(E->getNumTemplateArgs()); 1661 Record.push_back(E->hasFirstQualifierFoundInScope()); 1662 1663 if (E->hasTemplateKWAndArgsInfo()) { 1664 const ASTTemplateKWAndArgsInfo &ArgInfo = 1665 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(); 1666 AddTemplateKWAndArgsInfo(ArgInfo, 1667 E->getTrailingObjects<TemplateArgumentLoc>()); 1668 } 1669 1670 Record.push_back(E->isArrow()); 1671 Record.AddSourceLocation(E->getOperatorLoc()); 1672 Record.AddTypeRef(E->getBaseType()); 1673 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1674 if (!E->isImplicitAccess()) 1675 Record.AddStmt(E->getBase()); 1676 else 1677 Record.AddStmt(nullptr); 1678 1679 if (E->hasFirstQualifierFoundInScope()) 1680 Record.AddDeclRef(E->getFirstQualifierFoundInScope()); 1681 1682 Record.AddDeclarationNameInfo(E->MemberNameInfo); 1683 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER; 1684 } 1685 1686 void 1687 ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) { 1688 VisitExpr(E); 1689 1690 // Don't emit anything here, HasTemplateKWAndArgsInfo must be 1691 // emitted first. 1692 1693 Record.push_back(E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo); 1694 if (E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo) { 1695 const ASTTemplateKWAndArgsInfo &ArgInfo = 1696 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(); 1697 Record.push_back(ArgInfo.NumTemplateArgs); 1698 AddTemplateKWAndArgsInfo(ArgInfo, 1699 E->getTrailingObjects<TemplateArgumentLoc>()); 1700 } 1701 1702 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1703 Record.AddDeclarationNameInfo(E->NameInfo); 1704 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF; 1705 } 1706 1707 void 1708 ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) { 1709 VisitExpr(E); 1710 Record.push_back(E->arg_size()); 1711 for (CXXUnresolvedConstructExpr::arg_iterator 1712 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI) 1713 Record.AddStmt(*ArgI); 1714 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1715 Record.AddSourceLocation(E->getLParenLoc()); 1716 Record.AddSourceLocation(E->getRParenLoc()); 1717 Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT; 1718 } 1719 1720 void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) { 1721 VisitExpr(E); 1722 1723 Record.push_back(E->getNumDecls()); 1724 Record.push_back(E->hasTemplateKWAndArgsInfo()); 1725 if (E->hasTemplateKWAndArgsInfo()) { 1726 const ASTTemplateKWAndArgsInfo &ArgInfo = 1727 *E->getTrailingASTTemplateKWAndArgsInfo(); 1728 Record.push_back(ArgInfo.NumTemplateArgs); 1729 AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc()); 1730 } 1731 1732 for (OverloadExpr::decls_iterator OvI = E->decls_begin(), 1733 OvE = E->decls_end(); 1734 OvI != OvE; ++OvI) { 1735 Record.AddDeclRef(OvI.getDecl()); 1736 Record.push_back(OvI.getAccess()); 1737 } 1738 1739 Record.AddDeclarationNameInfo(E->getNameInfo()); 1740 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1741 } 1742 1743 void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) { 1744 VisitOverloadExpr(E); 1745 Record.push_back(E->isArrow()); 1746 Record.push_back(E->hasUnresolvedUsing()); 1747 Record.AddStmt(!E->isImplicitAccess() ? E->getBase() : nullptr); 1748 Record.AddTypeRef(E->getBaseType()); 1749 Record.AddSourceLocation(E->getOperatorLoc()); 1750 Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER; 1751 } 1752 1753 void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) { 1754 VisitOverloadExpr(E); 1755 Record.push_back(E->requiresADL()); 1756 Record.push_back(E->isOverloaded()); 1757 Record.AddDeclRef(E->getNamingClass()); 1758 Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP; 1759 } 1760 1761 void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) { 1762 VisitExpr(E); 1763 Record.push_back(E->TypeTraitExprBits.NumArgs); 1764 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding 1765 Record.push_back(E->TypeTraitExprBits.Value); 1766 Record.AddSourceRange(E->getSourceRange()); 1767 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I) 1768 Record.AddTypeSourceInfo(E->getArg(I)); 1769 Code = serialization::EXPR_TYPE_TRAIT; 1770 } 1771 1772 void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) { 1773 VisitExpr(E); 1774 Record.push_back(E->getTrait()); 1775 Record.push_back(E->getValue()); 1776 Record.AddSourceRange(E->getSourceRange()); 1777 Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo()); 1778 Record.AddStmt(E->getDimensionExpression()); 1779 Code = serialization::EXPR_ARRAY_TYPE_TRAIT; 1780 } 1781 1782 void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) { 1783 VisitExpr(E); 1784 Record.push_back(E->getTrait()); 1785 Record.push_back(E->getValue()); 1786 Record.AddSourceRange(E->getSourceRange()); 1787 Record.AddStmt(E->getQueriedExpression()); 1788 Code = serialization::EXPR_CXX_EXPRESSION_TRAIT; 1789 } 1790 1791 void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) { 1792 VisitExpr(E); 1793 Record.push_back(E->getValue()); 1794 Record.AddSourceRange(E->getSourceRange()); 1795 Record.AddStmt(E->getOperand()); 1796 Code = serialization::EXPR_CXX_NOEXCEPT; 1797 } 1798 1799 void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) { 1800 VisitExpr(E); 1801 Record.AddSourceLocation(E->getEllipsisLoc()); 1802 Record.push_back(E->NumExpansions); 1803 Record.AddStmt(E->getPattern()); 1804 Code = serialization::EXPR_PACK_EXPANSION; 1805 } 1806 1807 void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) { 1808 VisitExpr(E); 1809 Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size() 1810 : 0); 1811 Record.AddSourceLocation(E->OperatorLoc); 1812 Record.AddSourceLocation(E->PackLoc); 1813 Record.AddSourceLocation(E->RParenLoc); 1814 Record.AddDeclRef(E->Pack); 1815 if (E->isPartiallySubstituted()) { 1816 for (const auto &TA : E->getPartialArguments()) 1817 Record.AddTemplateArgument(TA); 1818 } else if (!E->isValueDependent()) { 1819 Record.push_back(E->getPackLength()); 1820 } 1821 Code = serialization::EXPR_SIZEOF_PACK; 1822 } 1823 1824 void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr( 1825 SubstNonTypeTemplateParmExpr *E) { 1826 VisitExpr(E); 1827 Record.AddDeclRef(E->getParameter()); 1828 Record.AddSourceLocation(E->getNameLoc()); 1829 Record.AddStmt(E->getReplacement()); 1830 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM; 1831 } 1832 1833 void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr( 1834 SubstNonTypeTemplateParmPackExpr *E) { 1835 VisitExpr(E); 1836 Record.AddDeclRef(E->getParameterPack()); 1837 Record.AddTemplateArgument(E->getArgumentPack()); 1838 Record.AddSourceLocation(E->getParameterPackLocation()); 1839 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK; 1840 } 1841 1842 void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) { 1843 VisitExpr(E); 1844 Record.push_back(E->getNumExpansions()); 1845 Record.AddDeclRef(E->getParameterPack()); 1846 Record.AddSourceLocation(E->getParameterPackLocation()); 1847 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end(); 1848 I != End; ++I) 1849 Record.AddDeclRef(*I); 1850 Code = serialization::EXPR_FUNCTION_PARM_PACK; 1851 } 1852 1853 void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) { 1854 VisitExpr(E); 1855 Record.push_back(static_cast<bool>(E->getLifetimeExtendedTemporaryDecl())); 1856 if (E->getLifetimeExtendedTemporaryDecl()) 1857 Record.AddDeclRef(E->getLifetimeExtendedTemporaryDecl()); 1858 else 1859 Record.AddStmt(E->getSubExpr()); 1860 Code = serialization::EXPR_MATERIALIZE_TEMPORARY; 1861 } 1862 1863 void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) { 1864 VisitExpr(E); 1865 Record.AddSourceLocation(E->LParenLoc); 1866 Record.AddSourceLocation(E->EllipsisLoc); 1867 Record.AddSourceLocation(E->RParenLoc); 1868 Record.push_back(E->NumExpansions); 1869 Record.AddStmt(E->SubExprs[0]); 1870 Record.AddStmt(E->SubExprs[1]); 1871 Record.push_back(E->Opcode); 1872 Code = serialization::EXPR_CXX_FOLD; 1873 } 1874 1875 void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) { 1876 VisitExpr(E); 1877 Record.AddStmt(E->getSourceExpr()); 1878 Record.AddSourceLocation(E->getLocation()); 1879 Record.push_back(E->isUnique()); 1880 Code = serialization::EXPR_OPAQUE_VALUE; 1881 } 1882 1883 void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) { 1884 VisitExpr(E); 1885 // TODO: Figure out sane writer behavior for a TypoExpr, if necessary 1886 llvm_unreachable("Cannot write TypoExpr nodes"); 1887 } 1888 1889 //===----------------------------------------------------------------------===// 1890 // CUDA Expressions and Statements. 1891 //===----------------------------------------------------------------------===// 1892 1893 void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) { 1894 VisitCallExpr(E); 1895 Record.AddStmt(E->getConfig()); 1896 Code = serialization::EXPR_CUDA_KERNEL_CALL; 1897 } 1898 1899 //===----------------------------------------------------------------------===// 1900 // OpenCL Expressions and Statements. 1901 //===----------------------------------------------------------------------===// 1902 void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) { 1903 VisitExpr(E); 1904 Record.AddSourceLocation(E->getBuiltinLoc()); 1905 Record.AddSourceLocation(E->getRParenLoc()); 1906 Record.AddStmt(E->getSrcExpr()); 1907 Code = serialization::EXPR_ASTYPE; 1908 } 1909 1910 //===----------------------------------------------------------------------===// 1911 // Microsoft Expressions and Statements. 1912 //===----------------------------------------------------------------------===// 1913 void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) { 1914 VisitExpr(E); 1915 Record.push_back(E->isArrow()); 1916 Record.AddStmt(E->getBaseExpr()); 1917 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1918 Record.AddSourceLocation(E->getMemberLoc()); 1919 Record.AddDeclRef(E->getPropertyDecl()); 1920 Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR; 1921 } 1922 1923 void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) { 1924 VisitExpr(E); 1925 Record.AddStmt(E->getBase()); 1926 Record.AddStmt(E->getIdx()); 1927 Record.AddSourceLocation(E->getRBracketLoc()); 1928 Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR; 1929 } 1930 1931 void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) { 1932 VisitExpr(E); 1933 Record.AddSourceRange(E->getSourceRange()); 1934 Record.AddString(E->getUuidStr()); 1935 if (E->isTypeOperand()) { 1936 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo()); 1937 Code = serialization::EXPR_CXX_UUIDOF_TYPE; 1938 } else { 1939 Record.AddStmt(E->getExprOperand()); 1940 Code = serialization::EXPR_CXX_UUIDOF_EXPR; 1941 } 1942 } 1943 1944 void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) { 1945 VisitStmt(S); 1946 Record.AddSourceLocation(S->getExceptLoc()); 1947 Record.AddStmt(S->getFilterExpr()); 1948 Record.AddStmt(S->getBlock()); 1949 Code = serialization::STMT_SEH_EXCEPT; 1950 } 1951 1952 void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) { 1953 VisitStmt(S); 1954 Record.AddSourceLocation(S->getFinallyLoc()); 1955 Record.AddStmt(S->getBlock()); 1956 Code = serialization::STMT_SEH_FINALLY; 1957 } 1958 1959 void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) { 1960 VisitStmt(S); 1961 Record.push_back(S->getIsCXXTry()); 1962 Record.AddSourceLocation(S->getTryLoc()); 1963 Record.AddStmt(S->getTryBlock()); 1964 Record.AddStmt(S->getHandler()); 1965 Code = serialization::STMT_SEH_TRY; 1966 } 1967 1968 void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) { 1969 VisitStmt(S); 1970 Record.AddSourceLocation(S->getLeaveLoc()); 1971 Code = serialization::STMT_SEH_LEAVE; 1972 } 1973 1974 //===----------------------------------------------------------------------===// 1975 // OpenMP Directives. 1976 //===----------------------------------------------------------------------===// 1977 void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) { 1978 Record.AddSourceLocation(E->getBeginLoc()); 1979 Record.AddSourceLocation(E->getEndLoc()); 1980 for (unsigned i = 0; i < E->getNumClauses(); ++i) { 1981 Record.writeOMPClause(E->getClause(i)); 1982 } 1983 if (E->hasAssociatedStmt()) 1984 Record.AddStmt(E->getAssociatedStmt()); 1985 } 1986 1987 void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) { 1988 VisitStmt(D); 1989 Record.push_back(D->getNumClauses()); 1990 Record.push_back(D->getCollapsedNumber()); 1991 VisitOMPExecutableDirective(D); 1992 Record.AddStmt(D->getIterationVariable()); 1993 Record.AddStmt(D->getLastIteration()); 1994 Record.AddStmt(D->getCalcLastIteration()); 1995 Record.AddStmt(D->getPreCond()); 1996 Record.AddStmt(D->getCond()); 1997 Record.AddStmt(D->getInit()); 1998 Record.AddStmt(D->getInc()); 1999 Record.AddStmt(D->getPreInits()); 2000 if (isOpenMPWorksharingDirective(D->getDirectiveKind()) || 2001 isOpenMPTaskLoopDirective(D->getDirectiveKind()) || 2002 isOpenMPDistributeDirective(D->getDirectiveKind())) { 2003 Record.AddStmt(D->getIsLastIterVariable()); 2004 Record.AddStmt(D->getLowerBoundVariable()); 2005 Record.AddStmt(D->getUpperBoundVariable()); 2006 Record.AddStmt(D->getStrideVariable()); 2007 Record.AddStmt(D->getEnsureUpperBound()); 2008 Record.AddStmt(D->getNextLowerBound()); 2009 Record.AddStmt(D->getNextUpperBound()); 2010 Record.AddStmt(D->getNumIterations()); 2011 } 2012 if (isOpenMPLoopBoundSharingDirective(D->getDirectiveKind())) { 2013 Record.AddStmt(D->getPrevLowerBoundVariable()); 2014 Record.AddStmt(D->getPrevUpperBoundVariable()); 2015 Record.AddStmt(D->getDistInc()); 2016 Record.AddStmt(D->getPrevEnsureUpperBound()); 2017 Record.AddStmt(D->getCombinedLowerBoundVariable()); 2018 Record.AddStmt(D->getCombinedUpperBoundVariable()); 2019 Record.AddStmt(D->getCombinedEnsureUpperBound()); 2020 Record.AddStmt(D->getCombinedInit()); 2021 Record.AddStmt(D->getCombinedCond()); 2022 Record.AddStmt(D->getCombinedNextLowerBound()); 2023 Record.AddStmt(D->getCombinedNextUpperBound()); 2024 Record.AddStmt(D->getCombinedDistCond()); 2025 Record.AddStmt(D->getCombinedParForInDistCond()); 2026 } 2027 for (auto I : D->counters()) { 2028 Record.AddStmt(I); 2029 } 2030 for (auto I : D->private_counters()) { 2031 Record.AddStmt(I); 2032 } 2033 for (auto I : D->inits()) { 2034 Record.AddStmt(I); 2035 } 2036 for (auto I : D->updates()) { 2037 Record.AddStmt(I); 2038 } 2039 for (auto I : D->finals()) { 2040 Record.AddStmt(I); 2041 } 2042 for (Stmt *S : D->dependent_counters()) 2043 Record.AddStmt(S); 2044 for (Stmt *S : D->dependent_inits()) 2045 Record.AddStmt(S); 2046 for (Stmt *S : D->finals_conditions()) 2047 Record.AddStmt(S); 2048 } 2049 2050 void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) { 2051 VisitStmt(D); 2052 Record.push_back(D->getNumClauses()); 2053 VisitOMPExecutableDirective(D); 2054 Record.push_back(D->hasCancel() ? 1 : 0); 2055 Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE; 2056 } 2057 2058 void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) { 2059 VisitOMPLoopDirective(D); 2060 Code = serialization::STMT_OMP_SIMD_DIRECTIVE; 2061 } 2062 2063 void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) { 2064 VisitOMPLoopDirective(D); 2065 Record.push_back(D->hasCancel() ? 1 : 0); 2066 Code = serialization::STMT_OMP_FOR_DIRECTIVE; 2067 } 2068 2069 void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) { 2070 VisitOMPLoopDirective(D); 2071 Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE; 2072 } 2073 2074 void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) { 2075 VisitStmt(D); 2076 Record.push_back(D->getNumClauses()); 2077 VisitOMPExecutableDirective(D); 2078 Record.push_back(D->hasCancel() ? 1 : 0); 2079 Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE; 2080 } 2081 2082 void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) { 2083 VisitStmt(D); 2084 VisitOMPExecutableDirective(D); 2085 Record.push_back(D->hasCancel() ? 1 : 0); 2086 Code = serialization::STMT_OMP_SECTION_DIRECTIVE; 2087 } 2088 2089 void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) { 2090 VisitStmt(D); 2091 Record.push_back(D->getNumClauses()); 2092 VisitOMPExecutableDirective(D); 2093 Code = serialization::STMT_OMP_SINGLE_DIRECTIVE; 2094 } 2095 2096 void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) { 2097 VisitStmt(D); 2098 VisitOMPExecutableDirective(D); 2099 Code = serialization::STMT_OMP_MASTER_DIRECTIVE; 2100 } 2101 2102 void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) { 2103 VisitStmt(D); 2104 Record.push_back(D->getNumClauses()); 2105 VisitOMPExecutableDirective(D); 2106 Record.AddDeclarationNameInfo(D->getDirectiveName()); 2107 Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE; 2108 } 2109 2110 void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) { 2111 VisitOMPLoopDirective(D); 2112 Record.push_back(D->hasCancel() ? 1 : 0); 2113 Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE; 2114 } 2115 2116 void ASTStmtWriter::VisitOMPParallelForSimdDirective( 2117 OMPParallelForSimdDirective *D) { 2118 VisitOMPLoopDirective(D); 2119 Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE; 2120 } 2121 2122 void ASTStmtWriter::VisitOMPParallelMasterDirective( 2123 OMPParallelMasterDirective *D) { 2124 VisitStmt(D); 2125 Record.push_back(D->getNumClauses()); 2126 VisitOMPExecutableDirective(D); 2127 Code = serialization::STMT_OMP_PARALLEL_MASTER_DIRECTIVE; 2128 } 2129 2130 void ASTStmtWriter::VisitOMPParallelSectionsDirective( 2131 OMPParallelSectionsDirective *D) { 2132 VisitStmt(D); 2133 Record.push_back(D->getNumClauses()); 2134 VisitOMPExecutableDirective(D); 2135 Record.push_back(D->hasCancel() ? 1 : 0); 2136 Code = serialization::STMT_OMP_PARALLEL_SECTIONS_DIRECTIVE; 2137 } 2138 2139 void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) { 2140 VisitStmt(D); 2141 Record.push_back(D->getNumClauses()); 2142 VisitOMPExecutableDirective(D); 2143 Record.push_back(D->hasCancel() ? 1 : 0); 2144 Code = serialization::STMT_OMP_TASK_DIRECTIVE; 2145 } 2146 2147 void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) { 2148 VisitStmt(D); 2149 Record.push_back(D->getNumClauses()); 2150 VisitOMPExecutableDirective(D); 2151 Record.AddStmt(D->getX()); 2152 Record.AddStmt(D->getV()); 2153 Record.AddStmt(D->getExpr()); 2154 Record.AddStmt(D->getUpdateExpr()); 2155 Record.push_back(D->isXLHSInRHSPart() ? 1 : 0); 2156 Record.push_back(D->isPostfixUpdate() ? 1 : 0); 2157 Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE; 2158 } 2159 2160 void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) { 2161 VisitStmt(D); 2162 Record.push_back(D->getNumClauses()); 2163 VisitOMPExecutableDirective(D); 2164 Code = serialization::STMT_OMP_TARGET_DIRECTIVE; 2165 } 2166 2167 void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) { 2168 VisitStmt(D); 2169 Record.push_back(D->getNumClauses()); 2170 VisitOMPExecutableDirective(D); 2171 Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE; 2172 } 2173 2174 void ASTStmtWriter::VisitOMPTargetEnterDataDirective( 2175 OMPTargetEnterDataDirective *D) { 2176 VisitStmt(D); 2177 Record.push_back(D->getNumClauses()); 2178 VisitOMPExecutableDirective(D); 2179 Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE; 2180 } 2181 2182 void ASTStmtWriter::VisitOMPTargetExitDataDirective( 2183 OMPTargetExitDataDirective *D) { 2184 VisitStmt(D); 2185 Record.push_back(D->getNumClauses()); 2186 VisitOMPExecutableDirective(D); 2187 Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE; 2188 } 2189 2190 void ASTStmtWriter::VisitOMPTargetParallelDirective( 2191 OMPTargetParallelDirective *D) { 2192 VisitStmt(D); 2193 Record.push_back(D->getNumClauses()); 2194 VisitOMPExecutableDirective(D); 2195 Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE; 2196 } 2197 2198 void ASTStmtWriter::VisitOMPTargetParallelForDirective( 2199 OMPTargetParallelForDirective *D) { 2200 VisitOMPLoopDirective(D); 2201 Record.push_back(D->hasCancel() ? 1 : 0); 2202 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE; 2203 } 2204 2205 void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) { 2206 VisitStmt(D); 2207 VisitOMPExecutableDirective(D); 2208 Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE; 2209 } 2210 2211 void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) { 2212 VisitStmt(D); 2213 VisitOMPExecutableDirective(D); 2214 Code = serialization::STMT_OMP_BARRIER_DIRECTIVE; 2215 } 2216 2217 void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) { 2218 VisitStmt(D); 2219 VisitOMPExecutableDirective(D); 2220 Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE; 2221 } 2222 2223 void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) { 2224 VisitStmt(D); 2225 Record.push_back(D->getNumClauses()); 2226 VisitOMPExecutableDirective(D); 2227 Record.AddStmt(D->getReductionRef()); 2228 Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE; 2229 } 2230 2231 void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) { 2232 VisitStmt(D); 2233 Record.push_back(D->getNumClauses()); 2234 VisitOMPExecutableDirective(D); 2235 Code = serialization::STMT_OMP_FLUSH_DIRECTIVE; 2236 } 2237 2238 void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) { 2239 VisitStmt(D); 2240 Record.push_back(D->getNumClauses()); 2241 VisitOMPExecutableDirective(D); 2242 Code = serialization::STMT_OMP_ORDERED_DIRECTIVE; 2243 } 2244 2245 void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) { 2246 VisitStmt(D); 2247 Record.push_back(D->getNumClauses()); 2248 VisitOMPExecutableDirective(D); 2249 Code = serialization::STMT_OMP_TEAMS_DIRECTIVE; 2250 } 2251 2252 void ASTStmtWriter::VisitOMPCancellationPointDirective( 2253 OMPCancellationPointDirective *D) { 2254 VisitStmt(D); 2255 VisitOMPExecutableDirective(D); 2256 Record.push_back(uint64_t(D->getCancelRegion())); 2257 Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE; 2258 } 2259 2260 void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) { 2261 VisitStmt(D); 2262 Record.push_back(D->getNumClauses()); 2263 VisitOMPExecutableDirective(D); 2264 Record.push_back(uint64_t(D->getCancelRegion())); 2265 Code = serialization::STMT_OMP_CANCEL_DIRECTIVE; 2266 } 2267 2268 void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) { 2269 VisitOMPLoopDirective(D); 2270 Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE; 2271 } 2272 2273 void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) { 2274 VisitOMPLoopDirective(D); 2275 Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE; 2276 } 2277 2278 void ASTStmtWriter::VisitOMPMasterTaskLoopDirective( 2279 OMPMasterTaskLoopDirective *D) { 2280 VisitOMPLoopDirective(D); 2281 Code = serialization::STMT_OMP_MASTER_TASKLOOP_DIRECTIVE; 2282 } 2283 2284 void ASTStmtWriter::VisitOMPMasterTaskLoopSimdDirective( 2285 OMPMasterTaskLoopSimdDirective *D) { 2286 VisitOMPLoopDirective(D); 2287 Code = serialization::STMT_OMP_MASTER_TASKLOOP_SIMD_DIRECTIVE; 2288 } 2289 2290 void ASTStmtWriter::VisitOMPParallelMasterTaskLoopDirective( 2291 OMPParallelMasterTaskLoopDirective *D) { 2292 VisitOMPLoopDirective(D); 2293 Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_DIRECTIVE; 2294 } 2295 2296 void ASTStmtWriter::VisitOMPParallelMasterTaskLoopSimdDirective( 2297 OMPParallelMasterTaskLoopSimdDirective *D) { 2298 VisitOMPLoopDirective(D); 2299 Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_SIMD_DIRECTIVE; 2300 } 2301 2302 void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) { 2303 VisitOMPLoopDirective(D); 2304 Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE; 2305 } 2306 2307 void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) { 2308 VisitStmt(D); 2309 Record.push_back(D->getNumClauses()); 2310 VisitOMPExecutableDirective(D); 2311 Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE; 2312 } 2313 2314 void ASTStmtWriter::VisitOMPDistributeParallelForDirective( 2315 OMPDistributeParallelForDirective *D) { 2316 VisitOMPLoopDirective(D); 2317 Record.push_back(D->hasCancel() ? 1 : 0); 2318 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE; 2319 } 2320 2321 void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective( 2322 OMPDistributeParallelForSimdDirective *D) { 2323 VisitOMPLoopDirective(D); 2324 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE; 2325 } 2326 2327 void ASTStmtWriter::VisitOMPDistributeSimdDirective( 2328 OMPDistributeSimdDirective *D) { 2329 VisitOMPLoopDirective(D); 2330 Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE; 2331 } 2332 2333 void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective( 2334 OMPTargetParallelForSimdDirective *D) { 2335 VisitOMPLoopDirective(D); 2336 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE; 2337 } 2338 2339 void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) { 2340 VisitOMPLoopDirective(D); 2341 Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE; 2342 } 2343 2344 void ASTStmtWriter::VisitOMPTeamsDistributeDirective( 2345 OMPTeamsDistributeDirective *D) { 2346 VisitOMPLoopDirective(D); 2347 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE; 2348 } 2349 2350 void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective( 2351 OMPTeamsDistributeSimdDirective *D) { 2352 VisitOMPLoopDirective(D); 2353 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE; 2354 } 2355 2356 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective( 2357 OMPTeamsDistributeParallelForSimdDirective *D) { 2358 VisitOMPLoopDirective(D); 2359 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE; 2360 } 2361 2362 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective( 2363 OMPTeamsDistributeParallelForDirective *D) { 2364 VisitOMPLoopDirective(D); 2365 Record.push_back(D->hasCancel() ? 1 : 0); 2366 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE; 2367 } 2368 2369 void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) { 2370 VisitStmt(D); 2371 Record.push_back(D->getNumClauses()); 2372 VisitOMPExecutableDirective(D); 2373 Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE; 2374 } 2375 2376 void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective( 2377 OMPTargetTeamsDistributeDirective *D) { 2378 VisitOMPLoopDirective(D); 2379 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE; 2380 } 2381 2382 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective( 2383 OMPTargetTeamsDistributeParallelForDirective *D) { 2384 VisitOMPLoopDirective(D); 2385 Record.push_back(D->hasCancel() ? 1 : 0); 2386 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE; 2387 } 2388 2389 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective( 2390 OMPTargetTeamsDistributeParallelForSimdDirective *D) { 2391 VisitOMPLoopDirective(D); 2392 Code = serialization:: 2393 STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE; 2394 } 2395 2396 void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective( 2397 OMPTargetTeamsDistributeSimdDirective *D) { 2398 VisitOMPLoopDirective(D); 2399 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE; 2400 } 2401 2402 //===----------------------------------------------------------------------===// 2403 // ASTWriter Implementation 2404 //===----------------------------------------------------------------------===// 2405 2406 unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) { 2407 assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() && 2408 "SwitchCase recorded twice"); 2409 unsigned NextID = SwitchCaseIDs.size(); 2410 SwitchCaseIDs[S] = NextID; 2411 return NextID; 2412 } 2413 2414 unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) { 2415 assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() && 2416 "SwitchCase hasn't been seen yet"); 2417 return SwitchCaseIDs[S]; 2418 } 2419 2420 void ASTWriter::ClearSwitchCaseIDs() { 2421 SwitchCaseIDs.clear(); 2422 } 2423 2424 /// Write the given substatement or subexpression to the 2425 /// bitstream. 2426 void ASTWriter::WriteSubStmt(Stmt *S) { 2427 RecordData Record; 2428 ASTStmtWriter Writer(*this, Record); 2429 ++NumStatements; 2430 2431 if (!S) { 2432 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record); 2433 return; 2434 } 2435 2436 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S); 2437 if (I != SubStmtEntries.end()) { 2438 Record.push_back(I->second); 2439 Stream.EmitRecord(serialization::STMT_REF_PTR, Record); 2440 return; 2441 } 2442 2443 #ifndef NDEBUG 2444 assert(!ParentStmts.count(S) && "There is a Stmt cycle!"); 2445 2446 struct ParentStmtInserterRAII { 2447 Stmt *S; 2448 llvm::DenseSet<Stmt *> &ParentStmts; 2449 2450 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts) 2451 : S(S), ParentStmts(ParentStmts) { 2452 ParentStmts.insert(S); 2453 } 2454 ~ParentStmtInserterRAII() { 2455 ParentStmts.erase(S); 2456 } 2457 }; 2458 2459 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts); 2460 #endif 2461 2462 Writer.Visit(S); 2463 2464 uint64_t Offset = Writer.Emit(); 2465 SubStmtEntries[S] = Offset; 2466 } 2467 2468 /// Flush all of the statements that have been added to the 2469 /// queue via AddStmt(). 2470 void ASTRecordWriter::FlushStmts() { 2471 // We expect to be the only consumer of the two temporary statement maps, 2472 // assert that they are empty. 2473 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map"); 2474 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map"); 2475 2476 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) { 2477 Writer->WriteSubStmt(StmtsToEmit[I]); 2478 2479 assert(N == StmtsToEmit.size() && "record modified while being written!"); 2480 2481 // Note that we are at the end of a full expression. Any 2482 // expression records that follow this one are part of a different 2483 // expression. 2484 Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>()); 2485 2486 Writer->SubStmtEntries.clear(); 2487 Writer->ParentStmts.clear(); 2488 } 2489 2490 StmtsToEmit.clear(); 2491 } 2492 2493 void ASTRecordWriter::FlushSubStmts() { 2494 // For a nested statement, write out the substatements in reverse order (so 2495 // that a simple stack machine can be used when loading), and don't emit a 2496 // STMT_STOP after each one. 2497 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) { 2498 Writer->WriteSubStmt(StmtsToEmit[N - I - 1]); 2499 assert(N == StmtsToEmit.size() && "record modified while being written!"); 2500 } 2501 2502 StmtsToEmit.clear(); 2503 } 2504