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