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;
624aa2b3a3SAdrian Prantl     DebugTypeVisitor(clang::CodeGen::CGDebugInfo &DI, ASTContext &Ctx)
634aa2b3a3SAdrian Prantl         : DI(DI), Ctx(Ctx) {}
644aa2b3a3SAdrian Prantl 
654aa2b3a3SAdrian Prantl     /// Determine whether this type can be represented in DWARF.
664aa2b3a3SAdrian Prantl     static bool CanRepresent(const Type *Ty) {
674aa2b3a3SAdrian Prantl       return !Ty->isDependentType() && !Ty->isUndeducedType();
684aa2b3a3SAdrian Prantl     }
694aa2b3a3SAdrian Prantl 
7085d938aaSAdrian Prantl     bool VisitImportDecl(ImportDecl *D) {
7185d938aaSAdrian Prantl       auto *Import = cast<ImportDecl>(D);
7285d938aaSAdrian Prantl       if (!Import->getImportedOwningModule())
7385d938aaSAdrian Prantl         DI.EmitImportDecl(*Import);
7485d938aaSAdrian Prantl       return true;
7585d938aaSAdrian Prantl     }
7685d938aaSAdrian Prantl 
774aa2b3a3SAdrian Prantl     bool VisitTypeDecl(TypeDecl *D) {
784aa2b3a3SAdrian Prantl       QualType QualTy = Ctx.getTypeDeclType(D);
794aa2b3a3SAdrian Prantl       if (!QualTy.isNull() && CanRepresent(QualTy.getTypePtr()))
804aa2b3a3SAdrian Prantl         DI.getOrCreateStandaloneType(QualTy, D->getLocation());
814aa2b3a3SAdrian Prantl       return true;
824aa2b3a3SAdrian Prantl     }
834aa2b3a3SAdrian Prantl 
84748a6cd1SAdrian Prantl     bool VisitObjCInterfaceDecl(ObjCInterfaceDecl *D) {
85748a6cd1SAdrian Prantl       QualType QualTy(D->getTypeForDecl(), 0);
86748a6cd1SAdrian Prantl       if (!QualTy.isNull() && CanRepresent(QualTy.getTypePtr()))
87748a6cd1SAdrian Prantl         DI.getOrCreateStandaloneType(QualTy, D->getLocation());
88748a6cd1SAdrian Prantl       return true;
89748a6cd1SAdrian Prantl     }
90748a6cd1SAdrian Prantl 
91748a6cd1SAdrian Prantl     bool VisitFunctionDecl(FunctionDecl *D) {
92748a6cd1SAdrian Prantl       if (isa<CXXMethodDecl>(D))
93748a6cd1SAdrian Prantl         // This is not yet supported. Constructing the `this' argument
94748a6cd1SAdrian Prantl         // mandates a CodeGenFunction.
95748a6cd1SAdrian Prantl         return true;
96748a6cd1SAdrian Prantl 
97748a6cd1SAdrian Prantl       SmallVector<QualType, 16> ArgTypes;
98748a6cd1SAdrian Prantl       for (auto i : D->params())
99748a6cd1SAdrian Prantl         ArgTypes.push_back(i->getType());
100748a6cd1SAdrian Prantl       QualType RetTy = D->getReturnType();
101748a6cd1SAdrian Prantl       QualType FnTy = Ctx.getFunctionType(RetTy, ArgTypes,
102748a6cd1SAdrian Prantl                                           FunctionProtoType::ExtProtoInfo());
103748a6cd1SAdrian Prantl       if (CanRepresent(FnTy.getTypePtr()))
104748a6cd1SAdrian Prantl         DI.EmitFunctionDecl(D, D->getLocation(), FnTy);
105748a6cd1SAdrian Prantl       return true;
106748a6cd1SAdrian Prantl     }
107748a6cd1SAdrian Prantl 
108748a6cd1SAdrian Prantl     bool VisitObjCMethodDecl(ObjCMethodDecl *D) {
109748a6cd1SAdrian Prantl       if (!D->getClassInterface())
110748a6cd1SAdrian Prantl         return true;
111748a6cd1SAdrian Prantl 
112748a6cd1SAdrian Prantl       bool selfIsPseudoStrong, selfIsConsumed;
113748a6cd1SAdrian Prantl       SmallVector<QualType, 16> ArgTypes;
114748a6cd1SAdrian Prantl       ArgTypes.push_back(D->getSelfType(Ctx, D->getClassInterface(),
115748a6cd1SAdrian Prantl                                         selfIsPseudoStrong, selfIsConsumed));
116748a6cd1SAdrian Prantl       ArgTypes.push_back(Ctx.getObjCSelType());
117748a6cd1SAdrian Prantl       for (auto i : D->params())
118748a6cd1SAdrian Prantl         ArgTypes.push_back(i->getType());
119748a6cd1SAdrian Prantl       QualType RetTy = D->getReturnType();
120748a6cd1SAdrian Prantl       QualType FnTy = Ctx.getFunctionType(RetTy, ArgTypes,
121748a6cd1SAdrian Prantl                                           FunctionProtoType::ExtProtoInfo());
122748a6cd1SAdrian Prantl       if (CanRepresent(FnTy.getTypePtr()))
123748a6cd1SAdrian Prantl         DI.EmitFunctionDecl(D, D->getLocation(), FnTy);
124748a6cd1SAdrian Prantl       return true;
125748a6cd1SAdrian Prantl     }
1264aa2b3a3SAdrian Prantl   };
1274aa2b3a3SAdrian Prantl 
128bc068586SAdrian Prantl public:
1291e63b2bdSAdrian Prantl   PCHContainerGenerator(CompilerInstance &CI, const std::string &MainFileName,
1305a88e1a8SAdrian Prantl                         const std::string &OutputFileName,
1315a88e1a8SAdrian Prantl                         raw_pwrite_stream *OS,
1325a88e1a8SAdrian Prantl                         std::shared_ptr<PCHBuffer> Buffer)
1331e63b2bdSAdrian Prantl       : Diags(CI.getDiagnostics()), Ctx(nullptr),
1349402cef0SAdrian Prantl         MMap(CI.getPreprocessor().getHeaderSearchInfo().getModuleMap()),
1351e63b2bdSAdrian Prantl         HeaderSearchOpts(CI.getHeaderSearchOpts()),
1360391406eSAdrian Prantl         PreprocessorOpts(CI.getPreprocessorOpts()),
1370391406eSAdrian Prantl         TargetOpts(CI.getTargetOpts()), LangOpts(CI.getLangOpts()), OS(OS),
1380391406eSAdrian Prantl         Buffer(Buffer) {
139bc068586SAdrian Prantl     // The debug info output isn't affected by CodeModel and
140bc068586SAdrian Prantl     // ThreadModel, but the backend expects them to be nonempty.
141bc068586SAdrian Prantl     CodeGenOpts.CodeModel = "default";
142bc068586SAdrian Prantl     CodeGenOpts.ThreadModel = "single";
1436b21ab21SAdrian Prantl     CodeGenOpts.DebugTypeExtRefs = true;
144bc068586SAdrian Prantl     CodeGenOpts.setDebugInfo(CodeGenOptions::FullDebugInfo);
145bc068586SAdrian Prantl   }
146bc068586SAdrian Prantl 
1477eb5464bSHans Wennborg   ~PCHContainerGenerator() override = default;
148bc068586SAdrian Prantl 
149bc068586SAdrian Prantl   void Initialize(ASTContext &Context) override {
150293534b1SRichard Smith     assert(!Ctx && "initialized multiple times");
1510f99d6a4SRichard Smith 
152bc068586SAdrian Prantl     Ctx = &Context;
153bc068586SAdrian Prantl     VMContext.reset(new llvm::LLVMContext());
154bc068586SAdrian Prantl     M.reset(new llvm::Module(MainFileName, *VMContext));
155964a5f3bSEric Christopher     M->setDataLayout(Ctx->getTargetInfo().getDataLayoutString());
156ca3cf9e6SMehdi Amini     Builder.reset(new CodeGen::CodeGenModule(
157ca3cf9e6SMehdi Amini         *Ctx, HeaderSearchOpts, PreprocessorOpts, CodeGenOpts, *M, Diags));
1589402cef0SAdrian Prantl     Builder->getModuleDebugInfo()->setModuleMap(MMap);
159bc068586SAdrian Prantl   }
160bc068586SAdrian Prantl 
1614aa2b3a3SAdrian Prantl   bool HandleTopLevelDecl(DeclGroupRef D) override {
162abdd6fc4SAdrian Prantl     if (Diags.hasErrorOccurred())
1634aa2b3a3SAdrian Prantl       return true;
1644aa2b3a3SAdrian Prantl 
1654aa2b3a3SAdrian Prantl     // Collect debug info for all decls in this group.
1664aa2b3a3SAdrian Prantl     for (auto *I : D)
1674aa2b3a3SAdrian Prantl       if (!I->isFromASTFile()) {
1684aa2b3a3SAdrian Prantl         DebugTypeVisitor DTV(*Builder->getModuleDebugInfo(), *Ctx);
1694aa2b3a3SAdrian Prantl         DTV.TraverseDecl(I);
1704aa2b3a3SAdrian Prantl       }
1714aa2b3a3SAdrian Prantl     return true;
1724aa2b3a3SAdrian Prantl   }
1734aa2b3a3SAdrian Prantl 
174*d43fe0bdSAdrian Prantl   void HandleTopLevelDeclInObjCContainer(DeclGroupRef D) override {
175*d43fe0bdSAdrian Prantl     HandleTopLevelDecl(D);
176*d43fe0bdSAdrian Prantl   }
177*d43fe0bdSAdrian Prantl 
1784aa2b3a3SAdrian Prantl   void HandleTagDeclDefinition(TagDecl *D) override {
1794aa2b3a3SAdrian Prantl     if (Diags.hasErrorOccurred())
1804aa2b3a3SAdrian Prantl       return;
1814aa2b3a3SAdrian Prantl 
1824aa2b3a3SAdrian Prantl     Builder->UpdateCompletedType(D);
1834aa2b3a3SAdrian Prantl   }
1844aa2b3a3SAdrian Prantl 
1854aa2b3a3SAdrian Prantl   void HandleTagDeclRequiredDefinition(const TagDecl *D) override {
1864aa2b3a3SAdrian Prantl     if (Diags.hasErrorOccurred())
1874aa2b3a3SAdrian Prantl       return;
1884aa2b3a3SAdrian Prantl 
1894aa2b3a3SAdrian Prantl     if (const RecordDecl *RD = dyn_cast<RecordDecl>(D))
1908bd4c13fSAdrian Prantl       Builder->getModuleDebugInfo()->completeRequiredType(RD);
1914aa2b3a3SAdrian Prantl   }
1924aa2b3a3SAdrian Prantl 
193bc068586SAdrian Prantl   /// Emit a container holding the serialized AST.
194bc068586SAdrian Prantl   void HandleTranslationUnit(ASTContext &Ctx) override {
195bc068586SAdrian Prantl     assert(M && VMContext && Builder);
196bc068586SAdrian Prantl     // Delete these on function exit.
197bc068586SAdrian Prantl     std::unique_ptr<llvm::LLVMContext> VMContext = std::move(this->VMContext);
198bc068586SAdrian Prantl     std::unique_ptr<llvm::Module> M = std::move(this->M);
199bc068586SAdrian Prantl     std::unique_ptr<CodeGen::CodeGenModule> Builder = std::move(this->Builder);
200bc068586SAdrian Prantl 
201bc068586SAdrian Prantl     if (Diags.hasErrorOccurred())
202bc068586SAdrian Prantl       return;
203bc068586SAdrian Prantl 
204bc068586SAdrian Prantl     M->setTargetTriple(Ctx.getTargetInfo().getTriple().getTriple());
205964a5f3bSEric Christopher     M->setDataLayout(Ctx.getTargetInfo().getDataLayoutString());
206a5206ce7SAdrian Prantl     Builder->getModuleDebugInfo()->setDwoId(Buffer->Signature);
207bc068586SAdrian Prantl 
208bc068586SAdrian Prantl     // Finalize the Builder.
209bc068586SAdrian Prantl     if (Builder)
210bc068586SAdrian Prantl       Builder->Release();
211bc068586SAdrian Prantl 
212bc068586SAdrian Prantl     // Ensure the target exists.
213bc068586SAdrian Prantl     std::string Error;
214bc068586SAdrian Prantl     auto Triple = Ctx.getTargetInfo().getTriple();
215bc068586SAdrian Prantl     if (!llvm::TargetRegistry::lookupTarget(Triple.getTriple(), Error))
216bc068586SAdrian Prantl       llvm::report_fatal_error(Error);
217bc068586SAdrian Prantl 
218bc068586SAdrian Prantl     // Emit the serialized Clang AST into its own section.
219bc068586SAdrian Prantl     assert(Buffer->IsComplete && "serialization did not complete");
220bc068586SAdrian Prantl     auto &SerializedAST = Buffer->Data;
221bc068586SAdrian Prantl     auto Size = SerializedAST.size();
222bc068586SAdrian Prantl     auto Int8Ty = llvm::Type::getInt8Ty(*VMContext);
223bc068586SAdrian Prantl     auto *Ty = llvm::ArrayType::get(Int8Ty, Size);
2245a88e1a8SAdrian Prantl     auto *Data = llvm::ConstantDataArray::getString(
2255a88e1a8SAdrian Prantl         *VMContext, StringRef(SerializedAST.data(), Size),
226bc068586SAdrian Prantl         /*AddNull=*/false);
227bc068586SAdrian Prantl     auto *ASTSym = new llvm::GlobalVariable(
228bc068586SAdrian Prantl         *M, Ty, /*constant*/ true, llvm::GlobalVariable::InternalLinkage, Data,
229bc068586SAdrian Prantl         "__clang_ast");
230bc068586SAdrian Prantl     // The on-disk hashtable needs to be aligned.
231bc068586SAdrian Prantl     ASTSym->setAlignment(8);
232bc068586SAdrian Prantl 
233bc068586SAdrian Prantl     // Mach-O also needs a segment name.
234bc068586SAdrian Prantl     if (Triple.isOSBinFormatMachO())
235bc068586SAdrian Prantl       ASTSym->setSection("__CLANG,__clangast");
236bc068586SAdrian Prantl     // COFF has an eight character length limit.
237bc068586SAdrian Prantl     else if (Triple.isOSBinFormatCOFF())
238bc068586SAdrian Prantl       ASTSym->setSection("clangast");
239bc068586SAdrian Prantl     else
240bc068586SAdrian Prantl       ASTSym->setSection("__clangast");
241bc068586SAdrian Prantl 
242bc068586SAdrian Prantl     DEBUG({
243bc068586SAdrian Prantl       // Print the IR for the PCH container to the debug output.
244bc068586SAdrian Prantl       llvm::SmallString<0> Buffer;
245bc068586SAdrian Prantl       llvm::raw_svector_ostream OS(Buffer);
246bc068586SAdrian Prantl       clang::EmitBackendOutput(Diags, CodeGenOpts, TargetOpts, LangOpts,
247964a5f3bSEric Christopher                                Ctx.getTargetInfo().getDataLayoutString(),
248bc068586SAdrian Prantl                                M.get(), BackendAction::Backend_EmitLL, &OS);
249bc068586SAdrian Prantl       llvm::dbgs() << Buffer;
250bc068586SAdrian Prantl     });
251bc068586SAdrian Prantl 
252bc068586SAdrian Prantl     // Use the LLVM backend to emit the pch container.
253bc068586SAdrian Prantl     clang::EmitBackendOutput(Diags, CodeGenOpts, TargetOpts, LangOpts,
254964a5f3bSEric Christopher                              Ctx.getTargetInfo().getDataLayoutString(),
255bc068586SAdrian Prantl                              M.get(), BackendAction::Backend_EmitObj, OS);
256bc068586SAdrian Prantl 
257bc068586SAdrian Prantl     // Make sure the pch container hits disk.
258bc068586SAdrian Prantl     OS->flush();
259bc068586SAdrian Prantl 
260bc068586SAdrian Prantl     // Free the memory for the temporary buffer.
261bc068586SAdrian Prantl     llvm::SmallVector<char, 0> Empty;
262bc068586SAdrian Prantl     SerializedAST = std::move(Empty);
263bc068586SAdrian Prantl   }
264bc068586SAdrian Prantl };
2655a88e1a8SAdrian Prantl 
2667eb5464bSHans Wennborg } // anonymous namespace
267bc068586SAdrian Prantl 
268bc068586SAdrian Prantl std::unique_ptr<ASTConsumer>
269fb2398d0SAdrian Prantl ObjectFilePCHContainerWriter::CreatePCHContainerGenerator(
2701e63b2bdSAdrian Prantl     CompilerInstance &CI, const std::string &MainFileName,
2711e63b2bdSAdrian Prantl     const std::string &OutputFileName, llvm::raw_pwrite_stream *OS,
2721e63b2bdSAdrian Prantl     std::shared_ptr<PCHBuffer> Buffer) const {
2731e63b2bdSAdrian Prantl   return llvm::make_unique<PCHContainerGenerator>(CI, MainFileName,
2740391406eSAdrian Prantl                                                   OutputFileName, OS, Buffer);
275bc068586SAdrian Prantl }
276bc068586SAdrian Prantl 
277fb2398d0SAdrian Prantl void ObjectFilePCHContainerReader::ExtractPCH(
278bc068586SAdrian Prantl     llvm::MemoryBufferRef Buffer, llvm::BitstreamReader &StreamFile) const {
279bc068586SAdrian Prantl   if (auto OF = llvm::object::ObjectFile::createObjectFile(Buffer)) {
280bc068586SAdrian Prantl     auto *Obj = OF.get().get();
281bc068586SAdrian Prantl     bool IsCOFF = isa<llvm::object::COFFObjectFile>(Obj);
282bc068586SAdrian Prantl     // Find the clang AST section in the container.
283bc068586SAdrian Prantl     for (auto &Section : OF->get()->sections()) {
284bc068586SAdrian Prantl       StringRef Name;
285bc068586SAdrian Prantl       Section.getName(Name);
286bc068586SAdrian Prantl       if ((!IsCOFF && Name == "__clangast") ||
287bc068586SAdrian Prantl           ( IsCOFF && Name ==   "clangast")) {
288bc068586SAdrian Prantl         StringRef Buf;
289bc068586SAdrian Prantl         Section.getContents(Buf);
290bc068586SAdrian Prantl         StreamFile.init((const unsigned char *)Buf.begin(),
291bc068586SAdrian Prantl                         (const unsigned char *)Buf.end());
292bc068586SAdrian Prantl         return;
293bc068586SAdrian Prantl       }
294bc068586SAdrian Prantl     }
295bc068586SAdrian Prantl   }
296bc068586SAdrian Prantl 
297bc068586SAdrian Prantl   // As a fallback, treat the buffer as a raw AST.
298bc068586SAdrian Prantl   StreamFile.init((const unsigned char *)Buffer.getBufferStart(),
299bc068586SAdrian Prantl                   (const unsigned char *)Buffer.getBufferEnd());
300bc068586SAdrian Prantl }
301