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