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::VisitCXXRewrittenBinaryOperator( 1379 CXXRewrittenBinaryOperator *E) { 1380 VisitExpr(E); 1381 Record.push_back(E->isReversed()); 1382 Record.AddStmt(E->getSemanticForm()); 1383 Code = serialization::EXPR_CXX_REWRITTEN_BINARY_OPERATOR; 1384 } 1385 1386 void ASTStmtWriter::VisitCXXConstructExpr(CXXConstructExpr *E) { 1387 VisitExpr(E); 1388 1389 Record.push_back(E->getNumArgs()); 1390 Record.push_back(E->isElidable()); 1391 Record.push_back(E->hadMultipleCandidates()); 1392 Record.push_back(E->isListInitialization()); 1393 Record.push_back(E->isStdInitListInitialization()); 1394 Record.push_back(E->requiresZeroInitialization()); 1395 Record.push_back(E->getConstructionKind()); // FIXME: stable encoding 1396 Record.AddSourceLocation(E->getLocation()); 1397 Record.AddDeclRef(E->getConstructor()); 1398 Record.AddSourceRange(E->getParenOrBraceRange()); 1399 1400 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I) 1401 Record.AddStmt(E->getArg(I)); 1402 1403 Code = serialization::EXPR_CXX_CONSTRUCT; 1404 } 1405 1406 void ASTStmtWriter::VisitCXXInheritedCtorInitExpr(CXXInheritedCtorInitExpr *E) { 1407 VisitExpr(E); 1408 Record.AddDeclRef(E->getConstructor()); 1409 Record.AddSourceLocation(E->getLocation()); 1410 Record.push_back(E->constructsVBase()); 1411 Record.push_back(E->inheritedFromVBase()); 1412 Code = serialization::EXPR_CXX_INHERITED_CTOR_INIT; 1413 } 1414 1415 void ASTStmtWriter::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *E) { 1416 VisitCXXConstructExpr(E); 1417 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1418 Code = serialization::EXPR_CXX_TEMPORARY_OBJECT; 1419 } 1420 1421 void ASTStmtWriter::VisitLambdaExpr(LambdaExpr *E) { 1422 VisitExpr(E); 1423 Record.push_back(E->NumCaptures); 1424 Record.AddSourceRange(E->IntroducerRange); 1425 Record.push_back(E->CaptureDefault); // FIXME: stable encoding 1426 Record.AddSourceLocation(E->CaptureDefaultLoc); 1427 Record.push_back(E->ExplicitParams); 1428 Record.push_back(E->ExplicitResultType); 1429 Record.AddSourceLocation(E->ClosingBrace); 1430 1431 // Add capture initializers. 1432 for (LambdaExpr::capture_init_iterator C = E->capture_init_begin(), 1433 CEnd = E->capture_init_end(); 1434 C != CEnd; ++C) { 1435 Record.AddStmt(*C); 1436 } 1437 1438 Code = serialization::EXPR_LAMBDA; 1439 } 1440 1441 void ASTStmtWriter::VisitCXXStdInitializerListExpr(CXXStdInitializerListExpr *E) { 1442 VisitExpr(E); 1443 Record.AddStmt(E->getSubExpr()); 1444 Code = serialization::EXPR_CXX_STD_INITIALIZER_LIST; 1445 } 1446 1447 void ASTStmtWriter::VisitCXXNamedCastExpr(CXXNamedCastExpr *E) { 1448 VisitExplicitCastExpr(E); 1449 Record.AddSourceRange(SourceRange(E->getOperatorLoc(), E->getRParenLoc())); 1450 Record.AddSourceRange(E->getAngleBrackets()); 1451 } 1452 1453 void ASTStmtWriter::VisitCXXStaticCastExpr(CXXStaticCastExpr *E) { 1454 VisitCXXNamedCastExpr(E); 1455 Code = serialization::EXPR_CXX_STATIC_CAST; 1456 } 1457 1458 void ASTStmtWriter::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *E) { 1459 VisitCXXNamedCastExpr(E); 1460 Code = serialization::EXPR_CXX_DYNAMIC_CAST; 1461 } 1462 1463 void ASTStmtWriter::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *E) { 1464 VisitCXXNamedCastExpr(E); 1465 Code = serialization::EXPR_CXX_REINTERPRET_CAST; 1466 } 1467 1468 void ASTStmtWriter::VisitCXXConstCastExpr(CXXConstCastExpr *E) { 1469 VisitCXXNamedCastExpr(E); 1470 Code = serialization::EXPR_CXX_CONST_CAST; 1471 } 1472 1473 void ASTStmtWriter::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *E) { 1474 VisitExplicitCastExpr(E); 1475 Record.AddSourceLocation(E->getLParenLoc()); 1476 Record.AddSourceLocation(E->getRParenLoc()); 1477 Code = serialization::EXPR_CXX_FUNCTIONAL_CAST; 1478 } 1479 1480 void ASTStmtWriter::VisitBuiltinBitCastExpr(BuiltinBitCastExpr *E) { 1481 VisitExplicitCastExpr(E); 1482 Record.AddSourceLocation(E->getBeginLoc()); 1483 Record.AddSourceLocation(E->getEndLoc()); 1484 } 1485 1486 void ASTStmtWriter::VisitUserDefinedLiteral(UserDefinedLiteral *E) { 1487 VisitCallExpr(E); 1488 Record.AddSourceLocation(E->UDSuffixLoc); 1489 Code = serialization::EXPR_USER_DEFINED_LITERAL; 1490 } 1491 1492 void ASTStmtWriter::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *E) { 1493 VisitExpr(E); 1494 Record.push_back(E->getValue()); 1495 Record.AddSourceLocation(E->getLocation()); 1496 Code = serialization::EXPR_CXX_BOOL_LITERAL; 1497 } 1498 1499 void ASTStmtWriter::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *E) { 1500 VisitExpr(E); 1501 Record.AddSourceLocation(E->getLocation()); 1502 Code = serialization::EXPR_CXX_NULL_PTR_LITERAL; 1503 } 1504 1505 void ASTStmtWriter::VisitCXXTypeidExpr(CXXTypeidExpr *E) { 1506 VisitExpr(E); 1507 Record.AddSourceRange(E->getSourceRange()); 1508 if (E->isTypeOperand()) { 1509 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo()); 1510 Code = serialization::EXPR_CXX_TYPEID_TYPE; 1511 } else { 1512 Record.AddStmt(E->getExprOperand()); 1513 Code = serialization::EXPR_CXX_TYPEID_EXPR; 1514 } 1515 } 1516 1517 void ASTStmtWriter::VisitCXXThisExpr(CXXThisExpr *E) { 1518 VisitExpr(E); 1519 Record.AddSourceLocation(E->getLocation()); 1520 Record.push_back(E->isImplicit()); 1521 Code = serialization::EXPR_CXX_THIS; 1522 } 1523 1524 void ASTStmtWriter::VisitCXXThrowExpr(CXXThrowExpr *E) { 1525 VisitExpr(E); 1526 Record.AddSourceLocation(E->getThrowLoc()); 1527 Record.AddStmt(E->getSubExpr()); 1528 Record.push_back(E->isThrownVariableInScope()); 1529 Code = serialization::EXPR_CXX_THROW; 1530 } 1531 1532 void ASTStmtWriter::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) { 1533 VisitExpr(E); 1534 Record.AddDeclRef(E->getParam()); 1535 Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext())); 1536 Record.AddSourceLocation(E->getUsedLocation()); 1537 Code = serialization::EXPR_CXX_DEFAULT_ARG; 1538 } 1539 1540 void ASTStmtWriter::VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) { 1541 VisitExpr(E); 1542 Record.AddDeclRef(E->getField()); 1543 Record.AddDeclRef(cast_or_null<Decl>(E->getUsedContext())); 1544 Record.AddSourceLocation(E->getExprLoc()); 1545 Code = serialization::EXPR_CXX_DEFAULT_INIT; 1546 } 1547 1548 void ASTStmtWriter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) { 1549 VisitExpr(E); 1550 Record.AddCXXTemporary(E->getTemporary()); 1551 Record.AddStmt(E->getSubExpr()); 1552 Code = serialization::EXPR_CXX_BIND_TEMPORARY; 1553 } 1554 1555 void ASTStmtWriter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) { 1556 VisitExpr(E); 1557 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1558 Record.AddSourceLocation(E->getRParenLoc()); 1559 Code = serialization::EXPR_CXX_SCALAR_VALUE_INIT; 1560 } 1561 1562 void ASTStmtWriter::VisitCXXNewExpr(CXXNewExpr *E) { 1563 VisitExpr(E); 1564 1565 Record.push_back(E->isArray()); 1566 Record.push_back(E->hasInitializer()); 1567 Record.push_back(E->getNumPlacementArgs()); 1568 Record.push_back(E->isParenTypeId()); 1569 1570 Record.push_back(E->isGlobalNew()); 1571 Record.push_back(E->passAlignment()); 1572 Record.push_back(E->doesUsualArrayDeleteWantSize()); 1573 Record.push_back(E->CXXNewExprBits.StoredInitializationStyle); 1574 1575 Record.AddDeclRef(E->getOperatorNew()); 1576 Record.AddDeclRef(E->getOperatorDelete()); 1577 Record.AddTypeSourceInfo(E->getAllocatedTypeSourceInfo()); 1578 if (E->isParenTypeId()) 1579 Record.AddSourceRange(E->getTypeIdParens()); 1580 Record.AddSourceRange(E->getSourceRange()); 1581 Record.AddSourceRange(E->getDirectInitRange()); 1582 1583 for (CXXNewExpr::arg_iterator I = E->raw_arg_begin(), N = E->raw_arg_end(); 1584 I != N; ++I) 1585 Record.AddStmt(*I); 1586 1587 Code = serialization::EXPR_CXX_NEW; 1588 } 1589 1590 void ASTStmtWriter::VisitCXXDeleteExpr(CXXDeleteExpr *E) { 1591 VisitExpr(E); 1592 Record.push_back(E->isGlobalDelete()); 1593 Record.push_back(E->isArrayForm()); 1594 Record.push_back(E->isArrayFormAsWritten()); 1595 Record.push_back(E->doesUsualArrayDeleteWantSize()); 1596 Record.AddDeclRef(E->getOperatorDelete()); 1597 Record.AddStmt(E->getArgument()); 1598 Record.AddSourceLocation(E->getBeginLoc()); 1599 1600 Code = serialization::EXPR_CXX_DELETE; 1601 } 1602 1603 void ASTStmtWriter::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *E) { 1604 VisitExpr(E); 1605 1606 Record.AddStmt(E->getBase()); 1607 Record.push_back(E->isArrow()); 1608 Record.AddSourceLocation(E->getOperatorLoc()); 1609 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1610 Record.AddTypeSourceInfo(E->getScopeTypeInfo()); 1611 Record.AddSourceLocation(E->getColonColonLoc()); 1612 Record.AddSourceLocation(E->getTildeLoc()); 1613 1614 // PseudoDestructorTypeStorage. 1615 Record.AddIdentifierRef(E->getDestroyedTypeIdentifier()); 1616 if (E->getDestroyedTypeIdentifier()) 1617 Record.AddSourceLocation(E->getDestroyedTypeLoc()); 1618 else 1619 Record.AddTypeSourceInfo(E->getDestroyedTypeInfo()); 1620 1621 Code = serialization::EXPR_CXX_PSEUDO_DESTRUCTOR; 1622 } 1623 1624 void ASTStmtWriter::VisitExprWithCleanups(ExprWithCleanups *E) { 1625 VisitExpr(E); 1626 Record.push_back(E->getNumObjects()); 1627 for (unsigned i = 0, e = E->getNumObjects(); i != e; ++i) 1628 Record.AddDeclRef(E->getObject(i)); 1629 1630 Record.push_back(E->cleanupsHaveSideEffects()); 1631 Record.AddStmt(E->getSubExpr()); 1632 Code = serialization::EXPR_EXPR_WITH_CLEANUPS; 1633 } 1634 1635 void ASTStmtWriter::VisitCXXDependentScopeMemberExpr( 1636 CXXDependentScopeMemberExpr *E) { 1637 VisitExpr(E); 1638 1639 // Don't emit anything here (or if you do you will have to update 1640 // the corresponding deserialization function). 1641 1642 Record.push_back(E->hasTemplateKWAndArgsInfo()); 1643 Record.push_back(E->getNumTemplateArgs()); 1644 Record.push_back(E->hasFirstQualifierFoundInScope()); 1645 1646 if (E->hasTemplateKWAndArgsInfo()) { 1647 const ASTTemplateKWAndArgsInfo &ArgInfo = 1648 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(); 1649 AddTemplateKWAndArgsInfo(ArgInfo, 1650 E->getTrailingObjects<TemplateArgumentLoc>()); 1651 } 1652 1653 Record.push_back(E->isArrow()); 1654 Record.AddSourceLocation(E->getOperatorLoc()); 1655 Record.AddTypeRef(E->getBaseType()); 1656 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1657 if (!E->isImplicitAccess()) 1658 Record.AddStmt(E->getBase()); 1659 else 1660 Record.AddStmt(nullptr); 1661 1662 if (E->hasFirstQualifierFoundInScope()) 1663 Record.AddDeclRef(E->getFirstQualifierFoundInScope()); 1664 1665 Record.AddDeclarationNameInfo(E->MemberNameInfo); 1666 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_MEMBER; 1667 } 1668 1669 void 1670 ASTStmtWriter::VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) { 1671 VisitExpr(E); 1672 1673 // Don't emit anything here, HasTemplateKWAndArgsInfo must be 1674 // emitted first. 1675 1676 Record.push_back(E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo); 1677 if (E->DependentScopeDeclRefExprBits.HasTemplateKWAndArgsInfo) { 1678 const ASTTemplateKWAndArgsInfo &ArgInfo = 1679 *E->getTrailingObjects<ASTTemplateKWAndArgsInfo>(); 1680 Record.push_back(ArgInfo.NumTemplateArgs); 1681 AddTemplateKWAndArgsInfo(ArgInfo, 1682 E->getTrailingObjects<TemplateArgumentLoc>()); 1683 } 1684 1685 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1686 Record.AddDeclarationNameInfo(E->NameInfo); 1687 Code = serialization::EXPR_CXX_DEPENDENT_SCOPE_DECL_REF; 1688 } 1689 1690 void 1691 ASTStmtWriter::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *E) { 1692 VisitExpr(E); 1693 Record.push_back(E->arg_size()); 1694 for (CXXUnresolvedConstructExpr::arg_iterator 1695 ArgI = E->arg_begin(), ArgE = E->arg_end(); ArgI != ArgE; ++ArgI) 1696 Record.AddStmt(*ArgI); 1697 Record.AddTypeSourceInfo(E->getTypeSourceInfo()); 1698 Record.AddSourceLocation(E->getLParenLoc()); 1699 Record.AddSourceLocation(E->getRParenLoc()); 1700 Code = serialization::EXPR_CXX_UNRESOLVED_CONSTRUCT; 1701 } 1702 1703 void ASTStmtWriter::VisitOverloadExpr(OverloadExpr *E) { 1704 VisitExpr(E); 1705 1706 Record.push_back(E->getNumDecls()); 1707 Record.push_back(E->hasTemplateKWAndArgsInfo()); 1708 if (E->hasTemplateKWAndArgsInfo()) { 1709 const ASTTemplateKWAndArgsInfo &ArgInfo = 1710 *E->getTrailingASTTemplateKWAndArgsInfo(); 1711 Record.push_back(ArgInfo.NumTemplateArgs); 1712 AddTemplateKWAndArgsInfo(ArgInfo, E->getTrailingTemplateArgumentLoc()); 1713 } 1714 1715 for (OverloadExpr::decls_iterator OvI = E->decls_begin(), 1716 OvE = E->decls_end(); 1717 OvI != OvE; ++OvI) { 1718 Record.AddDeclRef(OvI.getDecl()); 1719 Record.push_back(OvI.getAccess()); 1720 } 1721 1722 Record.AddDeclarationNameInfo(E->getNameInfo()); 1723 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1724 } 1725 1726 void ASTStmtWriter::VisitUnresolvedMemberExpr(UnresolvedMemberExpr *E) { 1727 VisitOverloadExpr(E); 1728 Record.push_back(E->isArrow()); 1729 Record.push_back(E->hasUnresolvedUsing()); 1730 Record.AddStmt(!E->isImplicitAccess() ? E->getBase() : nullptr); 1731 Record.AddTypeRef(E->getBaseType()); 1732 Record.AddSourceLocation(E->getOperatorLoc()); 1733 Code = serialization::EXPR_CXX_UNRESOLVED_MEMBER; 1734 } 1735 1736 void ASTStmtWriter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) { 1737 VisitOverloadExpr(E); 1738 Record.push_back(E->requiresADL()); 1739 Record.push_back(E->isOverloaded()); 1740 Record.AddDeclRef(E->getNamingClass()); 1741 Code = serialization::EXPR_CXX_UNRESOLVED_LOOKUP; 1742 } 1743 1744 void ASTStmtWriter::VisitTypeTraitExpr(TypeTraitExpr *E) { 1745 VisitExpr(E); 1746 Record.push_back(E->TypeTraitExprBits.NumArgs); 1747 Record.push_back(E->TypeTraitExprBits.Kind); // FIXME: Stable encoding 1748 Record.push_back(E->TypeTraitExprBits.Value); 1749 Record.AddSourceRange(E->getSourceRange()); 1750 for (unsigned I = 0, N = E->getNumArgs(); I != N; ++I) 1751 Record.AddTypeSourceInfo(E->getArg(I)); 1752 Code = serialization::EXPR_TYPE_TRAIT; 1753 } 1754 1755 void ASTStmtWriter::VisitArrayTypeTraitExpr(ArrayTypeTraitExpr *E) { 1756 VisitExpr(E); 1757 Record.push_back(E->getTrait()); 1758 Record.push_back(E->getValue()); 1759 Record.AddSourceRange(E->getSourceRange()); 1760 Record.AddTypeSourceInfo(E->getQueriedTypeSourceInfo()); 1761 Record.AddStmt(E->getDimensionExpression()); 1762 Code = serialization::EXPR_ARRAY_TYPE_TRAIT; 1763 } 1764 1765 void ASTStmtWriter::VisitExpressionTraitExpr(ExpressionTraitExpr *E) { 1766 VisitExpr(E); 1767 Record.push_back(E->getTrait()); 1768 Record.push_back(E->getValue()); 1769 Record.AddSourceRange(E->getSourceRange()); 1770 Record.AddStmt(E->getQueriedExpression()); 1771 Code = serialization::EXPR_CXX_EXPRESSION_TRAIT; 1772 } 1773 1774 void ASTStmtWriter::VisitCXXNoexceptExpr(CXXNoexceptExpr *E) { 1775 VisitExpr(E); 1776 Record.push_back(E->getValue()); 1777 Record.AddSourceRange(E->getSourceRange()); 1778 Record.AddStmt(E->getOperand()); 1779 Code = serialization::EXPR_CXX_NOEXCEPT; 1780 } 1781 1782 void ASTStmtWriter::VisitPackExpansionExpr(PackExpansionExpr *E) { 1783 VisitExpr(E); 1784 Record.AddSourceLocation(E->getEllipsisLoc()); 1785 Record.push_back(E->NumExpansions); 1786 Record.AddStmt(E->getPattern()); 1787 Code = serialization::EXPR_PACK_EXPANSION; 1788 } 1789 1790 void ASTStmtWriter::VisitSizeOfPackExpr(SizeOfPackExpr *E) { 1791 VisitExpr(E); 1792 Record.push_back(E->isPartiallySubstituted() ? E->getPartialArguments().size() 1793 : 0); 1794 Record.AddSourceLocation(E->OperatorLoc); 1795 Record.AddSourceLocation(E->PackLoc); 1796 Record.AddSourceLocation(E->RParenLoc); 1797 Record.AddDeclRef(E->Pack); 1798 if (E->isPartiallySubstituted()) { 1799 for (const auto &TA : E->getPartialArguments()) 1800 Record.AddTemplateArgument(TA); 1801 } else if (!E->isValueDependent()) { 1802 Record.push_back(E->getPackLength()); 1803 } 1804 Code = serialization::EXPR_SIZEOF_PACK; 1805 } 1806 1807 void ASTStmtWriter::VisitSubstNonTypeTemplateParmExpr( 1808 SubstNonTypeTemplateParmExpr *E) { 1809 VisitExpr(E); 1810 Record.AddDeclRef(E->getParameter()); 1811 Record.AddSourceLocation(E->getNameLoc()); 1812 Record.AddStmt(E->getReplacement()); 1813 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM; 1814 } 1815 1816 void ASTStmtWriter::VisitSubstNonTypeTemplateParmPackExpr( 1817 SubstNonTypeTemplateParmPackExpr *E) { 1818 VisitExpr(E); 1819 Record.AddDeclRef(E->getParameterPack()); 1820 Record.AddTemplateArgument(E->getArgumentPack()); 1821 Record.AddSourceLocation(E->getParameterPackLocation()); 1822 Code = serialization::EXPR_SUBST_NON_TYPE_TEMPLATE_PARM_PACK; 1823 } 1824 1825 void ASTStmtWriter::VisitFunctionParmPackExpr(FunctionParmPackExpr *E) { 1826 VisitExpr(E); 1827 Record.push_back(E->getNumExpansions()); 1828 Record.AddDeclRef(E->getParameterPack()); 1829 Record.AddSourceLocation(E->getParameterPackLocation()); 1830 for (FunctionParmPackExpr::iterator I = E->begin(), End = E->end(); 1831 I != End; ++I) 1832 Record.AddDeclRef(*I); 1833 Code = serialization::EXPR_FUNCTION_PARM_PACK; 1834 } 1835 1836 void ASTStmtWriter::VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) { 1837 VisitExpr(E); 1838 Record.AddStmt(E->getTemporary()); 1839 Record.AddDeclRef(E->getExtendingDecl()); 1840 Record.push_back(E->getManglingNumber()); 1841 Code = serialization::EXPR_MATERIALIZE_TEMPORARY; 1842 } 1843 1844 void ASTStmtWriter::VisitCXXFoldExpr(CXXFoldExpr *E) { 1845 VisitExpr(E); 1846 Record.AddSourceLocation(E->LParenLoc); 1847 Record.AddSourceLocation(E->EllipsisLoc); 1848 Record.AddSourceLocation(E->RParenLoc); 1849 Record.push_back(E->NumExpansions); 1850 Record.AddStmt(E->SubExprs[0]); 1851 Record.AddStmt(E->SubExprs[1]); 1852 Record.push_back(E->Opcode); 1853 Code = serialization::EXPR_CXX_FOLD; 1854 } 1855 1856 void ASTStmtWriter::VisitOpaqueValueExpr(OpaqueValueExpr *E) { 1857 VisitExpr(E); 1858 Record.AddStmt(E->getSourceExpr()); 1859 Record.AddSourceLocation(E->getLocation()); 1860 Record.push_back(E->isUnique()); 1861 Code = serialization::EXPR_OPAQUE_VALUE; 1862 } 1863 1864 void ASTStmtWriter::VisitTypoExpr(TypoExpr *E) { 1865 VisitExpr(E); 1866 // TODO: Figure out sane writer behavior for a TypoExpr, if necessary 1867 llvm_unreachable("Cannot write TypoExpr nodes"); 1868 } 1869 1870 //===----------------------------------------------------------------------===// 1871 // CUDA Expressions and Statements. 1872 //===----------------------------------------------------------------------===// 1873 1874 void ASTStmtWriter::VisitCUDAKernelCallExpr(CUDAKernelCallExpr *E) { 1875 VisitCallExpr(E); 1876 Record.AddStmt(E->getConfig()); 1877 Code = serialization::EXPR_CUDA_KERNEL_CALL; 1878 } 1879 1880 //===----------------------------------------------------------------------===// 1881 // OpenCL Expressions and Statements. 1882 //===----------------------------------------------------------------------===// 1883 void ASTStmtWriter::VisitAsTypeExpr(AsTypeExpr *E) { 1884 VisitExpr(E); 1885 Record.AddSourceLocation(E->getBuiltinLoc()); 1886 Record.AddSourceLocation(E->getRParenLoc()); 1887 Record.AddStmt(E->getSrcExpr()); 1888 Code = serialization::EXPR_ASTYPE; 1889 } 1890 1891 //===----------------------------------------------------------------------===// 1892 // Microsoft Expressions and Statements. 1893 //===----------------------------------------------------------------------===// 1894 void ASTStmtWriter::VisitMSPropertyRefExpr(MSPropertyRefExpr *E) { 1895 VisitExpr(E); 1896 Record.push_back(E->isArrow()); 1897 Record.AddStmt(E->getBaseExpr()); 1898 Record.AddNestedNameSpecifierLoc(E->getQualifierLoc()); 1899 Record.AddSourceLocation(E->getMemberLoc()); 1900 Record.AddDeclRef(E->getPropertyDecl()); 1901 Code = serialization::EXPR_CXX_PROPERTY_REF_EXPR; 1902 } 1903 1904 void ASTStmtWriter::VisitMSPropertySubscriptExpr(MSPropertySubscriptExpr *E) { 1905 VisitExpr(E); 1906 Record.AddStmt(E->getBase()); 1907 Record.AddStmt(E->getIdx()); 1908 Record.AddSourceLocation(E->getRBracketLoc()); 1909 Code = serialization::EXPR_CXX_PROPERTY_SUBSCRIPT_EXPR; 1910 } 1911 1912 void ASTStmtWriter::VisitCXXUuidofExpr(CXXUuidofExpr *E) { 1913 VisitExpr(E); 1914 Record.AddSourceRange(E->getSourceRange()); 1915 Record.AddString(E->getUuidStr()); 1916 if (E->isTypeOperand()) { 1917 Record.AddTypeSourceInfo(E->getTypeOperandSourceInfo()); 1918 Code = serialization::EXPR_CXX_UUIDOF_TYPE; 1919 } else { 1920 Record.AddStmt(E->getExprOperand()); 1921 Code = serialization::EXPR_CXX_UUIDOF_EXPR; 1922 } 1923 } 1924 1925 void ASTStmtWriter::VisitSEHExceptStmt(SEHExceptStmt *S) { 1926 VisitStmt(S); 1927 Record.AddSourceLocation(S->getExceptLoc()); 1928 Record.AddStmt(S->getFilterExpr()); 1929 Record.AddStmt(S->getBlock()); 1930 Code = serialization::STMT_SEH_EXCEPT; 1931 } 1932 1933 void ASTStmtWriter::VisitSEHFinallyStmt(SEHFinallyStmt *S) { 1934 VisitStmt(S); 1935 Record.AddSourceLocation(S->getFinallyLoc()); 1936 Record.AddStmt(S->getBlock()); 1937 Code = serialization::STMT_SEH_FINALLY; 1938 } 1939 1940 void ASTStmtWriter::VisitSEHTryStmt(SEHTryStmt *S) { 1941 VisitStmt(S); 1942 Record.push_back(S->getIsCXXTry()); 1943 Record.AddSourceLocation(S->getTryLoc()); 1944 Record.AddStmt(S->getTryBlock()); 1945 Record.AddStmt(S->getHandler()); 1946 Code = serialization::STMT_SEH_TRY; 1947 } 1948 1949 void ASTStmtWriter::VisitSEHLeaveStmt(SEHLeaveStmt *S) { 1950 VisitStmt(S); 1951 Record.AddSourceLocation(S->getLeaveLoc()); 1952 Code = serialization::STMT_SEH_LEAVE; 1953 } 1954 1955 //===----------------------------------------------------------------------===// 1956 // OpenMP Directives. 1957 //===----------------------------------------------------------------------===// 1958 void ASTStmtWriter::VisitOMPExecutableDirective(OMPExecutableDirective *E) { 1959 Record.AddSourceLocation(E->getBeginLoc()); 1960 Record.AddSourceLocation(E->getEndLoc()); 1961 OMPClauseWriter ClauseWriter(Record); 1962 for (unsigned i = 0; i < E->getNumClauses(); ++i) { 1963 ClauseWriter.writeClause(E->getClause(i)); 1964 } 1965 if (E->hasAssociatedStmt()) 1966 Record.AddStmt(E->getAssociatedStmt()); 1967 } 1968 1969 void ASTStmtWriter::VisitOMPLoopDirective(OMPLoopDirective *D) { 1970 VisitStmt(D); 1971 Record.push_back(D->getNumClauses()); 1972 Record.push_back(D->getCollapsedNumber()); 1973 VisitOMPExecutableDirective(D); 1974 Record.AddStmt(D->getIterationVariable()); 1975 Record.AddStmt(D->getLastIteration()); 1976 Record.AddStmt(D->getCalcLastIteration()); 1977 Record.AddStmt(D->getPreCond()); 1978 Record.AddStmt(D->getCond()); 1979 Record.AddStmt(D->getInit()); 1980 Record.AddStmt(D->getInc()); 1981 Record.AddStmt(D->getPreInits()); 1982 if (isOpenMPWorksharingDirective(D->getDirectiveKind()) || 1983 isOpenMPTaskLoopDirective(D->getDirectiveKind()) || 1984 isOpenMPDistributeDirective(D->getDirectiveKind())) { 1985 Record.AddStmt(D->getIsLastIterVariable()); 1986 Record.AddStmt(D->getLowerBoundVariable()); 1987 Record.AddStmt(D->getUpperBoundVariable()); 1988 Record.AddStmt(D->getStrideVariable()); 1989 Record.AddStmt(D->getEnsureUpperBound()); 1990 Record.AddStmt(D->getNextLowerBound()); 1991 Record.AddStmt(D->getNextUpperBound()); 1992 Record.AddStmt(D->getNumIterations()); 1993 } 1994 if (isOpenMPLoopBoundSharingDirective(D->getDirectiveKind())) { 1995 Record.AddStmt(D->getPrevLowerBoundVariable()); 1996 Record.AddStmt(D->getPrevUpperBoundVariable()); 1997 Record.AddStmt(D->getDistInc()); 1998 Record.AddStmt(D->getPrevEnsureUpperBound()); 1999 Record.AddStmt(D->getCombinedLowerBoundVariable()); 2000 Record.AddStmt(D->getCombinedUpperBoundVariable()); 2001 Record.AddStmt(D->getCombinedEnsureUpperBound()); 2002 Record.AddStmt(D->getCombinedInit()); 2003 Record.AddStmt(D->getCombinedCond()); 2004 Record.AddStmt(D->getCombinedNextLowerBound()); 2005 Record.AddStmt(D->getCombinedNextUpperBound()); 2006 Record.AddStmt(D->getCombinedDistCond()); 2007 Record.AddStmt(D->getCombinedParForInDistCond()); 2008 } 2009 for (auto I : D->counters()) { 2010 Record.AddStmt(I); 2011 } 2012 for (auto I : D->private_counters()) { 2013 Record.AddStmt(I); 2014 } 2015 for (auto I : D->inits()) { 2016 Record.AddStmt(I); 2017 } 2018 for (auto I : D->updates()) { 2019 Record.AddStmt(I); 2020 } 2021 for (auto I : D->finals()) { 2022 Record.AddStmt(I); 2023 } 2024 for (Stmt *S : D->dependent_counters()) 2025 Record.AddStmt(S); 2026 for (Stmt *S : D->dependent_inits()) 2027 Record.AddStmt(S); 2028 for (Stmt *S : D->finals_conditions()) 2029 Record.AddStmt(S); 2030 } 2031 2032 void ASTStmtWriter::VisitOMPParallelDirective(OMPParallelDirective *D) { 2033 VisitStmt(D); 2034 Record.push_back(D->getNumClauses()); 2035 VisitOMPExecutableDirective(D); 2036 Record.push_back(D->hasCancel() ? 1 : 0); 2037 Code = serialization::STMT_OMP_PARALLEL_DIRECTIVE; 2038 } 2039 2040 void ASTStmtWriter::VisitOMPSimdDirective(OMPSimdDirective *D) { 2041 VisitOMPLoopDirective(D); 2042 Code = serialization::STMT_OMP_SIMD_DIRECTIVE; 2043 } 2044 2045 void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) { 2046 VisitOMPLoopDirective(D); 2047 Record.push_back(D->hasCancel() ? 1 : 0); 2048 Code = serialization::STMT_OMP_FOR_DIRECTIVE; 2049 } 2050 2051 void ASTStmtWriter::VisitOMPForSimdDirective(OMPForSimdDirective *D) { 2052 VisitOMPLoopDirective(D); 2053 Code = serialization::STMT_OMP_FOR_SIMD_DIRECTIVE; 2054 } 2055 2056 void ASTStmtWriter::VisitOMPSectionsDirective(OMPSectionsDirective *D) { 2057 VisitStmt(D); 2058 Record.push_back(D->getNumClauses()); 2059 VisitOMPExecutableDirective(D); 2060 Record.push_back(D->hasCancel() ? 1 : 0); 2061 Code = serialization::STMT_OMP_SECTIONS_DIRECTIVE; 2062 } 2063 2064 void ASTStmtWriter::VisitOMPSectionDirective(OMPSectionDirective *D) { 2065 VisitStmt(D); 2066 VisitOMPExecutableDirective(D); 2067 Record.push_back(D->hasCancel() ? 1 : 0); 2068 Code = serialization::STMT_OMP_SECTION_DIRECTIVE; 2069 } 2070 2071 void ASTStmtWriter::VisitOMPSingleDirective(OMPSingleDirective *D) { 2072 VisitStmt(D); 2073 Record.push_back(D->getNumClauses()); 2074 VisitOMPExecutableDirective(D); 2075 Code = serialization::STMT_OMP_SINGLE_DIRECTIVE; 2076 } 2077 2078 void ASTStmtWriter::VisitOMPMasterDirective(OMPMasterDirective *D) { 2079 VisitStmt(D); 2080 VisitOMPExecutableDirective(D); 2081 Code = serialization::STMT_OMP_MASTER_DIRECTIVE; 2082 } 2083 2084 void ASTStmtWriter::VisitOMPCriticalDirective(OMPCriticalDirective *D) { 2085 VisitStmt(D); 2086 Record.push_back(D->getNumClauses()); 2087 VisitOMPExecutableDirective(D); 2088 Record.AddDeclarationNameInfo(D->getDirectiveName()); 2089 Code = serialization::STMT_OMP_CRITICAL_DIRECTIVE; 2090 } 2091 2092 void ASTStmtWriter::VisitOMPParallelForDirective(OMPParallelForDirective *D) { 2093 VisitOMPLoopDirective(D); 2094 Record.push_back(D->hasCancel() ? 1 : 0); 2095 Code = serialization::STMT_OMP_PARALLEL_FOR_DIRECTIVE; 2096 } 2097 2098 void ASTStmtWriter::VisitOMPParallelForSimdDirective( 2099 OMPParallelForSimdDirective *D) { 2100 VisitOMPLoopDirective(D); 2101 Code = serialization::STMT_OMP_PARALLEL_FOR_SIMD_DIRECTIVE; 2102 } 2103 2104 void ASTStmtWriter::VisitOMPParallelSectionsDirective( 2105 OMPParallelSectionsDirective *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_PARALLEL_SECTIONS_DIRECTIVE; 2111 } 2112 2113 void ASTStmtWriter::VisitOMPTaskDirective(OMPTaskDirective *D) { 2114 VisitStmt(D); 2115 Record.push_back(D->getNumClauses()); 2116 VisitOMPExecutableDirective(D); 2117 Record.push_back(D->hasCancel() ? 1 : 0); 2118 Code = serialization::STMT_OMP_TASK_DIRECTIVE; 2119 } 2120 2121 void ASTStmtWriter::VisitOMPAtomicDirective(OMPAtomicDirective *D) { 2122 VisitStmt(D); 2123 Record.push_back(D->getNumClauses()); 2124 VisitOMPExecutableDirective(D); 2125 Record.AddStmt(D->getX()); 2126 Record.AddStmt(D->getV()); 2127 Record.AddStmt(D->getExpr()); 2128 Record.AddStmt(D->getUpdateExpr()); 2129 Record.push_back(D->isXLHSInRHSPart() ? 1 : 0); 2130 Record.push_back(D->isPostfixUpdate() ? 1 : 0); 2131 Code = serialization::STMT_OMP_ATOMIC_DIRECTIVE; 2132 } 2133 2134 void ASTStmtWriter::VisitOMPTargetDirective(OMPTargetDirective *D) { 2135 VisitStmt(D); 2136 Record.push_back(D->getNumClauses()); 2137 VisitOMPExecutableDirective(D); 2138 Code = serialization::STMT_OMP_TARGET_DIRECTIVE; 2139 } 2140 2141 void ASTStmtWriter::VisitOMPTargetDataDirective(OMPTargetDataDirective *D) { 2142 VisitStmt(D); 2143 Record.push_back(D->getNumClauses()); 2144 VisitOMPExecutableDirective(D); 2145 Code = serialization::STMT_OMP_TARGET_DATA_DIRECTIVE; 2146 } 2147 2148 void ASTStmtWriter::VisitOMPTargetEnterDataDirective( 2149 OMPTargetEnterDataDirective *D) { 2150 VisitStmt(D); 2151 Record.push_back(D->getNumClauses()); 2152 VisitOMPExecutableDirective(D); 2153 Code = serialization::STMT_OMP_TARGET_ENTER_DATA_DIRECTIVE; 2154 } 2155 2156 void ASTStmtWriter::VisitOMPTargetExitDataDirective( 2157 OMPTargetExitDataDirective *D) { 2158 VisitStmt(D); 2159 Record.push_back(D->getNumClauses()); 2160 VisitOMPExecutableDirective(D); 2161 Code = serialization::STMT_OMP_TARGET_EXIT_DATA_DIRECTIVE; 2162 } 2163 2164 void ASTStmtWriter::VisitOMPTargetParallelDirective( 2165 OMPTargetParallelDirective *D) { 2166 VisitStmt(D); 2167 Record.push_back(D->getNumClauses()); 2168 VisitOMPExecutableDirective(D); 2169 Code = serialization::STMT_OMP_TARGET_PARALLEL_DIRECTIVE; 2170 } 2171 2172 void ASTStmtWriter::VisitOMPTargetParallelForDirective( 2173 OMPTargetParallelForDirective *D) { 2174 VisitOMPLoopDirective(D); 2175 Record.push_back(D->hasCancel() ? 1 : 0); 2176 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_DIRECTIVE; 2177 } 2178 2179 void ASTStmtWriter::VisitOMPTaskyieldDirective(OMPTaskyieldDirective *D) { 2180 VisitStmt(D); 2181 VisitOMPExecutableDirective(D); 2182 Code = serialization::STMT_OMP_TASKYIELD_DIRECTIVE; 2183 } 2184 2185 void ASTStmtWriter::VisitOMPBarrierDirective(OMPBarrierDirective *D) { 2186 VisitStmt(D); 2187 VisitOMPExecutableDirective(D); 2188 Code = serialization::STMT_OMP_BARRIER_DIRECTIVE; 2189 } 2190 2191 void ASTStmtWriter::VisitOMPTaskwaitDirective(OMPTaskwaitDirective *D) { 2192 VisitStmt(D); 2193 VisitOMPExecutableDirective(D); 2194 Code = serialization::STMT_OMP_TASKWAIT_DIRECTIVE; 2195 } 2196 2197 void ASTStmtWriter::VisitOMPTaskgroupDirective(OMPTaskgroupDirective *D) { 2198 VisitStmt(D); 2199 Record.push_back(D->getNumClauses()); 2200 VisitOMPExecutableDirective(D); 2201 Record.AddStmt(D->getReductionRef()); 2202 Code = serialization::STMT_OMP_TASKGROUP_DIRECTIVE; 2203 } 2204 2205 void ASTStmtWriter::VisitOMPFlushDirective(OMPFlushDirective *D) { 2206 VisitStmt(D); 2207 Record.push_back(D->getNumClauses()); 2208 VisitOMPExecutableDirective(D); 2209 Code = serialization::STMT_OMP_FLUSH_DIRECTIVE; 2210 } 2211 2212 void ASTStmtWriter::VisitOMPOrderedDirective(OMPOrderedDirective *D) { 2213 VisitStmt(D); 2214 Record.push_back(D->getNumClauses()); 2215 VisitOMPExecutableDirective(D); 2216 Code = serialization::STMT_OMP_ORDERED_DIRECTIVE; 2217 } 2218 2219 void ASTStmtWriter::VisitOMPTeamsDirective(OMPTeamsDirective *D) { 2220 VisitStmt(D); 2221 Record.push_back(D->getNumClauses()); 2222 VisitOMPExecutableDirective(D); 2223 Code = serialization::STMT_OMP_TEAMS_DIRECTIVE; 2224 } 2225 2226 void ASTStmtWriter::VisitOMPCancellationPointDirective( 2227 OMPCancellationPointDirective *D) { 2228 VisitStmt(D); 2229 VisitOMPExecutableDirective(D); 2230 Record.push_back(D->getCancelRegion()); 2231 Code = serialization::STMT_OMP_CANCELLATION_POINT_DIRECTIVE; 2232 } 2233 2234 void ASTStmtWriter::VisitOMPCancelDirective(OMPCancelDirective *D) { 2235 VisitStmt(D); 2236 Record.push_back(D->getNumClauses()); 2237 VisitOMPExecutableDirective(D); 2238 Record.push_back(D->getCancelRegion()); 2239 Code = serialization::STMT_OMP_CANCEL_DIRECTIVE; 2240 } 2241 2242 void ASTStmtWriter::VisitOMPTaskLoopDirective(OMPTaskLoopDirective *D) { 2243 VisitOMPLoopDirective(D); 2244 Code = serialization::STMT_OMP_TASKLOOP_DIRECTIVE; 2245 } 2246 2247 void ASTStmtWriter::VisitOMPTaskLoopSimdDirective(OMPTaskLoopSimdDirective *D) { 2248 VisitOMPLoopDirective(D); 2249 Code = serialization::STMT_OMP_TASKLOOP_SIMD_DIRECTIVE; 2250 } 2251 2252 void ASTStmtWriter::VisitOMPMasterTaskLoopDirective( 2253 OMPMasterTaskLoopDirective *D) { 2254 VisitOMPLoopDirective(D); 2255 Code = serialization::STMT_OMP_MASTER_TASKLOOP_DIRECTIVE; 2256 } 2257 2258 void ASTStmtWriter::VisitOMPMasterTaskLoopSimdDirective( 2259 OMPMasterTaskLoopSimdDirective *D) { 2260 VisitOMPLoopDirective(D); 2261 Code = serialization::STMT_OMP_MASTER_TASKLOOP_SIMD_DIRECTIVE; 2262 } 2263 2264 void ASTStmtWriter::VisitOMPParallelMasterTaskLoopDirective( 2265 OMPParallelMasterTaskLoopDirective *D) { 2266 VisitOMPLoopDirective(D); 2267 Code = serialization::STMT_OMP_PARALLEL_MASTER_TASKLOOP_DIRECTIVE; 2268 } 2269 2270 void ASTStmtWriter::VisitOMPDistributeDirective(OMPDistributeDirective *D) { 2271 VisitOMPLoopDirective(D); 2272 Code = serialization::STMT_OMP_DISTRIBUTE_DIRECTIVE; 2273 } 2274 2275 void ASTStmtWriter::VisitOMPTargetUpdateDirective(OMPTargetUpdateDirective *D) { 2276 VisitStmt(D); 2277 Record.push_back(D->getNumClauses()); 2278 VisitOMPExecutableDirective(D); 2279 Code = serialization::STMT_OMP_TARGET_UPDATE_DIRECTIVE; 2280 } 2281 2282 void ASTStmtWriter::VisitOMPDistributeParallelForDirective( 2283 OMPDistributeParallelForDirective *D) { 2284 VisitOMPLoopDirective(D); 2285 Record.push_back(D->hasCancel() ? 1 : 0); 2286 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE; 2287 } 2288 2289 void ASTStmtWriter::VisitOMPDistributeParallelForSimdDirective( 2290 OMPDistributeParallelForSimdDirective *D) { 2291 VisitOMPLoopDirective(D); 2292 Code = serialization::STMT_OMP_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE; 2293 } 2294 2295 void ASTStmtWriter::VisitOMPDistributeSimdDirective( 2296 OMPDistributeSimdDirective *D) { 2297 VisitOMPLoopDirective(D); 2298 Code = serialization::STMT_OMP_DISTRIBUTE_SIMD_DIRECTIVE; 2299 } 2300 2301 void ASTStmtWriter::VisitOMPTargetParallelForSimdDirective( 2302 OMPTargetParallelForSimdDirective *D) { 2303 VisitOMPLoopDirective(D); 2304 Code = serialization::STMT_OMP_TARGET_PARALLEL_FOR_SIMD_DIRECTIVE; 2305 } 2306 2307 void ASTStmtWriter::VisitOMPTargetSimdDirective(OMPTargetSimdDirective *D) { 2308 VisitOMPLoopDirective(D); 2309 Code = serialization::STMT_OMP_TARGET_SIMD_DIRECTIVE; 2310 } 2311 2312 void ASTStmtWriter::VisitOMPTeamsDistributeDirective( 2313 OMPTeamsDistributeDirective *D) { 2314 VisitOMPLoopDirective(D); 2315 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_DIRECTIVE; 2316 } 2317 2318 void ASTStmtWriter::VisitOMPTeamsDistributeSimdDirective( 2319 OMPTeamsDistributeSimdDirective *D) { 2320 VisitOMPLoopDirective(D); 2321 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE; 2322 } 2323 2324 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForSimdDirective( 2325 OMPTeamsDistributeParallelForSimdDirective *D) { 2326 VisitOMPLoopDirective(D); 2327 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE; 2328 } 2329 2330 void ASTStmtWriter::VisitOMPTeamsDistributeParallelForDirective( 2331 OMPTeamsDistributeParallelForDirective *D) { 2332 VisitOMPLoopDirective(D); 2333 Record.push_back(D->hasCancel() ? 1 : 0); 2334 Code = serialization::STMT_OMP_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE; 2335 } 2336 2337 void ASTStmtWriter::VisitOMPTargetTeamsDirective(OMPTargetTeamsDirective *D) { 2338 VisitStmt(D); 2339 Record.push_back(D->getNumClauses()); 2340 VisitOMPExecutableDirective(D); 2341 Code = serialization::STMT_OMP_TARGET_TEAMS_DIRECTIVE; 2342 } 2343 2344 void ASTStmtWriter::VisitOMPTargetTeamsDistributeDirective( 2345 OMPTargetTeamsDistributeDirective *D) { 2346 VisitOMPLoopDirective(D); 2347 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_DIRECTIVE; 2348 } 2349 2350 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForDirective( 2351 OMPTargetTeamsDistributeParallelForDirective *D) { 2352 VisitOMPLoopDirective(D); 2353 Record.push_back(D->hasCancel() ? 1 : 0); 2354 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_DIRECTIVE; 2355 } 2356 2357 void ASTStmtWriter::VisitOMPTargetTeamsDistributeParallelForSimdDirective( 2358 OMPTargetTeamsDistributeParallelForSimdDirective *D) { 2359 VisitOMPLoopDirective(D); 2360 Code = serialization:: 2361 STMT_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_FOR_SIMD_DIRECTIVE; 2362 } 2363 2364 void ASTStmtWriter::VisitOMPTargetTeamsDistributeSimdDirective( 2365 OMPTargetTeamsDistributeSimdDirective *D) { 2366 VisitOMPLoopDirective(D); 2367 Code = serialization::STMT_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD_DIRECTIVE; 2368 } 2369 2370 //===----------------------------------------------------------------------===// 2371 // ASTWriter Implementation 2372 //===----------------------------------------------------------------------===// 2373 2374 unsigned ASTWriter::RecordSwitchCaseID(SwitchCase *S) { 2375 assert(SwitchCaseIDs.find(S) == SwitchCaseIDs.end() && 2376 "SwitchCase recorded twice"); 2377 unsigned NextID = SwitchCaseIDs.size(); 2378 SwitchCaseIDs[S] = NextID; 2379 return NextID; 2380 } 2381 2382 unsigned ASTWriter::getSwitchCaseID(SwitchCase *S) { 2383 assert(SwitchCaseIDs.find(S) != SwitchCaseIDs.end() && 2384 "SwitchCase hasn't been seen yet"); 2385 return SwitchCaseIDs[S]; 2386 } 2387 2388 void ASTWriter::ClearSwitchCaseIDs() { 2389 SwitchCaseIDs.clear(); 2390 } 2391 2392 /// Write the given substatement or subexpression to the 2393 /// bitstream. 2394 void ASTWriter::WriteSubStmt(Stmt *S) { 2395 RecordData Record; 2396 ASTStmtWriter Writer(*this, Record); 2397 ++NumStatements; 2398 2399 if (!S) { 2400 Stream.EmitRecord(serialization::STMT_NULL_PTR, Record); 2401 return; 2402 } 2403 2404 llvm::DenseMap<Stmt *, uint64_t>::iterator I = SubStmtEntries.find(S); 2405 if (I != SubStmtEntries.end()) { 2406 Record.push_back(I->second); 2407 Stream.EmitRecord(serialization::STMT_REF_PTR, Record); 2408 return; 2409 } 2410 2411 #ifndef NDEBUG 2412 assert(!ParentStmts.count(S) && "There is a Stmt cycle!"); 2413 2414 struct ParentStmtInserterRAII { 2415 Stmt *S; 2416 llvm::DenseSet<Stmt *> &ParentStmts; 2417 2418 ParentStmtInserterRAII(Stmt *S, llvm::DenseSet<Stmt *> &ParentStmts) 2419 : S(S), ParentStmts(ParentStmts) { 2420 ParentStmts.insert(S); 2421 } 2422 ~ParentStmtInserterRAII() { 2423 ParentStmts.erase(S); 2424 } 2425 }; 2426 2427 ParentStmtInserterRAII ParentStmtInserter(S, ParentStmts); 2428 #endif 2429 2430 Writer.Visit(S); 2431 2432 uint64_t Offset = Writer.Emit(); 2433 SubStmtEntries[S] = Offset; 2434 } 2435 2436 /// Flush all of the statements that have been added to the 2437 /// queue via AddStmt(). 2438 void ASTRecordWriter::FlushStmts() { 2439 // We expect to be the only consumer of the two temporary statement maps, 2440 // assert that they are empty. 2441 assert(Writer->SubStmtEntries.empty() && "unexpected entries in sub-stmt map"); 2442 assert(Writer->ParentStmts.empty() && "unexpected entries in parent stmt map"); 2443 2444 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) { 2445 Writer->WriteSubStmt(StmtsToEmit[I]); 2446 2447 assert(N == StmtsToEmit.size() && "record modified while being written!"); 2448 2449 // Note that we are at the end of a full expression. Any 2450 // expression records that follow this one are part of a different 2451 // expression. 2452 Writer->Stream.EmitRecord(serialization::STMT_STOP, ArrayRef<uint32_t>()); 2453 2454 Writer->SubStmtEntries.clear(); 2455 Writer->ParentStmts.clear(); 2456 } 2457 2458 StmtsToEmit.clear(); 2459 } 2460 2461 void ASTRecordWriter::FlushSubStmts() { 2462 // For a nested statement, write out the substatements in reverse order (so 2463 // that a simple stack machine can be used when loading), and don't emit a 2464 // STMT_STOP after each one. 2465 for (unsigned I = 0, N = StmtsToEmit.size(); I != N; ++I) { 2466 Writer->WriteSubStmt(StmtsToEmit[N - I - 1]); 2467 assert(N == StmtsToEmit.size() && "record modified while being written!"); 2468 } 2469 2470 StmtsToEmit.clear(); 2471 } 2472