blob: bcd3c0c5608a4ecd8d7476a0b9bad8b43d61724b [file] [log] [blame]
Chris Lattnerf97fe382007-05-24 06:29:05 +00001//===--- ModuleBuilder.cpp - Emit LLVM Code from ASTs ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattnerf97fe382007-05-24 06:29:05 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This builds an AST and converts it to LLVM Code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/CodeGen/ModuleBuilder.h"
Chris Lattnerbed31442007-05-28 01:07:47 +000015#include "CodeGenModule.h"
Chandler Carruth85098242010-06-15 23:19:56 +000016#include "clang/Frontend/CodeGenOptions.h"
Chris Lattneradf1f512008-02-06 02:01:47 +000017#include "clang/AST/ASTContext.h"
Daniel Dunbar221fa942008-08-11 04:54:23 +000018#include "clang/AST/DeclObjC.h"
19#include "clang/AST/Expr.h"
Chris Lattneradf1f512008-02-06 02:01:47 +000020#include "clang/Basic/Diagnostic.h"
21#include "clang/Basic/TargetInfo.h"
Owen Andersond9dd77f2009-07-01 17:00:06 +000022#include "llvm/LLVMContext.h"
Chris Lattneradf1f512008-02-06 02:01:47 +000023#include "llvm/Module.h"
24#include "llvm/Target/TargetData.h"
Ted Kremenek2c674f62008-08-05 18:50:11 +000025#include "llvm/ADT/OwningPtr.h"
Chris Lattner984fac52009-03-26 05:00:52 +000026using namespace clang;
Ted Kremenek2c674f62008-08-05 18:50:11 +000027
Chris Lattneradf1f512008-02-06 02:01:47 +000028namespace {
Benjamin Kramer337e3a52009-11-28 19:45:26 +000029 class CodeGeneratorImpl : public CodeGenerator {
David Blaikie9c902b52011-09-25 23:23:43 +000030 DiagnosticsEngine &Diags;
Dylan Noblesmithe2778992012-02-05 02:12:40 +000031 OwningPtr<const llvm::TargetData> TD;
Chris Lattneradf1f512008-02-06 02:01:47 +000032 ASTContext *Ctx;
Chandler Carruthbc55fe22009-11-12 17:24:48 +000033 const CodeGenOptions CodeGenOpts; // Intentionally copied in.
Chris Lattneradf1f512008-02-06 02:01:47 +000034 protected:
Dylan Noblesmithe2778992012-02-05 02:12:40 +000035 OwningPtr<llvm::Module> M;
36 OwningPtr<CodeGen::CodeGenModule> Builder;
Chris Lattneradf1f512008-02-06 02:01:47 +000037 public:
David Blaikie9c902b52011-09-25 23:23:43 +000038 CodeGeneratorImpl(DiagnosticsEngine &diags, const std::string& ModuleName,
John McCall731be662010-03-04 04:29:44 +000039 const CodeGenOptions &CGO, llvm::LLVMContext& C)
40 : Diags(diags), CodeGenOpts(CGO), M(new llvm::Module(ModuleName, C)) {}
Mike Stump11289f42009-09-09 15:08:12 +000041
Ted Kremenek2c674f62008-08-05 18:50:11 +000042 virtual ~CodeGeneratorImpl() {}
Mike Stump11289f42009-09-09 15:08:12 +000043
Daniel Dunbar30c514e2008-10-21 19:55:09 +000044 virtual llvm::Module* GetModule() {
45 return M.get();
46 }
Mike Stump11289f42009-09-09 15:08:12 +000047
Ted Kremenek7db4f602008-08-07 19:47:41 +000048 virtual llvm::Module* ReleaseModule() {
Ted Kremenek2c674f62008-08-05 18:50:11 +000049 return M.take();
Chris Lattneradf1f512008-02-06 02:01:47 +000050 }
Mike Stump11289f42009-09-09 15:08:12 +000051
Chris Lattneradf1f512008-02-06 02:01:47 +000052 virtual void Initialize(ASTContext &Context) {
53 Ctx = &Context;
Mike Stump11289f42009-09-09 15:08:12 +000054
Douglas Gregore8bbc122011-09-02 00:18:52 +000055 M->setTargetTriple(Ctx->getTargetInfo().getTriple().getTriple());
56 M->setDataLayout(Ctx->getTargetInfo().getTargetDescription());
57 TD.reset(new llvm::TargetData(Ctx->getTargetInfo().getTargetDescription()));
Chandler Carruthbc55fe22009-11-12 17:24:48 +000058 Builder.reset(new CodeGen::CodeGenModule(Context, CodeGenOpts,
John McCall731be662010-03-04 04:29:44 +000059 *M, *TD, Diags));
Chris Lattneradf1f512008-02-06 02:01:47 +000060 }
Mike Stump11289f42009-09-09 15:08:12 +000061
Rafael Espindoladf88f6f2012-03-08 15:51:03 +000062 virtual void HandleCXXStaticMemberVarInstantiation(VarDecl *VD) {
63 Builder->HandleCXXStaticMemberVarInstantiation(VD);
Rafael Espindola189fa742012-03-05 10:54:55 +000064 }
65
Argyrios Kyrtzidis841dd882011-11-18 00:26:59 +000066 virtual bool HandleTopLevelDecl(DeclGroupRef DG) {
Douglas Gregor6e6ad602009-01-20 01:17:11 +000067 // Make sure to emit all elements of a Decl.
Chris Lattner5bbb3c82009-03-29 16:50:03 +000068 for (DeclGroupRef::iterator I = DG.begin(), E = DG.end(); I != E; ++I)
69 Builder->EmitTopLevelDecl(*I);
Argyrios Kyrtzidis841dd882011-11-18 00:26:59 +000070 return true;
Chris Lattneradf1f512008-02-06 02:01:47 +000071 }
Daniel Dunbarfce4be82008-08-15 23:26:23 +000072
Chris Lattnera5e4d302008-02-06 04:51:19 +000073 /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl
Chris Lattner5bbb3c82009-03-29 16:50:03 +000074 /// 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 Lattnera5e4d302008-02-06 04:51:19 +000077 virtual void HandleTagDeclDefinition(TagDecl *D) {
Chris Lattner68be6062008-02-06 05:08:19 +000078 Builder->UpdateCompletedType(D);
Douglas Gregore0610152011-02-15 18:11:42 +000079
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))
Alexis Hunt4a8ea102011-05-06 20:44:56 +000087 if (Method->doesThisDeclarationHaveABody() &&
Douglas Gregord66828d2011-02-19 21:54:50 +000088 (Method->hasAttr<UsedAttr>() ||
89 Method->hasAttr<ConstructorAttr>()))
Douglas Gregore0610152011-02-15 18:11:42 +000090 Builder->EmitTopLevelDecl(Method);
91 }
Chris Lattnera5e4d302008-02-06 04:51:19 +000092 }
Ted Kremenek7db4f602008-08-07 19:47:41 +000093
Chris Lattnercf169832009-03-28 04:11:33 +000094 virtual void HandleTranslationUnit(ASTContext &Ctx) {
Ted Kremenek7db4f602008-08-07 19:47:41 +000095 if (Diags.hasErrorOccurred()) {
96 M.reset();
97 return;
98 }
99
100 if (Builder)
101 Builder->Release();
Daniel Dunbare017ecc2009-12-19 17:50:07 +0000102 }
Douglas Gregorbeecd582009-04-21 17:11:58 +0000103
104 virtual void CompleteTentativeDefinition(VarDecl *D) {
105 if (Diags.hasErrorOccurred())
106 return;
107
108 Builder->EmitTentativeDefinition(D);
109 }
Douglas Gregor88d292c2010-05-13 16:44:06 +0000110
111 virtual void HandleVTable(CXXRecordDecl *RD, bool DefinitionRequired) {
112 if (Diags.hasErrorOccurred())
113 return;
114
115 Builder->EmitVTable(RD, DefinitionRequired);
116 }
Chris Lattneradf1f512008-02-06 02:01:47 +0000117 };
Chris Lattnerf97fe382007-05-24 06:29:05 +0000118}
119
David Blaikie68e081d2011-12-20 02:48:34 +0000120void CodeGenerator::anchor() { }
121
David Blaikie9c902b52011-09-25 23:23:43 +0000122CodeGenerator *clang::CreateLLVMCodeGen(DiagnosticsEngine &Diags,
Ted Kremenek2c674f62008-08-05 18:50:11 +0000123 const std::string& ModuleName,
Chandler Carruthbc55fe22009-11-12 17:24:48 +0000124 const CodeGenOptions &CGO,
Owen Andersonecaeaa82009-07-01 23:14:14 +0000125 llvm::LLVMContext& C) {
John McCall731be662010-03-04 04:29:44 +0000126 return new CodeGeneratorImpl(Diags, ModuleName, CGO, C);
Chris Lattnerf97fe382007-05-24 06:29:05 +0000127}