CodeGenFunction.cpp revision 8ec03f58c33c33a917f54bb7f2cd61b6d7ffe0ca
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), 274111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner CaseRangeBlock(NULL) { 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 555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerconst llvm::Type *CodeGenFunction::ConvertType(QualType T) { 565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return CGM.getTypes().ConvertType(T); 575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 594111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattnerbool CodeGenFunction::isObjCPointerType(QualType T) { 604111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner // All Objective-C types are pointers. 614111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner return T->isObjCInterfaceType() || 624111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner T->isObjCQualifiedInterfaceType() || T->isObjCQualifiedIdType(); 635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 654111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattnerbool CodeGenFunction::hasAggregateLLVMType(QualType T) { 664111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner return !isObjCPointerType(T) &&!T->isRealType() && !T->isPointerLikeType() && 674111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner !T->isVoidType() && !T->isVectorType() && !T->isFunctionType(); 684111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner} 69391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 70af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbarvoid CodeGenFunction::FinishFunction(SourceLocation EndLoc) { 710ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // Finish emission of indirect switches. 720ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar EmitIndirectSwitches(); 730ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 74391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner assert(BreakContinueStack.empty() && 75391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner "mismatched push/pop in break/continue stack!"); 765ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 77b01d191a25f92884855117ee7113a1bd3b59cdbcDaniel Dunbar // Emit function epilog (to return). This has the nice side effect 78b01d191a25f92884855117ee7113a1bd3b59cdbcDaniel Dunbar // of also automatically handling code that falls off the end. 79b01d191a25f92884855117ee7113a1bd3b59cdbcDaniel Dunbar EmitBlock(ReturnBlock); 80f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar 81f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar // Emit debug descriptor for function end. 82f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar if (CGDebugInfo *DI = CGM.getDebugInfo()) { 83f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar DI->setLocation(EndLoc); 84f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar DI->EmitRegionEnd(CurFn, Builder); 85f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar } 86f5bd45c8e6fa7519cdc17ec3ff4917e279c6a041Daniel Dunbar 8717b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar EmitFunctionEpilog(FnRetTy, ReturnValue); 885ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 89391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner // Remove the AllocaInsertPt instruction, which is just a convenience for us. 90391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner AllocaInsertPt->eraseFromParent(); 91391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner AllocaInsertPt = 0; 92c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner} 93c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner 947c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbarvoid CodeGenFunction::StartFunction(const Decl *D, QualType RetTy, 957c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn, 962284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar const FunctionArgList &Args, 972284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar SourceLocation StartLoc) { 987c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar CurFuncDecl = D; 997c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FnRetTy = RetTy; 100bd012ff1fa088181646a784f385b28867372d434Daniel Dunbar CurFn = Fn; 1015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(CurFn->isDeclaration() && "Function already has body?"); 102ddee4231e9bdfbac1e1f5385ff1a17fd0e0b0e39Chris Lattner 10355e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar llvm::BasicBlock *EntryBB = createBasicBlock("entry", CurFn); 1045ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 1055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Create a marker to make it easy to insert allocas into the entryblock 10655352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner // later. Don't create this with the builder, because we don't want it 10755352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner // folded. 1085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer llvm::Value *Undef = llvm::UndefValue::get(llvm::Type::Int32Ty); 10955352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner AllocaInsertPt = new llvm::BitCastInst(Undef, llvm::Type::Int32Ty, "allocapt", 11055352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner EntryBB); 1115ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 11255e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar ReturnBlock = createBasicBlock("return"); 1135ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar ReturnValue = 0; 1147c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar if (!RetTy->isVoidType()) 1157c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar ReturnValue = CreateTempAlloca(ConvertType(RetTy), "retval"); 1165ca2084cf9b529563209429857f01fdae9dcdfa5Daniel Dunbar 11755352a2d616cf9fbb621d10faf8b960b4b268bd8Chris Lattner Builder.SetInsertPoint(EntryBB); 1184111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner 119af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta // Emit subprogram debug descriptor. 1207c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar // FIXME: The cast here is a huge hack. 1212284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar if (CGDebugInfo *DI = CGM.getDebugInfo()) { 1222284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar DI->setLocation(StartLoc); 1232284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { 1248ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner DI->EmitFunctionStart(FD->getIdentifier()->getName(), 1258ec03f58c33c33a917f54bb7f2cd61b6d7ffe0caChris Lattner RetTy, CurFn, Builder); 1262284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar } else { 1272284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar // Just use LLVM function name. 1282284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar DI->EmitFunctionStart(Fn->getName().c_str(), 1292284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar RetTy, CurFn, Builder); 130af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta } 131af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta } 132af99417156c652a6f04dff643925036dc3241d60Sanjiv Gupta 13317b708d61827cd86278e9580b041dd6cbadf07d3Daniel Dunbar EmitFunctionProlog(CurFn, FnRetTy, Args); 1347c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar} 135eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman 1367c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbarvoid CodeGenFunction::GenerateCode(const FunctionDecl *FD, 1377c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar llvm::Function *Fn) { 1387c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FunctionArgList Args; 139eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman if (FD->getNumParams()) { 140eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman const FunctionTypeProto* FProto = FD->getType()->getAsFunctionTypeProto(); 141eb4b7051a596560ef4a1846e3714707f44e9dc30Eli Friedman assert(FProto && "Function def must have prototype!"); 1427c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar 1437c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) 1447c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar Args.push_back(std::make_pair(FD->getParamDecl(i), 1457c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar FProto->getArgType(i))); 1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 147af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 1482284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar StartFunction(FD, FD->getResultType(), Fn, Args, 1492284ac9ec80299fcdefae9a2787cf85105a0f203Daniel Dunbar cast<CompoundStmt>(FD->getBody())->getLBracLoc()); 1507c086516f3cc9fba2733b1919973206c6ba4b171Daniel Dunbar 151af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar EmitStmt(FD->getBody()); 152af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar 153af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar const CompoundStmt *S = dyn_cast<CompoundStmt>(FD->getBody()); 154af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar if (S) { 155af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(S->getRBracLoc()); 156af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar } else { 157af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar FinishFunction(); 158af05bb9073319d8381b71c4325188853fd4b8ed6Daniel Dunbar } 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1610946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// ContainsLabel - Return true if the statement contains a label in it. If 1620946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// this statement is not executed normally, it not containing a label means 1630946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner/// that we can just remove the code. 1640946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattnerbool CodeGenFunction::ContainsLabel(const Stmt *S, bool IgnoreCaseStmts) { 1650946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // Null statement, not a label! 1660946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (S == 0) return false; 1670946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 1680946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a label, we have to emit the code, consider something like: 1690946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // if (0) { ... foo: bar(); } goto foo; 1700946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<LabelStmt>(S)) 1710946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 1720946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 1730946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a case/default statement, and we haven't seen a switch, we have 1740946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // to emit the code. 1750946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<SwitchCase>(S) && !IgnoreCaseStmts) 1760946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 1770946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 1780946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // If this is a switch statement, we want to ignore cases below it. 1790946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (isa<SwitchStmt>(S)) 1800946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner IgnoreCaseStmts = true; 1810946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 1820946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // Scan subexpressions for verboten labels. 1830946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end(); 1840946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner I != E; ++I) 1850946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner if (ContainsLabel(*I, IgnoreCaseStmts)) 1860946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return true; 1870946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 1880946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return false; 1890946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner} 1900946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 19131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 19231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// ConstantFoldsToSimpleInteger - If the sepcified expression does not fold to 19331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// a constant, or if it does but contains a label, return 0. If it constant 19431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// folds to 'true' and does not contain a label, return 1, if it constant folds 19531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// to 'false' and does not contain a label, return -1. 19631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattnerint CodeGenFunction::ConstantFoldsToSimpleInteger(const Expr *Cond) { 19731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner APValue V; 19836bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar 19936bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar // FIXME: Rename and handle conversion of other evaluatable things 20036bc14c3a1cf63ee306df5687ac8e85f924f8639Daniel Dunbar // to bool. 201ef5a66d8171eb95e948107f8ee7707b360aaff25Anders Carlsson bool isEvaluated; 202ef5a66d8171eb95e948107f8ee7707b360aaff25Anders Carlsson if (!Cond->Evaluate(V, getContext(), &isEvaluated) || !V.isInt() || 203ef5a66d8171eb95e948107f8ee7707b360aaff25Anders Carlsson !isEvaluated) 204ef5a66d8171eb95e948107f8ee7707b360aaff25Anders Carlsson return 0; // Not foldable, not integer or not fully evaluatable. 20531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 20631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (CodeGenFunction::ContainsLabel(Cond)) 20731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return 0; // Contains a label. 20831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 20931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return V.getInt().getBoolValue() ? 1 : -1; 21031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner} 21131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 21231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 21331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g. for an if 21431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// statement) to the specified blocks. Based on the condition, this might try 21531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// to simplify the codegen of the conditional based on the branch. 21631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner/// 21731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattnervoid CodeGenFunction::EmitBranchOnBoolExpr(const Expr *Cond, 21831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::BasicBlock *TrueBlock, 21931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::BasicBlock *FalseBlock) { 22031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (const ParenExpr *PE = dyn_cast<ParenExpr>(Cond)) 22131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(PE->getSubExpr(), TrueBlock, FalseBlock); 22231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 22331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (const BinaryOperator *CondBOp = dyn_cast<BinaryOperator>(Cond)) { 22431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Handle X && Y in a condition. 22531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (CondBOp->getOpcode() == BinaryOperator::LAnd) { 22631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "1 && X", simplify the code. "0 && X" would have constant 22731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // folded if the case was simple enough. 22831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == 1) { 22931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(1 && X) -> br(X). 23031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 23131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 23231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 23331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "X && 1", simplify the code to use an uncond branch. 23431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // "X && 0" would have been constant folded to 0. 23531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == 1) { 23631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(X && 1) -> br(X). 23731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 23831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 23931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 24031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the LHS as a conditional. If the LHS conditional is false, we 24131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // want to jump to the FalseBlock. 2429615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *LHSTrue = createBasicBlock("land.lhs.true"); 24331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getLHS(), LHSTrue, FalseBlock); 24431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBlock(LHSTrue); 24531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 24631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 24731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return; 24831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } else if (CondBOp->getOpcode() == BinaryOperator::LOr) { 24931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "0 || X", simplify the code. "1 || X" would have constant 25031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // folded if the case was simple enough. 25131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == -1) { 25231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(0 || X) -> br(X). 25331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 25431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 25531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 25631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If we have "X || 0", simplify the code to use an uncond branch. 25731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // "X || 1" would have been constant folded to 1. 25831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == -1) { 25931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // br(X || 0) -> br(X). 26031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 26131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 26231a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 26331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the LHS as a conditional. If the LHS conditional is true, we 26431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // want to jump to the TrueBlock. 2659615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *LHSFalse = createBasicBlock("lor.lhs.false"); 26631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, LHSFalse); 26731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBlock(LHSFalse); 26831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 26931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 27031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return; 27131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 272552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner } 273552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner 274552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner if (const UnaryOperator *CondUOp = dyn_cast<UnaryOperator>(Cond)) { 275552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner // br(!x, t, f) -> br(x, f, t) 276552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner if (CondUOp->getOpcode() == UnaryOperator::LNot) 277552f4c45ba4f4a01f86d585edabd871a27829867Chris Lattner return EmitBranchOnBoolExpr(CondUOp->getSubExpr(), FalseBlock, TrueBlock); 27831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner } 27931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 28009b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar if (const ConditionalOperator *CondOp = dyn_cast<ConditionalOperator>(Cond)) { 28109b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // Handle ?: operator. 28209b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar 28309b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // Just ignore GNU ?: extension. 28409b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar if (CondOp->getLHS()) { 28509b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar // br(c ? x : y, t, f) -> br(c, br(x, t, f), br(y, t, f)) 28609b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar llvm::BasicBlock *LHSBlock = createBasicBlock("cond.true"); 28709b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar llvm::BasicBlock *RHSBlock = createBasicBlock("cond.false"); 28809b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getCond(), LHSBlock, RHSBlock); 28909b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBlock(LHSBlock); 29009b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getLHS(), TrueBlock, FalseBlock); 29109b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBlock(RHSBlock); 29209b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar EmitBranchOnBoolExpr(CondOp->getRHS(), TrueBlock, FalseBlock); 29309b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar return; 29409b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar } 29509b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar } 29609b14899039d828094c06ac25d60de62608e57b7Daniel Dunbar 29731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // Emit the code with the fully general case. 29831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner llvm::Value *CondV = EvaluateExprAsBool(Cond); 29931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner Builder.CreateCondBr(CondV, TrueBlock, FalseBlock); 30031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner} 30131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 30288a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel/// getCGRecordLayout - Return record layout info. 30388a981b47c7face1b1fdaa9074256245107b9ca9Devang Patelconst CGRecordLayout *CodeGenFunction::getCGRecordLayout(CodeGenTypes &CGT, 304af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner QualType Ty) { 305af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner const RecordType *RTy = Ty->getAsRecordType(); 306af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner assert (RTy && "Unexpected type. RecordType expected here."); 307b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel 308af31913e48c96fddb45a0fd33f25617546502cbbChris Lattner return CGT.getCGRecordLayout(RTy->getDecl()); 309b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel} 310dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner 311488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar/// ErrorUnsupported - Print out an error that codegen doesn't support the 312dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner/// specified stmt yet. 31390df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbarvoid CodeGenFunction::ErrorUnsupported(const Stmt *S, const char *Type, 31490df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbar bool OmitOnError) { 31590df4b6661968a84bf64baee489bb2f6d948fcc1Daniel Dunbar CGM.ErrorUnsupported(S, Type, OmitOnError); 316dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner} 317dc5e8268292046114ffe02e48773572a91a310f1Chris Lattner 3180ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbarunsigned CodeGenFunction::GetIDForAddrOfLabel(const LabelStmt *L) { 3190ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // Use LabelIDs.size() as the new ID if one hasn't been assigned. 3200ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar return LabelIDs.insert(std::make_pair(L, LabelIDs.size())).first->second; 3210ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar} 3220ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 3233d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlssonvoid CodeGenFunction::EmitMemSetToZero(llvm::Value *DestPtr, QualType Ty) 3243d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson{ 3253d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 3263d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson if (DestPtr->getType() != BP) 3273d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 3283d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3293d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // Get size and alignment info for this aggregate. 3303d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty); 3313d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3323d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // FIXME: Handle variable sized types. 3333d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson const llvm::Type *IntPtr = llvm::IntegerType::get(LLVMPointerWidth); 3343d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3353d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson Builder.CreateCall4(CGM.getMemSetFn(), DestPtr, 3363d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson llvm::ConstantInt::getNullValue(llvm::Type::Int8Ty), 3373d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson // TypeInfo.first describes size in bits. 3383d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 3393d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson llvm::ConstantInt::get(llvm::Type::Int32Ty, 3403d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson TypeInfo.second/8)); 3413d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson} 3423d8400d9a61aa4b63ff35e5cede405b32a41425eAnders Carlsson 3430ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbarvoid CodeGenFunction::EmitIndirectSwitches() { 3440ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::BasicBlock *Default; 3450ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 34676526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar if (IndirectSwitches.empty()) 34776526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar return; 34876526a5245ec2283b0c85fcef507d4c2dec90715Daniel Dunbar 3490ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar if (!LabelIDs.empty()) { 3500ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar Default = getBasicBlockForLabel(LabelIDs.begin()->first); 3510ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } else { 3520ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // No possible targets for indirect goto, just emit an infinite 3530ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar // loop. 35455e874299f2ad827646a4ca9ea38c402aaeb38c9Daniel Dunbar Default = createBasicBlock("indirectgoto.loop", CurFn); 3550ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::BranchInst::Create(Default, Default); 3560ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 3570ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 3580ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar for (std::vector<llvm::SwitchInst*>::iterator i = IndirectSwitches.begin(), 3590ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar e = IndirectSwitches.end(); i != e; ++i) { 3600ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar llvm::SwitchInst *I = *i; 3610ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar 3620ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar I->setSuccessor(0, Default); 3630ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar for (std::map<const LabelStmt*,unsigned>::iterator LI = LabelIDs.begin(), 3640ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar LE = LabelIDs.end(); LI != LE; ++LI) { 3650ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar I->addCase(llvm::ConstantInt::get(llvm::Type::Int32Ty, 3660ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar LI->second), 3670ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar getBasicBlockForLabel(LI->first)); 3680ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 3690ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 3700ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar} 371ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 372ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlssonllvm::Value *CodeGenFunction::EmitVAArg(llvm::Value *VAListAddr, QualType Ty) 373ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson{ 374ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson // FIXME: This entire method is hardcoded for 32-bit X86. 375ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 376ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const char *TargetPrefix = getContext().Target.getTargetPrefix(); 377ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 378ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson if (strcmp(TargetPrefix, "x86") != 0 || 379ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson getContext().Target.getPointerWidth(0) != 32) 380ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return 0; 381ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 382ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 383ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const llvm::Type *BPP = llvm::PointerType::getUnqual(BP); 384ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 385ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *VAListAddrAsBPP = Builder.CreateBitCast(VAListAddr, BPP, 386ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson "ap"); 387ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *Addr = Builder.CreateLoad(VAListAddrAsBPP, "ap.cur"); 388ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *AddrTyped = 389ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson Builder.CreateBitCast(Addr, 390ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::PointerType::getUnqual(ConvertType(Ty))); 391ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 392ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson uint64_t SizeInBytes = getContext().getTypeSize(Ty) / 8; 393ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson const unsigned ArgumentSizeInBytes = 4; 394ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson if (SizeInBytes < ArgumentSizeInBytes) 395ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson SizeInBytes = ArgumentSizeInBytes; 396ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 397ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *NextAddr = 398ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson Builder.CreateGEP(Addr, 399ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::ConstantInt::get(llvm::Type::Int32Ty, SizeInBytes), 400ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson "ap.next"); 401ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson Builder.CreateStore(NextAddr, VAListAddrAsBPP); 402ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 403ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return AddrTyped; 404ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson} 405ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 406