CodeGenFunction.cpp revision 8c241a2844428eb1589c7b77fc6c1888295a2045
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- CodeGenFunction.cpp - Emit LLVM Code from ASTs for a Function ----===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This coordinates the per-function state used while generating code. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "CodeGenFunction.h" 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "CodeGenModule.h" 163f2af1002249c8acc9ce17f1fc50324864feb8e1Eli Friedman#include "CGDebugInfo.h" 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Basic/TargetInfo.h" 1831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner#include "clang/AST/APValue.h" 19de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/ASTContext.h" 20c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/Decl.h" 212b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson#include "clang/AST/DeclCXX.h" 224e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump#include "llvm/Target/TargetData.h" 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang; 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace CodeGen; 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid SpencerCodeGenFunction::CodeGenFunction(CodeGenModule &cgm) 27a4f668f3b7e03629066a01b04e415cb2b4655dafMike Stump : BlockFunction(cgm, *this, Builder), CGM(cgm), 28a4f668f3b7e03629066a01b04e415cb2b4655dafMike Stump Target(CGM.getContext().Target), 29aac8705c046f01a264a4f82832895a5d9e695633Owen Anderson Builder(cgm.getModule().getContext()), 302b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson DebugInfo(0), SwitchInsn(0), CaseRangeBlock(0), InvokeDest(0), 312b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson CXXThisDecl(0) { 324e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump LLVMIntTy = ConvertType(getContext().IntTy); 334e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump LLVMPointerWidth = Target.getPointerWidth(0); 344111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid SpencerASTContext &CodeGenFunction::getContext() const { 375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return CGM.getContext(); 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerllvm::BasicBlock *CodeGenFunction::getBasicBlockForLabel(const LabelStmt *S) { 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::BasicBlock *&BB = LabelMap[S]; 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (BB) return BB; 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Create, but don't insert, the new block. 4655e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar return BB = createBasicBlock(S->getName()); 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 490096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel Dunbarllvm::Value *CodeGenFunction::GetAddrOfLocalVar(const VarDecl *VD) { 500096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel Dunbar llvm::Value *Res = LocalDeclMap[VD]; 510096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel Dunbar assert(Res && "Invalid argument to GetAddrOfLocalVar(), no decl!"); 520096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel Dunbar return Res; 53813733577d33ec56479667b49e1bff42dc6bba90Lauro Ramos Venancio} 545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 550096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel Dunbarllvm::Constant * 560096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel DunbarCodeGenFunction::GetAddrOfStaticLocalVar(const VarDecl *BVD) { 570096acf421c4609ce7f43e8b05f8c5ca866d4611Daniel Dunbar return cast<llvm::Constant>(GetAddrOfLocalVar(BVD)); 58dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlsson} 59dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlsson 608b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbarconst llvm::Type *CodeGenFunction::ConvertTypeForMem(QualType T) { 618b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbar return CGM.getTypes().ConvertTypeForMem(T); 628b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbar} 638b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbar 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerconst llvm::Type *CodeGenFunction::ConvertType(QualType T) { 655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return CGM.getTypes().ConvertType(T); 665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 684111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattnerbool CodeGenFunction::hasAggregateLLVMType(QualType T) { 69f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // FIXME: Use positive checks instead of negative ones to be more robust in 70f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // the face of extension. 718958891f5fa1e593c4519a36b3df427ee019d70bDaniel Dunbar return !T->hasPointerRepresentation() &&!T->isRealType() && 728958891f5fa1e593c4519a36b3df427ee019d70bDaniel Dunbar !T->isVoidType() && !T->isVectorType() && !T->isFunctionType() && 73a782ca76cc7dfdd69e331a4fa722fc23b18d5c34Daniel Dunbar !T->isBlockPointerType(); 744111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 75391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 761c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbarvoid CodeGenFunction::EmitReturnBlock() { 771c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // For cleanliness, we try to avoid emitting the return block for 781c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // simple cases. 791c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar llvm::BasicBlock *CurBB = Builder.GetInsertBlock(); 801c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 811c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar if (CurBB) { 821c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar assert(!CurBB->getTerminator() && "Unexpected terminated block."); 831c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 8496e18b05ea6b55aa92a1a576f29e9cee73a7e20bDaniel Dunbar // We have a valid insert point, reuse it if it is empty or there are no 8596e18b05ea6b55aa92a1a576f29e9cee73a7e20bDaniel Dunbar // explicit jumps to the return block. 8696e18b05ea6b55aa92a1a576f29e9cee73a7e20bDaniel Dunbar if (CurBB->empty() || ReturnBlock->use_empty()) { 8796e18b05ea6b55aa92a1a576f29e9cee73a7e20bDaniel Dunbar ReturnBlock->replaceAllUsesWith(CurBB); 881c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar delete ReturnBlock; 8996e18b05ea6b55aa92a1a576f29e9cee73a7e20bDaniel Dunbar } else 901c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar EmitBlock(ReturnBlock); 911c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar return; 921c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar } 931c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 941c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // Otherwise, if the return block is the target of a single direct 951c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // branch then we can just put the code in that block instead. This 961c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // cleans up functions which started with a unified return block. 971c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar if (ReturnBlock->hasOneUse()) { 981c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar llvm::BranchInst *BI = 991c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar dyn_cast<llvm::BranchInst>(*ReturnBlock->use_begin()); 1001c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar if (BI && BI->isUnconditional() && BI->getSuccessor(0) == ReturnBlock) { 1011c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // Reset insertion point and delete the branch. 1021c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar Builder.SetInsertPoint(BI->getParent()); 1031c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar BI->eraseFromParent(); 1041c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar delete ReturnBlock; 1051c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar return; 1061c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar } 1071c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar } 1081c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 109f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // FIXME: We are at an unreachable point, there is no reason to emit the block 110f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // unless it has uses. However, we still need a place to put the debug 111f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // region.end for now. 1121c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 1131c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar EmitBlock(ReturnBlock); 1141c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar} 1151c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 116af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::FinishFunction(SourceLocation EndLoc) { 1170ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // Finish emission of indirect switches. 1180ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar EmitIndirectSwitches(); 1190ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 120391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner assert(BreakContinueStack.empty() && 121391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner "mismatched push/pop in break/continue stack!"); 122bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson assert(BlockScopes.empty() && 123bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson "did not remove all blocks from block scope map!"); 124bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson assert(CleanupEntries.empty() && 125bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson "mismatched push/pop in cleanup stack!"); 126bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson 1271c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // Emit function epilog (to return). 1281c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar EmitReturnBlock(); 129f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar 130f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar // Emit debug descriptor for function end. 131e896d98548b02223c7740d807a0aa6e20fba7079Anders Carlsson if (CGDebugInfo *DI = getDebugInfo()) { 132f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar DI->setLocation(EndLoc); 133f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar DI->EmitRegionEnd(CurFn, Builder); 134f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar } 135f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar 13688b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar EmitFunctionEpilog(*CurFnInfo, ReturnValue); 1375ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 138391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // Remove the AllocaInsertPt instruction, which is just a convenience for us. 139481769b5dc102b0256b35581e787909ad5edfab5Chris Lattner llvm::Instruction *Ptr = AllocaInsertPt; 140391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner AllocaInsertPt = 0; 141481769b5dc102b0256b35581e787909ad5edfab5Chris Lattner Ptr->eraseFromParent(); 142c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner} 143c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner 1447c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbarvoid CodeGenFunction::StartFunction(const Decl *D, QualType RetTy, 1457c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn, 1462284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar const FunctionArgList &Args, 1472284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar SourceLocation StartLoc) { 1484cc1a4703363ff940b6273aeef9d96a87edeb04bAnders Carlsson DidCallStackSave = false; 149b5437d238752dc297e42410e98d38d5250fe0463Chris Lattner CurCodeDecl = CurFuncDecl = D; 1507c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FnRetTy = RetTy; 151bd012ff1fa088181646a784f385b28867372d434Daniel Dunbar CurFn = Fn; 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(CurFn->isDeclaration() && "Function already has body?"); 153ddee4231e9bdfbac1e1f5385ff1a17fd0e0b0e39Chris Lattner 15455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *EntryBB = createBasicBlock("entry", CurFn); 1555ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 1565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Create a marker to make it easy to insert allocas into the entryblock 15755352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner // later. Don't create this with the builder, because we don't want it 15855352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner // folded. 15903e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson llvm::Value *Undef = llvm::UndefValue::get(llvm::Type::Int32Ty); 160f1466848dce9c4c75d96a6cabdc8db560e26aac8Chris Lattner AllocaInsertPt = new llvm::BitCastInst(Undef, llvm::Type::Int32Ty, "", 16155352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner EntryBB); 162f1466848dce9c4c75d96a6cabdc8db560e26aac8Chris Lattner if (Builder.isNamePreserving()) 163f1466848dce9c4c75d96a6cabdc8db560e26aac8Chris Lattner AllocaInsertPt->setName("allocapt"); 164f1466848dce9c4c75d96a6cabdc8db560e26aac8Chris Lattner 16555e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar ReturnBlock = createBasicBlock("return"); 1665ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar ReturnValue = 0; 1677c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar if (!RetTy->isVoidType()) 1687c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar ReturnValue = CreateTempAlloca(ConvertType(RetTy), "retval"); 1695ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 17055352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner Builder.SetInsertPoint(EntryBB); 1714111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 172af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta // Emit subprogram debug descriptor. 1737c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar // FIXME: The cast here is a huge hack. 174e896d98548b02223c7740d807a0aa6e20fba7079Anders Carlsson if (CGDebugInfo *DI = getDebugInfo()) { 1752284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar DI->setLocation(StartLoc); 1762284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { 1776ec3668a2608b63473207319f5ceff9bbd22ea51Douglas Gregor DI->EmitFunctionStart(CGM.getMangledName(FD), RetTy, CurFn, Builder); 1782284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar } else { 1792284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar // Just use LLVM function name. 18042719fc8145cb0da244b1826551e6b441db89209Daniel Dunbar 18142719fc8145cb0da244b1826551e6b441db89209Daniel Dunbar // FIXME: Remove unnecessary conversion to std::string when API settles. 18242719fc8145cb0da244b1826551e6b441db89209Daniel Dunbar DI->EmitFunctionStart(std::string(Fn->getName()).c_str(), 1832284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar RetTy, CurFn, Builder); 184af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta } 185af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta } 186af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta 18788b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar // FIXME: Leaked. 188541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar CurFnInfo = &CGM.getTypes().getFunctionInfo(FnRetTy, Args); 18988b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar EmitFunctionProlog(*CurFnInfo, CurFn, Args); 190751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson 191751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson // If any of the arguments have a variably modified type, make sure to 192751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson // emit the type size. 193751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end(); 194751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson i != e; ++i) { 195751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson QualType Ty = i->second; 196751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson 197751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson if (Ty->isVariablyModifiedType()) 198751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson EmitVLASize(Ty); 199751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson } 2007c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar} 201eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman 2027c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbarvoid CodeGenFunction::GenerateCode(const FunctionDecl *FD, 2037c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn) { 204e896d98548b02223c7740d807a0aa6e20fba7079Anders Carlsson // Check if we should generate debug info for this function. 20540b598eea1310ec9ed554d56ce3e25b34c585458Argyrios Kyrtzidis if (CGM.getDebugInfo() && !FD->hasAttr<NodebugAttr>()) 206e896d98548b02223c7740d807a0aa6e20fba7079Anders Carlsson DebugInfo = CGM.getDebugInfo(); 207e896d98548b02223c7740d807a0aa6e20fba7079Anders Carlsson 2087c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FunctionArgList Args; 2092b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson 2102b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(FD)) { 2112b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson if (MD->isInstance()) { 2122b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson // Create the implicit 'this' decl. 2132b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson // FIXME: I'm not entirely sure I like using a fake decl just for code 2142b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson // generation. Maybe we can come up with a better way? 2152b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson CXXThisDecl = ImplicitParamDecl::Create(getContext(), 0, SourceLocation(), 2162b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson &getContext().Idents.get("this"), 2172b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson MD->getThisType(getContext())); 2182b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson Args.push_back(std::make_pair(CXXThisDecl, CXXThisDecl->getType())); 2192b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson } 2202b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson } 2212b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson 222eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman if (FD->getNumParams()) { 22372564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor const FunctionProtoType* FProto = FD->getType()->getAsFunctionProtoType(); 224eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman assert(FProto && "Function def must have prototype!"); 2257c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar 2267c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) 2277c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(FD->getParamDecl(i), 2287c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FProto->getArgType(i))); 2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 230af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 231d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl // FIXME: Support CXXTryStmt here, too. 2326fb0aee4f9dc261bbec72e1283ad8dc0557a6d96Argyrios Kyrtzidis if (const CompoundStmt *S = FD->getCompoundBody()) { 233d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl StartFunction(FD, FD->getResultType(), Fn, Args, S->getLBracLoc()); 234ab3c0a2c879569bb00fa664ebaccf9442c0a9c5fFariborz Jahanian if (const CXXConstructorDecl *CD = dyn_cast<CXXConstructorDecl>(FD)) 235ab3c0a2c879569bb00fa664ebaccf9442c0a9c5fFariborz Jahanian EmitCtorPrologue(CD); 236d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl EmitStmt(S); 237426cc3828ce07a2cff15c9837f5958e6fc4b7739Fariborz Jahanian if (const CXXDestructorDecl *DD = dyn_cast<CXXDestructorDecl>(FD)) 238426cc3828ce07a2cff15c9837f5958e6fc4b7739Fariborz Jahanian EmitDtorEpilogue(DD); 239d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl FinishFunction(S->getRBracLoc()); 240d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 241c7ff8e19081c2e974f05f66c4fa9b40750fc655fFariborz Jahanian else 242c7ff8e19081c2e974f05f66c4fa9b40750fc655fFariborz Jahanian if (const CXXConstructorDecl *CD = dyn_cast<CXXConstructorDecl>(FD)) { 2439889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian const CXXRecordDecl *ClassDecl = 2449889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian cast<CXXRecordDecl>(CD->getDeclContext()); 2459889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian (void) ClassDecl; 2469889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian if (CD->isCopyConstructor(getContext())) { 2479889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian assert(!ClassDecl->hasUserDeclaredCopyConstructor() && 2489889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian "bogus constructor is being synthesize"); 2498c241a2844428eb1589c7b77fc6c1888295a2045Fariborz Jahanian SynthesizeCXXCopyConstructor(CD, FD, Fn, Args); 2509889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian } 2519889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian else { 2529889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian assert(!ClassDecl->hasUserDeclaredConstructor() && 2539889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian "bogus constructor is being synthesize"); 2549889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian StartFunction(FD, FD->getResultType(), Fn, Args, SourceLocation()); 2559889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian EmitCtorPrologue(CD); 2569889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian FinishFunction(); 2579889652dbc10060cd604861ed2e5bc6719f845b0Fariborz Jahanian } 258c7ff8e19081c2e974f05f66c4fa9b40750fc655fFariborz Jahanian } 259c7ff8e19081c2e974f05f66c4fa9b40750fc655fFariborz Jahanian 2602b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson // Destroy the 'this' declaration. 2612b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson if (CXXThisDecl) 2622b77ba8bc7a842829ad9193816dc1d7d5e9c5be6Anders Carlsson CXXThisDecl->Destroy(getContext()); 2635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 2645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2650946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// ContainsLabel - Return true if the statement contains a label in it. If 2660946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// this statement is not executed normally, it not containing a label means 2670946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// that we can just remove the code. 2680946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattnerbool CodeGenFunction::ContainsLabel(const Stmt *S, bool IgnoreCaseStmts) { 2690946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // Null statement, not a label! 2700946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (S == 0) return false; 2710946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2720946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a label, we have to emit the code, consider something like: 2730946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // if (0) { ... foo: bar(); } goto foo; 2740946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<LabelStmt>(S)) 2750946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 2760946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2770946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a case/default statement, and we haven't seen a switch, we have 2780946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // to emit the code. 2790946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<SwitchCase>(S) && !IgnoreCaseStmts) 2800946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 2810946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2820946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a switch statement, we want to ignore cases below it. 2830946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<SwitchStmt>(S)) 2840946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner IgnoreCaseStmts = true; 2850946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2860946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // Scan subexpressions for verboten labels. 2870946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end(); 2880946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner I != E; ++I) 2890946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (ContainsLabel(*I, IgnoreCaseStmts)) 2900946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 2910946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2920946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return false; 2930946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner} 2940946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 29531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 29631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// ConstantFoldsToSimpleInteger - If the sepcified expression does not fold to 29731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// a constant, or if it does but contains a label, return 0. If it constant 29831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// folds to 'true' and does not contain a label, return 1, if it constant folds 29931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// to 'false' and does not contain a label, return -1. 30031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattnerint CodeGenFunction::ConstantFoldsToSimpleInteger(const Expr *Cond) { 30136bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar // FIXME: Rename and handle conversion of other evaluatable things 30236bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar // to bool. 30364712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson Expr::EvalResult Result; 30464712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson if (!Cond->Evaluate(Result, getContext()) || !Result.Val.isInt() || 30564712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson Result.HasSideEffects) 306ef5a66d8171eb95e948107f8ee7707b360aaff25Anders Carlsson return 0; // Not foldable, not integer or not fully evaluatable. 30731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 30831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (CodeGenFunction::ContainsLabel(Cond)) 30931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return 0; // Contains a label. 31031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 31164712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson return Result.Val.getInt().getBoolValue() ? 1 : -1; 31231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner} 31331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 31431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 31531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g. for an if 31631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// statement) to the specified blocks. Based on the condition, this might try 31731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// to simplify the codegen of the conditional based on the branch. 31831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// 31931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattnervoid CodeGenFunction::EmitBranchOnBoolExpr(const Expr *Cond, 32031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::BasicBlock *TrueBlock, 32131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::BasicBlock *FalseBlock) { 32231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (const ParenExpr *PE = dyn_cast<ParenExpr>(Cond)) 32331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(PE->getSubExpr(), TrueBlock, FalseBlock); 32431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 32531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (const BinaryOperator *CondBOp = dyn_cast<BinaryOperator>(Cond)) { 32631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Handle X && Y in a condition. 32731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (CondBOp->getOpcode() == BinaryOperator::LAnd) { 32831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "1 && X", simplify the code. "0 && X" would have constant 32931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // folded if the case was simple enough. 33031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == 1) { 33131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(1 && X) -> br(X). 33231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 33331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 33431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 33531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "X && 1", simplify the code to use an uncond branch. 33631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // "X && 0" would have been constant folded to 0. 33731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == 1) { 33831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(X && 1) -> br(X). 33931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 34031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 34131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 34231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the LHS as a conditional. If the LHS conditional is false, we 34331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // want to jump to the FalseBlock. 3449615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *LHSTrue = createBasicBlock("land.lhs.true"); 34531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getLHS(), LHSTrue, FalseBlock); 34631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBlock(LHSTrue); 34731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 34831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 34931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return; 35031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } else if (CondBOp->getOpcode() == BinaryOperator::LOr) { 35131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "0 || X", simplify the code. "1 || X" would have constant 35231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // folded if the case was simple enough. 35331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == -1) { 35431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(0 || X) -> br(X). 35531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 35631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 35731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 35831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "X || 0", simplify the code to use an uncond branch. 35931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // "X || 1" would have been constant folded to 1. 36031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == -1) { 36131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(X || 0) -> br(X). 36231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 36331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 36431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 36531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the LHS as a conditional. If the LHS conditional is true, we 36631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // want to jump to the TrueBlock. 3679615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *LHSFalse = createBasicBlock("lor.lhs.false"); 36831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, LHSFalse); 36931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBlock(LHSFalse); 37031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 37131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 37231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return; 37331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 374552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner } 375552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner 376552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner if (const UnaryOperator *CondUOp = dyn_cast<UnaryOperator>(Cond)) { 377552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner // br(!x, t, f) -> br(x, f, t) 378552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner if (CondUOp->getOpcode() == UnaryOperator::LNot) 379552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner return EmitBranchOnBoolExpr(CondUOp->getSubExpr(), FalseBlock, TrueBlock); 38031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 38131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 38209b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar if (const ConditionalOperator *CondOp = dyn_cast<ConditionalOperator>(Cond)) { 38309b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // Handle ?: operator. 38409b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar 38509b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // Just ignore GNU ?: extension. 38609b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar if (CondOp->getLHS()) { 38709b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // br(c ? x : y, t, f) -> br(c, br(x, t, f), br(y, t, f)) 38809b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar llvm::BasicBlock *LHSBlock = createBasicBlock("cond.true"); 38909b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar llvm::BasicBlock *RHSBlock = createBasicBlock("cond.false"); 39009b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getCond(), LHSBlock, RHSBlock); 39109b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBlock(LHSBlock); 39209b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getLHS(), TrueBlock, FalseBlock); 39309b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBlock(RHSBlock); 39409b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getRHS(), TrueBlock, FalseBlock); 39509b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar return; 39609b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar } 39709b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar } 39809b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar 39931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the code with the fully general case. 40031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::Value *CondV = EvaluateExprAsBool(Cond); 40131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner Builder.CreateCondBr(CondV, TrueBlock, FalseBlock); 40231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner} 40331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 40488a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel/// getCGRecordLayout - Return record layout info. 40588a981b47c7face1b1fdaa9074256245107b9ca9Devang Patelconst CGRecordLayout *CodeGenFunction::getCGRecordLayout(CodeGenTypes &CGT, 406af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner QualType Ty) { 4076217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek const RecordType *RTy = Ty->getAs<RecordType>(); 408af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner assert (RTy && "Unexpected type. RecordType expected here."); 409b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel 410af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner return CGT.getCGRecordLayout(RTy->getDecl()); 411b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel} 412dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner 413488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar/// ErrorUnsupported - Print out an error that codegen doesn't support the 414dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner/// specified stmt yet. 41590df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbarvoid CodeGenFunction::ErrorUnsupported(const Stmt *S, const char *Type, 41690df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbar bool OmitOnError) { 41790df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbar CGM.ErrorUnsupported(S, Type, OmitOnError); 418dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner} 419dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner 4200ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbarunsigned CodeGenFunction::GetIDForAddrOfLabel(const LabelStmt *L) { 4210ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // Use LabelIDs.size() as the new ID if one hasn't been assigned. 4220ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar return LabelIDs.insert(std::make_pair(L, LabelIDs.size())).first->second; 4230ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar} 4240ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 42588207c9ca218486b93ae7df14e9764cd0c2c3383Chris Lattnervoid CodeGenFunction::EmitMemSetToZero(llvm::Value *DestPtr, QualType Ty) { 42696e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 4273d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson if (DestPtr->getType() != BP) 4283d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 4293d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 4303d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // Get size and alignment info for this aggregate. 4313d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty); 4323d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 43388207c9ca218486b93ae7df14e9764cd0c2c3383Chris Lattner // Don't bother emitting a zero-byte memset. 43488207c9ca218486b93ae7df14e9764cd0c2c3383Chris Lattner if (TypeInfo.first == 0) 43588207c9ca218486b93ae7df14e9764cd0c2c3383Chris Lattner return; 43688207c9ca218486b93ae7df14e9764cd0c2c3383Chris Lattner 4373d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // FIXME: Handle variable sized types. 43896e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson const llvm::Type *IntPtr = llvm::IntegerType::get(LLVMPointerWidth); 4393d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 4403d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson Builder.CreateCall4(CGM.getMemSetFn(), DestPtr, 441c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Constant::getNullValue(llvm::Type::Int8Ty), 4423d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // TypeInfo.first describes size in bits. 4434a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 4444a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(llvm::Type::Int32Ty, 4453d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson TypeInfo.second/8)); 4463d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 4473d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 4480ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbarvoid CodeGenFunction::EmitIndirectSwitches() { 4490ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::BasicBlock *Default; 4500ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 45176526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar if (IndirectSwitches.empty()) 45276526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar return; 45376526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar 4540ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar if (!LabelIDs.empty()) { 4550ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar Default = getBasicBlockForLabel(LabelIDs.begin()->first); 4560ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } else { 4570ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // No possible targets for indirect goto, just emit an infinite 4580ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // loop. 45955e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar Default = createBasicBlock("indirectgoto.loop", CurFn); 4600ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::BranchInst::Create(Default, Default); 4610ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 4620ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 4630ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar for (std::vector<llvm::SwitchInst*>::iterator i = IndirectSwitches.begin(), 4640ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar e = IndirectSwitches.end(); i != e; ++i) { 4650ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::SwitchInst *I = *i; 4660ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 4670ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar I->setSuccessor(0, Default); 4680ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar for (std::map<const LabelStmt*,unsigned>::iterator LI = LabelIDs.begin(), 4690ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar LE = LabelIDs.end(); LI != LE; ++LI) { 4704a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson I->addCase(llvm::ConstantInt::get(llvm::Type::Int32Ty, 4710ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar LI->second), 4720ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar getBasicBlockForLabel(LI->first)); 4730ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 4740ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 4750ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar} 476ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 477d286f05f1234bac289173f0eed88d7ecbaea0099Daniel Dunbarllvm::Value *CodeGenFunction::GetVLASize(const VariableArrayType *VAT) { 478dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson llvm::Value *&SizeEntry = VLASizeMap[VAT]; 479dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson 480f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson assert(SizeEntry && "Did not emit size for type"); 481f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson return SizeEntry; 482f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson} 483dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson 484d286f05f1234bac289173f0eed88d7ecbaea0099Daniel Dunbarllvm::Value *CodeGenFunction::EmitVLASize(QualType Ty) { 48560d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson assert(Ty->isVariablyModifiedType() && 48660d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson "Must pass variably modified type to EmitVLASizes!"); 487f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson 488d286f05f1234bac289173f0eed88d7ecbaea0099Daniel Dunbar EnsureInsertPoint(); 489d286f05f1234bac289173f0eed88d7ecbaea0099Daniel Dunbar 49060d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson if (const VariableArrayType *VAT = getContext().getAsVariableArrayType(Ty)) { 49160d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson llvm::Value *&SizeEntry = VLASizeMap[VAT]; 49260d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 493fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson if (!SizeEntry) { 494fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson // Get the element size; 495fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson llvm::Value *ElemSize; 49660d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 497fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson QualType ElemTy = VAT->getElementType(); 49896f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson 49996f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 50096f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson 501fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson if (ElemTy->isVariableArrayType()) 502fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson ElemSize = EmitVLASize(ElemTy); 503fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson else { 5044a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson ElemSize = llvm::ConstantInt::get(SizeTy, 505fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson getContext().getTypeSize(ElemTy) / 8); 506fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson } 50760d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 508fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson llvm::Value *NumElements = EmitScalarExpr(VAT->getSizeExpr()); 50996f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson NumElements = Builder.CreateIntCast(NumElements, SizeTy, false, "tmp"); 51096f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson 511fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson SizeEntry = Builder.CreateMul(ElemSize, NumElements); 512fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson } 51360d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 51460d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson return SizeEntry; 515bdad6b69f1214fb20116795f8e8cbf881e3017c6Eli Friedman } else if (const ArrayType *AT = dyn_cast<ArrayType>(Ty)) { 516bdad6b69f1214fb20116795f8e8cbf881e3017c6Eli Friedman EmitVLASize(AT->getElementType()); 5176217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek } else if (const PointerType *PT = Ty->getAs<PointerType>()) 51860d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson EmitVLASize(PT->getPointeeType()); 519f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson else { 52060d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson assert(0 && "unknown VM type!"); 521dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson } 52260d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 52360d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson return 0; 524dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson} 5254fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman 5264fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedmanllvm::Value* CodeGenFunction::EmitVAListRef(const Expr* E) { 5274fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman if (CGM.getContext().getBuiltinVaListType()->isArrayType()) { 5284fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman return EmitScalarExpr(E); 5294fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman } 5304fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman return EmitLValue(E).getAddress(); 5314fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman} 5326ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson 5336fc559136b8ef98bfb824a0fd49df385405f2879Anders Carlssonvoid CodeGenFunction::PushCleanupBlock(llvm::BasicBlock *CleanupBlock) 5346ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson{ 5356ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson CleanupEntries.push_back(CleanupEntry(CleanupBlock)); 5366ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson} 537c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 538c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlssonvoid CodeGenFunction::EmitCleanupBlocks(size_t OldCleanupStackSize) 539c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson{ 540c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson assert(CleanupEntries.size() >= OldCleanupStackSize && 541c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson "Cleanup stack mismatch!"); 542c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 543c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson while (CleanupEntries.size() > OldCleanupStackSize) 544c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson EmitCleanupBlock(); 545c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson} 546c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 547bb66f9f2e454135b86462d121629275b6ac38e96Anders CarlssonCodeGenFunction::CleanupBlockInfo CodeGenFunction::PopCleanupBlock() 548c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson{ 549bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson CleanupEntry &CE = CleanupEntries.back(); 550bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 551bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson llvm::BasicBlock *CleanupBlock = CE.CleanupBlock; 552bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 553bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson std::vector<llvm::BasicBlock *> Blocks; 554bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson std::swap(Blocks, CE.Blocks); 555bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 556bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson std::vector<llvm::BranchInst *> BranchFixups; 557bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson std::swap(BranchFixups, CE.BranchFixups); 558bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 559bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson CleanupEntries.pop_back(); 560bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 561ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson // Check if any branch fixups pointed to the scope we just popped. If so, 562ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson // we can remove them. 563ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson for (size_t i = 0, e = BranchFixups.size(); i != e; ++i) { 564ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson llvm::BasicBlock *Dest = BranchFixups[i]->getSuccessor(0); 565ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson BlockScopeMap::iterator I = BlockScopes.find(Dest); 566d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 567ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson if (I == BlockScopes.end()) 568ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson continue; 5691093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 570ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson assert(I->second <= CleanupEntries.size() && "Invalid branch fixup!"); 571d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 572ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson if (I->second == CleanupEntries.size()) { 573ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson // We don't need to do this branch fixup. 574ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson BranchFixups[i] = BranchFixups.back(); 575ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson BranchFixups.pop_back(); 576ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson i--; 577ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson e--; 578ad9d00e371f4f4e63a540f4e4c501797db2a43deAnders Carlsson continue; 5791093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson } 5801093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson } 581d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 582bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson llvm::BasicBlock *SwitchBlock = 0; 583bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson llvm::BasicBlock *EndBlock = 0; 5841093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson if (!BranchFixups.empty()) { 585bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson SwitchBlock = createBasicBlock("cleanup.switch"); 586bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson EndBlock = createBasicBlock("cleanup.end"); 5871093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 588bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson llvm::BasicBlock *CurBB = Builder.GetInsertBlock(); 5890ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson 590bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson Builder.SetInsertPoint(SwitchBlock); 591bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 5921093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson llvm::Value *DestCodePtr = CreateTempAlloca(llvm::Type::Int32Ty, 5931093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson "cleanup.dst"); 5941093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson llvm::Value *DestCode = Builder.CreateLoad(DestCodePtr, "tmp"); 5951093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 5961093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // Create a switch instruction to determine where to jump next. 597bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson llvm::SwitchInst *SI = Builder.CreateSwitch(DestCode, EndBlock, 5981093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson BranchFixups.size()); 599bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 60046831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson // Restore the current basic block (if any) 6010ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson if (CurBB) { 60246831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson Builder.SetInsertPoint(CurBB); 6030ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson 6040ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson // If we had a current basic block, we also need to emit an instruction 6050ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson // to initialize the cleanup destination. 606c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson Builder.CreateStore(llvm::Constant::getNullValue(llvm::Type::Int32Ty), 6070ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson DestCodePtr); 6080ae7b2b2f964bd6145d65ef52dc2a28025b2bd06Anders Carlsson } else 60946831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson Builder.ClearInsertionPoint(); 610bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson 6111093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson for (size_t i = 0, e = BranchFixups.size(); i != e; ++i) { 6121093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson llvm::BranchInst *BI = BranchFixups[i]; 6131093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson llvm::BasicBlock *Dest = BI->getSuccessor(0); 6141093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 6151093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // Fixup the branch instruction to point to the cleanup block. 6161093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson BI->setSuccessor(0, CleanupBlock); 617d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 6181093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson if (CleanupEntries.empty()) { 619cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson llvm::ConstantInt *ID; 620cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson 621cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson // Check if we already have a destination for this block. 622cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson if (Dest == SI->getDefaultDest()) 6234a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson ID = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0); 624cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson else { 625cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson ID = SI->findCaseDest(Dest); 626cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson if (!ID) { 627cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson // No code found, get a new unique one by using the number of 628cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson // switch successors. 6294a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson ID = llvm::ConstantInt::get(llvm::Type::Int32Ty, 630cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson SI->getNumSuccessors()); 631cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson SI->addCase(ID, Dest); 632cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson } 633cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson } 634cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson 635cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson // Store the jump destination before the branch instruction. 636cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson new llvm::StoreInst(ID, DestCodePtr, BI); 6371093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson } else { 6381093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // We need to jump through another cleanup block. Create a pad block 6391093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // with a branch instruction that jumps to the final destination and 6401093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // add it as a branch fixup to the current cleanup scope. 6411093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 6421093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // Create the pad block. 6431093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson llvm::BasicBlock *CleanupPad = createBasicBlock("cleanup.pad", CurFn); 644cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson 645cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson // Create a unique case ID. 6464a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt *ID = llvm::ConstantInt::get(llvm::Type::Int32Ty, 647cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson SI->getNumSuccessors()); 648cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson 649cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson // Store the jump destination before the branch instruction. 650cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson new llvm::StoreInst(ID, DestCodePtr, BI); 651cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson 6521093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // Add it as the destination. 653cc8992021caf316a282116d509d2a4fb54349341Anders Carlsson SI->addCase(ID, CleanupPad); 6541093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 6551093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // Create the branch to the final destination. 6561093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson llvm::BranchInst *BI = llvm::BranchInst::Create(Dest); 6571093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson CleanupPad->getInstList().push_back(BI); 6581093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson 6591093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson // And add it as a branch fixup. 6601093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson CleanupEntries.back().BranchFixups.push_back(BI); 6611093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson } 6621093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson } 6631093c2c40a7c262d206d724e912b32cbad2d4e14Anders Carlsson } 664d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 665bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson // Remove all blocks from the block scope map. 666bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson for (size_t i = 0, e = Blocks.size(); i != e; ++i) { 667bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson assert(BlockScopes.count(Blocks[i]) && 668bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson "Did not find block in scope map!"); 669bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson 670bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson BlockScopes.erase(Blocks[i]); 671bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson } 672d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 673bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson return CleanupBlockInfo(CleanupBlock, SwitchBlock, EndBlock); 674d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson} 675d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 676d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlssonvoid CodeGenFunction::EmitCleanupBlock() 677d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson{ 678bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson CleanupBlockInfo Info = PopCleanupBlock(); 679d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 680eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson llvm::BasicBlock *CurBB = Builder.GetInsertBlock(); 681eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson if (CurBB && !CurBB->getTerminator() && 682eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson Info.CleanupBlock->getNumUses() == 0) { 683eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson CurBB->getInstList().splice(CurBB->end(), Info.CleanupBlock->getInstList()); 684eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson delete Info.CleanupBlock; 685eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson } else 686eb6437a9b23b3d98a4590ba5557111e14eba2edfAnders Carlsson EmitBlock(Info.CleanupBlock); 687d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 688bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson if (Info.SwitchBlock) 689bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson EmitBlock(Info.SwitchBlock); 690bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson if (Info.EndBlock) 691bb66f9f2e454135b86462d121629275b6ac38e96Anders Carlsson EmitBlock(Info.EndBlock); 692d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson} 693d66a9f9019c00d889990c947e16a8f019aa2c1f8Anders Carlsson 69487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlssonvoid CodeGenFunction::AddBranchFixup(llvm::BranchInst *BI) 69587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson{ 69687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson assert(!CleanupEntries.empty() && 69787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson "Trying to add branch fixup without cleanup block!"); 69887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 699f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // FIXME: We could be more clever here and check if there's already a branch 700f5408fe484495ee4efbdd709c8a2c2fdbbbdb328Mike Stump // fixup for this destination and recycle it. 70187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson CleanupEntries.back().BranchFixups.push_back(BI); 70287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson} 70387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 70487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlssonvoid CodeGenFunction::EmitBranchThroughCleanup(llvm::BasicBlock *Dest) 70587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson{ 70646831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson if (!HaveInsertPoint()) 70746831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson return; 70846831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson 70987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson llvm::BranchInst* BI = Builder.CreateBr(Dest); 71087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 71146831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson Builder.ClearInsertionPoint(); 71246831a93e1805ddaebd68f37cdb5496a86b44cf0Anders Carlsson 71387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // The stack is empty, no need to do any cleanup. 71487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (CleanupEntries.empty()) 71587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 71687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 71787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (!Dest->getParent()) { 71887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // We are trying to branch to a block that hasn't been inserted yet. 71987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson AddBranchFixup(BI); 72087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 72187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson } 72287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 72387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson BlockScopeMap::iterator I = BlockScopes.find(Dest); 72487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (I == BlockScopes.end()) { 72587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // We are trying to jump to a block that is outside of any cleanup scope. 72687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson AddBranchFixup(BI); 72787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 72887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson } 72987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 73087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson assert(I->second < CleanupEntries.size() && 73187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson "Trying to branch into cleanup region"); 73287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 73387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (I->second == CleanupEntries.size() - 1) { 73487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // We have a branch to a block in the same scope. 73587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 73687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson } 73787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 73887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson AddBranchFixup(BI); 73987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson} 740