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" |
| 15 | #include "CodeGenModule.h" |
Chandler Carruth | 06057ce | 2010-06-15 23:19:56 +0000 | [diff] [blame] | 16 | #include "clang/Frontend/CodeGenOptions.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" |
Owen Anderson | 42253cc | 2009-07-01 17:00:06 +0000 | [diff] [blame] | 22 | #include "llvm/LLVMContext.h" |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 23 | #include "llvm/Module.h" |
| 24 | #include "llvm/Target/TargetData.h" |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/OwningPtr.h" |
Chris Lattner | bd36064 | 2009-03-26 05:00:52 +0000 | [diff] [blame] | 26 | using namespace clang; |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 28 | namespace { |
Benjamin Kramer | 85b4521 | 2009-11-28 19:45:26 +0000 | [diff] [blame] | 29 | class CodeGeneratorImpl : public CodeGenerator { |
David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 30 | DiagnosticsEngine &Diags; |
Dylan Noblesmith | 6f42b62 | 2012-02-05 02:12:40 +0000 | [diff] [blame] | 31 | OwningPtr<const llvm::TargetData> TD; |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 32 | ASTContext *Ctx; |
Chandler Carruth | 2811ccf | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 33 | const CodeGenOptions CodeGenOpts; // Intentionally copied in. |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 34 | protected: |
Dylan Noblesmith | 6f42b62 | 2012-02-05 02:12:40 +0000 | [diff] [blame] | 35 | OwningPtr<llvm::Module> M; |
| 36 | OwningPtr<CodeGen::CodeGenModule> Builder; |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 37 | public: |
David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 38 | CodeGeneratorImpl(DiagnosticsEngine &diags, const std::string& ModuleName, |
John McCall | 468ec6c | 2010-03-04 04:29:44 +0000 | [diff] [blame] | 39 | const CodeGenOptions &CGO, llvm::LLVMContext& C) |
| 40 | : Diags(diags), CodeGenOpts(CGO), M(new llvm::Module(ModuleName, C)) {} |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 41 | |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 42 | virtual ~CodeGeneratorImpl() {} |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 43 | |
Daniel Dunbar | d8c0ea1 | 2008-10-21 19:55:09 +0000 | [diff] [blame] | 44 | virtual llvm::Module* GetModule() { |
| 45 | return M.get(); |
| 46 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 47 | |
Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 48 | virtual llvm::Module* ReleaseModule() { |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 49 | return M.take(); |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 50 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 51 | |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 52 | virtual void Initialize(ASTContext &Context) { |
| 53 | Ctx = &Context; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 54 | |
Douglas Gregor | bcfd1f5 | 2011-09-02 00:18:52 +0000 | [diff] [blame] | 55 | M->setTargetTriple(Ctx->getTargetInfo().getTriple().getTriple()); |
| 56 | M->setDataLayout(Ctx->getTargetInfo().getTargetDescription()); |
| 57 | TD.reset(new llvm::TargetData(Ctx->getTargetInfo().getTargetDescription())); |
Chandler Carruth | 2811ccf | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 58 | Builder.reset(new CodeGen::CodeGenModule(Context, CodeGenOpts, |
John McCall | 468ec6c | 2010-03-04 04:29:44 +0000 | [diff] [blame] | 59 | *M, *TD, Diags)); |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 60 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 61 | |
Rafael Espindola | 234fe65 | 2012-03-05 10:54:55 +0000 | [diff] [blame^] | 62 | virtual void MarkVarRequired(VarDecl *VD) { |
| 63 | Builder->MarkVarRequired(VD); |
| 64 | } |
| 65 | |
Argyrios Kyrtzidis | 88c2596 | 2011-11-18 00:26:59 +0000 | [diff] [blame] | 66 | virtual bool HandleTopLevelDecl(DeclGroupRef DG) { |
Douglas Gregor | 4afa39d | 2009-01-20 01:17:11 +0000 | [diff] [blame] | 67 | // Make sure to emit all elements of a Decl. |
Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 68 | for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) |
| 69 | Builder->EmitTopLevelDecl(*I); |
Argyrios Kyrtzidis | 88c2596 | 2011-11-18 00:26:59 +0000 | [diff] [blame] | 70 | return true; |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 71 | } |
Daniel Dunbar | 41071de | 2008-08-15 23:26:23 +0000 | [diff] [blame] | 72 | |
Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 73 | /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl |
Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 74 | /// to (e.g. struct, union, enum, class) is completed. This allows the |
| 75 | /// client hack on the type, which can occur at any point in the file |
| 76 | /// (because these can be defined in declspecs). |
Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 77 | virtual void HandleTagDeclDefinition(TagDecl *D) { |
Chris Lattner | c5b8806 | 2008-02-06 05:08:19 +0000 | [diff] [blame] | 78 | Builder->UpdateCompletedType(D); |
Douglas Gregor | f552c20 | 2011-02-15 18:11:42 +0000 | [diff] [blame] | 79 | |
| 80 | // In C++, we may have member functions that need to be emitted at this |
| 81 | // point. |
| 82 | if (Ctx->getLangOptions().CPlusPlus && !D->isDependentContext()) { |
| 83 | for (DeclContext::decl_iterator M = D->decls_begin(), |
| 84 | MEnd = D->decls_end(); |
| 85 | M != MEnd; ++M) |
| 86 | if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(*M)) |
Sean Hunt | 10620eb | 2011-05-06 20:44:56 +0000 | [diff] [blame] | 87 | if (Method->doesThisDeclarationHaveABody() && |
Douglas Gregor | 944ed3b | 2011-02-19 21:54:50 +0000 | [diff] [blame] | 88 | (Method->hasAttr<UsedAttr>() || |
| 89 | Method->hasAttr<ConstructorAttr>())) |
Douglas Gregor | f552c20 | 2011-02-15 18:11:42 +0000 | [diff] [blame] | 90 | Builder->EmitTopLevelDecl(Method); |
| 91 | } |
Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 92 | } |
Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 93 | |
Chris Lattner | dacbc5d | 2009-03-28 04:11:33 +0000 | [diff] [blame] | 94 | virtual void HandleTranslationUnit(ASTContext &Ctx) { |
Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 95 | if (Diags.hasErrorOccurred()) { |
| 96 | M.reset(); |
| 97 | return; |
| 98 | } |
| 99 | |
| 100 | if (Builder) |
| 101 | Builder->Release(); |
Daniel Dunbar | 7177dee | 2009-12-19 17:50:07 +0000 | [diff] [blame] | 102 | } |
Douglas Gregor | b6c8c8b | 2009-04-21 17:11:58 +0000 | [diff] [blame] | 103 | |
| 104 | virtual void CompleteTentativeDefinition(VarDecl *D) { |
| 105 | if (Diags.hasErrorOccurred()) |
| 106 | return; |
| 107 | |
| 108 | Builder->EmitTentativeDefinition(D); |
| 109 | } |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 110 | |
| 111 | virtual void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) { |
| 112 | if (Diags.hasErrorOccurred()) |
| 113 | return; |
| 114 | |
| 115 | Builder->EmitVTable(RD, DefinitionRequired); |
| 116 | } |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 117 | }; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 118 | } |
| 119 | |
David Blaikie | 99ba9e3 | 2011-12-20 02:48:34 +0000 | [diff] [blame] | 120 | void CodeGenerator::anchor() { } |
| 121 | |
David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 122 | CodeGenerator *clang::CreateLLVMCodeGen(DiagnosticsEngine &Diags, |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 123 | const std::string& ModuleName, |
Chandler Carruth | 2811ccf | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 124 | const CodeGenOptions &CGO, |
Owen Anderson | 8f1ca78 | 2009-07-01 23:14:14 +0000 | [diff] [blame] | 125 | llvm::LLVMContext& C) { |
John McCall | 468ec6c | 2010-03-04 04:29:44 +0000 | [diff] [blame] | 126 | return new CodeGeneratorImpl(Diags, ModuleName, CGO, C); |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 127 | } |