Chris Lattner | f97fe38 | 2007-05-24 06:29:05 +0000 | [diff] [blame] | 1 | //===--- ModuleBuilder.cpp - Emit LLVM Code from ASTs ---------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 5b12ab8 | 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. |
Chris Lattner | f97fe38 | 2007-05-24 06:29:05 +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 | 48ad6dc | 2013-07-13 21:08:14 +0000 | [diff] [blame] | 15 | #include "CGDebugInfo.h" |
Chandler Carruth | 5553d0d | 2014-01-07 11:51:46 +0000 | [diff] [blame^] | 16 | #include "CodeGenModule.h" |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 17 | #include "clang/AST/ASTContext.h" |
Daniel Dunbar | 221fa94 | 2008-08-11 04:54:23 +0000 | [diff] [blame] | 18 | #include "clang/AST/DeclObjC.h" |
| 19 | #include "clang/AST/Expr.h" |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 20 | #include "clang/Basic/Diagnostic.h" |
| 21 | #include "clang/Basic/TargetInfo.h" |
Chandler Carruth | 3a02247 | 2012-12-04 09:13:33 +0000 | [diff] [blame] | 22 | #include "clang/Frontend/CodeGenOptions.h" |
| 23 | #include "llvm/ADT/OwningPtr.h" |
Reid Kleckner | e43f0fe | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 24 | #include "llvm/ADT/StringRef.h" |
Chandler Carruth | ffd5551 | 2013-01-02 11:45:17 +0000 | [diff] [blame] | 25 | #include "llvm/IR/DataLayout.h" |
| 26 | #include "llvm/IR/LLVMContext.h" |
| 27 | #include "llvm/IR/Module.h" |
Chris Lattner | 984fac5 | 2009-03-26 05:00:52 +0000 | [diff] [blame] | 28 | using namespace clang; |
Ted Kremenek | 2c674f6 | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 29 | |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 30 | namespace { |
Benjamin Kramer | 337e3a5 | 2009-11-28 19:45:26 +0000 | [diff] [blame] | 31 | class CodeGeneratorImpl : public CodeGenerator { |
David Blaikie | 9c902b5 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 32 | DiagnosticsEngine &Diags; |
Micah Villmow | dd31ca1 | 2012-10-08 16:25:52 +0000 | [diff] [blame] | 33 | OwningPtr<const llvm::DataLayout> TD; |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 34 | ASTContext *Ctx; |
Chandler Carruth | bc55fe2 | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 35 | const CodeGenOptions CodeGenOpts; // Intentionally copied in. |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 36 | protected: |
Dylan Noblesmith | e277899 | 2012-02-05 02:12:40 +0000 | [diff] [blame] | 37 | OwningPtr<llvm::Module> M; |
| 38 | OwningPtr<CodeGen::CodeGenModule> Builder; |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 39 | public: |
David Blaikie | 9c902b5 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 40 | CodeGeneratorImpl(DiagnosticsEngine &diags, const std::string& ModuleName, |
John McCall | 568d410 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 41 | const CodeGenOptions &CGO, llvm::LLVMContext& C) |
| 42 | : Diags(diags), CodeGenOpts(CGO), |
Bill Wendling | c86a2f3 | 2013-02-14 08:09:20 +0000 | [diff] [blame] | 43 | M(new llvm::Module(ModuleName, C)) {} |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 44 | |
Ted Kremenek | 2c674f6 | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 45 | virtual ~CodeGeneratorImpl() {} |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 46 | |
Daniel Dunbar | 30c514e | 2008-10-21 19:55:09 +0000 | [diff] [blame] | 47 | virtual llvm::Module* GetModule() { |
| 48 | return M.get(); |
| 49 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 50 | |
Ted Kremenek | 7db4f60 | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 51 | virtual llvm::Module* ReleaseModule() { |
Ted Kremenek | 2c674f6 | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 52 | return M.take(); |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 53 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 54 | |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 55 | virtual void Initialize(ASTContext &Context) { |
| 56 | Ctx = &Context; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 57 | |
Douglas Gregor | e8bbc12 | 2011-09-02 00:18:52 +0000 | [diff] [blame] | 58 | M->setTargetTriple(Ctx->getTargetInfo().getTriple().getTriple()); |
| 59 | M->setDataLayout(Ctx->getTargetInfo().getTargetDescription()); |
Micah Villmow | dd31ca1 | 2012-10-08 16:25:52 +0000 | [diff] [blame] | 60 | TD.reset(new llvm::DataLayout(Ctx->getTargetInfo().getTargetDescription())); |
John McCall | 568d410 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 61 | Builder.reset(new CodeGen::CodeGenModule(Context, CodeGenOpts, *M, *TD, |
| 62 | Diags)); |
Hans Wennborg | 75958c4 | 2013-08-08 00:17:41 +0000 | [diff] [blame] | 63 | |
| 64 | for (size_t i = 0, e = CodeGenOpts.DependentLibraries.size(); i < e; ++i) |
| 65 | HandleDependentLibrary(CodeGenOpts.DependentLibraries[i]); |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 66 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 67 | |
Rafael Espindola | df88f6f | 2012-03-08 15:51:03 +0000 | [diff] [blame] | 68 | virtual void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) { |
David Blaikie | 4a9ec7b | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 69 | if (Diags.hasErrorOccurred()) |
| 70 | return; |
| 71 | |
Rafael Espindola | df88f6f | 2012-03-08 15:51:03 +0000 | [diff] [blame] | 72 | Builder->HandleCXXStaticMemberVarInstantiation(VD); |
Rafael Espindola | 189fa74 | 2012-03-05 10:54:55 +0000 | [diff] [blame] | 73 | } |
| 74 | |
Argyrios Kyrtzidis | 841dd88 | 2011-11-18 00:26:59 +0000 | [diff] [blame] | 75 | virtual bool HandleTopLevelDecl(DeclGroupRef DG) { |
David Blaikie | 4a9ec7b | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 76 | if (Diags.hasErrorOccurred()) |
| 77 | return true; |
| 78 | |
Douglas Gregor | 6e6ad60 | 2009-01-20 01:17:11 +0000 | [diff] [blame] | 79 | // Make sure to emit all elements of a Decl. |
Chris Lattner | 5bbb3c8 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 80 | for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) |
| 81 | Builder->EmitTopLevelDecl(*I); |
Argyrios Kyrtzidis | 841dd88 | 2011-11-18 00:26:59 +0000 | [diff] [blame] | 82 | return true; |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 83 | } |
Daniel Dunbar | fce4be8 | 2008-08-15 23:26:23 +0000 | [diff] [blame] | 84 | |
Chris Lattner | a5e4d30 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 85 | /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl |
Chris Lattner | 5bbb3c8 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 86 | /// to (e.g. struct, union, enum, class) is completed. This allows the |
| 87 | /// client hack on the type, which can occur at any point in the file |
| 88 | /// (because these can be defined in declspecs). |
Chris Lattner | a5e4d30 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 89 | virtual void HandleTagDeclDefinition(TagDecl *D) { |
David Blaikie | 4a9ec7b | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 90 | if (Diags.hasErrorOccurred()) |
| 91 | return; |
| 92 | |
Chris Lattner | 68be606 | 2008-02-06 05:08:19 +0000 | [diff] [blame] | 93 | Builder->UpdateCompletedType(D); |
Douglas Gregor | e061015 | 2011-02-15 18:11:42 +0000 | [diff] [blame] | 94 | |
| 95 | // In C++, we may have member functions that need to be emitted at this |
| 96 | // point. |
David Blaikie | bbafb8a | 2012-03-11 07:00:24 +0000 | [diff] [blame] | 97 | if (Ctx->getLangOpts().CPlusPlus && !D->isDependentContext()) { |
Douglas Gregor | e061015 | 2011-02-15 18:11:42 +0000 | [diff] [blame] | 98 | for (DeclContext::decl_iterator M = D->decls_begin(), |
| 99 | MEnd = D->decls_end(); |
| 100 | M != MEnd; ++M) |
| 101 | if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(*M)) |
Alexis Hunt | 4a8ea10 | 2011-05-06 20:44:56 +0000 | [diff] [blame] | 102 | if (Method->doesThisDeclarationHaveABody() && |
Douglas Gregor | d66828d | 2011-02-19 21:54:50 +0000 | [diff] [blame] | 103 | (Method->hasAttr<UsedAttr>() || |
| 104 | Method->hasAttr<ConstructorAttr>())) |
Douglas Gregor | e061015 | 2011-02-15 18:11:42 +0000 | [diff] [blame] | 105 | Builder->EmitTopLevelDecl(Method); |
| 106 | } |
Chris Lattner | a5e4d30 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 107 | } |
Ted Kremenek | 7db4f60 | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 108 | |
David Blaikie | 48ad6dc | 2013-07-13 21:08:14 +0000 | [diff] [blame] | 109 | virtual void HandleTagDeclRequiredDefinition(const TagDecl *D) LLVM_OVERRIDE { |
David Blaikie | 4a9ec7b | 2013-08-19 21:02:26 +0000 | [diff] [blame] | 110 | if (Diags.hasErrorOccurred()) |
| 111 | return; |
| 112 | |
David Blaikie | 48ad6dc | 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 | b2e86eb | 2013-08-15 20:49:17 +0000 | [diff] [blame] | 115 | DI->completeRequiredType(RD); |
David Blaikie | 48ad6dc | 2013-07-13 21:08:14 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Chris Lattner | cf16983 | 2009-03-28 04:11:33 +0000 | [diff] [blame] | 118 | virtual void HandleTranslationUnit(ASTContext &Ctx) { |
Ted Kremenek | 7db4f60 | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 119 | if (Diags.hasErrorOccurred()) { |
Rafael Espindola | c0ff744 | 2013-12-09 14:59:08 +0000 | [diff] [blame] | 120 | if (Builder) |
| 121 | Builder->clear(); |
Ted Kremenek | 7db4f60 | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 122 | M.reset(); |
| 123 | return; |
| 124 | } |
| 125 | |
| 126 | if (Builder) |
| 127 | Builder->Release(); |
Daniel Dunbar | e017ecc | 2009-12-19 17:50:07 +0000 | [diff] [blame] | 128 | } |
Douglas Gregor | beecd58 | 2009-04-21 17:11:58 +0000 | [diff] [blame] | 129 | |
| 130 | virtual void CompleteTentativeDefinition(VarDecl *D) { |
| 131 | if (Diags.hasErrorOccurred()) |
| 132 | return; |
| 133 | |
| 134 | Builder->EmitTentativeDefinition(D); |
| 135 | } |
Douglas Gregor | 88d292c | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 136 | |
| 137 | virtual void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) { |
| 138 | if (Diags.hasErrorOccurred()) |
| 139 | return; |
| 140 | |
| 141 | Builder->EmitVTable(RD, DefinitionRequired); |
| 142 | } |
Reid Kleckner | e43f0fe | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 143 | |
| 144 | virtual void HandleLinkerOptionPragma(llvm::StringRef Opts) { |
| 145 | Builder->AppendLinkerOptions(Opts); |
| 146 | } |
| 147 | |
Aaron Ballman | 5d041be | 2013-06-04 02:07:14 +0000 | [diff] [blame] | 148 | virtual void HandleDetectMismatch(llvm::StringRef Name, |
| 149 | llvm::StringRef Value) { |
| 150 | Builder->AddDetectMismatch(Name, Value); |
| 151 | } |
| 152 | |
Reid Kleckner | e43f0fe | 2013-05-08 13:44:39 +0000 | [diff] [blame] | 153 | virtual void HandleDependentLibrary(llvm::StringRef Lib) { |
| 154 | Builder->AddDependentLib(Lib); |
| 155 | } |
Chris Lattner | adf1f51 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 156 | }; |
Chris Lattner | f97fe38 | 2007-05-24 06:29:05 +0000 | [diff] [blame] | 157 | } |
| 158 | |
David Blaikie | 68e081d | 2011-12-20 02:48:34 +0000 | [diff] [blame] | 159 | void CodeGenerator::anchor() { } |
| 160 | |
David Blaikie | 9c902b5 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 161 | CodeGenerator *clang::CreateLLVMCodeGen(DiagnosticsEngine &Diags, |
Ted Kremenek | 2c674f6 | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 162 | const std::string& ModuleName, |
Chandler Carruth | bc55fe2 | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 163 | const CodeGenOptions &CGO, |
John McCall | 568d410 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 164 | const TargetOptions &/*TO*/, |
Owen Anderson | ecaeaa8 | 2009-07-01 23:14:14 +0000 | [diff] [blame] | 165 | llvm::LLVMContext& C) { |
John McCall | 568d410 | 2013-04-16 22:48:20 +0000 | [diff] [blame] | 166 | return new CodeGeneratorImpl(Diags, ModuleName, CGO, C); |
Chris Lattner | f97fe38 | 2007-05-24 06:29:05 +0000 | [diff] [blame] | 167 | } |