blob: 201092f4d837b2aa60358b89b0854fbaf2f9fbe4 [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/ASTConsumer.h"
17#include "clang/AST/ASTContext.h"
Chris Lattnerc6fdc342008-01-12 07:05:38 +000018#include "clang/AST/Decl.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000019using namespace clang;
20
Chris Lattner8ee3c032008-02-06 02:01:47 +000021//===----------------------------------------------------------------------===//
22// LLVM Emitter
Reid Spencer5f016e22007-07-11 17:01:13 +000023
Chris Lattner8ee3c032008-02-06 02:01:47 +000024#include "clang/Basic/Diagnostic.h"
25#include "clang/Basic/TargetInfo.h"
26#include "clang/CodeGen/ModuleBuilder.h"
27#include "llvm/Module.h"
28#include "llvm/Target/TargetData.h"
29#include "llvm/Target/TargetMachine.h"
30
31namespace {
32 class CodeGenerator : public ASTConsumer {
33 Diagnostic &Diags;
34 const llvm::TargetData *TD;
35 ASTContext *Ctx;
36 const LangOptions &Features;
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000037 bool GenerateDebugInfo;
Chris Lattner8ee3c032008-02-06 02:01:47 +000038 protected:
39 llvm::Module *&M;
40 CodeGen::CodeGenModule *Builder;
41 public:
42 CodeGenerator(Diagnostic &diags, const LangOptions &LO,
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000043 llvm::Module *&DestModule, bool DebugInfoFlag)
44 : Diags(diags), Features(LO), GenerateDebugInfo(DebugInfoFlag),
45 M(DestModule) {}
Chris Lattner8ee3c032008-02-06 02:01:47 +000046
47 ~CodeGenerator() {
48 delete Builder;
Eli Friedman3b6c4932008-05-27 04:22:24 +000049 delete TD;
Chris Lattner8ee3c032008-02-06 02:01:47 +000050 }
51
52 virtual void Initialize(ASTContext &Context) {
53 Ctx = &Context;
54
55 M->setTargetTriple(Ctx->Target.getTargetTriple());
56 M->setDataLayout(Ctx->Target.getTargetDescription());
57 TD = new llvm::TargetData(Ctx->Target.getTargetDescription());
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +000058 Builder = new CodeGen::CodeGenModule(Context, Features, *M, *TD, Diags,
59 GenerateDebugInfo);
Chris Lattner8ee3c032008-02-06 02:01:47 +000060 }
61
62 virtual void HandleTopLevelDecl(Decl *D) {
63 // If an error occurred, stop code generation, but continue parsing and
64 // semantic analysis (to ensure all warnings and errors are emitted).
65 if (Diags.hasErrorOccurred())
66 return;
Daniel Dunbar58a7a262008-07-29 17:47:36 +000067
Chris Lattner8ee3c032008-02-06 02:01:47 +000068 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Daniel Dunbarbd012ff2008-07-29 23:18:29 +000069 Builder->EmitGlobal(FD);
70 } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
71 Builder->EmitGlobal(VD);
Anton Korobeynikov20ff3102008-06-01 14:13:53 +000072 } else if (isa<ObjCClassDecl>(D)){
73 //Forward declaration. Only used for type checking.
74 } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)){
75 // Generate Protocol object.
76 Builder->EmitObjCProtocolImplementation(PD);
77 } else if (isa<ObjCCategoryDecl>(D)){
78 //Only used for typechecking.
79 } else if (ObjCCategoryImplDecl *OCD = dyn_cast<ObjCCategoryImplDecl>(D)){
80 // Generate methods, attach to category structure
81 Builder->EmitObjCCategoryImpl(OCD);
82 } else if (ObjCImplementationDecl * OID =
83 dyn_cast<ObjCImplementationDecl>(D)){
84 // Generate methods, attach to class structure
85 Builder->EmitObjCClassImplementation(OID);
86 } else if (isa<ObjCInterfaceDecl>(D)){
87 // Ignore - generated when the implementation decl is CodeGen'd
88 } else if (ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D)){
89 Builder->EmitObjCMethod(OMD);
Chris Lattner391d77a2008-03-30 23:03:07 +000090 } else if (isa<ObjCClassDecl>(D) || isa<ObjCCategoryDecl>(D)) {
91 // Forward declaration. Only used for type checking.
92 } else if (ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D)){
93 Builder->EmitObjCMethod(OMD);
Chris Lattner8ee3c032008-02-06 02:01:47 +000094 } else if (LinkageSpecDecl *LSD = dyn_cast<LinkageSpecDecl>(D)) {
95 if (LSD->getLanguage() == LinkageSpecDecl::lang_cxx)
96 Builder->WarnUnsupported(LSD, "linkage spec");
97 // FIXME: implement C++ linkage, C linkage works mostly by C
98 // language reuse already.
Anders Carlssondfab6cb2008-02-08 00:33:21 +000099 } else if (FileScopeAsmDecl *AD = dyn_cast<FileScopeAsmDecl>(D)) {
100 std::string AsmString(AD->getAsmString()->getStrData(),
101 AD->getAsmString()->getByteLength());
102
103 const std::string &S = Builder->getModule().getModuleInlineAsm();
104 if (S.empty())
105 Builder->getModule().setModuleInlineAsm(AsmString);
106 else
107 Builder->getModule().setModuleInlineAsm(S + '\n' + AsmString);
Chris Lattner8ee3c032008-02-06 02:01:47 +0000108 } else {
Chris Lattner9eee0f82008-02-06 04:51:19 +0000109 assert(isa<TypeDecl>(D) && "Unknown top level decl");
110 // TODO: handle debug info?
Chris Lattner8ee3c032008-02-06 02:01:47 +0000111 }
Daniel Dunbar58a7a262008-07-29 17:47:36 +0000112
113 if (ScopedDecl *SD = dyn_cast<ScopedDecl>(D)) {
114 SD = SD->getNextDeclarator();
115 if (SD)
116 HandleTopLevelDecl(SD);
117 }
Chris Lattner8ee3c032008-02-06 02:01:47 +0000118 }
Chris Lattner9eee0f82008-02-06 04:51:19 +0000119
120 /// HandleTagDeclDefinition - This callback is invoked each time a TagDecl
121 /// (e.g. struct, union, enum, class) is completed. This allows the client to
122 /// hack on the type, which can occur at any point in the file (because these
123 /// can be defined in declspecs).
124 virtual void HandleTagDeclDefinition(TagDecl *D) {
Chris Lattnerc5b88062008-02-06 05:08:19 +0000125 Builder->UpdateCompletedType(D);
Chris Lattner9eee0f82008-02-06 04:51:19 +0000126 }
127
Chris Lattner8ee3c032008-02-06 02:01:47 +0000128 };
Reid Spencer5f016e22007-07-11 17:01:13 +0000129}
130
Chris Lattner8ee3c032008-02-06 02:01:47 +0000131ASTConsumer *clang::CreateLLVMCodeGen(Diagnostic &Diags,
132 const LangOptions &Features,
Sanjiv Guptae8b9f5b2008-05-08 08:54:20 +0000133 llvm::Module *&DestModule,
134 bool GenerateDebugInfo) {
135 return new CodeGenerator(Diags, Features, DestModule, GenerateDebugInfo);
Reid Spencer5f016e22007-07-11 17:01:13 +0000136}
137