1bc068586SAdrian Prantl //===--- ObjectFilePCHContainerOperations.cpp -----------------------------===// 2bc068586SAdrian Prantl // 3bc068586SAdrian Prantl // The LLVM Compiler Infrastructure 4bc068586SAdrian Prantl // 5bc068586SAdrian Prantl // This file is distributed under the University of Illinois Open Source 6bc068586SAdrian Prantl // License. See LICENSE.TXT for details. 7bc068586SAdrian Prantl // 8bc068586SAdrian Prantl //===----------------------------------------------------------------------===// 9bc068586SAdrian Prantl 10bc068586SAdrian Prantl #include "clang/CodeGen/ObjectFilePCHContainerOperations.h" 11bc068586SAdrian Prantl #include "CGDebugInfo.h" 12bc068586SAdrian Prantl #include "CodeGenModule.h" 13bc068586SAdrian Prantl #include "clang/AST/ASTContext.h" 14bc068586SAdrian Prantl #include "clang/AST/DeclObjC.h" 15bc068586SAdrian Prantl #include "clang/AST/Expr.h" 16bc068586SAdrian Prantl #include "clang/AST/RecursiveASTVisitor.h" 17bc068586SAdrian Prantl #include "clang/Basic/Diagnostic.h" 18bc068586SAdrian Prantl #include "clang/Basic/TargetInfo.h" 19bc068586SAdrian Prantl #include "clang/CodeGen/BackendUtil.h" 20bc068586SAdrian Prantl #include "clang/Frontend/CodeGenOptions.h" 210391406eSAdrian Prantl #include "clang/Frontend/CompilerInstance.h" 229402cef0SAdrian Prantl #include "clang/Lex/Preprocessor.h" 239402cef0SAdrian Prantl #include "clang/Lex/HeaderSearch.h" 24bc068586SAdrian Prantl #include "clang/Serialization/ASTWriter.h" 25bc068586SAdrian Prantl #include "llvm/ADT/StringRef.h" 26bc068586SAdrian Prantl #include "llvm/Bitcode/BitstreamReader.h" 27bc068586SAdrian Prantl #include "llvm/DebugInfo/DWARF/DWARFContext.h" 28bc068586SAdrian Prantl #include "llvm/IR/Constants.h" 29bc068586SAdrian Prantl #include "llvm/IR/DataLayout.h" 30bc068586SAdrian Prantl #include "llvm/IR/LLVMContext.h" 31bc068586SAdrian Prantl #include "llvm/IR/Module.h" 32bc068586SAdrian Prantl #include "llvm/Object/COFF.h" 33bc068586SAdrian Prantl #include "llvm/Object/ObjectFile.h" 34bc068586SAdrian Prantl #include "llvm/Support/TargetRegistry.h" 35bc068586SAdrian Prantl #include <memory> 367eb5464bSHans Wennborg 37bc068586SAdrian Prantl using namespace clang; 38bc068586SAdrian Prantl 39bc068586SAdrian Prantl #define DEBUG_TYPE "pchcontainer" 40bc068586SAdrian Prantl 41bc068586SAdrian Prantl namespace { 425a88e1a8SAdrian Prantl class PCHContainerGenerator : public ASTConsumer { 43bc068586SAdrian Prantl DiagnosticsEngine &Diags; 44bc068586SAdrian Prantl const std::string MainFileName; 45bc068586SAdrian Prantl ASTContext *Ctx; 469402cef0SAdrian Prantl ModuleMap &MMap; 47bc068586SAdrian Prantl const HeaderSearchOptions &HeaderSearchOpts; 48bc068586SAdrian Prantl const PreprocessorOptions &PreprocessorOpts; 49bc068586SAdrian Prantl CodeGenOptions CodeGenOpts; 50bc068586SAdrian Prantl const TargetOptions TargetOpts; 51bc068586SAdrian Prantl const LangOptions LangOpts; 52bc068586SAdrian Prantl std::unique_ptr<llvm::LLVMContext> VMContext; 53bc068586SAdrian Prantl std::unique_ptr<llvm::Module> M; 54bc068586SAdrian Prantl std::unique_ptr<CodeGen::CodeGenModule> Builder; 55bc068586SAdrian Prantl raw_pwrite_stream *OS; 56bc068586SAdrian Prantl std::shared_ptr<PCHBuffer> Buffer; 57bc068586SAdrian Prantl 584aa2b3a3SAdrian Prantl /// Visit every type and emit debug info for it. 594aa2b3a3SAdrian Prantl struct DebugTypeVisitor : public RecursiveASTVisitor<DebugTypeVisitor> { 604aa2b3a3SAdrian Prantl clang::CodeGen::CGDebugInfo &DI; 614aa2b3a3SAdrian Prantl ASTContext &Ctx; 62b3b821f1SAdrian Prantl bool SkipTagDecls; 63b3b821f1SAdrian Prantl DebugTypeVisitor(clang::CodeGen::CGDebugInfo &DI, ASTContext &Ctx, 64b3b821f1SAdrian Prantl bool SkipTagDecls) 65b3b821f1SAdrian Prantl : DI(DI), Ctx(Ctx), SkipTagDecls(SkipTagDecls) {} 664aa2b3a3SAdrian Prantl 674aa2b3a3SAdrian Prantl /// Determine whether this type can be represented in DWARF. 684aa2b3a3SAdrian Prantl static bool CanRepresent(const Type *Ty) { 694aa2b3a3SAdrian Prantl return !Ty->isDependentType() && !Ty->isUndeducedType(); 704aa2b3a3SAdrian Prantl } 714aa2b3a3SAdrian Prantl 7285d938aaSAdrian Prantl bool VisitImportDecl(ImportDecl *D) { 7385d938aaSAdrian Prantl auto *Import = cast<ImportDecl>(D); 7485d938aaSAdrian Prantl if (!Import->getImportedOwningModule()) 7585d938aaSAdrian Prantl DI.EmitImportDecl(*Import); 7685d938aaSAdrian Prantl return true; 7785d938aaSAdrian Prantl } 7885d938aaSAdrian Prantl 794aa2b3a3SAdrian Prantl bool VisitTypeDecl(TypeDecl *D) { 80b3b821f1SAdrian Prantl // TagDecls may be deferred until after all decls have been merged and we 81b3b821f1SAdrian Prantl // know the complete type. Pure forward declarations will be skipped, but 82b3b821f1SAdrian Prantl // they don't need to be emitted into the module anyway. 83b3b821f1SAdrian Prantl if (SkipTagDecls && isa<TagDecl>(D)) 84b3b821f1SAdrian Prantl return true; 85b3b821f1SAdrian Prantl 864aa2b3a3SAdrian Prantl QualType QualTy = Ctx.getTypeDeclType(D); 874aa2b3a3SAdrian Prantl if (!QualTy.isNull() && CanRepresent(QualTy.getTypePtr())) 884aa2b3a3SAdrian Prantl DI.getOrCreateStandaloneType(QualTy, D->getLocation()); 894aa2b3a3SAdrian Prantl return true; 904aa2b3a3SAdrian Prantl } 914aa2b3a3SAdrian Prantl 92748a6cd1SAdrian Prantl bool VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) { 93748a6cd1SAdrian Prantl QualType QualTy(D->getTypeForDecl(), 0); 94748a6cd1SAdrian Prantl if (!QualTy.isNull() && CanRepresent(QualTy.getTypePtr())) 95748a6cd1SAdrian Prantl DI.getOrCreateStandaloneType(QualTy, D->getLocation()); 96748a6cd1SAdrian Prantl return true; 97748a6cd1SAdrian Prantl } 98748a6cd1SAdrian Prantl 99748a6cd1SAdrian Prantl bool VisitFunctionDecl(FunctionDecl *D) { 100748a6cd1SAdrian Prantl if (isa<CXXMethodDecl>(D)) 101748a6cd1SAdrian Prantl // This is not yet supported. Constructing the `this' argument 102748a6cd1SAdrian Prantl // mandates a CodeGenFunction. 103748a6cd1SAdrian Prantl return true; 104748a6cd1SAdrian Prantl 105748a6cd1SAdrian Prantl SmallVector<QualType, 16> ArgTypes; 106748a6cd1SAdrian Prantl for (auto i : D->params()) 107748a6cd1SAdrian Prantl ArgTypes.push_back(i->getType()); 108748a6cd1SAdrian Prantl QualType RetTy = D->getReturnType(); 109748a6cd1SAdrian Prantl QualType FnTy = Ctx.getFunctionType(RetTy, ArgTypes, 110748a6cd1SAdrian Prantl FunctionProtoType::ExtProtoInfo()); 111748a6cd1SAdrian Prantl if (CanRepresent(FnTy.getTypePtr())) 112748a6cd1SAdrian Prantl DI.EmitFunctionDecl(D, D->getLocation(), FnTy); 113748a6cd1SAdrian Prantl return true; 114748a6cd1SAdrian Prantl } 115748a6cd1SAdrian Prantl 116748a6cd1SAdrian Prantl bool VisitObjCMethodDecl(ObjCMethodDecl *D) { 117748a6cd1SAdrian Prantl if (!D->getClassInterface()) 118748a6cd1SAdrian Prantl return true; 119748a6cd1SAdrian Prantl 120748a6cd1SAdrian Prantl bool selfIsPseudoStrong, selfIsConsumed; 121748a6cd1SAdrian Prantl SmallVector<QualType, 16> ArgTypes; 122748a6cd1SAdrian Prantl ArgTypes.push_back(D->getSelfType(Ctx, D->getClassInterface(), 123748a6cd1SAdrian Prantl selfIsPseudoStrong, selfIsConsumed)); 124748a6cd1SAdrian Prantl ArgTypes.push_back(Ctx.getObjCSelType()); 125748a6cd1SAdrian Prantl for (auto i : D->params()) 126748a6cd1SAdrian Prantl ArgTypes.push_back(i->getType()); 127748a6cd1SAdrian Prantl QualType RetTy = D->getReturnType(); 128748a6cd1SAdrian Prantl QualType FnTy = Ctx.getFunctionType(RetTy, ArgTypes, 129748a6cd1SAdrian Prantl FunctionProtoType::ExtProtoInfo()); 130748a6cd1SAdrian Prantl if (CanRepresent(FnTy.getTypePtr())) 131748a6cd1SAdrian Prantl DI.EmitFunctionDecl(D, D->getLocation(), FnTy); 132748a6cd1SAdrian Prantl return true; 133748a6cd1SAdrian Prantl } 1344aa2b3a3SAdrian Prantl }; 1354aa2b3a3SAdrian Prantl 136bc068586SAdrian Prantl public: 1371e63b2bdSAdrian Prantl PCHContainerGenerator(CompilerInstance &CI, const std::string &MainFileName, 1385a88e1a8SAdrian Prantl const std::string &OutputFileName, 1395a88e1a8SAdrian Prantl raw_pwrite_stream *OS, 1405a88e1a8SAdrian Prantl std::shared_ptr<PCHBuffer> Buffer) 1411e63b2bdSAdrian Prantl : Diags(CI.getDiagnostics()), Ctx(nullptr), 1429402cef0SAdrian Prantl MMap(CI.getPreprocessor().getHeaderSearchInfo().getModuleMap()), 1431e63b2bdSAdrian Prantl HeaderSearchOpts(CI.getHeaderSearchOpts()), 1440391406eSAdrian Prantl PreprocessorOpts(CI.getPreprocessorOpts()), 1450391406eSAdrian Prantl TargetOpts(CI.getTargetOpts()), LangOpts(CI.getLangOpts()), OS(OS), 1460391406eSAdrian Prantl Buffer(Buffer) { 147bc068586SAdrian Prantl // The debug info output isn't affected by CodeModel and 148bc068586SAdrian Prantl // ThreadModel, but the backend expects them to be nonempty. 149bc068586SAdrian Prantl CodeGenOpts.CodeModel = "default"; 150bc068586SAdrian Prantl CodeGenOpts.ThreadModel = "single"; 1516b21ab21SAdrian Prantl CodeGenOpts.DebugTypeExtRefs = true; 152bc068586SAdrian Prantl CodeGenOpts.setDebugInfo(CodeGenOptions::FullDebugInfo); 153bc068586SAdrian Prantl } 154bc068586SAdrian Prantl 1557eb5464bSHans Wennborg ~PCHContainerGenerator() override = default; 156bc068586SAdrian Prantl 157bc068586SAdrian Prantl void Initialize(ASTContext &Context) override { 158293534b1SRichard Smith assert(!Ctx && "initialized multiple times"); 1590f99d6a4SRichard Smith 160bc068586SAdrian Prantl Ctx = &Context; 161bc068586SAdrian Prantl VMContext.reset(new llvm::LLVMContext()); 162bc068586SAdrian Prantl M.reset(new llvm::Module(MainFileName, *VMContext)); 163964a5f3bSEric Christopher M->setDataLayout(Ctx->getTargetInfo().getDataLayoutString()); 164ca3cf9e6SMehdi Amini Builder.reset(new CodeGen::CodeGenModule( 165ca3cf9e6SMehdi Amini *Ctx, HeaderSearchOpts, PreprocessorOpts, CodeGenOpts, *M, Diags)); 1669402cef0SAdrian Prantl Builder->getModuleDebugInfo()->setModuleMap(MMap); 167bc068586SAdrian Prantl } 168bc068586SAdrian Prantl 1694aa2b3a3SAdrian Prantl bool HandleTopLevelDecl(DeclGroupRef D) override { 170abdd6fc4SAdrian Prantl if (Diags.hasErrorOccurred()) 1714aa2b3a3SAdrian Prantl return true; 1724aa2b3a3SAdrian Prantl 1734aa2b3a3SAdrian Prantl // Collect debug info for all decls in this group. 1744aa2b3a3SAdrian Prantl for (auto *I : D) 1754aa2b3a3SAdrian Prantl if (!I->isFromASTFile()) { 176b3b821f1SAdrian Prantl DebugTypeVisitor DTV(*Builder->getModuleDebugInfo(), *Ctx, true); 1774aa2b3a3SAdrian Prantl DTV.TraverseDecl(I); 1784aa2b3a3SAdrian Prantl } 1794aa2b3a3SAdrian Prantl return true; 1804aa2b3a3SAdrian Prantl } 1814aa2b3a3SAdrian Prantl 182d43fe0bdSAdrian Prantl void HandleTopLevelDeclInObjCContainer(DeclGroupRef D) override { 183d43fe0bdSAdrian Prantl HandleTopLevelDecl(D); 184d43fe0bdSAdrian Prantl } 185d43fe0bdSAdrian Prantl 1864aa2b3a3SAdrian Prantl void HandleTagDeclDefinition(TagDecl *D) override { 1874aa2b3a3SAdrian Prantl if (Diags.hasErrorOccurred()) 1884aa2b3a3SAdrian Prantl return; 1894aa2b3a3SAdrian Prantl 190b3b821f1SAdrian Prantl if (D->isFromASTFile()) 191b3b821f1SAdrian Prantl return; 192b3b821f1SAdrian Prantl 193*e5238d2aSAdrian Prantl // Anonymous tag decls are deferred until we are building their declcontext. 194*e5238d2aSAdrian Prantl if (D->getName().empty()) 195*e5238d2aSAdrian Prantl return; 196*e5238d2aSAdrian Prantl 197b3b821f1SAdrian Prantl DebugTypeVisitor DTV(*Builder->getModuleDebugInfo(), *Ctx, false); 198b3b821f1SAdrian Prantl DTV.TraverseDecl(D); 1994aa2b3a3SAdrian Prantl Builder->UpdateCompletedType(D); 2004aa2b3a3SAdrian Prantl } 2014aa2b3a3SAdrian Prantl 2024aa2b3a3SAdrian Prantl void HandleTagDeclRequiredDefinition(const TagDecl *D) override { 2034aa2b3a3SAdrian Prantl if (Diags.hasErrorOccurred()) 2044aa2b3a3SAdrian Prantl return; 2054aa2b3a3SAdrian Prantl 2064aa2b3a3SAdrian Prantl if (const RecordDecl *RD = dyn_cast<RecordDecl>(D)) 2078bd4c13fSAdrian Prantl Builder->getModuleDebugInfo()->completeRequiredType(RD); 2084aa2b3a3SAdrian Prantl } 2094aa2b3a3SAdrian Prantl 210bc068586SAdrian Prantl /// Emit a container holding the serialized AST. 211bc068586SAdrian Prantl void HandleTranslationUnit(ASTContext &Ctx) override { 212bc068586SAdrian Prantl assert(M && VMContext && Builder); 213bc068586SAdrian Prantl // Delete these on function exit. 214bc068586SAdrian Prantl std::unique_ptr<llvm::LLVMContext> VMContext = std::move(this->VMContext); 215bc068586SAdrian Prantl std::unique_ptr<llvm::Module> M = std::move(this->M); 216bc068586SAdrian Prantl std::unique_ptr<CodeGen::CodeGenModule> Builder = std::move(this->Builder); 217bc068586SAdrian Prantl 218bc068586SAdrian Prantl if (Diags.hasErrorOccurred()) 219bc068586SAdrian Prantl return; 220bc068586SAdrian Prantl 221bc068586SAdrian Prantl M->setTargetTriple(Ctx.getTargetInfo().getTriple().getTriple()); 222964a5f3bSEric Christopher M->setDataLayout(Ctx.getTargetInfo().getDataLayoutString()); 223a5206ce7SAdrian Prantl Builder->getModuleDebugInfo()->setDwoId(Buffer->Signature); 224bc068586SAdrian Prantl 225bc068586SAdrian Prantl // Finalize the Builder. 226bc068586SAdrian Prantl if (Builder) 227bc068586SAdrian Prantl Builder->Release(); 228bc068586SAdrian Prantl 229bc068586SAdrian Prantl // Ensure the target exists. 230bc068586SAdrian Prantl std::string Error; 231bc068586SAdrian Prantl auto Triple = Ctx.getTargetInfo().getTriple(); 232bc068586SAdrian Prantl if (!llvm::TargetRegistry::lookupTarget(Triple.getTriple(), Error)) 233bc068586SAdrian Prantl llvm::report_fatal_error(Error); 234bc068586SAdrian Prantl 235bc068586SAdrian Prantl // Emit the serialized Clang AST into its own section. 236bc068586SAdrian Prantl assert(Buffer->IsComplete && "serialization did not complete"); 237bc068586SAdrian Prantl auto &SerializedAST = Buffer->Data; 238bc068586SAdrian Prantl auto Size = SerializedAST.size(); 239bc068586SAdrian Prantl auto Int8Ty = llvm::Type::getInt8Ty(*VMContext); 240bc068586SAdrian Prantl auto *Ty = llvm::ArrayType::get(Int8Ty, Size); 2415a88e1a8SAdrian Prantl auto *Data = llvm::ConstantDataArray::getString( 2425a88e1a8SAdrian Prantl *VMContext, StringRef(SerializedAST.data(), Size), 243bc068586SAdrian Prantl /*AddNull=*/false); 244bc068586SAdrian Prantl auto *ASTSym = new llvm::GlobalVariable( 245bc068586SAdrian Prantl *M, Ty, /*constant*/ true, llvm::GlobalVariable::InternalLinkage, Data, 246bc068586SAdrian Prantl "__clang_ast"); 247bc068586SAdrian Prantl // The on-disk hashtable needs to be aligned. 248bc068586SAdrian Prantl ASTSym->setAlignment(8); 249bc068586SAdrian Prantl 250bc068586SAdrian Prantl // Mach-O also needs a segment name. 251bc068586SAdrian Prantl if (Triple.isOSBinFormatMachO()) 252bc068586SAdrian Prantl ASTSym->setSection("__CLANG,__clangast"); 253bc068586SAdrian Prantl // COFF has an eight character length limit. 254bc068586SAdrian Prantl else if (Triple.isOSBinFormatCOFF()) 255bc068586SAdrian Prantl ASTSym->setSection("clangast"); 256bc068586SAdrian Prantl else 257bc068586SAdrian Prantl ASTSym->setSection("__clangast"); 258bc068586SAdrian Prantl 259bc068586SAdrian Prantl DEBUG({ 260bc068586SAdrian Prantl // Print the IR for the PCH container to the debug output. 261bc068586SAdrian Prantl llvm::SmallString<0> Buffer; 262bc068586SAdrian Prantl llvm::raw_svector_ostream OS(Buffer); 263bc068586SAdrian Prantl clang::EmitBackendOutput(Diags, CodeGenOpts, TargetOpts, LangOpts, 264964a5f3bSEric Christopher Ctx.getTargetInfo().getDataLayoutString(), 265bc068586SAdrian Prantl M.get(), BackendAction::Backend_EmitLL, &OS); 266bc068586SAdrian Prantl llvm::dbgs() << Buffer; 267bc068586SAdrian Prantl }); 268bc068586SAdrian Prantl 269bc068586SAdrian Prantl // Use the LLVM backend to emit the pch container. 270bc068586SAdrian Prantl clang::EmitBackendOutput(Diags, CodeGenOpts, TargetOpts, LangOpts, 271964a5f3bSEric Christopher Ctx.getTargetInfo().getDataLayoutString(), 272bc068586SAdrian Prantl M.get(), BackendAction::Backend_EmitObj, OS); 273bc068586SAdrian Prantl 274bc068586SAdrian Prantl // Make sure the pch container hits disk. 275bc068586SAdrian Prantl OS->flush(); 276bc068586SAdrian Prantl 277bc068586SAdrian Prantl // Free the memory for the temporary buffer. 278bc068586SAdrian Prantl llvm::SmallVector<char, 0> Empty; 279bc068586SAdrian Prantl SerializedAST = std::move(Empty); 280bc068586SAdrian Prantl } 281bc068586SAdrian Prantl }; 2825a88e1a8SAdrian Prantl 2837eb5464bSHans Wennborg } // anonymous namespace 284bc068586SAdrian Prantl 285bc068586SAdrian Prantl std::unique_ptr<ASTConsumer> 286fb2398d0SAdrian Prantl ObjectFilePCHContainerWriter::CreatePCHContainerGenerator( 2871e63b2bdSAdrian Prantl CompilerInstance &CI, const std::string &MainFileName, 2881e63b2bdSAdrian Prantl const std::string &OutputFileName, llvm::raw_pwrite_stream *OS, 2891e63b2bdSAdrian Prantl std::shared_ptr<PCHBuffer> Buffer) const { 2901e63b2bdSAdrian Prantl return llvm::make_unique<PCHContainerGenerator>(CI, MainFileName, 2910391406eSAdrian Prantl OutputFileName, OS, Buffer); 292bc068586SAdrian Prantl } 293bc068586SAdrian Prantl 294fb2398d0SAdrian Prantl void ObjectFilePCHContainerReader::ExtractPCH( 295bc068586SAdrian Prantl llvm::MemoryBufferRef Buffer, llvm::BitstreamReader &StreamFile) const { 296bc068586SAdrian Prantl if (auto OF = llvm::object::ObjectFile::createObjectFile(Buffer)) { 297bc068586SAdrian Prantl auto *Obj = OF.get().get(); 298bc068586SAdrian Prantl bool IsCOFF = isa<llvm::object::COFFObjectFile>(Obj); 299bc068586SAdrian Prantl // Find the clang AST section in the container. 300bc068586SAdrian Prantl for (auto &Section : OF->get()->sections()) { 301bc068586SAdrian Prantl StringRef Name; 302bc068586SAdrian Prantl Section.getName(Name); 303bc068586SAdrian Prantl if ((!IsCOFF && Name == "__clangast") || 304bc068586SAdrian Prantl ( IsCOFF && Name == "clangast")) { 305bc068586SAdrian Prantl StringRef Buf; 306bc068586SAdrian Prantl Section.getContents(Buf); 307bc068586SAdrian Prantl StreamFile.init((const unsigned char *)Buf.begin(), 308bc068586SAdrian Prantl (const unsigned char *)Buf.end()); 309bc068586SAdrian Prantl return; 310bc068586SAdrian Prantl } 311bc068586SAdrian Prantl } 312bc068586SAdrian Prantl } 313bc068586SAdrian Prantl 314bc068586SAdrian Prantl // As a fallback, treat the buffer as a raw AST. 315bc068586SAdrian Prantl StreamFile.init((const unsigned char *)Buffer.getBufferStart(), 316bc068586SAdrian Prantl (const unsigned char *)Buffer.getBufferEnd()); 317bc068586SAdrian Prantl } 318