CodeGenFunction.cpp revision 87eaf17cc88516277e4389dfa15df93ecfdce559
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" 21d9363c3a80168283b3da518b4e17f545a6246857Devang Patel#include "llvm/Support/CFG.h" 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang; 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace CodeGen; 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid SpencerCodeGenFunction::CodeGenFunction(CodeGenModule &cgm) 26c049e4f406a7f7179eba98659044a32508e53289Devang Patel : CGM(cgm), Target(CGM.getContext().Target), SwitchInsn(NULL), 2736a2ada69fdb457b0e46d0ef452c150b360d8888Mike Stump CaseRangeBlock(NULL), StackDepth(0) { 284111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner LLVMIntTy = ConvertType(getContext().IntTy); 294111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner LLVMPointerWidth = Target.getPointerWidth(0); 304111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid SpencerASTContext &CodeGenFunction::getContext() const { 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return CGM.getContext(); 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerllvm::BasicBlock *CodeGenFunction::getBasicBlockForLabel(const LabelStmt *S) { 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::BasicBlock *&BB = LabelMap[S]; 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (BB) return BB; 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Create, but don't insert, the new block. 4255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar return BB = createBasicBlock(S->getName()); 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 45813733577d33ec56479667b49e1bff42dc6bba90Lauro Ramos Venanciollvm::Constant * 46248a753f6b670692523c99afaeb8fe98f7ae3ca7Steve NaroffCodeGenFunction::GetAddrOfStaticLocalVar(const VarDecl *BVD) { 47813733577d33ec56479667b49e1bff42dc6bba90Lauro Ramos Venancio return cast<llvm::Constant>(LocalDeclMap[BVD]); 48813733577d33ec56479667b49e1bff42dc6bba90Lauro Ramos Venancio} 495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 50dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlssonllvm::Value *CodeGenFunction::GetAddrOfLocalVar(const VarDecl *VD) 51dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlsson{ 52dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlsson return LocalDeclMap[VD]; 53dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlsson} 54dde0a94120915fa925d1ffcdb997c7b44dc9fa21Anders Carlsson 558b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbarconst llvm::Type *CodeGenFunction::ConvertTypeForMem(QualType T) { 568b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbar return CGM.getTypes().ConvertTypeForMem(T); 578b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbar} 588b1a343b6b360d63d5dc8a6beb841ce4414c1e00Daniel Dunbar 595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerconst llvm::Type *CodeGenFunction::ConvertType(QualType T) { 605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return CGM.getTypes().ConvertType(T); 615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 634111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattnerbool CodeGenFunction::isObjCPointerType(QualType T) { 644111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner // All Objective-C types are pointers. 654111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner return T->isObjCInterfaceType() || 664111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner T->isObjCQualifiedInterfaceType() || T->isObjCQualifiedIdType(); 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 694111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattnerbool CodeGenFunction::hasAggregateLLVMType(QualType T) { 70a782ca76cc7dfdd69e331a4fa722fc23b18d5c34Daniel Dunbar // FIXME: Use positive checks instead of negative ones to be more 71a782ca76cc7dfdd69e331a4fa722fc23b18d5c34Daniel Dunbar // robust in the face of extension. 724111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner return !isObjCPointerType(T) &&!T->isRealType() && !T->isPointerLikeType() && 73a782ca76cc7dfdd69e331a4fa722fc23b18d5c34Daniel Dunbar !T->isVoidType() && !T->isVectorType() && !T->isFunctionType() && 74a782ca76cc7dfdd69e331a4fa722fc23b18d5c34Daniel Dunbar !T->isBlockPointerType(); 754111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 76391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 771c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbarvoid CodeGenFunction::EmitReturnBlock() { 781c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // For cleanliness, we try to avoid emitting the return block for 791c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // simple cases. 801c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar llvm::BasicBlock *CurBB = Builder.GetInsertBlock(); 811c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 821c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar if (CurBB) { 831c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar assert(!CurBB->getTerminator() && "Unexpected terminated block."); 841c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar 851c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // We have a valid insert point, reuse it if there are no explicit 861c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // jumps to the return block. 871c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar if (ReturnBlock->use_empty()) 881c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar delete ReturnBlock; 891c1d6074f5a0296dd273362655b1b8f9057289e3Daniel 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 1091c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // FIXME: We are at an unreachable point, there is no reason to emit 1101c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // the block unless it has uses. However, we still need a place to 1111c1d6074f5a0296dd273362655b1b8f9057289e3Daniel Dunbar // put the debug 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. 131f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar if (CGDebugInfo *DI = CGM.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. 139391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner AllocaInsertPt->eraseFromParent(); 140391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner AllocaInsertPt = 0; 141c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner} 142c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner 1437c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbarvoid CodeGenFunction::StartFunction(const Decl *D, QualType RetTy, 1447c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn, 1452284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar const FunctionArgList &Args, 1462284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar SourceLocation StartLoc) { 1477c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar CurFuncDecl = D; 1487c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FnRetTy = RetTy; 149bd012ff1fa088181646a784f385b28867372d434Daniel Dunbar CurFn = Fn; 1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(CurFn->isDeclaration() && "Function already has body?"); 151ddee4231e9bdfbac1e1f5385ff1a17fd0e0b0e39Chris Lattner 15255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *EntryBB = createBasicBlock("entry", CurFn); 1535ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 1545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Create a marker to make it easy to insert allocas into the entryblock 15555352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner // later. Don't create this with the builder, because we don't want it 15655352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner // folded. 1575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::Value *Undef = llvm::UndefValue::get(llvm::Type::Int32Ty); 15855352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner AllocaInsertPt = new llvm::BitCastInst(Undef, llvm::Type::Int32Ty, "allocapt", 15955352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner EntryBB); 1605ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 16155e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar ReturnBlock = createBasicBlock("return"); 1625ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar ReturnValue = 0; 1637c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar if (!RetTy->isVoidType()) 1647c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar ReturnValue = CreateTempAlloca(ConvertType(RetTy), "retval"); 1655ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 16655352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner Builder.SetInsertPoint(EntryBB); 1674111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 168af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta // Emit subprogram debug descriptor. 1697c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar // FIXME: The cast here is a huge hack. 1702284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar if (CGDebugInfo *DI = CGM.getDebugInfo()) { 1712284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar DI->setLocation(StartLoc); 1722284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { 1738ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner DI->EmitFunctionStart(FD->getIdentifier()->getName(), 1748ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner RetTy, CurFn, Builder); 1752284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar } else { 1762284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar // Just use LLVM function name. 1772284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar DI->EmitFunctionStart(Fn->getName().c_str(), 1782284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar RetTy, CurFn, Builder); 179af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta } 180af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta } 181af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta 18288b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar // FIXME: Leaked. 183541b63b1a9db77e4a8670e9823711c2c12e58afbDaniel Dunbar CurFnInfo = &CGM.getTypes().getFunctionInfo(FnRetTy, Args); 18488b5396b0897f28d22ae3debf4a0d97b33b6c362Daniel Dunbar EmitFunctionProlog(*CurFnInfo, CurFn, Args); 185751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson 186751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson // If any of the arguments have a variably modified type, make sure to 187751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson // emit the type size. 188751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end(); 189751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson i != e; ++i) { 190751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson QualType Ty = i->second; 191751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson 192751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson if (Ty->isVariablyModifiedType()) 193751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson EmitVLASize(Ty); 194751358ff73b155f5384e151e1d18aa3f6e7b061cAnders Carlsson } 1957c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar} 196eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman 1977c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbarvoid CodeGenFunction::GenerateCode(const FunctionDecl *FD, 1987c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn) { 1997c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FunctionArgList Args; 200eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman if (FD->getNumParams()) { 201eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman const FunctionTypeProto* FProto = FD->getType()->getAsFunctionTypeProto(); 202eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman assert(FProto && "Function def must have prototype!"); 2037c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar 2047c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) 2057c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(FD->getParamDecl(i), 2067c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FProto->getArgType(i))); 2075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 208af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 2092284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar StartFunction(FD, FD->getResultType(), Fn, Args, 2102284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar cast<CompoundStmt>(FD->getBody())->getLBracLoc()); 2117c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar 212af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar EmitStmt(FD->getBody()); 213af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 214af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const CompoundStmt *S = dyn_cast<CompoundStmt>(FD->getBody()); 215af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar if (S) { 216af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(S->getRBracLoc()); 217af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar } else { 218af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 219af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar } 2205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2220946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// ContainsLabel - Return true if the statement contains a label in it. If 2230946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// this statement is not executed normally, it not containing a label means 2240946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// that we can just remove the code. 2250946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattnerbool CodeGenFunction::ContainsLabel(const Stmt *S, bool IgnoreCaseStmts) { 2260946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // Null statement, not a label! 2270946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (S == 0) return false; 2280946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2290946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a label, we have to emit the code, consider something like: 2300946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // if (0) { ... foo: bar(); } goto foo; 2310946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<LabelStmt>(S)) 2320946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 2330946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2340946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a case/default statement, and we haven't seen a switch, we have 2350946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // to emit the code. 2360946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<SwitchCase>(S) && !IgnoreCaseStmts) 2370946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 2380946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2390946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a switch statement, we want to ignore cases below it. 2400946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<SwitchStmt>(S)) 2410946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner IgnoreCaseStmts = true; 2420946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2430946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // Scan subexpressions for verboten labels. 2440946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end(); 2450946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner I != E; ++I) 2460946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (ContainsLabel(*I, IgnoreCaseStmts)) 2470946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 2480946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 2490946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return false; 2500946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner} 2510946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 25231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 25331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// ConstantFoldsToSimpleInteger - If the sepcified expression does not fold to 25431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// a constant, or if it does but contains a label, return 0. If it constant 25531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// folds to 'true' and does not contain a label, return 1, if it constant folds 25631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// to 'false' and does not contain a label, return -1. 25731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattnerint CodeGenFunction::ConstantFoldsToSimpleInteger(const Expr *Cond) { 25836bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar // FIXME: Rename and handle conversion of other evaluatable things 25936bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar // to bool. 26064712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson Expr::EvalResult Result; 26164712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson if (!Cond->Evaluate(Result, getContext()) || !Result.Val.isInt() || 26264712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson Result.HasSideEffects) 263ef5a66d8171eb95e948107f8ee7707b360aaff25Anders Carlsson return 0; // Not foldable, not integer or not fully evaluatable. 26431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 26531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (CodeGenFunction::ContainsLabel(Cond)) 26631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return 0; // Contains a label. 26731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 26864712f196bffd41fb0552c2643b07a25c3e45082Anders Carlsson return Result.Val.getInt().getBoolValue() ? 1 : -1; 26931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner} 27031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 27131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 27231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g. for an if 27331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// statement) to the specified blocks. Based on the condition, this might try 27431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// to simplify the codegen of the conditional based on the branch. 27531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// 27631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattnervoid CodeGenFunction::EmitBranchOnBoolExpr(const Expr *Cond, 27731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::BasicBlock *TrueBlock, 27831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::BasicBlock *FalseBlock) { 27931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (const ParenExpr *PE = dyn_cast<ParenExpr>(Cond)) 28031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(PE->getSubExpr(), TrueBlock, FalseBlock); 28131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 28231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (const BinaryOperator *CondBOp = dyn_cast<BinaryOperator>(Cond)) { 28331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Handle X && Y in a condition. 28431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (CondBOp->getOpcode() == BinaryOperator::LAnd) { 28531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "1 && X", simplify the code. "0 && X" would have constant 28631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // folded if the case was simple enough. 28731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == 1) { 28831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(1 && X) -> br(X). 28931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 29031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 29131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 29231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "X && 1", simplify the code to use an uncond branch. 29331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // "X && 0" would have been constant folded to 0. 29431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == 1) { 29531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(X && 1) -> br(X). 29631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 29731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 29831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 29931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the LHS as a conditional. If the LHS conditional is false, we 30031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // want to jump to the FalseBlock. 3019615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *LHSTrue = createBasicBlock("land.lhs.true"); 30231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getLHS(), LHSTrue, FalseBlock); 30331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBlock(LHSTrue); 30431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 30531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 30631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return; 30731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } else if (CondBOp->getOpcode() == BinaryOperator::LOr) { 30831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "0 || X", simplify the code. "1 || X" would have constant 30931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // folded if the case was simple enough. 31031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == -1) { 31131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(0 || X) -> br(X). 31231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 31331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 31431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 31531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "X || 0", simplify the code to use an uncond branch. 31631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // "X || 1" would have been constant folded to 1. 31731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == -1) { 31831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(X || 0) -> br(X). 31931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 32031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 32131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 32231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the LHS as a conditional. If the LHS conditional is true, we 32331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // want to jump to the TrueBlock. 3249615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *LHSFalse = createBasicBlock("lor.lhs.false"); 32531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, LHSFalse); 32631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBlock(LHSFalse); 32731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 32831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 32931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return; 33031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 331552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner } 332552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner 333552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner if (const UnaryOperator *CondUOp = dyn_cast<UnaryOperator>(Cond)) { 334552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner // br(!x, t, f) -> br(x, f, t) 335552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner if (CondUOp->getOpcode() == UnaryOperator::LNot) 336552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner return EmitBranchOnBoolExpr(CondUOp->getSubExpr(), FalseBlock, TrueBlock); 33731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 33831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 33909b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar if (const ConditionalOperator *CondOp = dyn_cast<ConditionalOperator>(Cond)) { 34009b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // Handle ?: operator. 34109b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar 34209b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // Just ignore GNU ?: extension. 34309b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar if (CondOp->getLHS()) { 34409b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // br(c ? x : y, t, f) -> br(c, br(x, t, f), br(y, t, f)) 34509b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar llvm::BasicBlock *LHSBlock = createBasicBlock("cond.true"); 34609b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar llvm::BasicBlock *RHSBlock = createBasicBlock("cond.false"); 34709b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getCond(), LHSBlock, RHSBlock); 34809b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBlock(LHSBlock); 34909b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getLHS(), TrueBlock, FalseBlock); 35009b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBlock(RHSBlock); 35109b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getRHS(), TrueBlock, FalseBlock); 35209b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar return; 35309b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar } 35409b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar } 35509b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar 35631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the code with the fully general case. 35731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::Value *CondV = EvaluateExprAsBool(Cond); 35831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner Builder.CreateCondBr(CondV, TrueBlock, FalseBlock); 35931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner} 36031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 36188a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel/// getCGRecordLayout - Return record layout info. 36288a981b47c7face1b1fdaa9074256245107b9ca9Devang Patelconst CGRecordLayout *CodeGenFunction::getCGRecordLayout(CodeGenTypes &CGT, 363af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner QualType Ty) { 364af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner const RecordType *RTy = Ty->getAsRecordType(); 365af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner assert (RTy && "Unexpected type. RecordType expected here."); 366b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel 367af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner return CGT.getCGRecordLayout(RTy->getDecl()); 368b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel} 369dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner 370488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar/// ErrorUnsupported - Print out an error that codegen doesn't support the 371dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner/// specified stmt yet. 37290df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbarvoid CodeGenFunction::ErrorUnsupported(const Stmt *S, const char *Type, 37390df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbar bool OmitOnError) { 37490df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbar CGM.ErrorUnsupported(S, Type, OmitOnError); 375dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner} 376dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner 3770ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbarunsigned CodeGenFunction::GetIDForAddrOfLabel(const LabelStmt *L) { 3780ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // Use LabelIDs.size() as the new ID if one hasn't been assigned. 3790ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar return LabelIDs.insert(std::make_pair(L, LabelIDs.size())).first->second; 3800ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar} 3810ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 3823d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlssonvoid CodeGenFunction::EmitMemSetToZero(llvm::Value *DestPtr, QualType Ty) 3833d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson{ 3843d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 3853d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson if (DestPtr->getType() != BP) 3863d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 3873d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3883d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // Get size and alignment info for this aggregate. 3893d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty); 3903d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3913d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // FIXME: Handle variable sized types. 3923d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson const llvm::Type *IntPtr = llvm::IntegerType::get(LLVMPointerWidth); 3933d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3943d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson Builder.CreateCall4(CGM.getMemSetFn(), DestPtr, 3953d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson llvm::ConstantInt::getNullValue(llvm::Type::Int8Ty), 3963d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // TypeInfo.first describes size in bits. 3973d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 3983d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson llvm::ConstantInt::get(llvm::Type::Int32Ty, 3993d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson TypeInfo.second/8)); 4003d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 4013d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 4020ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbarvoid CodeGenFunction::EmitIndirectSwitches() { 4030ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::BasicBlock *Default; 4040ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 40576526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar if (IndirectSwitches.empty()) 40676526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar return; 40776526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar 4080ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar if (!LabelIDs.empty()) { 4090ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar Default = getBasicBlockForLabel(LabelIDs.begin()->first); 4100ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } else { 4110ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // No possible targets for indirect goto, just emit an infinite 4120ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // loop. 41355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar Default = createBasicBlock("indirectgoto.loop", CurFn); 4140ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::BranchInst::Create(Default, Default); 4150ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 4160ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 4170ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar for (std::vector<llvm::SwitchInst*>::iterator i = IndirectSwitches.begin(), 4180ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar e = IndirectSwitches.end(); i != e; ++i) { 4190ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::SwitchInst *I = *i; 4200ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 4210ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar I->setSuccessor(0, Default); 4220ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar for (std::map<const LabelStmt*,unsigned>::iterator LI = LabelIDs.begin(), 4230ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar LE = LabelIDs.end(); LI != LE; ++LI) { 4240ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar I->addCase(llvm::ConstantInt::get(llvm::Type::Int32Ty, 4250ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar LI->second), 4260ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar getBasicBlockForLabel(LI->first)); 4270ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 4280ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 4290ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar} 430ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 431ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlssonllvm::Value *CodeGenFunction::EmitVAArg(llvm::Value *VAListAddr, QualType Ty) 432ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson{ 433ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson // FIXME: This entire method is hardcoded for 32-bit X86. 434ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 435ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const char *TargetPrefix = getContext().Target.getTargetPrefix(); 436ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 437ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson if (strcmp(TargetPrefix, "x86") != 0 || 438ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson getContext().Target.getPointerWidth(0) != 32) 439ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return 0; 440ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 441ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 442ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const llvm::Type *BPP = llvm::PointerType::getUnqual(BP); 443ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 444ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP, 445ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson "ap"); 446ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur"); 447ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *AddrTyped = 448ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson Builder.CreateBitCast(Addr, 449ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::PointerType::getUnqual(ConvertType(Ty))); 450ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 451ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson uint64_t SizeInBytes = getContext().getTypeSize(Ty) / 8; 452ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const unsigned ArgumentSizeInBytes = 4; 453ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson if (SizeInBytes < ArgumentSizeInBytes) 454ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson SizeInBytes = ArgumentSizeInBytes; 455ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 456ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *NextAddr = 457ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson Builder.CreateGEP(Addr, 458ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::ConstantInt::get(llvm::Type::Int32Ty, SizeInBytes), 459ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson "ap.next"); 460ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson Builder.CreateStore(NextAddr, VAListAddrAsBPP); 461ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 462ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return AddrTyped; 463ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson} 464ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 465f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson 466dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlssonllvm::Value *CodeGenFunction::GetVLASize(const VariableArrayType *VAT) 467dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson{ 468dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson llvm::Value *&SizeEntry = VLASizeMap[VAT]; 469dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson 470f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson assert(SizeEntry && "Did not emit size for type"); 471f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson return SizeEntry; 472f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson} 473dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson 47460d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlssonllvm::Value *CodeGenFunction::EmitVLASize(QualType Ty) 475f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson{ 47660d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson assert(Ty->isVariablyModifiedType() && 47760d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson "Must pass variably modified type to EmitVLASizes!"); 478f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson 47960d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson if (const VariableArrayType *VAT = getContext().getAsVariableArrayType(Ty)) { 48060d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson llvm::Value *&SizeEntry = VLASizeMap[VAT]; 48160d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 482fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson if (!SizeEntry) { 483fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson // Get the element size; 484fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson llvm::Value *ElemSize; 48560d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 486fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson QualType ElemTy = VAT->getElementType(); 48796f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson 48896f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 48996f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson 490fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson if (ElemTy->isVariableArrayType()) 491fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson ElemSize = EmitVLASize(ElemTy); 492fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson else { 49396f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson ElemSize = llvm::ConstantInt::get(SizeTy, 494fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson getContext().getTypeSize(ElemTy) / 8); 495fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson } 49660d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 497fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson llvm::Value *NumElements = EmitScalarExpr(VAT->getSizeExpr()); 49896f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson NumElements = Builder.CreateIntCast(NumElements, SizeTy, false, "tmp"); 49996f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson 500fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson SizeEntry = Builder.CreateMul(ElemSize, NumElements); 501fcdbb93749ed69aa9022437052c390522355ec3dAnders Carlsson } 50260d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 50360d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson return SizeEntry; 50460d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson } else if (const PointerType *PT = Ty->getAsPointerType()) 50560d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson EmitVLASize(PT->getPointeeType()); 506f666b7780d04186521adcaedb0e15dfa4d5e6933Anders Carlsson else { 50760d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson assert(0 && "unknown VM type!"); 508dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson } 50960d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson 51060d35413662ebdcd1d31e34a8a7c665eb6977f1eAnders Carlsson return 0; 511dcc90d87e6430c643b4311ae5b0089535bca41f7Anders Carlsson} 5124fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman 5134fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedmanllvm::Value* CodeGenFunction::EmitVAListRef(const Expr* E) { 5144fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman if (CGM.getContext().getBuiltinVaListType()->isArrayType()) { 5154fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman return EmitScalarExpr(E); 5164fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman } 5174fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman return EmitLValue(E).getAddress(); 5184fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman} 5196ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson 5206ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlssonllvm::BasicBlock *CodeGenFunction::CreateCleanupBlock() 5216ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson{ 5226ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson llvm::BasicBlock *CleanupBlock = createBasicBlock("cleanup"); 5236ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson 5246ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson CleanupEntries.push_back(CleanupEntry(CleanupBlock)); 5256ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson 5266ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson return CleanupBlock; 5276ccc47698d0311ddabf32fa0f6db8e4f09ac96f8Anders Carlsson} 528c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 529c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlssonvoid CodeGenFunction::EmitCleanupBlocks(size_t OldCleanupStackSize) 530c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson{ 531c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson assert(CleanupEntries.size() >= OldCleanupStackSize && 532c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson "Cleanup stack mismatch!"); 533c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 534c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson while (CleanupEntries.size() > OldCleanupStackSize) 535c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson EmitCleanupBlock(); 536c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson} 537c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 538c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlssonvoid CodeGenFunction::EmitCleanupBlock() 539c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson{ 540c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson CleanupEntry &CE = CleanupEntries.back(); 541c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 542c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson llvm::BasicBlock *CleanupBlock = CE.CleanupBlock; 543c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 544bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson std::vector<llvm::BasicBlock *> Blocks; 545bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson std::swap(Blocks, CE.Blocks); 546bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson 547bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson std::vector<llvm::BranchInst *> BranchFixups; 548bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson std::swap(BranchFixups, CE.BranchFixups); 549bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson 550c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson CleanupEntries.pop_back(); 551c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 552c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson EmitBlock(CleanupBlock); 553bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson 554bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson // Remove all blocks from the block scope map. 555bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson for (size_t i = 0, e = Blocks.size(); i != e; ++i) { 556bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson assert(BlockScopes.count(Blocks[i]) && 557bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson "Did not find block in scope map!"); 558bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson 559bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson BlockScopes.erase(Blocks[i]); 560bd6fa3d032acd7eafc6c10827c41103df45beab7Anders Carlsson } 561c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson} 562c71c845fe77ee1f891d60232ec320912d88557eeAnders Carlsson 56387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlssonvoid CodeGenFunction::AddBranchFixup(llvm::BranchInst *BI) 56487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson{ 56587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson assert(!CleanupEntries.empty() && 56687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson "Trying to add branch fixup without cleanup block!"); 56787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 56887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // FIXME: We could be more clever here and check if there's already a 56987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // branch fixup for this destination and recycle it. 57087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson CleanupEntries.back().BranchFixups.push_back(BI); 57187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson} 57287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 57387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlssonvoid CodeGenFunction::EmitBranchThroughCleanup(llvm::BasicBlock *Dest) 57487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson{ 57587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson llvm::BranchInst* BI = Builder.CreateBr(Dest); 57687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 57787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // The stack is empty, no need to do any cleanup. 57887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (CleanupEntries.empty()) 57987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 58087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 58187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (!Dest->getParent()) { 58287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // We are trying to branch to a block that hasn't been inserted yet. 58387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson AddBranchFixup(BI); 58487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 58587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson } 58687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 58787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson BlockScopeMap::iterator I = BlockScopes.find(Dest); 58887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (I == BlockScopes.end()) { 58987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // We are trying to jump to a block that is outside of any cleanup scope. 59087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson AddBranchFixup(BI); 59187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 59287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson } 59387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 59487eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson assert(I->second < CleanupEntries.size() && 59587eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson "Trying to branch into cleanup region"); 59687eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 59787eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson if (I->second == CleanupEntries.size() - 1) { 59887eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson // We have a branch to a block in the same scope. 59987eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson return; 60087eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson } 60187eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson 60287eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson AddBranchFixup(BI); 60387eaf17cc88516277e4389dfa15df93ecfdce559Anders Carlsson} 604