| Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 1 | //===--- ModuleBuilder.cpp - Emit LLVM Code from ASTs ---------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This builds an AST and converts it to LLVM Code. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "clang/CodeGen/ModuleBuilder.h" |
| David Blaikie | 658cd2c | 2013-07-13 21:08:14 +0000 | [diff] [blame] | 15 | #include "CGDebugInfo.h" |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 16 | #include "CodeGenModule.h" |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 17 | #include "clang/AST/ASTContext.h" |
| Daniel Dunbar | e91593e | 2008-08-11 04:54:23 +0000 | [diff] [blame] | 18 | #include "clang/AST/DeclObjC.h" |
| 19 | #include "clang/AST/Expr.h" |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 20 | #include "clang/Basic/Diagnostic.h" |
| 21 | #include "clang/Basic/TargetInfo.h" |
| Chandler Carruth | 55fc873 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 22 | #include "clang/Frontend/CodeGenOptions.h" |
| Reid Kleckner | 3190ca9 | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 23 | #include "llvm/ADT/StringRef.h" |
| Chandler Carruth | 3b844ba | 2013-01-02 11:45:17 +0000 | [diff] [blame] | 24 | #include "llvm/IR/DataLayout.h" |
| 25 | #include "llvm/IR/LLVMContext.h" |
| 26 | #include "llvm/IR/Module.h" |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 27 | #include <memory> |
| Chris Lattner | bd36064 | 2009-03-26 05:00:52 +0000 | [diff] [blame] | 28 | using namespace clang; |
| Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 29 | |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 30 | namespace { |
| Benjamin Kramer | 85b4521 | 2009-11-28 19:45:26 +0000 | [diff] [blame] | 31 | class CodeGeneratorImpl : public CodeGenerator { |
| David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 32 | DiagnosticsEngine &Diags; |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 33 | std::unique_ptr<const llvm::DataLayout> TD; |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 34 | ASTContext *Ctx; |
| Chandler Carruth | 2811ccf | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 35 | const CodeGenOptions CodeGenOpts; // Intentionally copied in. |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 36 | protected: |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 37 | std::unique_ptr<llvm::Module> M; |
| 38 | std::unique_ptr<CodeGen::CodeGenModule> Builder; |
| 39 | |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 40 | public: |
| David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 41 | CodeGeneratorImpl(DiagnosticsEngine &diags, const std::string& ModuleName, |
| John McCall | 3abae09 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 42 | const CodeGenOptions &CGO, llvm::LLVMContext& C) |
| 43 | : Diags(diags), CodeGenOpts(CGO), |
| Bill Wendling | e1092df | 2013-02-14 08:09:20 +0000 | [diff] [blame] | 44 | M(new llvm::Module(ModuleName, C)) {} |
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 45 | |
| Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 46 | virtual ~CodeGeneratorImpl() {} |
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 47 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 48 | llvm::Module* GetModule() override { |
| Daniel Dunbar | d8c0ea1 | 2008-10-21 19:55:09 +0000 | [diff] [blame] | 49 | return M.get(); |
| 50 | } |
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 51 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 52 | llvm::Module *ReleaseModule() override { return M.release(); } |
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 53 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 54 | void Initialize(ASTContext &Context) override { |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 55 | Ctx = &Context; |
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 56 | |
| Douglas Gregor | bcfd1f5 | 2011-09-02 00:18:52 +0000 | [diff] [blame] | 57 | M->setTargetTriple(Ctx->getTargetInfo().getTriple().getTriple()); |
| 58 | M->setDataLayout(Ctx->getTargetInfo().getTargetDescription()); |
| Micah Villmow | 25a6a84 | 2012-10-08 16:25:52 +0000 | [diff] [blame] | 59 | TD.reset(new llvm::DataLayout(Ctx->getTargetInfo().getTargetDescription())); |
| John McCall | 3abae09 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 60 | Builder.reset(new CodeGen::CodeGenModule(Context, CodeGenOpts, *M, *TD, |
| 61 | Diags)); |
| Hans Wennborg | b357479 | 2013-08-08 00:17:41 +0000 | [diff] [blame] | 62 | |
| 63 | for (size_t i = 0, e = CodeGenOpts.DependentLibraries.size(); i < e; ++i) |
| 64 | HandleDependentLibrary(CodeGenOpts.DependentLibraries[i]); |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 65 | } |
| Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 66 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 67 | void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) override { |
| David Blaikie | 0a1c862 | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 68 | if (Diags.hasErrorOccurred()) |
| 69 | return; |
| 70 | |
| Rafael Espindola | 0250393 | 2012-03-08 15:51:03 +0000 | [diff] [blame] | 71 | Builder->HandleCXXStaticMemberVarInstantiation(VD); |
| Rafael Espindola | 234fe65 | 2012-03-05 10:54:55 +0000 | [diff] [blame] | 72 | } |
| 73 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 74 | bool HandleTopLevelDecl(DeclGroupRef DG) override { |
| David Blaikie | 0a1c862 | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 75 | if (Diags.hasErrorOccurred()) |
| 76 | return true; |
| 77 | |
| Douglas Gregor | 4afa39d | 2009-01-20 01:17:11 +0000 | [diff] [blame] | 78 | // Make sure to emit all elements of a Decl. |
| Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 79 | for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) |
| 80 | Builder->EmitTopLevelDecl(*I); |
| Argyrios Kyrtzidis | 88c2596 | 2011-11-18 00:26:59 +0000 | [diff] [blame] | 81 | return true; |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 82 | } |
| Daniel Dunbar | 41071de | 2008-08-15 23:26:23 +0000 | [diff] [blame] | 83 | |
| Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 84 | void HandleInlineMethodDefinition(CXXMethodDecl *D) override { |
| 85 | if (Diags.hasErrorOccurred()) |
| 86 | return; |
| 87 | |
| 88 | assert(D->doesThisDeclarationHaveABody()); |
| 89 | |
| 90 | // We may have member functions that need to be emitted at this point. |
| 91 | if (!D->isDependentContext() && |
| 92 | (D->hasAttr<UsedAttr>() || D->hasAttr<ConstructorAttr>() || |
| 93 | D->hasAttr<DLLExportAttr>())) { |
| 94 | Builder->EmitTopLevelDecl(D); |
| 95 | } |
| 96 | } |
| 97 | |
| Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 98 | /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl |
| Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 99 | /// to (e.g. struct, union, enum, class) is completed. This allows the |
| 100 | /// client hack on the type, which can occur at any point in the file |
| 101 | /// (because these can be defined in declspecs). |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 102 | void HandleTagDeclDefinition(TagDecl *D) override { |
| David Blaikie | 0a1c862 | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 103 | if (Diags.hasErrorOccurred()) |
| 104 | return; |
| 105 | |
| Chris Lattner | c5b8806 | 2008-02-06 05:08:19 +0000 | [diff] [blame] | 106 | Builder->UpdateCompletedType(D); |
| Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 107 | } |
| Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 108 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 109 | void HandleTagDeclRequiredDefinition(const TagDecl *D) override { |
| David Blaikie | 0a1c862 | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 110 | if (Diags.hasErrorOccurred()) |
| 111 | return; |
| 112 | |
| David Blaikie | 658cd2c | 2013-07-13 21:08:14 +0000 | [diff] [blame] | 113 | if (CodeGen::CGDebugInfo *DI = Builder->getModuleDebugInfo()) |
| 114 | if (const RecordDecl *RD = dyn_cast<RecordDecl>(D)) |
| David Blaikie | 2780489 | 2013-08-15 20:49:17 +0000 | [diff] [blame] | 115 | DI->completeRequiredType(RD); |
| David Blaikie | 658cd2c | 2013-07-13 21:08:14 +0000 | [diff] [blame] | 116 | } |
| 117 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 118 | void HandleTranslationUnit(ASTContext &Ctx) override { |
| Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 119 | if (Diags.hasErrorOccurred()) { |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 120 | if (Builder) |
| 121 | Builder->clear(); |
| Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 122 | M.reset(); |
| 123 | return; |
| 124 | } |
| 125 | |
| 126 | if (Builder) |
| 127 | Builder->Release(); |
| Daniel Dunbar | 7177dee | 2009-12-19 17:50:07 +0000 | [diff] [blame] | 128 | } |
| Douglas Gregor | b6c8c8b | 2009-04-21 17:11:58 +0000 | [diff] [blame] | 129 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 130 | void CompleteTentativeDefinition(VarDecl *D) override { |
| Douglas Gregor | b6c8c8b | 2009-04-21 17:11:58 +0000 | [diff] [blame] | 131 | if (Diags.hasErrorOccurred()) |
| 132 | return; |
| 133 | |
| 134 | Builder->EmitTentativeDefinition(D); |
| 135 | } |
| Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 136 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 137 | void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) override { |
| Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 138 | if (Diags.hasErrorOccurred()) |
| 139 | return; |
| 140 | |
| 141 | Builder->EmitVTable(RD, DefinitionRequired); |
| 142 | } |
| Reid Kleckner | 3190ca9 | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 143 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 144 | void HandleLinkerOptionPragma(llvm::StringRef Opts) override { |
| Reid Kleckner | 3190ca9 | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 145 | Builder->AppendLinkerOptions(Opts); |
| 146 | } |
| 147 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 148 | void HandleDetectMismatch(llvm::StringRef Name, |
| 149 | llvm::StringRef Value) override { |
| Aaron Ballman | a7ff62f | 2013-06-04 02:07:14 +0000 | [diff] [blame] | 150 | Builder->AddDetectMismatch(Name, Value); |
| 151 | } |
| 152 | |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 153 | void HandleDependentLibrary(llvm::StringRef Lib) override { |
| Reid Kleckner | 3190ca9 | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 154 | Builder->AddDependentLib(Lib); |
| 155 | } |
| Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 156 | }; |
| Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 157 | } |
| 158 | |
| David Blaikie | 99ba9e3 | 2011-12-20 02:48:34 +0000 | [diff] [blame] | 159 | void CodeGenerator::anchor() { } |
| 160 | |
| David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 161 | CodeGenerator *clang::CreateLLVMCodeGen(DiagnosticsEngine &Diags, |
| Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 162 | const std::string& ModuleName, |
| Chandler Carruth | 2811ccf | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 163 | const CodeGenOptions &CGO, |
| John McCall | 3abae09 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 164 | const TargetOptions &/*TO*/, |
| Owen Anderson | 8f1ca78 | 2009-07-01 23:14:14 +0000 | [diff] [blame] | 165 | llvm::LLVMContext& C) { |
| John McCall | 3abae09 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 166 | return new CodeGeneratorImpl(Diags, ModuleName, CGO, C); |
| Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 167 | } |