blob: f76bd122a056bf4176c0a68afb42bc06ed6abe3d [file] [log] [blame]
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +00001//===--- CGDecl.cpp - Emit LLVM Code for declarations ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This contains code dealing with C++ code generation.
11//
12//===----------------------------------------------------------------------===//
13
14// We might split this into multiple files if it gets too unwieldy
15
16#include "CodeGenFunction.h"
17#include "CodeGenModule.h"
Anders Carlsson33e65e52009-04-13 18:03:33 +000018#include "Mangle.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000019#include "clang/AST/ASTContext.h"
20#include "clang/AST/Decl.h"
Anders Carlsson7a9b2982009-04-03 22:50:24 +000021#include "clang/AST/DeclCXX.h"
Anders Carlsson4715ebb2008-08-23 19:42:54 +000022#include "clang/AST/DeclObjC.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000023#include "llvm/ADT/StringExtras.h"
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000024using namespace clang;
25using namespace CodeGen;
26
Daniel Dunbardea59212009-02-25 19:24:29 +000027void
28CodeGenFunction::GenerateStaticCXXBlockVarDeclInit(const VarDecl &D,
29 llvm::GlobalVariable *GV) {
30 // FIXME: This should use __cxa_guard_{acquire,release}?
31
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000032 assert(!getContext().getLangOptions().ThreadsafeStatics &&
33 "thread safe statics are currently not supported!");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000034
Anders Carlsson33e65e52009-04-13 18:03:33 +000035 llvm::SmallString<256> GuardVName;
36 llvm::raw_svector_ostream GuardVOut(GuardVName);
37 mangleGuardVariable(&D, getContext(), GuardVOut);
38
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000039 // Create the guard variable.
40 llvm::GlobalValue *GuardV =
41 new llvm::GlobalVariable(llvm::Type::Int64Ty, false,
Daniel Dunbardea59212009-02-25 19:24:29 +000042 GV->getLinkage(),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000043 llvm::Constant::getNullValue(llvm::Type::Int64Ty),
Anders Carlsson33e65e52009-04-13 18:03:33 +000044 GuardVName.c_str(),
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000045 &CGM.getModule());
46
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000047 // Load the first byte of the guard variable.
Daniel Dunbardea59212009-02-25 19:24:29 +000048 const llvm::Type *PtrTy = llvm::PointerType::get(llvm::Type::Int8Ty, 0);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000049 llvm::Value *V = Builder.CreateLoad(Builder.CreateBitCast(GuardV, PtrTy),
50 "tmp");
51
52 // Compare it against 0.
53 llvm::Value *nullValue = llvm::Constant::getNullValue(llvm::Type::Int8Ty);
54 llvm::Value *ICmp = Builder.CreateICmpEQ(V, nullValue , "tobool");
55
Daniel Dunbar72f96552008-11-11 02:29:29 +000056 llvm::BasicBlock *InitBlock = createBasicBlock("init");
Daniel Dunbar6e3a10c2008-11-13 01:38:36 +000057 llvm::BasicBlock *EndBlock = createBasicBlock("init.end");
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000058
59 // If the guard variable is 0, jump to the initializer code.
60 Builder.CreateCondBr(ICmp, InitBlock, EndBlock);
61
62 EmitBlock(InitBlock);
63
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000064 const Expr *Init = D.getInit();
65 if (!hasAggregateLLVMType(Init->getType())) {
66 llvm::Value *V = EmitScalarExpr(Init);
67 Builder.CreateStore(V, GV, D.getType().isVolatileQualified());
68 } else if (Init->getType()->isAnyComplexType()) {
69 EmitComplexExprIntoAddr(Init, GV, D.getType().isVolatileQualified());
70 } else {
71 EmitAggExpr(Init, GV, D.getType().isVolatileQualified());
72 }
73
74 Builder.CreateStore(llvm::ConstantInt::get(llvm::Type::Int8Ty, 1),
75 Builder.CreateBitCast(GuardV, PtrTy));
76
77 EmitBlock(EndBlock);
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +000078}
79
Anders Carlsson7a9b2982009-04-03 22:50:24 +000080RValue CodeGenFunction::EmitCXXMemberCallExpr(const CXXMemberCallExpr *CE) {
81 const MemberExpr *ME = cast<MemberExpr>(CE->getCallee());
82 const CXXMethodDecl *MD = cast<CXXMethodDecl>(ME->getMemberDecl());
83 assert(MD->isInstance() &&
84 "Trying to emit a member call expr on a static method!");
85
Anders Carlssonc5223142009-04-08 20:31:57 +000086 const FunctionProtoType *FPT = MD->getType()->getAsFunctionProtoType();
Anders Carlsson7a9b2982009-04-03 22:50:24 +000087 const llvm::Type *Ty =
Anders Carlssonc5223142009-04-08 20:31:57 +000088 CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD),
89 FPT->isVariadic());
Anders Carlsson7a9b2982009-04-03 22:50:24 +000090 llvm::Constant *Callee = CGM.GetAddrOfFunction(MD, Ty);
91
92 llvm::Value *BaseValue = 0;
93
94 // There's a deref operator node added in Sema::BuildCallToMemberFunction
95 // that's giving the wrong type for -> call exprs so we just ignore them
96 // for now.
97 if (ME->isArrow())
98 return EmitUnsupportedRValue(CE, "C++ member call expr");
99 else {
100 LValue BaseLV = EmitLValue(ME->getBase());
101 BaseValue = BaseLV.getAddress();
102 }
103
104 CallArgList Args;
105
106 // Push the 'this' pointer.
107 Args.push_back(std::make_pair(RValue::get(BaseValue),
108 MD->getThisType(getContext())));
109
Anders Carlsson6759c4d2009-04-08 23:13:16 +0000110 EmitCallArgs(Args, FPT, CE->arg_begin(), CE->arg_end());
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000111
112 QualType ResultType = MD->getType()->getAsFunctionType()->getResultType();
Anders Carlssonc5223142009-04-08 20:31:57 +0000113 return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args),
114 Callee, Args, MD);
Anders Carlsson7a9b2982009-04-03 22:50:24 +0000115}
Anders Carlsson49d4a572009-04-14 16:58:56 +0000116
Anders Carlsson49d4a572009-04-14 16:58:56 +0000117llvm::Value *CodeGenFunction::LoadCXXThis() {
118 assert(isa<CXXMethodDecl>(CurFuncDecl) &&
119 "Must be in a C++ member function decl to load 'this'");
120 assert(cast<CXXMethodDecl>(CurFuncDecl)->isInstance() &&
121 "Must be in a C++ member function decl to load 'this'");
122
123 // FIXME: What if we're inside a block?
124 return Builder.CreateLoad(LocalDeclMap[CXXThisDecl], "this");
125}
Anders Carlsson652951a2009-04-15 15:55:24 +0000126
127const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D,
128 CXXCtorType Type) {
129 llvm::SmallString<256> Name;
130 llvm::raw_svector_ostream Out(Name);
131 mangleCXXCtor(D, Type, Context, Out);
132
133 Name += '\0';
134 return UniqueMangledName(Name.begin(), Name.end());
135}
136
137void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D,
138 CXXCtorType Type) {
Anders Carlsson652951a2009-04-15 15:55:24 +0000139
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000140 llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type);
Anders Carlsson652951a2009-04-15 15:55:24 +0000141
142 CodeGenFunction(*this).GenerateCode(D, Fn);
143
144 SetFunctionDefinitionAttributes(D, Fn);
145 SetLLVMFunctionAttributesForDefinition(D, Fn);
146}
147
Anders Carlsson8496c692009-04-15 21:02:13 +0000148static bool canGenerateCXXConstructor(const CXXConstructorDecl *D,
149 ASTContext &Context) {
150 const CXXRecordDecl *RD = D->getParent();
151
152 // The class has base classes - we don't support that right now.
153 if (RD->getNumBases() > 0)
154 return false;
155
156 for (CXXRecordDecl::field_iterator I = RD->field_begin(Context),
157 E = RD->field_end(Context); I != E; ++I) {
158 // We don't support ctors for fields that aren't POD.
159 if (!I->getType()->isPODType())
160 return false;
161 }
162
163 return true;
164}
165
Anders Carlsson652951a2009-04-15 15:55:24 +0000166void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) {
Anders Carlsson8496c692009-04-15 21:02:13 +0000167 if (!canGenerateCXXConstructor(D, getContext())) {
168 ErrorUnsupported(D, "C++ constructor", true);
169 return;
170 }
Anders Carlsson652951a2009-04-15 15:55:24 +0000171
172 EmitCXXConstructor(D, Ctor_Complete);
173 EmitCXXConstructor(D, Ctor_Base);
174}
Anders Carlsson890a9fd2009-04-16 23:57:24 +0000175
176llvm::Function *
177CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D,
178 CXXCtorType Type) {
179 const llvm::FunctionType *FTy =
180 getTypes().GetFunctionType(getTypes().getFunctionInfo(D), false);
181
182 const char *Name = getMangledCXXCtorName(D, Type);
183 return cast<llvm::Function>(GetOrCreateLLVMFunction(Name, FTy, D));
184}