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 { |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 30 | Diagnostic &Diags; |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 31 | llvm::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: |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 35 | llvm::OwningPtr<llvm::Module> M; |
| 36 | llvm::OwningPtr<CodeGen::CodeGenModule> Builder; |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 37 | public: |
Chris Lattner | bd36064 | 2009-03-26 05:00:52 +0000 | [diff] [blame] | 38 | CodeGeneratorImpl(Diagnostic &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 | |
Daniel Dunbar | 1752ee4 | 2009-08-24 09:10:05 +0000 | [diff] [blame] | 55 | M->setTargetTriple(Ctx->Target.getTriple().getTriple()); |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 56 | M->setDataLayout(Ctx->Target.getTargetDescription()); |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 57 | TD.reset(new llvm::TargetData(Ctx->Target.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 | |
Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 62 | virtual void HandleTopLevelDecl(DeclGroupRef DG) { |
Douglas Gregor | 4afa39d | 2009-01-20 01:17:11 +0000 | [diff] [blame] | 63 | // Make sure to emit all elements of a Decl. |
Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 64 | for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I) |
| 65 | Builder->EmitTopLevelDecl(*I); |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 66 | } |
Daniel Dunbar | 41071de | 2008-08-15 23:26:23 +0000 | [diff] [blame] | 67 | |
Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 68 | /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl |
Chris Lattner | 682bf92 | 2009-03-29 16:50:03 +0000 | [diff] [blame] | 69 | /// to (e.g. struct, union, enum, class) is completed. This allows the |
| 70 | /// client hack on the type, which can occur at any point in the file |
| 71 | /// (because these can be defined in declspecs). |
Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 72 | virtual void HandleTagDeclDefinition(TagDecl *D) { |
Chris Lattner | c5b8806 | 2008-02-06 05:08:19 +0000 | [diff] [blame] | 73 | Builder->UpdateCompletedType(D); |
Chris Lattner | 9eee0f8 | 2008-02-06 04:51:19 +0000 | [diff] [blame] | 74 | } |
Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 75 | |
Chris Lattner | dacbc5d | 2009-03-28 04:11:33 +0000 | [diff] [blame] | 76 | virtual void HandleTranslationUnit(ASTContext &Ctx) { |
Ted Kremenek | 159346a | 2008-08-07 19:47:41 +0000 | [diff] [blame] | 77 | if (Diags.hasErrorOccurred()) { |
| 78 | M.reset(); |
| 79 | return; |
| 80 | } |
| 81 | |
| 82 | if (Builder) |
| 83 | Builder->Release(); |
Daniel Dunbar | 7177dee | 2009-12-19 17:50:07 +0000 | [diff] [blame] | 84 | } |
Douglas Gregor | b6c8c8b | 2009-04-21 17:11:58 +0000 | [diff] [blame] | 85 | |
| 86 | virtual void CompleteTentativeDefinition(VarDecl *D) { |
| 87 | if (Diags.hasErrorOccurred()) |
| 88 | return; |
| 89 | |
| 90 | Builder->EmitTentativeDefinition(D); |
| 91 | } |
Douglas Gregor | 6fb745b | 2010-05-13 16:44:06 +0000 | [diff] [blame] | 92 | |
| 93 | virtual void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) { |
| 94 | if (Diags.hasErrorOccurred()) |
| 95 | return; |
| 96 | |
| 97 | Builder->EmitVTable(RD, DefinitionRequired); |
| 98 | } |
Chris Lattner | 8ee3c03 | 2008-02-06 02:01:47 +0000 | [diff] [blame] | 99 | }; |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 100 | } |
| 101 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 102 | CodeGenerator *clang::CreateLLVMCodeGen(Diagnostic &Diags, |
Ted Kremenek | 815c78f | 2008-08-05 18:50:11 +0000 | [diff] [blame] | 103 | const std::string& ModuleName, |
Chandler Carruth | 2811ccf | 2009-11-12 17:24:48 +0000 | [diff] [blame] | 104 | const CodeGenOptions &CGO, |
Owen Anderson | 8f1ca78 | 2009-07-01 23:14:14 +0000 | [diff] [blame] | 105 | llvm::LLVMContext& C) { |
John McCall | 468ec6c | 2010-03-04 04:29:44 +0000 | [diff] [blame] | 106 | return new CodeGeneratorImpl(Diags, ModuleName, CGO, C); |
Reid Spencer | 5f016e2 | 2007-07-11 17:01:13 +0000 | [diff] [blame] | 107 | } |