blob: d6e5f0673f8205f1dae0b9e3a3d5af2e54172dd7 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- ModuleBuilder.cpp - Emit LLVM Code from ASTs ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
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"
Chris Lattner8ee3c032008-02-06 02:01:47 +000016#include "clang/AST/ASTContext.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000017#include "clang/AST/DeclObjC.h"
18#include "clang/AST/Expr.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000019#include "clang/Basic/Diagnostic.h"
20#include "clang/Basic/TargetInfo.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000021#include "clang/Frontend/CodeGenOptions.h"
22#include "llvm/ADT/OwningPtr.h"
Chandler Carruth3b844ba2013-01-02 11:45:17 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/LLVMContext.h"
25#include "llvm/IR/Module.h"
Chris Lattnerbd360642009-03-26 05:00:52 +000026using namespace clang;
Ted Kremenek815c78f2008-08-05 18:50:11 +000027
Chris Lattner8ee3c032008-02-06 02:01:47 +000028namespace {
Benjamin Kramer85b45212009-11-28 19:45:26 +000029 class CodeGeneratorImpl : public CodeGenerator {
David Blaikied6471f72011-09-25 23:23:43 +000030 DiagnosticsEngine &Diags;
Micah Villmow25a6a842012-10-08 16:25:52 +000031 OwningPtr<const llvm::DataLayout> TD;
Chris Lattner8ee3c032008-02-06 02:01:47 +000032 ASTContext *Ctx;
Chandler Carruth2811ccf2009-11-12 17:24:48 +000033 const CodeGenOptions CodeGenOpts; // Intentionally copied in.
Bill Wendlinge1092df2013-02-14 08:09:20 +000034 const TargetOptions TargetOpts; // Intentionally copied in.
Chris Lattner8ee3c032008-02-06 02:01:47 +000035 protected:
Dylan Noblesmith6f42b622012-02-05 02:12:40 +000036 OwningPtr<llvm::Module> M;
37 OwningPtr<CodeGen::CodeGenModule> Builder;
Chris Lattner8ee3c032008-02-06 02:01:47 +000038 public:
David Blaikied6471f72011-09-25 23:23:43 +000039 CodeGeneratorImpl(DiagnosticsEngine &diags, const std::string& ModuleName,
Bill Wendlinge1092df2013-02-14 08:09:20 +000040 const CodeGenOptions &CGO, const TargetOptions &TO,
41 llvm::LLVMContext& C)
42 : Diags(diags), CodeGenOpts(CGO), TargetOpts(TO),
43 M(new llvm::Module(ModuleName, C)) {}
Mike Stump1eb44332009-09-09 15:08:12 +000044
Ted Kremenek815c78f2008-08-05 18:50:11 +000045 virtual ~CodeGeneratorImpl() {}
Mike Stump1eb44332009-09-09 15:08:12 +000046
Daniel Dunbard8c0ea12008-10-21 19:55:09 +000047 virtual llvm::Module* GetModule() {
48 return M.get();
49 }
Mike Stump1eb44332009-09-09 15:08:12 +000050
Ted Kremenek159346a2008-08-07 19:47:41 +000051 virtual llvm::Module* ReleaseModule() {
Ted Kremenek815c78f2008-08-05 18:50:11 +000052 return M.take();
Chris Lattner8ee3c032008-02-06 02:01:47 +000053 }
Mike Stump1eb44332009-09-09 15:08:12 +000054
Chris Lattner8ee3c032008-02-06 02:01:47 +000055 virtual void Initialize(ASTContext &Context) {
56 Ctx = &Context;
Mike Stump1eb44332009-09-09 15:08:12 +000057
Douglas Gregorbcfd1f52011-09-02 00:18:52 +000058 M->setTargetTriple(Ctx->getTargetInfo().getTriple().getTriple());
59 M->setDataLayout(Ctx->getTargetInfo().getTargetDescription());
Micah Villmow25a6a842012-10-08 16:25:52 +000060 TD.reset(new llvm::DataLayout(Ctx->getTargetInfo().getTargetDescription()));
Bill Wendlinge1092df2013-02-14 08:09:20 +000061 Builder.reset(new CodeGen::CodeGenModule(Context, CodeGenOpts, TargetOpts,
John McCall468ec6c2010-03-04 04:29:44 +000062 *M, *TD, Diags));
Chris Lattner8ee3c032008-02-06 02:01:47 +000063 }
Mike Stump1eb44332009-09-09 15:08:12 +000064
Rafael Espindola02503932012-03-08 15:51:03 +000065 virtual void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) {
66 Builder->HandleCXXStaticMemberVarInstantiation(VD);
Rafael Espindola234fe652012-03-05 10:54:55 +000067 }
68
Argyrios Kyrtzidis88c25962011-11-18 00:26:59 +000069 virtual bool HandleTopLevelDecl(DeclGroupRef DG) {
Douglas Gregor4afa39d2009-01-20 01:17:11 +000070 // Make sure to emit all elements of a Decl.
Chris Lattner682bf922009-03-29 16:50:03 +000071 for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I)
72 Builder->EmitTopLevelDecl(*I);
Argyrios Kyrtzidis88c25962011-11-18 00:26:59 +000073 return true;
Chris Lattner8ee3c032008-02-06 02:01:47 +000074 }
Daniel Dunbar41071de2008-08-15 23:26:23 +000075
Chris Lattner9eee0f82008-02-06 04:51:19 +000076 /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl
Chris Lattner682bf922009-03-29 16:50:03 +000077 /// to (e.g. struct, union, enum, class) is completed. This allows the
78 /// client hack on the type, which can occur at any point in the file
79 /// (because these can be defined in declspecs).
Chris Lattner9eee0f82008-02-06 04:51:19 +000080 virtual void HandleTagDeclDefinition(TagDecl *D) {
Chris Lattnerc5b88062008-02-06 05:08:19 +000081 Builder->UpdateCompletedType(D);
Douglas Gregorf552c202011-02-15 18:11:42 +000082
83 // In C++, we may have member functions that need to be emitted at this
84 // point.
David Blaikie4e4d0842012-03-11 07:00:24 +000085 if (Ctx->getLangOpts().CPlusPlus && !D->isDependentContext()) {
Douglas Gregorf552c202011-02-15 18:11:42 +000086 for (DeclContext::decl_iterator M = D->decls_begin(),
87 MEnd = D->decls_end();
88 M != MEnd; ++M)
89 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(*M))
Sean Hunt10620eb2011-05-06 20:44:56 +000090 if (Method->doesThisDeclarationHaveABody() &&
Douglas Gregor944ed3b2011-02-19 21:54:50 +000091 (Method->hasAttr<UsedAttr>() ||
92 Method->hasAttr<ConstructorAttr>()))
Douglas Gregorf552c202011-02-15 18:11:42 +000093 Builder->EmitTopLevelDecl(Method);
94 }
Chris Lattner9eee0f82008-02-06 04:51:19 +000095 }
Ted Kremenek159346a2008-08-07 19:47:41 +000096
Chris Lattnerdacbc5d2009-03-28 04:11:33 +000097 virtual void HandleTranslationUnit(ASTContext &Ctx) {
Ted Kremenek159346a2008-08-07 19:47:41 +000098 if (Diags.hasErrorOccurred()) {
99 M.reset();
100 return;
101 }
102
103 if (Builder)
104 Builder->Release();
Daniel Dunbar7177dee2009-12-19 17:50:07 +0000105 }
Douglas Gregorb6c8c8b2009-04-21 17:11:58 +0000106
107 virtual void CompleteTentativeDefinition(VarDecl *D) {
108 if (Diags.hasErrorOccurred())
109 return;
110
111 Builder->EmitTentativeDefinition(D);
112 }
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000113
114 virtual void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) {
115 if (Diags.hasErrorOccurred())
116 return;
117
118 Builder->EmitVTable(RD, DefinitionRequired);
119 }
Chris Lattner8ee3c032008-02-06 02:01:47 +0000120 };
Reid Spencer5f016e22007-07-11 17:01:13 +0000121}
122
David Blaikie99ba9e32011-12-20 02:48:34 +0000123void CodeGenerator::anchor() { }
124
David Blaikied6471f72011-09-25 23:23:43 +0000125CodeGenerator *clang::CreateLLVMCodeGen(DiagnosticsEngine &Diags,
Ted Kremenek815c78f2008-08-05 18:50:11 +0000126 const std::string& ModuleName,
Chandler Carruth2811ccf2009-11-12 17:24:48 +0000127 const CodeGenOptions &CGO,
Bill Wendlinge1092df2013-02-14 08:09:20 +0000128 const TargetOptions &TO,
Owen Anderson8f1ca782009-07-01 23:14:14 +0000129 llvm::LLVMContext& C) {
Bill Wendlinge1092df2013-02-14 08:09:20 +0000130 return new CodeGeneratorImpl(Diags, ModuleName, CGO, TO, C);
Reid Spencer5f016e22007-07-11 17:01:13 +0000131}