blob: 5a4f2b70e33698c1845f97b2f7bb7b71b2136d00 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- CodeGenFunction.cpp - Emit LLVM Code from ASTs for a Function ----===//
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 coordinates the per-function state used while generating code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CodeGenFunction.h"
15#include "CodeGenModule.h"
John McCall4c40d982010-08-31 07:33:07 +000016#include "CGCXXABI.h"
Eli Friedman3f2af102008-05-22 01:40:10 +000017#include "CGDebugInfo.h"
John McCallf1549f62010-07-06 01:34:17 +000018#include "CGException.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000019#include "clang/Basic/TargetInfo.h"
Chris Lattner31a09842008-11-12 08:04:58 +000020#include "clang/AST/APValue.h"
Daniel Dunbarde7fb842008-08-11 05:00:27 +000021#include "clang/AST/ASTContext.h"
Daniel Dunbarc4a1dea2008-08-11 05:35:13 +000022#include "clang/AST/Decl.h"
Anders Carlsson2b77ba82009-04-04 20:47:02 +000023#include "clang/AST/DeclCXX.h"
Mike Stump6a1e0eb2009-12-04 23:26:17 +000024#include "clang/AST/StmtCXX.h"
Chris Lattner7255a2d2010-06-22 00:03:40 +000025#include "clang/Frontend/CodeGenOptions.h"
Mike Stump4e7a1f72009-02-21 20:00:35 +000026#include "llvm/Target/TargetData.h"
Chris Lattner7255a2d2010-06-22 00:03:40 +000027#include "llvm/Intrinsics.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000028using namespace clang;
29using namespace CodeGen;
30
Mike Stump1eb44332009-09-09 15:08:12 +000031CodeGenFunction::CodeGenFunction(CodeGenModule &cgm)
John McCalld16c2cf2011-02-08 08:22:06 +000032 : CGM(cgm), Target(CGM.getContext().Target),
Owen Andersonaac87052009-07-08 20:52:20 +000033 Builder(cgm.getModule().getContext()),
John McCalld16c2cf2011-02-08 08:22:06 +000034 BlockInfo(0), BlockPointer(0),
John McCallff8e1152010-07-23 21:56:41 +000035 NormalCleanupDest(0), EHCleanupDest(0), NextCleanupDestIndex(1),
John McCallf1549f62010-07-06 01:34:17 +000036 ExceptionSlot(0), DebugInfo(0), IndirectBranch(0),
John McCallff8e1152010-07-23 21:56:41 +000037 SwitchInsn(0), CaseRangeBlock(0),
John McCallf1549f62010-07-06 01:34:17 +000038 DidCallStackSave(false), UnreachableBlock(0),
John McCall25049412010-02-16 22:04:33 +000039 CXXThisDecl(0), CXXThisValue(0), CXXVTTDecl(0), CXXVTTValue(0),
John McCall150b4622011-01-26 04:00:11 +000040 OutermostConditional(0), TerminateLandingPad(0), TerminateHandler(0),
Chris Lattner83252dc2010-07-20 21:07:09 +000041 TrapBB(0) {
Chris Lattner77b89b82010-06-27 07:15:29 +000042
43 // Get some frequently used types.
Mike Stump4e7a1f72009-02-21 20:00:35 +000044 LLVMPointerWidth = Target.getPointerWidth(0);
Chris Lattner77b89b82010-06-27 07:15:29 +000045 llvm::LLVMContext &LLVMContext = CGM.getLLVMContext();
46 IntPtrTy = llvm::IntegerType::get(LLVMContext, LLVMPointerWidth);
47 Int32Ty = llvm::Type::getInt32Ty(LLVMContext);
48 Int64Ty = llvm::Type::getInt64Ty(LLVMContext);
John McCalld16c2cf2011-02-08 08:22:06 +000049 Int8PtrTy = cgm.Int8PtrTy;
Chris Lattner77b89b82010-06-27 07:15:29 +000050
Mike Stumpd88ea562009-12-09 03:35:49 +000051 Exceptions = getContext().getLangOptions().Exceptions;
Mike Stump9c276ae2009-12-12 01:27:46 +000052 CatchUndefined = getContext().getLangOptions().CatchUndefined;
John McCall4c40d982010-08-31 07:33:07 +000053 CGM.getCXXABI().getMangleContext().startNewFunction();
Chris Lattner41110242008-06-17 18:05:57 +000054}
Reid Spencer5f016e22007-07-11 17:01:13 +000055
56ASTContext &CodeGenFunction::getContext() const {
57 return CGM.getContext();
58}
59
60
Daniel Dunbar8b1a3432009-02-03 23:03:55 +000061const llvm::Type *CodeGenFunction::ConvertTypeForMem(QualType T) {
62 return CGM.getTypes().ConvertTypeForMem(T);
63}
64
Reid Spencer5f016e22007-07-11 17:01:13 +000065const llvm::Type *CodeGenFunction::ConvertType(QualType T) {
66 return CGM.getTypes().ConvertType(T);
67}
68
69bool CodeGenFunction::hasAggregateLLVMType(QualType T) {
Anders Carlssone9d34dc2009-09-29 02:09:01 +000070 return T->isRecordType() || T->isArrayType() || T->isAnyComplexType() ||
John McCalld608cdb2010-08-22 10:59:02 +000071 T->isObjCObjectType();
Reid Spencer5f016e22007-07-11 17:01:13 +000072}
73
Daniel Dunbar1c1d6072009-01-26 23:27:52 +000074void CodeGenFunction::EmitReturnBlock() {
75 // For cleanliness, we try to avoid emitting the return block for
76 // simple cases.
77 llvm::BasicBlock *CurBB = Builder.GetInsertBlock();
78
79 if (CurBB) {
80 assert(!CurBB->getTerminator() && "Unexpected terminated block.");
81
Daniel Dunbar96e18b02009-07-19 08:24:34 +000082 // We have a valid insert point, reuse it if it is empty or there are no
83 // explicit jumps to the return block.
John McCallff8e1152010-07-23 21:56:41 +000084 if (CurBB->empty() || ReturnBlock.getBlock()->use_empty()) {
85 ReturnBlock.getBlock()->replaceAllUsesWith(CurBB);
86 delete ReturnBlock.getBlock();
Daniel Dunbar96e18b02009-07-19 08:24:34 +000087 } else
John McCallff8e1152010-07-23 21:56:41 +000088 EmitBlock(ReturnBlock.getBlock());
Daniel Dunbar1c1d6072009-01-26 23:27:52 +000089 return;
90 }
91
92 // Otherwise, if the return block is the target of a single direct
93 // branch then we can just put the code in that block instead. This
94 // cleans up functions which started with a unified return block.
John McCallff8e1152010-07-23 21:56:41 +000095 if (ReturnBlock.getBlock()->hasOneUse()) {
Mike Stump1eb44332009-09-09 15:08:12 +000096 llvm::BranchInst *BI =
John McCallff8e1152010-07-23 21:56:41 +000097 dyn_cast<llvm::BranchInst>(*ReturnBlock.getBlock()->use_begin());
John McCallf1549f62010-07-06 01:34:17 +000098 if (BI && BI->isUnconditional() &&
John McCallff8e1152010-07-23 21:56:41 +000099 BI->getSuccessor(0) == ReturnBlock.getBlock()) {
Daniel Dunbar1c1d6072009-01-26 23:27:52 +0000100 // Reset insertion point and delete the branch.
101 Builder.SetInsertPoint(BI->getParent());
102 BI->eraseFromParent();
John McCallff8e1152010-07-23 21:56:41 +0000103 delete ReturnBlock.getBlock();
Daniel Dunbar1c1d6072009-01-26 23:27:52 +0000104 return;
105 }
106 }
107
Mike Stumpf5408fe2009-05-16 07:57:57 +0000108 // FIXME: We are at an unreachable point, there is no reason to emit the block
109 // unless it has uses. However, we still need a place to put the debug
110 // region.end for now.
Daniel Dunbar1c1d6072009-01-26 23:27:52 +0000111
John McCallff8e1152010-07-23 21:56:41 +0000112 EmitBlock(ReturnBlock.getBlock());
John McCallf1549f62010-07-06 01:34:17 +0000113}
114
115static void EmitIfUsed(CodeGenFunction &CGF, llvm::BasicBlock *BB) {
116 if (!BB) return;
117 if (!BB->use_empty())
118 return CGF.CurFn->getBasicBlockList().push_back(BB);
119 delete BB;
Daniel Dunbar1c1d6072009-01-26 23:27:52 +0000120}
121
Daniel Dunbaraf05bb92008-08-26 08:29:31 +0000122void CodeGenFunction::FinishFunction(SourceLocation EndLoc) {
Chris Lattnerda138702007-07-16 21:28:45 +0000123 assert(BreakContinueStack.empty() &&
124 "mismatched push/pop in break/continue stack!");
Mike Stump1eb44332009-09-09 15:08:12 +0000125
126 // Emit function epilog (to return).
Daniel Dunbar1c1d6072009-01-26 23:27:52 +0000127 EmitReturnBlock();
Daniel Dunbarf5bd45c2008-11-11 20:59:54 +0000128
Daniel Dunbara18652f2011-02-10 17:32:22 +0000129 if (ShouldInstrumentFunction())
130 EmitFunctionInstrumentation("__cyg_profile_func_exit");
Chris Lattner7255a2d2010-06-22 00:03:40 +0000131
Daniel Dunbarf5bd45c2008-11-11 20:59:54 +0000132 // Emit debug descriptor for function end.
Anders Carlssone896d982009-02-13 08:11:52 +0000133 if (CGDebugInfo *DI = getDebugInfo()) {
Daniel Dunbarf5bd45c2008-11-11 20:59:54 +0000134 DI->setLocation(EndLoc);
Devang Patel5a6fbcf2010-07-22 22:29:16 +0000135 DI->EmitFunctionEnd(Builder);
Daniel Dunbarf5bd45c2008-11-11 20:59:54 +0000136 }
137
Chris Lattner35b21b82010-06-27 01:06:27 +0000138 EmitFunctionEpilog(*CurFnInfo);
Mike Stumpcce3d4f2009-12-07 23:38:24 +0000139 EmitEndEHSpec(CurCodeDecl);
Daniel Dunbar5ca20842008-09-09 21:00:17 +0000140
John McCallf1549f62010-07-06 01:34:17 +0000141 assert(EHStack.empty() &&
142 "did not remove all scopes from cleanup stack!");
143
Chris Lattnerd9becd12009-10-28 23:59:40 +0000144 // If someone did an indirect goto, emit the indirect goto block at the end of
145 // the function.
146 if (IndirectBranch) {
147 EmitBlock(IndirectBranch->getParent());
148 Builder.ClearInsertionPoint();
149 }
150
Chris Lattner5a2fa142007-12-02 06:32:24 +0000151 // Remove the AllocaInsertPt instruction, which is just a convenience for us.
Chris Lattner481769b2009-03-31 22:17:44 +0000152 llvm::Instruction *Ptr = AllocaInsertPt;
Chris Lattner5a2fa142007-12-02 06:32:24 +0000153 AllocaInsertPt = 0;
Chris Lattner481769b2009-03-31 22:17:44 +0000154 Ptr->eraseFromParent();
Chris Lattnerd9becd12009-10-28 23:59:40 +0000155
156 // If someone took the address of a label but never did an indirect goto, we
157 // made a zero entry PHI node, which is illegal, zap it now.
158 if (IndirectBranch) {
159 llvm::PHINode *PN = cast<llvm::PHINode>(IndirectBranch->getAddress());
160 if (PN->getNumIncomingValues() == 0) {
161 PN->replaceAllUsesWith(llvm::UndefValue::get(PN->getType()));
162 PN->eraseFromParent();
163 }
164 }
John McCallf1549f62010-07-06 01:34:17 +0000165
John McCallff8e1152010-07-23 21:56:41 +0000166 EmitIfUsed(*this, RethrowBlock.getBlock());
John McCallf1549f62010-07-06 01:34:17 +0000167 EmitIfUsed(*this, TerminateLandingPad);
168 EmitIfUsed(*this, TerminateHandler);
169 EmitIfUsed(*this, UnreachableBlock);
John McCall744016d2010-07-06 23:57:41 +0000170
171 if (CGM.getCodeGenOpts().EmitDeclMetadata)
172 EmitDeclMetadata();
Reid Spencer5f016e22007-07-11 17:01:13 +0000173}
174
Chris Lattner7255a2d2010-06-22 00:03:40 +0000175/// ShouldInstrumentFunction - Return true if the current function should be
176/// instrumented with __cyg_profile_func_* calls
177bool CodeGenFunction::ShouldInstrumentFunction() {
178 if (!CGM.getCodeGenOpts().InstrumentFunctions)
179 return false;
180 if (CurFuncDecl->hasAttr<NoInstrumentFunctionAttr>())
181 return false;
182 return true;
183}
184
185/// EmitFunctionInstrumentation - Emit LLVM code to call the specified
186/// instrumentation function with the current function and the call site, if
187/// function instrumentation is enabled.
188void CodeGenFunction::EmitFunctionInstrumentation(const char *Fn) {
Chris Lattner8dab6572010-06-23 05:21:28 +0000189 const llvm::PointerType *PointerTy;
Chris Lattner7255a2d2010-06-22 00:03:40 +0000190 const llvm::FunctionType *FunctionTy;
191 std::vector<const llvm::Type*> ProfileFuncArgs;
192
Chris Lattner8dab6572010-06-23 05:21:28 +0000193 // void __cyg_profile_func_{enter,exit} (void *this_fn, void *call_site);
John McCalld16c2cf2011-02-08 08:22:06 +0000194 PointerTy = Int8PtrTy;
Chris Lattner8dab6572010-06-23 05:21:28 +0000195 ProfileFuncArgs.push_back(PointerTy);
196 ProfileFuncArgs.push_back(PointerTy);
John McCalld16c2cf2011-02-08 08:22:06 +0000197 FunctionTy = llvm::FunctionType::get(llvm::Type::getVoidTy(getLLVMContext()),
198 ProfileFuncArgs, false);
Chris Lattner7255a2d2010-06-22 00:03:40 +0000199
200 llvm::Constant *F = CGM.CreateRuntimeFunction(FunctionTy, Fn);
201 llvm::CallInst *CallSite = Builder.CreateCall(
202 CGM.getIntrinsic(llvm::Intrinsic::returnaddress, 0, 0),
Chris Lattner77b89b82010-06-27 07:15:29 +0000203 llvm::ConstantInt::get(Int32Ty, 0),
Chris Lattner7255a2d2010-06-22 00:03:40 +0000204 "callsite");
205
Chris Lattner8dab6572010-06-23 05:21:28 +0000206 Builder.CreateCall2(F,
207 llvm::ConstantExpr::getBitCast(CurFn, PointerTy),
208 CallSite);
Chris Lattner7255a2d2010-06-22 00:03:40 +0000209}
210
Roman Divackybe4c8702011-02-10 16:52:03 +0000211void CodeGenFunction::EmitMCountInstrumentation() {
212 llvm::FunctionType *FTy =
213 llvm::FunctionType::get(llvm::Type::getVoidTy(getLLVMContext()), false);
214
215 llvm::Constant *MCountFn = CGM.CreateRuntimeFunction(FTy,
216 Target.getMCountName());
217 Builder.CreateCall(MCountFn);
218}
219
Anders Carlsson0ff8baf2009-09-11 00:07:24 +0000220void CodeGenFunction::StartFunction(GlobalDecl GD, QualType RetTy,
Daniel Dunbar7c086512008-09-09 23:14:03 +0000221 llvm::Function *Fn,
Daniel Dunbar2284ac92008-10-18 18:22:23 +0000222 const FunctionArgList &Args,
223 SourceLocation StartLoc) {
Anders Carlsson0ff8baf2009-09-11 00:07:24 +0000224 const Decl *D = GD.getDecl();
225
Anders Carlsson4cc1a472009-02-09 20:20:56 +0000226 DidCallStackSave = false;
Chris Lattnerb5437d22009-04-23 05:30:27 +0000227 CurCodeDecl = CurFuncDecl = D;
Daniel Dunbar7c086512008-09-09 23:14:03 +0000228 FnRetTy = RetTy;
Daniel Dunbarbd012ff2008-07-29 23:18:29 +0000229 CurFn = Fn;
Chris Lattner41110242008-06-17 18:05:57 +0000230 assert(CurFn->isDeclaration() && "Function already has body?");
231
Jakob Stoklund Olesena3fe2842010-02-09 00:10:00 +0000232 // Pass inline keyword to optimizer if it appears explicitly on any
233 // declaration.
234 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(D))
235 for (FunctionDecl::redecl_iterator RI = FD->redecls_begin(),
236 RE = FD->redecls_end(); RI != RE; ++RI)
237 if (RI->isInlineSpecified()) {
238 Fn->addFnAttr(llvm::Attribute::InlineHint);
239 break;
240 }
241
Daniel Dunbar55e87422008-11-11 02:29:29 +0000242 llvm::BasicBlock *EntryBB = createBasicBlock("entry", CurFn);
Daniel Dunbar5ca20842008-09-09 21:00:17 +0000243
Chris Lattner41110242008-06-17 18:05:57 +0000244 // Create a marker to make it easy to insert allocas into the entryblock
245 // later. Don't create this with the builder, because we don't want it
246 // folded.
Chris Lattner77b89b82010-06-27 07:15:29 +0000247 llvm::Value *Undef = llvm::UndefValue::get(Int32Ty);
248 AllocaInsertPt = new llvm::BitCastInst(Undef, Int32Ty, "", EntryBB);
Chris Lattnerf1466842009-03-22 00:24:14 +0000249 if (Builder.isNamePreserving())
250 AllocaInsertPt->setName("allocapt");
Mike Stump1eb44332009-09-09 15:08:12 +0000251
John McCallf1549f62010-07-06 01:34:17 +0000252 ReturnBlock = getJumpDestInCurrentScope("return");
Mike Stump1eb44332009-09-09 15:08:12 +0000253
Chris Lattner41110242008-06-17 18:05:57 +0000254 Builder.SetInsertPoint(EntryBB);
Mike Stump1eb44332009-09-09 15:08:12 +0000255
Sanjiv Guptaaf994172008-07-04 11:04:26 +0000256 // Emit subprogram debug descriptor.
Anders Carlssone896d982009-02-13 08:11:52 +0000257 if (CGDebugInfo *DI = getDebugInfo()) {
John McCalle23cf432010-12-14 08:05:40 +0000258 // FIXME: what is going on here and why does it ignore all these
259 // interesting type properties?
260 QualType FnType =
261 getContext().getFunctionType(RetTy, 0, 0,
262 FunctionProtoType::ExtProtoInfo());
263
Daniel Dunbar2284ac92008-10-18 18:22:23 +0000264 DI->setLocation(StartLoc);
Devang Patel9c6c3a02010-01-14 00:36:21 +0000265 DI->EmitFunctionStart(GD, FnType, CurFn, Builder);
Sanjiv Guptaaf994172008-07-04 11:04:26 +0000266 }
267
Daniel Dunbara18652f2011-02-10 17:32:22 +0000268 if (ShouldInstrumentFunction())
269 EmitFunctionInstrumentation("__cyg_profile_func_enter");
Chris Lattner7255a2d2010-06-22 00:03:40 +0000270
Roman Divackybe4c8702011-02-10 16:52:03 +0000271 if (CGM.getCodeGenOpts().InstrumentForProfiling)
272 EmitMCountInstrumentation();
273
Daniel Dunbar88b53962009-02-02 22:03:45 +0000274 // FIXME: Leaked.
John McCall04a67a62010-02-05 21:31:56 +0000275 // CC info is ignored, hopefully?
276 CurFnInfo = &CGM.getTypes().getFunctionInfo(FnRetTy, Args,
Rafael Espindola264ba482010-03-30 20:24:48 +0000277 FunctionType::ExtInfo());
Eli Friedmanb17daf92009-12-04 02:43:40 +0000278
279 if (RetTy->isVoidType()) {
280 // Void type; nothing to return.
281 ReturnValue = 0;
282 } else if (CurFnInfo->getReturnInfo().getKind() == ABIArgInfo::Indirect &&
283 hasAggregateLLVMType(CurFnInfo->getReturnType())) {
284 // Indirect aggregate return; emit returned value directly into sret slot.
Daniel Dunbar647a1ec2010-02-16 19:45:20 +0000285 // This reduces code size, and affects correctness in C++.
Eli Friedmanb17daf92009-12-04 02:43:40 +0000286 ReturnValue = CurFn->arg_begin();
287 } else {
Daniel Dunbar647a1ec2010-02-16 19:45:20 +0000288 ReturnValue = CreateIRTemp(RetTy, "retval");
Eli Friedmanb17daf92009-12-04 02:43:40 +0000289 }
290
Mike Stumpcce3d4f2009-12-07 23:38:24 +0000291 EmitStartEHSpec(CurCodeDecl);
Daniel Dunbar88b53962009-02-02 22:03:45 +0000292 EmitFunctionProlog(*CurFnInfo, CurFn, Args);
Mike Stump1eb44332009-09-09 15:08:12 +0000293
John McCall4c40d982010-08-31 07:33:07 +0000294 if (D && isa<CXXMethodDecl>(D) && cast<CXXMethodDecl>(D)->isInstance())
295 CGM.getCXXABI().EmitInstanceFunctionProlog(*this);
John McCall25049412010-02-16 22:04:33 +0000296
Anders Carlsson751358f2008-12-20 21:28:43 +0000297 // If any of the arguments have a variably modified type, make sure to
298 // emit the type size.
299 for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end();
300 i != e; ++i) {
301 QualType Ty = i->second;
302
303 if (Ty->isVariablyModifiedType())
304 EmitVLASize(Ty);
305 }
Daniel Dunbar7c086512008-09-09 23:14:03 +0000306}
Eli Friedmaneb4b7052008-08-25 21:31:01 +0000307
John McCall9fc6a772010-02-19 09:25:03 +0000308void CodeGenFunction::EmitFunctionBody(FunctionArgList &Args) {
309 const FunctionDecl *FD = cast<FunctionDecl>(CurGD.getDecl());
Douglas Gregor06a9f362010-05-01 20:49:11 +0000310 assert(FD->getBody());
311 EmitStmt(FD->getBody());
John McCalla355e072010-02-18 03:17:58 +0000312}
313
John McCall39dad532010-08-03 22:46:07 +0000314/// Tries to mark the given function nounwind based on the
315/// non-existence of any throwing calls within it. We believe this is
316/// lightweight enough to do at -O0.
317static void TryMarkNoThrow(llvm::Function *F) {
John McCallb3a29f12010-08-11 22:38:33 +0000318 // LLVM treats 'nounwind' on a function as part of the type, so we
319 // can't do this on functions that can be overwritten.
320 if (F->mayBeOverridden()) return;
321
John McCall39dad532010-08-03 22:46:07 +0000322 for (llvm::Function::iterator FI = F->begin(), FE = F->end(); FI != FE; ++FI)
323 for (llvm::BasicBlock::iterator
324 BI = FI->begin(), BE = FI->end(); BI != BE; ++BI)
325 if (llvm::CallInst *Call = dyn_cast<llvm::CallInst>(&*BI))
326 if (!Call->doesNotThrow())
327 return;
328 F->setDoesNotThrow(true);
329}
330
Anders Carlssonc997d422010-01-02 01:01:18 +0000331void CodeGenFunction::GenerateCode(GlobalDecl GD, llvm::Function *Fn) {
Anders Carlsson0ff8baf2009-09-11 00:07:24 +0000332 const FunctionDecl *FD = cast<FunctionDecl>(GD.getDecl());
333
Anders Carlssone896d982009-02-13 08:11:52 +0000334 // Check if we should generate debug info for this function.
Mike Stump1feade82009-08-26 22:31:08 +0000335 if (CGM.getDebugInfo() && !FD->hasAttr<NoDebugAttr>())
Anders Carlssone896d982009-02-13 08:11:52 +0000336 DebugInfo = CGM.getDebugInfo();
Mike Stump1eb44332009-09-09 15:08:12 +0000337
Daniel Dunbar7c086512008-09-09 23:14:03 +0000338 FunctionArgList Args;
John McCall4c40d982010-08-31 07:33:07 +0000339 QualType ResTy = FD->getResultType();
Mike Stump1eb44332009-09-09 15:08:12 +0000340
Mike Stump6a1e0eb2009-12-04 23:26:17 +0000341 CurGD = GD;
John McCall4c40d982010-08-31 07:33:07 +0000342 if (isa<CXXMethodDecl>(FD) && cast<CXXMethodDecl>(FD)->isInstance())
343 CGM.getCXXABI().BuildInstanceFunctionParams(*this, ResTy, Args);
Mike Stump1eb44332009-09-09 15:08:12 +0000344
Eli Friedmaneb4b7052008-08-25 21:31:01 +0000345 if (FD->getNumParams()) {
John McCall183700f2009-09-21 23:43:11 +0000346 const FunctionProtoType* FProto = FD->getType()->getAs<FunctionProtoType>();
Eli Friedmaneb4b7052008-08-25 21:31:01 +0000347 assert(FProto && "Function def must have prototype!");
Daniel Dunbar7c086512008-09-09 23:14:03 +0000348
349 for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i)
Mike Stump1eb44332009-09-09 15:08:12 +0000350 Args.push_back(std::make_pair(FD->getParamDecl(i),
Daniel Dunbar7c086512008-09-09 23:14:03 +0000351 FProto->getArgType(i)));
Chris Lattner41110242008-06-17 18:05:57 +0000352 }
Daniel Dunbaraf05bb92008-08-26 08:29:31 +0000353
John McCalla355e072010-02-18 03:17:58 +0000354 SourceRange BodyRange;
355 if (Stmt *Body = FD->getBody()) BodyRange = Body->getSourceRange();
Anders Carlsson4365bba2009-11-06 02:55:43 +0000356
John McCalla355e072010-02-18 03:17:58 +0000357 // Emit the standard function prologue.
John McCall4c40d982010-08-31 07:33:07 +0000358 StartFunction(GD, ResTy, Fn, Args, BodyRange.getBegin());
Anders Carlsson4365bba2009-11-06 02:55:43 +0000359
John McCalla355e072010-02-18 03:17:58 +0000360 // Generate the body of the function.
John McCall9fc6a772010-02-19 09:25:03 +0000361 if (isa<CXXDestructorDecl>(FD))
362 EmitDestructorBody(Args);
363 else if (isa<CXXConstructorDecl>(FD))
364 EmitConstructorBody(Args);
365 else
366 EmitFunctionBody(Args);
Anders Carlsson1851a122010-02-07 19:45:40 +0000367
John McCalla355e072010-02-18 03:17:58 +0000368 // Emit the standard function epilogue.
369 FinishFunction(BodyRange.getEnd());
John McCall39dad532010-08-03 22:46:07 +0000370
371 // If we haven't marked the function nothrow through other means, do
372 // a quick pass now to see if we can.
373 if (!CurFn->doesNotThrow())
374 TryMarkNoThrow(CurFn);
Chris Lattner41110242008-06-17 18:05:57 +0000375}
376
Chris Lattner0946ccd2008-11-11 07:41:27 +0000377/// ContainsLabel - Return true if the statement contains a label in it. If
378/// this statement is not executed normally, it not containing a label means
379/// that we can just remove the code.
380bool CodeGenFunction::ContainsLabel(const Stmt *S, bool IgnoreCaseStmts) {
381 // Null statement, not a label!
382 if (S == 0) return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000383
Chris Lattner0946ccd2008-11-11 07:41:27 +0000384 // If this is a label, we have to emit the code, consider something like:
385 // if (0) { ... foo: bar(); } goto foo;
386 if (isa<LabelStmt>(S))
387 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000388
Chris Lattner0946ccd2008-11-11 07:41:27 +0000389 // If this is a case/default statement, and we haven't seen a switch, we have
390 // to emit the code.
391 if (isa<SwitchCase>(S) && !IgnoreCaseStmts)
392 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000393
Chris Lattner0946ccd2008-11-11 07:41:27 +0000394 // If this is a switch statement, we want to ignore cases below it.
395 if (isa<SwitchStmt>(S))
396 IgnoreCaseStmts = true;
Mike Stump1eb44332009-09-09 15:08:12 +0000397
Chris Lattner0946ccd2008-11-11 07:41:27 +0000398 // Scan subexpressions for verboten labels.
399 for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end();
400 I != E; ++I)
401 if (ContainsLabel(*I, IgnoreCaseStmts))
402 return true;
Mike Stump1eb44332009-09-09 15:08:12 +0000403
Chris Lattner0946ccd2008-11-11 07:41:27 +0000404 return false;
405}
406
Chris Lattner31a09842008-11-12 08:04:58 +0000407
408/// ConstantFoldsToSimpleInteger - If the sepcified expression does not fold to
409/// a constant, or if it does but contains a label, return 0. If it constant
410/// folds to 'true' and does not contain a label, return 1, if it constant folds
411/// to 'false' and does not contain a label, return -1.
412int CodeGenFunction::ConstantFoldsToSimpleInteger(const Expr *Cond) {
Daniel Dunbar36bc14c2008-11-12 22:37:10 +0000413 // FIXME: Rename and handle conversion of other evaluatable things
414 // to bool.
Anders Carlsson64712f12008-12-01 02:46:24 +0000415 Expr::EvalResult Result;
Mike Stump1eb44332009-09-09 15:08:12 +0000416 if (!Cond->Evaluate(Result, getContext()) || !Result.Val.isInt() ||
Anders Carlsson64712f12008-12-01 02:46:24 +0000417 Result.HasSideEffects)
Anders Carlssonef5a66d2008-11-22 22:32:07 +0000418 return 0; // Not foldable, not integer or not fully evaluatable.
Mike Stump1eb44332009-09-09 15:08:12 +0000419
Chris Lattner31a09842008-11-12 08:04:58 +0000420 if (CodeGenFunction::ContainsLabel(Cond))
421 return 0; // Contains a label.
Mike Stump1eb44332009-09-09 15:08:12 +0000422
Anders Carlsson64712f12008-12-01 02:46:24 +0000423 return Result.Val.getInt().getBoolValue() ? 1 : -1;
Chris Lattner31a09842008-11-12 08:04:58 +0000424}
425
426
427/// EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g. for an if
428/// statement) to the specified blocks. Based on the condition, this might try
429/// to simplify the codegen of the conditional based on the branch.
430///
431void CodeGenFunction::EmitBranchOnBoolExpr(const Expr *Cond,
432 llvm::BasicBlock *TrueBlock,
433 llvm::BasicBlock *FalseBlock) {
434 if (const ParenExpr *PE = dyn_cast<ParenExpr>(Cond))
435 return EmitBranchOnBoolExpr(PE->getSubExpr(), TrueBlock, FalseBlock);
Mike Stump1eb44332009-09-09 15:08:12 +0000436
Chris Lattner31a09842008-11-12 08:04:58 +0000437 if (const BinaryOperator *CondBOp = dyn_cast<BinaryOperator>(Cond)) {
438 // Handle X && Y in a condition.
John McCall2de56d12010-08-25 11:45:40 +0000439 if (CondBOp->getOpcode() == BO_LAnd) {
Chris Lattner31a09842008-11-12 08:04:58 +0000440 // If we have "1 && X", simplify the code. "0 && X" would have constant
441 // folded if the case was simple enough.
442 if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == 1) {
443 // br(1 && X) -> br(X).
444 return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock);
445 }
Mike Stump1eb44332009-09-09 15:08:12 +0000446
Chris Lattner31a09842008-11-12 08:04:58 +0000447 // If we have "X && 1", simplify the code to use an uncond branch.
448 // "X && 0" would have been constant folded to 0.
449 if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == 1) {
450 // br(X && 1) -> br(X).
451 return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock);
452 }
Mike Stump1eb44332009-09-09 15:08:12 +0000453
Chris Lattner31a09842008-11-12 08:04:58 +0000454 // Emit the LHS as a conditional. If the LHS conditional is false, we
455 // want to jump to the FalseBlock.
Daniel Dunbar9615ecb2008-11-13 01:38:36 +0000456 llvm::BasicBlock *LHSTrue = createBasicBlock("land.lhs.true");
John McCall150b4622011-01-26 04:00:11 +0000457
458 ConditionalEvaluation eval(*this);
Chris Lattner31a09842008-11-12 08:04:58 +0000459 EmitBranchOnBoolExpr(CondBOp->getLHS(), LHSTrue, FalseBlock);
460 EmitBlock(LHSTrue);
Mike Stump1eb44332009-09-09 15:08:12 +0000461
Anders Carlsson08e9e452010-01-24 00:20:05 +0000462 // Any temporaries created here are conditional.
John McCall150b4622011-01-26 04:00:11 +0000463 eval.begin(*this);
Chris Lattner31a09842008-11-12 08:04:58 +0000464 EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock);
John McCall150b4622011-01-26 04:00:11 +0000465 eval.end(*this);
Anders Carlsson08e9e452010-01-24 00:20:05 +0000466
Chris Lattner31a09842008-11-12 08:04:58 +0000467 return;
John McCall2de56d12010-08-25 11:45:40 +0000468 } else if (CondBOp->getOpcode() == BO_LOr) {
Chris Lattner31a09842008-11-12 08:04:58 +0000469 // If we have "0 || X", simplify the code. "1 || X" would have constant
470 // folded if the case was simple enough.
471 if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == -1) {
472 // br(0 || X) -> br(X).
473 return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock);
474 }
Mike Stump1eb44332009-09-09 15:08:12 +0000475
Chris Lattner31a09842008-11-12 08:04:58 +0000476 // If we have "X || 0", simplify the code to use an uncond branch.
477 // "X || 1" would have been constant folded to 1.
478 if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == -1) {
479 // br(X || 0) -> br(X).
480 return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock);
481 }
Mike Stump1eb44332009-09-09 15:08:12 +0000482
Chris Lattner31a09842008-11-12 08:04:58 +0000483 // Emit the LHS as a conditional. If the LHS conditional is true, we
484 // want to jump to the TrueBlock.
Daniel Dunbar9615ecb2008-11-13 01:38:36 +0000485 llvm::BasicBlock *LHSFalse = createBasicBlock("lor.lhs.false");
John McCall150b4622011-01-26 04:00:11 +0000486
487 ConditionalEvaluation eval(*this);
Chris Lattner31a09842008-11-12 08:04:58 +0000488 EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, LHSFalse);
489 EmitBlock(LHSFalse);
Mike Stump1eb44332009-09-09 15:08:12 +0000490
Anders Carlsson08e9e452010-01-24 00:20:05 +0000491 // Any temporaries created here are conditional.
John McCall150b4622011-01-26 04:00:11 +0000492 eval.begin(*this);
Chris Lattner31a09842008-11-12 08:04:58 +0000493 EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock);
John McCall150b4622011-01-26 04:00:11 +0000494 eval.end(*this);
Anders Carlsson08e9e452010-01-24 00:20:05 +0000495
Chris Lattner31a09842008-11-12 08:04:58 +0000496 return;
497 }
Chris Lattner552f4c42008-11-12 08:13:36 +0000498 }
Mike Stump1eb44332009-09-09 15:08:12 +0000499
Chris Lattner552f4c42008-11-12 08:13:36 +0000500 if (const UnaryOperator *CondUOp = dyn_cast<UnaryOperator>(Cond)) {
501 // br(!x, t, f) -> br(x, f, t)
John McCall2de56d12010-08-25 11:45:40 +0000502 if (CondUOp->getOpcode() == UO_LNot)
Chris Lattner552f4c42008-11-12 08:13:36 +0000503 return EmitBranchOnBoolExpr(CondUOp->getSubExpr(), FalseBlock, TrueBlock);
Chris Lattner31a09842008-11-12 08:04:58 +0000504 }
Mike Stump1eb44332009-09-09 15:08:12 +0000505
Daniel Dunbar09b14892008-11-12 10:30:32 +0000506 if (const ConditionalOperator *CondOp = dyn_cast<ConditionalOperator>(Cond)) {
507 // Handle ?: operator.
508
509 // Just ignore GNU ?: extension.
510 if (CondOp->getLHS()) {
511 // br(c ? x : y, t, f) -> br(c, br(x, t, f), br(y, t, f))
512 llvm::BasicBlock *LHSBlock = createBasicBlock("cond.true");
513 llvm::BasicBlock *RHSBlock = createBasicBlock("cond.false");
John McCall150b4622011-01-26 04:00:11 +0000514
515 ConditionalEvaluation cond(*this);
Daniel Dunbar09b14892008-11-12 10:30:32 +0000516 EmitBranchOnBoolExpr(CondOp->getCond(), LHSBlock, RHSBlock);
John McCall150b4622011-01-26 04:00:11 +0000517
518 cond.begin(*this);
Daniel Dunbar09b14892008-11-12 10:30:32 +0000519 EmitBlock(LHSBlock);
520 EmitBranchOnBoolExpr(CondOp->getLHS(), TrueBlock, FalseBlock);
John McCall150b4622011-01-26 04:00:11 +0000521 cond.end(*this);
522
523 cond.begin(*this);
Daniel Dunbar09b14892008-11-12 10:30:32 +0000524 EmitBlock(RHSBlock);
525 EmitBranchOnBoolExpr(CondOp->getRHS(), TrueBlock, FalseBlock);
John McCall150b4622011-01-26 04:00:11 +0000526 cond.end(*this);
527
Daniel Dunbar09b14892008-11-12 10:30:32 +0000528 return;
529 }
530 }
531
Chris Lattner31a09842008-11-12 08:04:58 +0000532 // Emit the code with the fully general case.
533 llvm::Value *CondV = EvaluateExprAsBool(Cond);
534 Builder.CreateCondBr(CondV, TrueBlock, FalseBlock);
535}
536
Daniel Dunbar488e9932008-08-16 00:56:44 +0000537/// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattnerdc5e8262007-12-02 01:43:38 +0000538/// specified stmt yet.
Daniel Dunbar90df4b62008-09-04 03:43:08 +0000539void CodeGenFunction::ErrorUnsupported(const Stmt *S, const char *Type,
540 bool OmitOnError) {
541 CGM.ErrorUnsupported(S, Type, OmitOnError);
Chris Lattnerdc5e8262007-12-02 01:43:38 +0000542}
543
John McCall71433252011-02-01 21:35:06 +0000544/// emitNonZeroVLAInit - Emit the "zero" initialization of a
545/// variable-length array whose elements have a non-zero bit-pattern.
546///
547/// \param src - a char* pointing to the bit-pattern for a single
548/// base element of the array
549/// \param sizeInChars - the total size of the VLA, in chars
550/// \param align - the total alignment of the VLA
551static void emitNonZeroVLAInit(CodeGenFunction &CGF, QualType baseType,
552 llvm::Value *dest, llvm::Value *src,
553 llvm::Value *sizeInChars) {
554 std::pair<CharUnits,CharUnits> baseSizeAndAlign
555 = CGF.getContext().getTypeInfoInChars(baseType);
556
557 CGBuilderTy &Builder = CGF.Builder;
558
559 llvm::Value *baseSizeInChars
560 = llvm::ConstantInt::get(CGF.IntPtrTy, baseSizeAndAlign.first.getQuantity());
561
562 const llvm::Type *i8p = Builder.getInt8PtrTy();
563
564 llvm::Value *begin = Builder.CreateBitCast(dest, i8p, "vla.begin");
565 llvm::Value *end = Builder.CreateInBoundsGEP(dest, sizeInChars, "vla.end");
566
567 llvm::BasicBlock *originBB = CGF.Builder.GetInsertBlock();
568 llvm::BasicBlock *loopBB = CGF.createBasicBlock("vla-init.loop");
569 llvm::BasicBlock *contBB = CGF.createBasicBlock("vla-init.cont");
570
571 // Make a loop over the VLA. C99 guarantees that the VLA element
572 // count must be nonzero.
573 CGF.EmitBlock(loopBB);
574
575 llvm::PHINode *cur = Builder.CreatePHI(i8p, "vla.cur");
576 cur->reserveOperandSpace(2);
577 cur->addIncoming(begin, originBB);
578
579 // memcpy the individual element bit-pattern.
580 Builder.CreateMemCpy(cur, src, baseSizeInChars,
581 baseSizeAndAlign.second.getQuantity(),
582 /*volatile*/ false);
583
584 // Go to the next element.
585 llvm::Value *next = Builder.CreateConstInBoundsGEP1_32(cur, 1, "vla.next");
586
587 // Leave if that's the end of the VLA.
588 llvm::Value *done = Builder.CreateICmpEQ(next, end, "vla-init.isdone");
589 Builder.CreateCondBr(done, contBB, loopBB);
590 cur->addIncoming(next, loopBB);
591
592 CGF.EmitBlock(contBB);
593}
594
Anders Carlsson1884eb02010-05-22 17:35:42 +0000595void
596CodeGenFunction::EmitNullInitialization(llvm::Value *DestPtr, QualType Ty) {
Anders Carlsson0d7c5832010-05-03 01:20:20 +0000597 // Ignore empty classes in C++.
598 if (getContext().getLangOptions().CPlusPlus) {
599 if (const RecordType *RT = Ty->getAs<RecordType>()) {
600 if (cast<CXXRecordDecl>(RT->getDecl())->isEmpty())
601 return;
602 }
603 }
John McCall90217182010-08-07 08:21:30 +0000604
605 // Cast the dest ptr to the appropriate i8 pointer type.
606 unsigned DestAS =
607 cast<llvm::PointerType>(DestPtr->getType())->getAddressSpace();
Benjamin Kramer9f0c7cc2010-12-30 00:13:21 +0000608 const llvm::Type *BP = Builder.getInt8PtrTy(DestAS);
Anders Carlsson3d8400d2008-08-30 19:51:14 +0000609 if (DestPtr->getType() != BP)
610 DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp");
611
612 // Get size and alignment info for this aggregate.
613 std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty);
Benjamin Kramer9f0c7cc2010-12-30 00:13:21 +0000614 uint64_t Size = TypeInfo.first / 8;
615 unsigned Align = TypeInfo.second / 8;
Anders Carlsson3d8400d2008-08-30 19:51:14 +0000616
John McCall5576d9b2011-01-14 10:37:58 +0000617 llvm::Value *SizeVal;
John McCall71433252011-02-01 21:35:06 +0000618 const VariableArrayType *vla;
Mike Stump1eb44332009-09-09 15:08:12 +0000619
John McCall5576d9b2011-01-14 10:37:58 +0000620 // Don't bother emitting a zero-byte memset.
621 if (Size == 0) {
622 // But note that getTypeInfo returns 0 for a VLA.
623 if (const VariableArrayType *vlaType =
624 dyn_cast_or_null<VariableArrayType>(
625 getContext().getAsArrayType(Ty))) {
626 SizeVal = GetVLASize(vlaType);
John McCall71433252011-02-01 21:35:06 +0000627 vla = vlaType;
John McCall5576d9b2011-01-14 10:37:58 +0000628 } else {
629 return;
630 }
631 } else {
632 SizeVal = llvm::ConstantInt::get(IntPtrTy, Size);
John McCall71433252011-02-01 21:35:06 +0000633 vla = 0;
John McCall5576d9b2011-01-14 10:37:58 +0000634 }
John McCall90217182010-08-07 08:21:30 +0000635
636 // If the type contains a pointer to data member we can't memset it to zero.
637 // Instead, create a null constant and copy it to the destination.
John McCall71433252011-02-01 21:35:06 +0000638 // TODO: there are other patterns besides zero that we can usefully memset,
639 // like -1, which happens to be the pattern used by member-pointers.
John McCallf16aa102010-08-22 21:01:12 +0000640 if (!CGM.getTypes().isZeroInitializable(Ty)) {
John McCall71433252011-02-01 21:35:06 +0000641 // For a VLA, emit a single element, then splat that over the VLA.
642 if (vla) Ty = getContext().getBaseElementType(vla);
John McCall5576d9b2011-01-14 10:37:58 +0000643
John McCall90217182010-08-07 08:21:30 +0000644 llvm::Constant *NullConstant = CGM.EmitNullConstant(Ty);
645
646 llvm::GlobalVariable *NullVariable =
647 new llvm::GlobalVariable(CGM.getModule(), NullConstant->getType(),
648 /*isConstant=*/true,
649 llvm::GlobalVariable::PrivateLinkage,
650 NullConstant, llvm::Twine());
651 llvm::Value *SrcPtr =
652 Builder.CreateBitCast(NullVariable, Builder.getInt8PtrTy());
653
John McCall71433252011-02-01 21:35:06 +0000654 if (vla) return emitNonZeroVLAInit(*this, Ty, DestPtr, SrcPtr, SizeVal);
655
John McCall90217182010-08-07 08:21:30 +0000656 // Get and call the appropriate llvm.memcpy overload.
Benjamin Kramer9f0c7cc2010-12-30 00:13:21 +0000657 Builder.CreateMemCpy(DestPtr, SrcPtr, SizeVal, Align, false);
John McCall90217182010-08-07 08:21:30 +0000658 return;
659 }
660
661 // Otherwise, just memset the whole thing to zero. This is legal
662 // because in LLVM, all default initializers (other than the ones we just
663 // handled above) are guaranteed to have a bit pattern of all zeros.
Benjamin Kramer9f0c7cc2010-12-30 00:13:21 +0000664 Builder.CreateMemSet(DestPtr, Builder.getInt8(0), SizeVal, Align, false);
Anders Carlsson3d8400d2008-08-30 19:51:14 +0000665}
666
Chris Lattnerd9becd12009-10-28 23:59:40 +0000667llvm::BlockAddress *CodeGenFunction::GetAddrOfLabel(const LabelStmt *L) {
668 // Make sure that there is a block for the indirect goto.
669 if (IndirectBranch == 0)
670 GetIndirectGotoBlock();
Chris Lattner3d00fdc2009-10-13 06:55:33 +0000671
John McCallff8e1152010-07-23 21:56:41 +0000672 llvm::BasicBlock *BB = getJumpDestForLabel(L).getBlock();
Chris Lattner3d00fdc2009-10-13 06:55:33 +0000673
Chris Lattnerd9becd12009-10-28 23:59:40 +0000674 // Make sure the indirect branch includes all of the address-taken blocks.
675 IndirectBranch->addDestination(BB);
676 return llvm::BlockAddress::get(CurFn, BB);
Chris Lattner3d00fdc2009-10-13 06:55:33 +0000677}
678
679llvm::BasicBlock *CodeGenFunction::GetIndirectGotoBlock() {
Chris Lattnerd9becd12009-10-28 23:59:40 +0000680 // If we already made the indirect branch for indirect goto, return its block.
681 if (IndirectBranch) return IndirectBranch->getParent();
Chris Lattner3d00fdc2009-10-13 06:55:33 +0000682
Chris Lattnerd9becd12009-10-28 23:59:40 +0000683 CGBuilderTy TmpBuilder(createBasicBlock("indirectgoto"));
Chris Lattner3d00fdc2009-10-13 06:55:33 +0000684
685 // Create the PHI node that indirect gotos will add entries to.
Chris Lattnerd9becd12009-10-28 23:59:40 +0000686 llvm::Value *DestVal = TmpBuilder.CreatePHI(Int8PtrTy, "indirect.goto.dest");
Chris Lattner3d00fdc2009-10-13 06:55:33 +0000687
Chris Lattnerd9becd12009-10-28 23:59:40 +0000688 // Create the indirect branch instruction.
689 IndirectBranch = TmpBuilder.CreateIndirectBr(DestVal);
690 return IndirectBranch->getParent();
Daniel Dunbar0ffb1252008-08-04 16:51:22 +0000691}
Anders Carlssonddf7cac2008-11-04 05:30:00 +0000692
Daniel Dunbard286f052009-07-19 06:58:07 +0000693llvm::Value *CodeGenFunction::GetVLASize(const VariableArrayType *VAT) {
Eli Friedmanbbed6b92009-08-15 02:50:32 +0000694 llvm::Value *&SizeEntry = VLASizeMap[VAT->getSizeExpr()];
Mike Stump1eb44332009-09-09 15:08:12 +0000695
Anders Carlssonf666b772008-12-20 20:27:15 +0000696 assert(SizeEntry && "Did not emit size for type");
697 return SizeEntry;
698}
Anders Carlssondcc90d82008-12-12 07:19:02 +0000699
Daniel Dunbard286f052009-07-19 06:58:07 +0000700llvm::Value *CodeGenFunction::EmitVLASize(QualType Ty) {
Anders Carlsson60d35412008-12-20 20:46:34 +0000701 assert(Ty->isVariablyModifiedType() &&
702 "Must pass variably modified type to EmitVLASizes!");
Mike Stump1eb44332009-09-09 15:08:12 +0000703
Daniel Dunbard286f052009-07-19 06:58:07 +0000704 EnsureInsertPoint();
Mike Stump1eb44332009-09-09 15:08:12 +0000705
Anders Carlsson60d35412008-12-20 20:46:34 +0000706 if (const VariableArrayType *VAT = getContext().getAsVariableArrayType(Ty)) {
Fariborz Jahanian745da3a2010-09-24 17:30:16 +0000707 // unknown size indication requires no size computation.
708 if (!VAT->getSizeExpr())
709 return 0;
Eli Friedmanbbed6b92009-08-15 02:50:32 +0000710 llvm::Value *&SizeEntry = VLASizeMap[VAT->getSizeExpr()];
Mike Stump1eb44332009-09-09 15:08:12 +0000711
Anders Carlssonfcdbb932008-12-20 21:51:53 +0000712 if (!SizeEntry) {
Anders Carlsson96f21472009-02-05 19:43:10 +0000713 const llvm::Type *SizeTy = ConvertType(getContext().getSizeType());
Mike Stump1eb44332009-09-09 15:08:12 +0000714
Chris Lattnerec18ddd2009-08-15 00:03:43 +0000715 // Get the element size;
716 QualType ElemTy = VAT->getElementType();
717 llvm::Value *ElemSize;
Anders Carlssonfcdbb932008-12-20 21:51:53 +0000718 if (ElemTy->isVariableArrayType())
719 ElemSize = EmitVLASize(ElemTy);
Chris Lattnerec18ddd2009-08-15 00:03:43 +0000720 else
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000721 ElemSize = llvm::ConstantInt::get(SizeTy,
Ken Dyck199c3d62010-01-11 17:06:35 +0000722 getContext().getTypeSizeInChars(ElemTy).getQuantity());
Mike Stump1eb44332009-09-09 15:08:12 +0000723
Anders Carlssonfcdbb932008-12-20 21:51:53 +0000724 llvm::Value *NumElements = EmitScalarExpr(VAT->getSizeExpr());
Anders Carlsson96f21472009-02-05 19:43:10 +0000725 NumElements = Builder.CreateIntCast(NumElements, SizeTy, false, "tmp");
Mike Stump1eb44332009-09-09 15:08:12 +0000726
Anders Carlssonfcdbb932008-12-20 21:51:53 +0000727 SizeEntry = Builder.CreateMul(ElemSize, NumElements);
Anders Carlsson60d35412008-12-20 20:46:34 +0000728 }
Mike Stump1eb44332009-09-09 15:08:12 +0000729
Anders Carlsson60d35412008-12-20 20:46:34 +0000730 return SizeEntry;
Anders Carlssondcc90d82008-12-12 07:19:02 +0000731 }
Mike Stump1eb44332009-09-09 15:08:12 +0000732
Chris Lattnerec18ddd2009-08-15 00:03:43 +0000733 if (const ArrayType *AT = dyn_cast<ArrayType>(Ty)) {
734 EmitVLASize(AT->getElementType());
735 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000736 }
737
Abramo Bagnara075f8f12010-12-10 16:29:40 +0000738 if (const ParenType *PT = dyn_cast<ParenType>(Ty)) {
739 EmitVLASize(PT->getInnerType());
740 return 0;
741 }
742
Chris Lattnerec18ddd2009-08-15 00:03:43 +0000743 const PointerType *PT = Ty->getAs<PointerType>();
744 assert(PT && "unknown VM type!");
745 EmitVLASize(PT->getPointeeType());
Anders Carlsson60d35412008-12-20 20:46:34 +0000746 return 0;
Anders Carlssondcc90d82008-12-12 07:19:02 +0000747}
Eli Friedman4fd0aa52009-01-20 17:46:04 +0000748
749llvm::Value* CodeGenFunction::EmitVAListRef(const Expr* E) {
Dan Gohmanbc07a552010-10-29 22:47:07 +0000750 if (getContext().getBuiltinVaListType()->isArrayType())
Eli Friedman4fd0aa52009-01-20 17:46:04 +0000751 return EmitScalarExpr(E);
Eli Friedman4fd0aa52009-01-20 17:46:04 +0000752 return EmitLValue(E).getAddress();
753}
Anders Carlsson6ccc4762009-02-07 22:53:43 +0000754
Devang Patel8d308382010-08-10 07:24:25 +0000755void CodeGenFunction::EmitDeclRefExprDbgValue(const DeclRefExpr *E,
John McCall189d6ef2010-10-09 01:34:31 +0000756 llvm::Constant *Init) {
Devang Patel25c2c8f2010-08-10 17:53:33 +0000757 assert (Init && "Invalid DeclRefExpr initializer!");
758 if (CGDebugInfo *Dbg = getDebugInfo())
Devang Pateld2829b72010-10-06 15:58:57 +0000759 Dbg->EmitGlobalVariable(E->getDecl(), Init);
Devang Patel8d308382010-08-10 07:24:25 +0000760}