1 //===--- CodeGenFunction.cpp - Emit LLVM Code from ASTs for a Function ----===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This coordinates the per-function state used while generating code. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "CodeGenFunction.h" 15 #include "CodeGenModule.h" 16 #include "CGCXXABI.h" 17 #include "CGDebugInfo.h" 18 #include "CGException.h" 19 #include "clang/Basic/TargetInfo.h" 20 #include "clang/AST/APValue.h" 21 #include "clang/AST/ASTContext.h" 22 #include "clang/AST/Decl.h" 23 #include "clang/AST/DeclCXX.h" 24 #include "clang/AST/StmtCXX.h" 25 #include "clang/Frontend/CodeGenOptions.h" 26 #include "llvm/Target/TargetData.h" 27 #include "llvm/Intrinsics.h" 28 using namespace clang; 29 using namespace CodeGen; 30 31 CodeGenFunction::CodeGenFunction(CodeGenModule &cgm) 32 : CGM(cgm), Target(CGM.getContext().Target), 33 Builder(cgm.getModule().getContext()), 34 BlockInfo(0), BlockPointer(0), 35 NormalCleanupDest(0), EHCleanupDest(0), NextCleanupDestIndex(1), 36 ExceptionSlot(0), DebugInfo(0), IndirectBranch(0), 37 SwitchInsn(0), CaseRangeBlock(0), 38 DidCallStackSave(false), UnreachableBlock(0), 39 CXXThisDecl(0), CXXThisValue(0), CXXVTTDecl(0), CXXVTTValue(0), 40 OutermostConditional(0), TerminateLandingPad(0), TerminateHandler(0), 41 TrapBB(0) { 42 43 // Get some frequently used types. 44 LLVMPointerWidth = Target.getPointerWidth(0); 45 llvm::LLVMContext &LLVMContext = CGM.getLLVMContext(); 46 IntPtrTy = llvm::IntegerType::get(LLVMContext, LLVMPointerWidth); 47 Int32Ty = llvm::Type::getInt32Ty(LLVMContext); 48 Int64Ty = llvm::Type::getInt64Ty(LLVMContext); 49 Int8PtrTy = cgm.Int8PtrTy; 50 51 Exceptions = getContext().getLangOptions().Exceptions; 52 CatchUndefined = getContext().getLangOptions().CatchUndefined; 53 CGM.getCXXABI().getMangleContext().startNewFunction(); 54 } 55 56 ASTContext &CodeGenFunction::getContext() const { 57 return CGM.getContext(); 58 } 59 60 61 const llvm::Type *CodeGenFunction::ConvertTypeForMem(QualType T) { 62 return CGM.getTypes().ConvertTypeForMem(T); 63 } 64 65 const llvm::Type *CodeGenFunction::ConvertType(QualType T) { 66 return CGM.getTypes().ConvertType(T); 67 } 68 69 bool CodeGenFunction::hasAggregateLLVMType(QualType T) { 70 return T->isRecordType() || T->isArrayType() || T->isAnyComplexType() || 71 T->isObjCObjectType(); 72 } 73 74 void CodeGenFunction::EmitReturnBlock() { 75 // For cleanliness, we try to avoid emitting the return block for 76 // simple cases. 77 llvm::BasicBlock *CurBB = Builder.GetInsertBlock(); 78 79 if (CurBB) { 80 assert(!CurBB->getTerminator() && "Unexpected terminated block."); 81 82 // We have a valid insert point, reuse it if it is empty or there are no 83 // explicit jumps to the return block. 84 if (CurBB->empty() || ReturnBlock.getBlock()->use_empty()) { 85 ReturnBlock.getBlock()->replaceAllUsesWith(CurBB); 86 delete ReturnBlock.getBlock(); 87 } else 88 EmitBlock(ReturnBlock.getBlock()); 89 return; 90 } 91 92 // Otherwise, if the return block is the target of a single direct 93 // branch then we can just put the code in that block instead. This 94 // cleans up functions which started with a unified return block. 95 if (ReturnBlock.getBlock()->hasOneUse()) { 96 llvm::BranchInst *BI = 97 dyn_cast<llvm::BranchInst>(*ReturnBlock.getBlock()->use_begin()); 98 if (BI && BI->isUnconditional() && 99 BI->getSuccessor(0) == ReturnBlock.getBlock()) { 100 // Reset insertion point and delete the branch. 101 Builder.SetInsertPoint(BI->getParent()); 102 BI->eraseFromParent(); 103 delete ReturnBlock.getBlock(); 104 return; 105 } 106 } 107 108 // FIXME: We are at an unreachable point, there is no reason to emit the block 109 // unless it has uses. However, we still need a place to put the debug 110 // region.end for now. 111 112 EmitBlock(ReturnBlock.getBlock()); 113 } 114 115 static void EmitIfUsed(CodeGenFunction &CGF, llvm::BasicBlock *BB) { 116 if (!BB) return; 117 if (!BB->use_empty()) 118 return CGF.CurFn->getBasicBlockList().push_back(BB); 119 delete BB; 120 } 121 122 void CodeGenFunction::FinishFunction(SourceLocation EndLoc) { 123 assert(BreakContinueStack.empty() && 124 "mismatched push/pop in break/continue stack!"); 125 126 // Emit function epilog (to return). 127 EmitReturnBlock(); 128 129 if (ShouldInstrumentFunction()) 130 EmitFunctionInstrumentation("__cyg_profile_func_exit"); 131 132 // Emit debug descriptor for function end. 133 if (CGDebugInfo *DI = getDebugInfo()) { 134 DI->setLocation(EndLoc); 135 DI->EmitFunctionEnd(Builder); 136 } 137 138 EmitFunctionEpilog(*CurFnInfo); 139 EmitEndEHSpec(CurCodeDecl); 140 141 assert(EHStack.empty() && 142 "did not remove all scopes from cleanup stack!"); 143 144 // If someone did an indirect goto, emit the indirect goto block at the end of 145 // the function. 146 if (IndirectBranch) { 147 EmitBlock(IndirectBranch->getParent()); 148 Builder.ClearInsertionPoint(); 149 } 150 151 // Remove the AllocaInsertPt instruction, which is just a convenience for us. 152 llvm::Instruction *Ptr = AllocaInsertPt; 153 AllocaInsertPt = 0; 154 Ptr->eraseFromParent(); 155 156 // If someone took the address of a label but never did an indirect goto, we 157 // made a zero entry PHI node, which is illegal, zap it now. 158 if (IndirectBranch) { 159 llvm::PHINode *PN = cast<llvm::PHINode>(IndirectBranch->getAddress()); 160 if (PN->getNumIncomingValues() == 0) { 161 PN->replaceAllUsesWith(llvm::UndefValue::get(PN->getType())); 162 PN->eraseFromParent(); 163 } 164 } 165 166 EmitIfUsed(*this, RethrowBlock.getBlock()); 167 EmitIfUsed(*this, TerminateLandingPad); 168 EmitIfUsed(*this, TerminateHandler); 169 EmitIfUsed(*this, UnreachableBlock); 170 171 if (CGM.getCodeGenOpts().EmitDeclMetadata) 172 EmitDeclMetadata(); 173 } 174 175 /// ShouldInstrumentFunction - Return true if the current function should be 176 /// instrumented with __cyg_profile_func_* calls 177 bool CodeGenFunction::ShouldInstrumentFunction() { 178 if (!CGM.getCodeGenOpts().InstrumentFunctions) 179 return false; 180 if (CurFuncDecl->hasAttr<NoInstrumentFunctionAttr>()) 181 return false; 182 return true; 183 } 184 185 /// EmitFunctionInstrumentation - Emit LLVM code to call the specified 186 /// instrumentation function with the current function and the call site, if 187 /// function instrumentation is enabled. 188 void CodeGenFunction::EmitFunctionInstrumentation(const char *Fn) { 189 const llvm::PointerType *PointerTy; 190 const llvm::FunctionType *FunctionTy; 191 std::vector<const llvm::Type*> ProfileFuncArgs; 192 193 // void __cyg_profile_func_{enter,exit} (void *this_fn, void *call_site); 194 PointerTy = Int8PtrTy; 195 ProfileFuncArgs.push_back(PointerTy); 196 ProfileFuncArgs.push_back(PointerTy); 197 FunctionTy = llvm::FunctionType::get(llvm::Type::getVoidTy(getLLVMContext()), 198 ProfileFuncArgs, false); 199 200 llvm::Constant *F = CGM.CreateRuntimeFunction(FunctionTy, Fn); 201 llvm::CallInst *CallSite = Builder.CreateCall( 202 CGM.getIntrinsic(llvm::Intrinsic::returnaddress, 0, 0), 203 llvm::ConstantInt::get(Int32Ty, 0), 204 "callsite"); 205 206 Builder.CreateCall2(F, 207 llvm::ConstantExpr::getBitCast(CurFn, PointerTy), 208 CallSite); 209 } 210 211 void CodeGenFunction::EmitMCountInstrumentation() { 212 llvm::FunctionType *FTy = 213 llvm::FunctionType::get(llvm::Type::getVoidTy(getLLVMContext()), false); 214 215 llvm::Constant *MCountFn = CGM.CreateRuntimeFunction(FTy, 216 Target.getMCountName()); 217 Builder.CreateCall(MCountFn); 218 } 219 220 void CodeGenFunction::StartFunction(GlobalDecl GD, QualType RetTy, 221 llvm::Function *Fn, 222 const FunctionArgList &Args, 223 SourceLocation StartLoc) { 224 const Decl *D = GD.getDecl(); 225 226 DidCallStackSave = false; 227 CurCodeDecl = CurFuncDecl = D; 228 FnRetTy = RetTy; 229 CurFn = Fn; 230 assert(CurFn->isDeclaration() && "Function already has body?"); 231 232 // Pass inline keyword to optimizer if it appears explicitly on any 233 // declaration. 234 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(D)) 235 for (FunctionDecl::redecl_iterator RI = FD->redecls_begin(), 236 RE = FD->redecls_end(); RI != RE; ++RI) 237 if (RI->isInlineSpecified()) { 238 Fn->addFnAttr(llvm::Attribute::InlineHint); 239 break; 240 } 241 242 llvm::BasicBlock *EntryBB = createBasicBlock("entry", CurFn); 243 244 // Create a marker to make it easy to insert allocas into the entryblock 245 // later. Don't create this with the builder, because we don't want it 246 // folded. 247 llvm::Value *Undef = llvm::UndefValue::get(Int32Ty); 248 AllocaInsertPt = new llvm::BitCastInst(Undef, Int32Ty, "", EntryBB); 249 if (Builder.isNamePreserving()) 250 AllocaInsertPt->setName("allocapt"); 251 252 ReturnBlock = getJumpDestInCurrentScope("return"); 253 254 Builder.SetInsertPoint(EntryBB); 255 256 // Emit subprogram debug descriptor. 257 if (CGDebugInfo *DI = getDebugInfo()) { 258 // FIXME: what is going on here and why does it ignore all these 259 // interesting type properties? 260 QualType FnType = 261 getContext().getFunctionType(RetTy, 0, 0, 262 FunctionProtoType::ExtProtoInfo()); 263 264 DI->setLocation(StartLoc); 265 DI->EmitFunctionStart(GD, FnType, CurFn, Builder); 266 } 267 268 if (ShouldInstrumentFunction()) 269 EmitFunctionInstrumentation("__cyg_profile_func_enter"); 270 271 if (CGM.getCodeGenOpts().InstrumentForProfiling) 272 EmitMCountInstrumentation(); 273 274 // FIXME: Leaked. 275 // CC info is ignored, hopefully? 276 CurFnInfo = &CGM.getTypes().getFunctionInfo(FnRetTy, Args, 277 FunctionType::ExtInfo()); 278 279 if (RetTy->isVoidType()) { 280 // Void type; nothing to return. 281 ReturnValue = 0; 282 } else if (CurFnInfo->getReturnInfo().getKind() == ABIArgInfo::Indirect && 283 hasAggregateLLVMType(CurFnInfo->getReturnType())) { 284 // Indirect aggregate return; emit returned value directly into sret slot. 285 // This reduces code size, and affects correctness in C++. 286 ReturnValue = CurFn->arg_begin(); 287 } else { 288 ReturnValue = CreateIRTemp(RetTy, "retval"); 289 } 290 291 EmitStartEHSpec(CurCodeDecl); 292 EmitFunctionProlog(*CurFnInfo, CurFn, Args); 293 294 if (D && isa<CXXMethodDecl>(D) && cast<CXXMethodDecl>(D)->isInstance()) 295 CGM.getCXXABI().EmitInstanceFunctionProlog(*this); 296 297 // If any of the arguments have a variably modified type, make sure to 298 // emit the type size. 299 for (FunctionArgList::const_iterator i = Args.begin(), e = Args.end(); 300 i != e; ++i) { 301 QualType Ty = i->second; 302 303 if (Ty->isVariablyModifiedType()) 304 EmitVLASize(Ty); 305 } 306 } 307 308 void CodeGenFunction::EmitFunctionBody(FunctionArgList &Args) { 309 const FunctionDecl *FD = cast<FunctionDecl>(CurGD.getDecl()); 310 assert(FD->getBody()); 311 EmitStmt(FD->getBody()); 312 } 313 314 /// Tries to mark the given function nounwind based on the 315 /// non-existence of any throwing calls within it. We believe this is 316 /// lightweight enough to do at -O0. 317 static void TryMarkNoThrow(llvm::Function *F) { 318 // LLVM treats 'nounwind' on a function as part of the type, so we 319 // can't do this on functions that can be overwritten. 320 if (F->mayBeOverridden()) return; 321 322 for (llvm::Function::iterator FI = F->begin(), FE = F->end(); FI != FE; ++FI) 323 for (llvm::BasicBlock::iterator 324 BI = FI->begin(), BE = FI->end(); BI != BE; ++BI) 325 if (llvm::CallInst *Call = dyn_cast<llvm::CallInst>(&*BI)) 326 if (!Call->doesNotThrow()) 327 return; 328 F->setDoesNotThrow(true); 329 } 330 331 void CodeGenFunction::GenerateCode(GlobalDecl GD, llvm::Function *Fn) { 332 const FunctionDecl *FD = cast<FunctionDecl>(GD.getDecl()); 333 334 // Check if we should generate debug info for this function. 335 if (CGM.getDebugInfo() && !FD->hasAttr<NoDebugAttr>()) 336 DebugInfo = CGM.getDebugInfo(); 337 338 FunctionArgList Args; 339 QualType ResTy = FD->getResultType(); 340 341 CurGD = GD; 342 if (isa<CXXMethodDecl>(FD) && cast<CXXMethodDecl>(FD)->isInstance()) 343 CGM.getCXXABI().BuildInstanceFunctionParams(*this, ResTy, Args); 344 345 if (FD->getNumParams()) { 346 const FunctionProtoType* FProto = FD->getType()->getAs<FunctionProtoType>(); 347 assert(FProto && "Function def must have prototype!"); 348 349 for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) 350 Args.push_back(std::make_pair(FD->getParamDecl(i), 351 FProto->getArgType(i))); 352 } 353 354 SourceRange BodyRange; 355 if (Stmt *Body = FD->getBody()) BodyRange = Body->getSourceRange(); 356 357 // Emit the standard function prologue. 358 StartFunction(GD, ResTy, Fn, Args, BodyRange.getBegin()); 359 360 // Generate the body of the function. 361 if (isa<CXXDestructorDecl>(FD)) 362 EmitDestructorBody(Args); 363 else if (isa<CXXConstructorDecl>(FD)) 364 EmitConstructorBody(Args); 365 else 366 EmitFunctionBody(Args); 367 368 // Emit the standard function epilogue. 369 FinishFunction(BodyRange.getEnd()); 370 371 // If we haven't marked the function nothrow through other means, do 372 // a quick pass now to see if we can. 373 if (!CurFn->doesNotThrow()) 374 TryMarkNoThrow(CurFn); 375 } 376 377 /// ContainsLabel - Return true if the statement contains a label in it. If 378 /// this statement is not executed normally, it not containing a label means 379 /// that we can just remove the code. 380 bool CodeGenFunction::ContainsLabel(const Stmt *S, bool IgnoreCaseStmts) { 381 // Null statement, not a label! 382 if (S == 0) return false; 383 384 // If this is a label, we have to emit the code, consider something like: 385 // if (0) { ... foo: bar(); } goto foo; 386 if (isa<LabelStmt>(S)) 387 return true; 388 389 // If this is a case/default statement, and we haven't seen a switch, we have 390 // to emit the code. 391 if (isa<SwitchCase>(S) && !IgnoreCaseStmts) 392 return true; 393 394 // If this is a switch statement, we want to ignore cases below it. 395 if (isa<SwitchStmt>(S)) 396 IgnoreCaseStmts = true; 397 398 // Scan subexpressions for verboten labels. 399 for (Stmt::const_child_iterator I = S->child_begin(), E = S->child_end(); 400 I != E; ++I) 401 if (ContainsLabel(*I, IgnoreCaseStmts)) 402 return true; 403 404 return false; 405 } 406 407 408 /// ConstantFoldsToSimpleInteger - If the sepcified expression does not fold to 409 /// a constant, or if it does but contains a label, return 0. If it constant 410 /// folds to 'true' and does not contain a label, return 1, if it constant folds 411 /// to 'false' and does not contain a label, return -1. 412 int CodeGenFunction::ConstantFoldsToSimpleInteger(const Expr *Cond) { 413 // FIXME: Rename and handle conversion of other evaluatable things 414 // to bool. 415 Expr::EvalResult Result; 416 if (!Cond->Evaluate(Result, getContext()) || !Result.Val.isInt() || 417 Result.HasSideEffects) 418 return 0; // Not foldable, not integer or not fully evaluatable. 419 420 if (CodeGenFunction::ContainsLabel(Cond)) 421 return 0; // Contains a label. 422 423 return Result.Val.getInt().getBoolValue() ? 1 : -1; 424 } 425 426 427 /// EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g. for an if 428 /// statement) to the specified blocks. Based on the condition, this might try 429 /// to simplify the codegen of the conditional based on the branch. 430 /// 431 void CodeGenFunction::EmitBranchOnBoolExpr(const Expr *Cond, 432 llvm::BasicBlock *TrueBlock, 433 llvm::BasicBlock *FalseBlock) { 434 if (const ParenExpr *PE = dyn_cast<ParenExpr>(Cond)) 435 return EmitBranchOnBoolExpr(PE->getSubExpr(), TrueBlock, FalseBlock); 436 437 if (const BinaryOperator *CondBOp = dyn_cast<BinaryOperator>(Cond)) { 438 // Handle X && Y in a condition. 439 if (CondBOp->getOpcode() == BO_LAnd) { 440 // If we have "1 && X", simplify the code. "0 && X" would have constant 441 // folded if the case was simple enough. 442 if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == 1) { 443 // br(1 && X) -> br(X). 444 return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 445 } 446 447 // If we have "X && 1", simplify the code to use an uncond branch. 448 // "X && 0" would have been constant folded to 0. 449 if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == 1) { 450 // br(X && 1) -> br(X). 451 return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 452 } 453 454 // Emit the LHS as a conditional. If the LHS conditional is false, we 455 // want to jump to the FalseBlock. 456 llvm::BasicBlock *LHSTrue = createBasicBlock("land.lhs.true"); 457 458 ConditionalEvaluation eval(*this); 459 EmitBranchOnBoolExpr(CondBOp->getLHS(), LHSTrue, FalseBlock); 460 EmitBlock(LHSTrue); 461 462 // Any temporaries created here are conditional. 463 eval.begin(*this); 464 EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 465 eval.end(*this); 466 467 return; 468 } else if (CondBOp->getOpcode() == BO_LOr) { 469 // If we have "0 || X", simplify the code. "1 || X" would have constant 470 // folded if the case was simple enough. 471 if (ConstantFoldsToSimpleInteger(CondBOp->getLHS()) == -1) { 472 // br(0 || X) -> br(X). 473 return EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 474 } 475 476 // If we have "X || 0", simplify the code to use an uncond branch. 477 // "X || 1" would have been constant folded to 1. 478 if (ConstantFoldsToSimpleInteger(CondBOp->getRHS()) == -1) { 479 // br(X || 0) -> br(X). 480 return EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, FalseBlock); 481 } 482 483 // Emit the LHS as a conditional. If the LHS conditional is true, we 484 // want to jump to the TrueBlock. 485 llvm::BasicBlock *LHSFalse = createBasicBlock("lor.lhs.false"); 486 487 ConditionalEvaluation eval(*this); 488 EmitBranchOnBoolExpr(CondBOp->getLHS(), TrueBlock, LHSFalse); 489 EmitBlock(LHSFalse); 490 491 // Any temporaries created here are conditional. 492 eval.begin(*this); 493 EmitBranchOnBoolExpr(CondBOp->getRHS(), TrueBlock, FalseBlock); 494 eval.end(*this); 495 496 return; 497 } 498 } 499 500 if (const UnaryOperator *CondUOp = dyn_cast<UnaryOperator>(Cond)) { 501 // br(!x, t, f) -> br(x, f, t) 502 if (CondUOp->getOpcode() == UO_LNot) 503 return EmitBranchOnBoolExpr(CondUOp->getSubExpr(), FalseBlock, TrueBlock); 504 } 505 506 if (const ConditionalOperator *CondOp = dyn_cast<ConditionalOperator>(Cond)) { 507 // Handle ?: operator. 508 509 // Just ignore GNU ?: extension. 510 if (CondOp->getLHS()) { 511 // br(c ? x : y, t, f) -> br(c, br(x, t, f), br(y, t, f)) 512 llvm::BasicBlock *LHSBlock = createBasicBlock("cond.true"); 513 llvm::BasicBlock *RHSBlock = createBasicBlock("cond.false"); 514 515 ConditionalEvaluation cond(*this); 516 EmitBranchOnBoolExpr(CondOp->getCond(), LHSBlock, RHSBlock); 517 518 cond.begin(*this); 519 EmitBlock(LHSBlock); 520 EmitBranchOnBoolExpr(CondOp->getLHS(), TrueBlock, FalseBlock); 521 cond.end(*this); 522 523 cond.begin(*this); 524 EmitBlock(RHSBlock); 525 EmitBranchOnBoolExpr(CondOp->getRHS(), TrueBlock, FalseBlock); 526 cond.end(*this); 527 528 return; 529 } 530 } 531 532 // Emit the code with the fully general case. 533 llvm::Value *CondV = EvaluateExprAsBool(Cond); 534 Builder.CreateCondBr(CondV, TrueBlock, FalseBlock); 535 } 536 537 /// ErrorUnsupported - Print out an error that codegen doesn't support the 538 /// specified stmt yet. 539 void CodeGenFunction::ErrorUnsupported(const Stmt *S, const char *Type, 540 bool OmitOnError) { 541 CGM.ErrorUnsupported(S, Type, OmitOnError); 542 } 543 544 /// emitNonZeroVLAInit - Emit the "zero" initialization of a 545 /// variable-length array whose elements have a non-zero bit-pattern. 546 /// 547 /// \param src - a char* pointing to the bit-pattern for a single 548 /// base element of the array 549 /// \param sizeInChars - the total size of the VLA, in chars 550 /// \param align - the total alignment of the VLA 551 static void emitNonZeroVLAInit(CodeGenFunction &CGF, QualType baseType, 552 llvm::Value *dest, llvm::Value *src, 553 llvm::Value *sizeInChars) { 554 std::pair<CharUnits,CharUnits> baseSizeAndAlign 555 = CGF.getContext().getTypeInfoInChars(baseType); 556 557 CGBuilderTy &Builder = CGF.Builder; 558 559 llvm::Value *baseSizeInChars 560 = llvm::ConstantInt::get(CGF.IntPtrTy, baseSizeAndAlign.first.getQuantity()); 561 562 const llvm::Type *i8p = Builder.getInt8PtrTy(); 563 564 llvm::Value *begin = Builder.CreateBitCast(dest, i8p, "vla.begin"); 565 llvm::Value *end = Builder.CreateInBoundsGEP(dest, sizeInChars, "vla.end"); 566 567 llvm::BasicBlock *originBB = CGF.Builder.GetInsertBlock(); 568 llvm::BasicBlock *loopBB = CGF.createBasicBlock("vla-init.loop"); 569 llvm::BasicBlock *contBB = CGF.createBasicBlock("vla-init.cont"); 570 571 // Make a loop over the VLA. C99 guarantees that the VLA element 572 // count must be nonzero. 573 CGF.EmitBlock(loopBB); 574 575 llvm::PHINode *cur = Builder.CreatePHI(i8p, "vla.cur"); 576 cur->reserveOperandSpace(2); 577 cur->addIncoming(begin, originBB); 578 579 // memcpy the individual element bit-pattern. 580 Builder.CreateMemCpy(cur, src, baseSizeInChars, 581 baseSizeAndAlign.second.getQuantity(), 582 /*volatile*/ false); 583 584 // Go to the next element. 585 llvm::Value *next = Builder.CreateConstInBoundsGEP1_32(cur, 1, "vla.next"); 586 587 // Leave if that's the end of the VLA. 588 llvm::Value *done = Builder.CreateICmpEQ(next, end, "vla-init.isdone"); 589 Builder.CreateCondBr(done, contBB, loopBB); 590 cur->addIncoming(next, loopBB); 591 592 CGF.EmitBlock(contBB); 593 } 594 595 void 596 CodeGenFunction::EmitNullInitialization(llvm::Value *DestPtr, QualType Ty) { 597 // Ignore empty classes in C++. 598 if (getContext().getLangOptions().CPlusPlus) { 599 if (const RecordType *RT = Ty->getAs<RecordType>()) { 600 if (cast<CXXRecordDecl>(RT->getDecl())->isEmpty()) 601 return; 602 } 603 } 604 605 // Cast the dest ptr to the appropriate i8 pointer type. 606 unsigned DestAS = 607 cast<llvm::PointerType>(DestPtr->getType())->getAddressSpace(); 608 const llvm::Type *BP = Builder.getInt8PtrTy(DestAS); 609 if (DestPtr->getType() != BP) 610 DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 611 612 // Get size and alignment info for this aggregate. 613 std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty); 614 uint64_t Size = TypeInfo.first / 8; 615 unsigned Align = TypeInfo.second / 8; 616 617 llvm::Value *SizeVal; 618 const VariableArrayType *vla; 619 620 // Don't bother emitting a zero-byte memset. 621 if (Size == 0) { 622 // But note that getTypeInfo returns 0 for a VLA. 623 if (const VariableArrayType *vlaType = 624 dyn_cast_or_null<VariableArrayType>( 625 getContext().getAsArrayType(Ty))) { 626 SizeVal = GetVLASize(vlaType); 627 vla = vlaType; 628 } else { 629 return; 630 } 631 } else { 632 SizeVal = llvm::ConstantInt::get(IntPtrTy, Size); 633 vla = 0; 634 } 635 636 // If the type contains a pointer to data member we can't memset it to zero. 637 // Instead, create a null constant and copy it to the destination. 638 // TODO: there are other patterns besides zero that we can usefully memset, 639 // like -1, which happens to be the pattern used by member-pointers. 640 if (!CGM.getTypes().isZeroInitializable(Ty)) { 641 // For a VLA, emit a single element, then splat that over the VLA. 642 if (vla) Ty = getContext().getBaseElementType(vla); 643 644 llvm::Constant *NullConstant = CGM.EmitNullConstant(Ty); 645 646 llvm::GlobalVariable *NullVariable = 647 new llvm::GlobalVariable(CGM.getModule(), NullConstant->getType(), 648 /*isConstant=*/true, 649 llvm::GlobalVariable::PrivateLinkage, 650 NullConstant, llvm::Twine()); 651 llvm::Value *SrcPtr = 652 Builder.CreateBitCast(NullVariable, Builder.getInt8PtrTy()); 653 654 if (vla) return emitNonZeroVLAInit(*this, Ty, DestPtr, SrcPtr, SizeVal); 655 656 // Get and call the appropriate llvm.memcpy overload. 657 Builder.CreateMemCpy(DestPtr, SrcPtr, SizeVal, Align, false); 658 return; 659 } 660 661 // Otherwise, just memset the whole thing to zero. This is legal 662 // because in LLVM, all default initializers (other than the ones we just 663 // handled above) are guaranteed to have a bit pattern of all zeros. 664 Builder.CreateMemSet(DestPtr, Builder.getInt8(0), SizeVal, Align, false); 665 } 666 667 llvm::BlockAddress *CodeGenFunction::GetAddrOfLabel(const LabelStmt *L) { 668 // Make sure that there is a block for the indirect goto. 669 if (IndirectBranch == 0) 670 GetIndirectGotoBlock(); 671 672 llvm::BasicBlock *BB = getJumpDestForLabel(L).getBlock(); 673 674 // Make sure the indirect branch includes all of the address-taken blocks. 675 IndirectBranch->addDestination(BB); 676 return llvm::BlockAddress::get(CurFn, BB); 677 } 678 679 llvm::BasicBlock *CodeGenFunction::GetIndirectGotoBlock() { 680 // If we already made the indirect branch for indirect goto, return its block. 681 if (IndirectBranch) return IndirectBranch->getParent(); 682 683 CGBuilderTy TmpBuilder(createBasicBlock("indirectgoto")); 684 685 // Create the PHI node that indirect gotos will add entries to. 686 llvm::Value *DestVal = TmpBuilder.CreatePHI(Int8PtrTy, "indirect.goto.dest"); 687 688 // Create the indirect branch instruction. 689 IndirectBranch = TmpBuilder.CreateIndirectBr(DestVal); 690 return IndirectBranch->getParent(); 691 } 692 693 llvm::Value *CodeGenFunction::GetVLASize(const VariableArrayType *VAT) { 694 llvm::Value *&SizeEntry = VLASizeMap[VAT->getSizeExpr()]; 695 696 assert(SizeEntry && "Did not emit size for type"); 697 return SizeEntry; 698 } 699 700 llvm::Value *CodeGenFunction::EmitVLASize(QualType Ty) { 701 assert(Ty->isVariablyModifiedType() && 702 "Must pass variably modified type to EmitVLASizes!"); 703 704 EnsureInsertPoint(); 705 706 if (const VariableArrayType *VAT = getContext().getAsVariableArrayType(Ty)) { 707 // unknown size indication requires no size computation. 708 if (!VAT->getSizeExpr()) 709 return 0; 710 llvm::Value *&SizeEntry = VLASizeMap[VAT->getSizeExpr()]; 711 712 if (!SizeEntry) { 713 const llvm::Type *SizeTy = ConvertType(getContext().getSizeType()); 714 715 // Get the element size; 716 QualType ElemTy = VAT->getElementType(); 717 llvm::Value *ElemSize; 718 if (ElemTy->isVariableArrayType()) 719 ElemSize = EmitVLASize(ElemTy); 720 else 721 ElemSize = llvm::ConstantInt::get(SizeTy, 722 getContext().getTypeSizeInChars(ElemTy).getQuantity()); 723 724 llvm::Value *NumElements = EmitScalarExpr(VAT->getSizeExpr()); 725 NumElements = Builder.CreateIntCast(NumElements, SizeTy, false, "tmp"); 726 727 SizeEntry = Builder.CreateMul(ElemSize, NumElements); 728 } 729 730 return SizeEntry; 731 } 732 733 if (const ArrayType *AT = dyn_cast<ArrayType>(Ty)) { 734 EmitVLASize(AT->getElementType()); 735 return 0; 736 } 737 738 if (const ParenType *PT = dyn_cast<ParenType>(Ty)) { 739 EmitVLASize(PT->getInnerType()); 740 return 0; 741 } 742 743 const PointerType *PT = Ty->getAs<PointerType>(); 744 assert(PT && "unknown VM type!"); 745 EmitVLASize(PT->getPointeeType()); 746 return 0; 747 } 748 749 llvm::Value* CodeGenFunction::EmitVAListRef(const Expr* E) { 750 if (getContext().getBuiltinVaListType()->isArrayType()) 751 return EmitScalarExpr(E); 752 return EmitLValue(E).getAddress(); 753 } 754 755 void CodeGenFunction::EmitDeclRefExprDbgValue(const DeclRefExpr *E, 756 llvm::Constant *Init) { 757 assert (Init && "Invalid DeclRefExpr initializer!"); 758 if (CGDebugInfo *Dbg = getDebugInfo()) 759 Dbg->EmitGlobalVariable(E->getDecl(), Init); 760 } 761