blob: 78cb82dc558cc45a65f4a3a45f420a951b097079 [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"
David Blaikie658cd2c2013-07-13 21:08:14 +000015#include "CGDebugInfo.h"
Stephen Hines651f13c2014-04-23 16:59:28 -070016#include "CodeGenModule.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000017#include "clang/AST/ASTContext.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000018#include "clang/AST/DeclObjC.h"
19#include "clang/AST/Expr.h"
Chris Lattner8ee3c032008-02-06 02:01:47 +000020#include "clang/Basic/Diagnostic.h"
21#include "clang/Basic/TargetInfo.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000022#include "clang/Frontend/CodeGenOptions.h"
Reid Kleckner3190ca92013-05-08 13:44:39 +000023#include "llvm/ADT/StringRef.h"
Chandler Carruth3b844ba2013-01-02 11:45:17 +000024#include "llvm/IR/DataLayout.h"
25#include "llvm/IR/LLVMContext.h"
26#include "llvm/IR/Module.h"
Stephen Hines651f13c2014-04-23 16:59:28 -070027#include <memory>
Chris Lattnerbd360642009-03-26 05:00:52 +000028using namespace clang;
Ted Kremenek815c78f2008-08-05 18:50:11 +000029
Chris Lattner8ee3c032008-02-06 02:01:47 +000030namespace {
Benjamin Kramer85b45212009-11-28 19:45:26 +000031 class CodeGeneratorImpl : public CodeGenerator {
David Blaikied6471f72011-09-25 23:23:43 +000032 DiagnosticsEngine &Diags;
Stephen Hines651f13c2014-04-23 16:59:28 -070033 std::unique_ptr<const llvm::DataLayout> TD;
Chris Lattner8ee3c032008-02-06 02:01:47 +000034 ASTContext *Ctx;
Chandler Carruth2811ccf2009-11-12 17:24:48 +000035 const CodeGenOptions CodeGenOpts; // Intentionally copied in.
Chris Lattner8ee3c032008-02-06 02:01:47 +000036 protected:
Stephen Hines651f13c2014-04-23 16:59:28 -070037 std::unique_ptr<llvm::Module> M;
38 std::unique_ptr<CodeGen::CodeGenModule> Builder;
39
Chris Lattner8ee3c032008-02-06 02:01:47 +000040 public:
David Blaikied6471f72011-09-25 23:23:43 +000041 CodeGeneratorImpl(DiagnosticsEngine &diags, const std::string& ModuleName,
John McCall3abae092013-04-16 22:48:20 +000042 const CodeGenOptions &CGO, llvm::LLVMContext& C)
43 : Diags(diags), CodeGenOpts(CGO),
Bill Wendlinge1092df2013-02-14 08:09:20 +000044 M(new llvm::Module(ModuleName, C)) {}
Mike Stump1eb44332009-09-09 15:08:12 +000045
Ted Kremenek815c78f2008-08-05 18:50:11 +000046 virtual ~CodeGeneratorImpl() {}
Mike Stump1eb44332009-09-09 15:08:12 +000047
Stephen Hines651f13c2014-04-23 16:59:28 -070048 llvm::Module* GetModule() override {
Daniel Dunbard8c0ea12008-10-21 19:55:09 +000049 return M.get();
50 }
Mike Stump1eb44332009-09-09 15:08:12 +000051
Stephen Hines651f13c2014-04-23 16:59:28 -070052 llvm::Module *ReleaseModule() override { return M.release(); }
Mike Stump1eb44332009-09-09 15:08:12 +000053
Stephen Hines651f13c2014-04-23 16:59:28 -070054 void Initialize(ASTContext &Context) override {
Chris Lattner8ee3c032008-02-06 02:01:47 +000055 Ctx = &Context;
Mike Stump1eb44332009-09-09 15:08:12 +000056
Douglas Gregorbcfd1f52011-09-02 00:18:52 +000057 M->setTargetTriple(Ctx->getTargetInfo().getTriple().getTriple());
58 M->setDataLayout(Ctx->getTargetInfo().getTargetDescription());
Micah Villmow25a6a842012-10-08 16:25:52 +000059 TD.reset(new llvm::DataLayout(Ctx->getTargetInfo().getTargetDescription()));
John McCall3abae092013-04-16 22:48:20 +000060 Builder.reset(new CodeGen::CodeGenModule(Context, CodeGenOpts, *M, *TD,
61 Diags));
Hans Wennborgb3574792013-08-08 00:17:41 +000062
63 for (size_t i = 0, e = CodeGenOpts.DependentLibraries.size(); i < e; ++i)
64 HandleDependentLibrary(CodeGenOpts.DependentLibraries[i]);
Chris Lattner8ee3c032008-02-06 02:01:47 +000065 }
Mike Stump1eb44332009-09-09 15:08:12 +000066
Stephen Hines651f13c2014-04-23 16:59:28 -070067 void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) override {
David Blaikie0a1c8622013-08-19 21:02:26 +000068 if (Diags.hasErrorOccurred())
69 return;
70
Rafael Espindola02503932012-03-08 15:51:03 +000071 Builder->HandleCXXStaticMemberVarInstantiation(VD);
Rafael Espindola234fe652012-03-05 10:54:55 +000072 }
73
Stephen Hines651f13c2014-04-23 16:59:28 -070074 bool HandleTopLevelDecl(DeclGroupRef DG) override {
David Blaikie0a1c8622013-08-19 21:02:26 +000075 if (Diags.hasErrorOccurred())
76 return true;
77
Douglas Gregor4afa39d2009-01-20 01:17:11 +000078 // Make sure to emit all elements of a Decl.
Chris Lattner682bf922009-03-29 16:50:03 +000079 for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I)
80 Builder->EmitTopLevelDecl(*I);
Argyrios Kyrtzidis88c25962011-11-18 00:26:59 +000081 return true;
Chris Lattner8ee3c032008-02-06 02:01:47 +000082 }
Daniel Dunbar41071de2008-08-15 23:26:23 +000083
Stephen Hines6bcf27b2014-05-29 04:14:42 -070084 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 Lattner9eee0f82008-02-06 04:51:19 +000098 /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl
Chris Lattner682bf922009-03-29 16:50:03 +000099 /// 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 Hines651f13c2014-04-23 16:59:28 -0700102 void HandleTagDeclDefinition(TagDecl *D) override {
David Blaikie0a1c8622013-08-19 21:02:26 +0000103 if (Diags.hasErrorOccurred())
104 return;
105
Chris Lattnerc5b88062008-02-06 05:08:19 +0000106 Builder->UpdateCompletedType(D);
Chris Lattner9eee0f82008-02-06 04:51:19 +0000107 }
Ted Kremenek159346a2008-08-07 19:47:41 +0000108
Stephen Hines651f13c2014-04-23 16:59:28 -0700109 void HandleTagDeclRequiredDefinition(const TagDecl *D) override {
David Blaikie0a1c8622013-08-19 21:02:26 +0000110 if (Diags.hasErrorOccurred())
111 return;
112
David Blaikie658cd2c2013-07-13 21:08:14 +0000113 if (CodeGen::CGDebugInfo *DI = Builder->getModuleDebugInfo())
114 if (const RecordDecl *RD = dyn_cast<RecordDecl>(D))
David Blaikie27804892013-08-15 20:49:17 +0000115 DI->completeRequiredType(RD);
David Blaikie658cd2c2013-07-13 21:08:14 +0000116 }
117
Stephen Hines651f13c2014-04-23 16:59:28 -0700118 void HandleTranslationUnit(ASTContext &Ctx) override {
Ted Kremenek159346a2008-08-07 19:47:41 +0000119 if (Diags.hasErrorOccurred()) {
Stephen Hines651f13c2014-04-23 16:59:28 -0700120 if (Builder)
121 Builder->clear();
Ted Kremenek159346a2008-08-07 19:47:41 +0000122 M.reset();
123 return;
124 }
125
126 if (Builder)
127 Builder->Release();
Daniel Dunbar7177dee2009-12-19 17:50:07 +0000128 }
Douglas Gregorb6c8c8b2009-04-21 17:11:58 +0000129
Stephen Hines651f13c2014-04-23 16:59:28 -0700130 void CompleteTentativeDefinition(VarDecl *D) override {
Douglas Gregorb6c8c8b2009-04-21 17:11:58 +0000131 if (Diags.hasErrorOccurred())
132 return;
133
134 Builder->EmitTentativeDefinition(D);
135 }
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000136
Stephen Hines651f13c2014-04-23 16:59:28 -0700137 void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) override {
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000138 if (Diags.hasErrorOccurred())
139 return;
140
141 Builder->EmitVTable(RD, DefinitionRequired);
142 }
Reid Kleckner3190ca92013-05-08 13:44:39 +0000143
Stephen Hines651f13c2014-04-23 16:59:28 -0700144 void HandleLinkerOptionPragma(llvm::StringRef Opts) override {
Reid Kleckner3190ca92013-05-08 13:44:39 +0000145 Builder->AppendLinkerOptions(Opts);
146 }
147
Stephen Hines651f13c2014-04-23 16:59:28 -0700148 void HandleDetectMismatch(llvm::StringRef Name,
149 llvm::StringRef Value) override {
Aaron Ballmana7ff62f2013-06-04 02:07:14 +0000150 Builder->AddDetectMismatch(Name, Value);
151 }
152
Stephen Hines651f13c2014-04-23 16:59:28 -0700153 void HandleDependentLibrary(llvm::StringRef Lib) override {
Reid Kleckner3190ca92013-05-08 13:44:39 +0000154 Builder->AddDependentLib(Lib);
155 }
Chris Lattner8ee3c032008-02-06 02:01:47 +0000156 };
Reid Spencer5f016e22007-07-11 17:01:13 +0000157}
158
David Blaikie99ba9e32011-12-20 02:48:34 +0000159void CodeGenerator::anchor() { }
160
David Blaikied6471f72011-09-25 23:23:43 +0000161CodeGenerator *clang::CreateLLVMCodeGen(DiagnosticsEngine &Diags,
Ted Kremenek815c78f2008-08-05 18:50:11 +0000162 const std::string& ModuleName,
Chandler Carruth2811ccf2009-11-12 17:24:48 +0000163 const CodeGenOptions &CGO,
John McCall3abae092013-04-16 22:48:20 +0000164 const TargetOptions &/*TO*/,
Owen Anderson8f1ca782009-07-01 23:14:14 +0000165 llvm::LLVMContext& C) {
John McCall3abae092013-04-16 22:48:20 +0000166 return new CodeGeneratorImpl(Diags, ModuleName, CGO, C);
Reid Spencer5f016e22007-07-11 17:01:13 +0000167}