1 //===--- CGExpr.cpp - Emit LLVM Code from Expressions ---------------------===// 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 contains code to emit Expr nodes as LLVM code. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "CodeGenFunction.h" 15 #include "CodeGenModule.h" 16 #include "CGCall.h" 17 #include "CGObjCRuntime.h" 18 #include "clang/AST/ASTContext.h" 19 #include "clang/AST/DeclObjC.h" 20 #include "llvm/Target/TargetData.h" 21 using namespace clang; 22 using namespace CodeGen; 23 24 //===--------------------------------------------------------------------===// 25 // Miscellaneous Helper Methods 26 //===--------------------------------------------------------------------===// 27 28 /// CreateTempAlloca - This creates a alloca and inserts it into the entry 29 /// block. 30 llvm::AllocaInst *CodeGenFunction::CreateTempAlloca(const llvm::Type *Ty, 31 const char *Name) { 32 return new llvm::AllocaInst(Ty, 0, Name, AllocaInsertPt); 33 } 34 35 /// EvaluateExprAsBool - Perform the usual unary conversions on the specified 36 /// expression and compare the result against zero, returning an Int1Ty value. 37 llvm::Value *CodeGenFunction::EvaluateExprAsBool(const Expr *E) { 38 QualType BoolTy = getContext().BoolTy; 39 if (!E->getType()->isAnyComplexType()) 40 return EmitScalarConversion(EmitScalarExpr(E), E->getType(), BoolTy); 41 42 return EmitComplexToScalarConversion(EmitComplexExpr(E), E->getType(),BoolTy); 43 } 44 45 /// EmitAnyExpr - Emit code to compute the specified expression which can have 46 /// any type. The result is returned as an RValue struct. If this is an 47 /// aggregate expression, the aggloc/agglocvolatile arguments indicate where 48 /// the result should be returned. 49 RValue CodeGenFunction::EmitAnyExpr(const Expr *E, llvm::Value *AggLoc, 50 bool isAggLocVolatile) { 51 if (!hasAggregateLLVMType(E->getType())) 52 return RValue::get(EmitScalarExpr(E)); 53 else if (E->getType()->isAnyComplexType()) 54 return RValue::getComplex(EmitComplexExpr(E)); 55 56 EmitAggExpr(E, AggLoc, isAggLocVolatile); 57 return RValue::getAggregate(AggLoc); 58 } 59 60 /// EmitAnyExprToTemp - Similary to EmitAnyExpr(), however, the result 61 /// will always be accessible even if no aggregate location is 62 /// provided. 63 RValue CodeGenFunction::EmitAnyExprToTemp(const Expr *E, llvm::Value *AggLoc, 64 bool isAggLocVolatile) { 65 if (!AggLoc && hasAggregateLLVMType(E->getType()) && 66 !E->getType()->isAnyComplexType()) 67 AggLoc = CreateTempAlloca(ConvertType(E->getType()), "agg.tmp"); 68 return EmitAnyExpr(E, AggLoc, isAggLocVolatile); 69 } 70 71 /// getAccessedFieldNo - Given an encoded value and a result number, return 72 /// the input field number being accessed. 73 unsigned CodeGenFunction::getAccessedFieldNo(unsigned Idx, 74 const llvm::Constant *Elts) { 75 if (isa<llvm::ConstantAggregateZero>(Elts)) 76 return 0; 77 78 return cast<llvm::ConstantInt>(Elts->getOperand(Idx))->getZExtValue(); 79 } 80 81 82 //===----------------------------------------------------------------------===// 83 // LValue Expression Emission 84 //===----------------------------------------------------------------------===// 85 86 RValue CodeGenFunction::GetUndefRValue(QualType Ty) { 87 if (Ty->isVoidType()) { 88 return RValue::get(0); 89 } else if (const ComplexType *CTy = Ty->getAsComplexType()) { 90 const llvm::Type *EltTy = ConvertType(CTy->getElementType()); 91 llvm::Value *U = llvm::UndefValue::get(EltTy); 92 return RValue::getComplex(std::make_pair(U, U)); 93 } else if (hasAggregateLLVMType(Ty)) { 94 const llvm::Type *LTy = llvm::PointerType::getUnqual(ConvertType(Ty)); 95 return RValue::getAggregate(llvm::UndefValue::get(LTy)); 96 } else { 97 return RValue::get(llvm::UndefValue::get(ConvertType(Ty))); 98 } 99 } 100 101 RValue CodeGenFunction::EmitUnsupportedRValue(const Expr *E, 102 const char *Name) { 103 ErrorUnsupported(E, Name); 104 return GetUndefRValue(E->getType()); 105 } 106 107 LValue CodeGenFunction::EmitUnsupportedLValue(const Expr *E, 108 const char *Name) { 109 ErrorUnsupported(E, Name); 110 llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType())); 111 return LValue::MakeAddr(llvm::UndefValue::get(Ty), 112 E->getType().getCVRQualifiers()); 113 } 114 115 /// EmitLValue - Emit code to compute a designator that specifies the location 116 /// of the expression. 117 /// 118 /// This can return one of two things: a simple address or a bitfield 119 /// reference. In either case, the LLVM Value* in the LValue structure is 120 /// guaranteed to be an LLVM pointer type. 121 /// 122 /// If this returns a bitfield reference, nothing about the pointee type of 123 /// the LLVM value is known: For example, it may not be a pointer to an 124 /// integer. 125 /// 126 /// If this returns a normal address, and if the lvalue's C type is fixed 127 /// size, this method guarantees that the returned pointer type will point to 128 /// an LLVM type of the same size of the lvalue's type. If the lvalue has a 129 /// variable length type, this is not possible. 130 /// 131 LValue CodeGenFunction::EmitLValue(const Expr *E) { 132 switch (E->getStmtClass()) { 133 default: return EmitUnsupportedLValue(E, "l-value expression"); 134 135 case Expr::BinaryOperatorClass: 136 return EmitBinaryOperatorLValue(cast<BinaryOperator>(E)); 137 case Expr::CallExprClass: 138 case Expr::CXXOperatorCallExprClass: 139 return EmitCallExprLValue(cast<CallExpr>(E)); 140 case Expr::DeclRefExprClass: 141 case Expr::QualifiedDeclRefExprClass: 142 return EmitDeclRefLValue(cast<DeclRefExpr>(E)); 143 case Expr::ParenExprClass:return EmitLValue(cast<ParenExpr>(E)->getSubExpr()); 144 case Expr::PredefinedExprClass: 145 return EmitPredefinedLValue(cast<PredefinedExpr>(E)); 146 case Expr::StringLiteralClass: 147 return EmitStringLiteralLValue(cast<StringLiteral>(E)); 148 149 case Expr::CXXConditionDeclExprClass: 150 return EmitCXXConditionDeclLValue(cast<CXXConditionDeclExpr>(E)); 151 152 case Expr::ObjCMessageExprClass: 153 return EmitObjCMessageExprLValue(cast<ObjCMessageExpr>(E)); 154 case Expr::ObjCIvarRefExprClass: 155 return EmitObjCIvarRefLValue(cast<ObjCIvarRefExpr>(E)); 156 case Expr::ObjCPropertyRefExprClass: 157 return EmitObjCPropertyRefLValue(cast<ObjCPropertyRefExpr>(E)); 158 case Expr::ObjCKVCRefExprClass: 159 return EmitObjCKVCRefLValue(cast<ObjCKVCRefExpr>(E)); 160 case Expr::ObjCSuperExprClass: 161 return EmitObjCSuperExpr(cast<ObjCSuperExpr>(E)); 162 163 case Expr::UnaryOperatorClass: 164 return EmitUnaryOpLValue(cast<UnaryOperator>(E)); 165 case Expr::ArraySubscriptExprClass: 166 return EmitArraySubscriptExpr(cast<ArraySubscriptExpr>(E)); 167 case Expr::ExtVectorElementExprClass: 168 return EmitExtVectorElementExpr(cast<ExtVectorElementExpr>(E)); 169 case Expr::MemberExprClass: return EmitMemberExpr(cast<MemberExpr>(E)); 170 case Expr::CompoundLiteralExprClass: 171 return EmitCompoundLiteralLValue(cast<CompoundLiteralExpr>(E)); 172 case Expr::ChooseExprClass: 173 // __builtin_choose_expr is the lvalue of the selected operand. 174 if (cast<ChooseExpr>(E)->isConditionTrue(getContext())) 175 return EmitLValue(cast<ChooseExpr>(E)->getLHS()); 176 else 177 return EmitLValue(cast<ChooseExpr>(E)->getRHS()); 178 } 179 } 180 181 /// EmitLoadOfLValue - Given an expression that represents a value lvalue, 182 /// this method emits the address of the lvalue, then loads the result as an 183 /// rvalue, returning the rvalue. 184 RValue CodeGenFunction::EmitLoadOfLValue(LValue LV, QualType ExprType) { 185 if (LV.isObjCWeak()) { 186 // load of a __weak object. 187 llvm::Value *AddrWeakObj = LV.getAddress(); 188 llvm::Value *read_weak = CGM.getObjCRuntime().EmitObjCWeakRead(*this, 189 AddrWeakObj); 190 return RValue::get(read_weak); 191 } 192 193 if (LV.isSimple()) { 194 llvm::Value *Ptr = LV.getAddress(); 195 const llvm::Type *EltTy = 196 cast<llvm::PointerType>(Ptr->getType())->getElementType(); 197 198 // Simple scalar l-value. 199 if (EltTy->isSingleValueType()) { 200 llvm::Value *V = Builder.CreateLoad(Ptr, LV.isVolatileQualified(),"tmp"); 201 202 // Bool can have different representation in memory than in registers. 203 if (ExprType->isBooleanType()) { 204 if (V->getType() != llvm::Type::Int1Ty) 205 V = Builder.CreateTrunc(V, llvm::Type::Int1Ty, "tobool"); 206 } 207 208 return RValue::get(V); 209 } 210 211 assert(ExprType->isFunctionType() && "Unknown scalar value"); 212 return RValue::get(Ptr); 213 } 214 215 if (LV.isVectorElt()) { 216 llvm::Value *Vec = Builder.CreateLoad(LV.getVectorAddr(), 217 LV.isVolatileQualified(), "tmp"); 218 return RValue::get(Builder.CreateExtractElement(Vec, LV.getVectorIdx(), 219 "vecext")); 220 } 221 222 // If this is a reference to a subset of the elements of a vector, either 223 // shuffle the input or extract/insert them as appropriate. 224 if (LV.isExtVectorElt()) 225 return EmitLoadOfExtVectorElementLValue(LV, ExprType); 226 227 if (LV.isBitfield()) 228 return EmitLoadOfBitfieldLValue(LV, ExprType); 229 230 if (LV.isPropertyRef()) 231 return EmitLoadOfPropertyRefLValue(LV, ExprType); 232 233 if (LV.isKVCRef()) 234 return EmitLoadOfKVCRefLValue(LV, ExprType); 235 236 assert(0 && "Unknown LValue type!"); 237 //an invalid RValue, but the assert will 238 //ensure that this point is never reached 239 return RValue(); 240 } 241 242 RValue CodeGenFunction::EmitLoadOfBitfieldLValue(LValue LV, 243 QualType ExprType) { 244 unsigned StartBit = LV.getBitfieldStartBit(); 245 unsigned BitfieldSize = LV.getBitfieldSize(); 246 llvm::Value *Ptr = LV.getBitfieldAddr(); 247 248 const llvm::Type *EltTy = 249 cast<llvm::PointerType>(Ptr->getType())->getElementType(); 250 unsigned EltTySize = CGM.getTargetData().getTypeSizeInBits(EltTy); 251 252 // In some cases the bitfield may straddle two memory locations. 253 // Currently we load the entire bitfield, then do the magic to 254 // sign-extend it if necessary. This results in somewhat more code 255 // than necessary for the common case (one load), since two shifts 256 // accomplish both the masking and sign extension. 257 unsigned LowBits = std::min(BitfieldSize, EltTySize - StartBit); 258 llvm::Value *Val = Builder.CreateLoad(Ptr, LV.isVolatileQualified(), "tmp"); 259 260 // Shift to proper location. 261 if (StartBit) 262 Val = Builder.CreateLShr(Val, llvm::ConstantInt::get(EltTy, StartBit), 263 "bf.lo"); 264 265 // Mask off unused bits. 266 llvm::Constant *LowMask = 267 llvm::ConstantInt::get(llvm::APInt::getLowBitsSet(EltTySize, LowBits)); 268 Val = Builder.CreateAnd(Val, LowMask, "bf.lo.cleared"); 269 270 // Fetch the high bits if necessary. 271 if (LowBits < BitfieldSize) { 272 unsigned HighBits = BitfieldSize - LowBits; 273 llvm::Value *HighPtr = 274 Builder.CreateGEP(Ptr, llvm::ConstantInt::get(llvm::Type::Int32Ty, 1), 275 "bf.ptr.hi"); 276 llvm::Value *HighVal = Builder.CreateLoad(HighPtr, 277 LV.isVolatileQualified(), 278 "tmp"); 279 280 // Mask off unused bits. 281 llvm::Constant *HighMask = 282 llvm::ConstantInt::get(llvm::APInt::getLowBitsSet(EltTySize, HighBits)); 283 HighVal = Builder.CreateAnd(HighVal, HighMask, "bf.lo.cleared"); 284 285 // Shift to proper location and or in to bitfield value. 286 HighVal = Builder.CreateShl(HighVal, 287 llvm::ConstantInt::get(EltTy, LowBits)); 288 Val = Builder.CreateOr(Val, HighVal, "bf.val"); 289 } 290 291 // Sign extend if necessary. 292 if (LV.isBitfieldSigned()) { 293 llvm::Value *ExtraBits = llvm::ConstantInt::get(EltTy, 294 EltTySize - BitfieldSize); 295 Val = Builder.CreateAShr(Builder.CreateShl(Val, ExtraBits), 296 ExtraBits, "bf.val.sext"); 297 } 298 299 // The bitfield type and the normal type differ when the storage sizes 300 // differ (currently just _Bool). 301 Val = Builder.CreateIntCast(Val, ConvertType(ExprType), false, "tmp"); 302 303 return RValue::get(Val); 304 } 305 306 RValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV, 307 QualType ExprType) { 308 return EmitObjCPropertyGet(LV.getPropertyRefExpr()); 309 } 310 311 RValue CodeGenFunction::EmitLoadOfKVCRefLValue(LValue LV, 312 QualType ExprType) { 313 return EmitObjCPropertyGet(LV.getKVCRefExpr()); 314 } 315 316 // If this is a reference to a subset of the elements of a vector, create an 317 // appropriate shufflevector. 318 RValue CodeGenFunction::EmitLoadOfExtVectorElementLValue(LValue LV, 319 QualType ExprType) { 320 llvm::Value *Vec = Builder.CreateLoad(LV.getExtVectorAddr(), 321 LV.isVolatileQualified(), "tmp"); 322 323 const llvm::Constant *Elts = LV.getExtVectorElts(); 324 325 // If the result of the expression is a non-vector type, we must be 326 // extracting a single element. Just codegen as an extractelement. 327 const VectorType *ExprVT = ExprType->getAsVectorType(); 328 if (!ExprVT) { 329 unsigned InIdx = getAccessedFieldNo(0, Elts); 330 llvm::Value *Elt = llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx); 331 return RValue::get(Builder.CreateExtractElement(Vec, Elt, "tmp")); 332 } 333 334 // Always use shuffle vector to try to retain the original program structure 335 unsigned NumResultElts = ExprVT->getNumElements(); 336 337 llvm::SmallVector<llvm::Constant*, 4> Mask; 338 for (unsigned i = 0; i != NumResultElts; ++i) { 339 unsigned InIdx = getAccessedFieldNo(i, Elts); 340 Mask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx)); 341 } 342 343 llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size()); 344 Vec = Builder.CreateShuffleVector(Vec, 345 llvm::UndefValue::get(Vec->getType()), 346 MaskV, "tmp"); 347 return RValue::get(Vec); 348 } 349 350 351 352 /// EmitStoreThroughLValue - Store the specified rvalue into the specified 353 /// lvalue, where both are guaranteed to the have the same type, and that type 354 /// is 'Ty'. 355 void CodeGenFunction::EmitStoreThroughLValue(RValue Src, LValue Dst, 356 QualType Ty) { 357 if (!Dst.isSimple()) { 358 if (Dst.isVectorElt()) { 359 // Read/modify/write the vector, inserting the new element. 360 llvm::Value *Vec = Builder.CreateLoad(Dst.getVectorAddr(), 361 Dst.isVolatileQualified(), "tmp"); 362 Vec = Builder.CreateInsertElement(Vec, Src.getScalarVal(), 363 Dst.getVectorIdx(), "vecins"); 364 Builder.CreateStore(Vec, Dst.getVectorAddr(),Dst.isVolatileQualified()); 365 return; 366 } 367 368 // If this is an update of extended vector elements, insert them as 369 // appropriate. 370 if (Dst.isExtVectorElt()) 371 return EmitStoreThroughExtVectorComponentLValue(Src, Dst, Ty); 372 373 if (Dst.isBitfield()) 374 return EmitStoreThroughBitfieldLValue(Src, Dst, Ty); 375 376 if (Dst.isPropertyRef()) 377 return EmitStoreThroughPropertyRefLValue(Src, Dst, Ty); 378 379 if (Dst.isKVCRef()) 380 return EmitStoreThroughKVCRefLValue(Src, Dst, Ty); 381 382 assert(0 && "Unknown LValue type"); 383 } 384 385 if (Dst.isObjCWeak()) { 386 // load of a __weak object. 387 llvm::Value *LvalueDst = Dst.getAddress(); 388 llvm::Value *src = Src.getScalarVal(); 389 CGM.getObjCRuntime().EmitObjCWeakAssign(*this, src, LvalueDst); 390 return; 391 } 392 393 if (Dst.isObjCStrong()) { 394 // load of a __strong object. 395 llvm::Value *LvalueDst = Dst.getAddress(); 396 llvm::Value *src = Src.getScalarVal(); 397 if (Dst.isObjCIvar()) 398 CGM.getObjCRuntime().EmitObjCIvarAssign(*this, src, LvalueDst); 399 else 400 CGM.getObjCRuntime().EmitObjCGlobalAssign(*this, src, LvalueDst); 401 return; 402 } 403 404 llvm::Value *DstAddr = Dst.getAddress(); 405 assert(Src.isScalar() && "Can't emit an agg store with this method"); 406 // FIXME: Handle volatility etc. 407 const llvm::Type *SrcTy = Src.getScalarVal()->getType(); 408 const llvm::PointerType *DstPtr = cast<llvm::PointerType>(DstAddr->getType()); 409 const llvm::Type *AddrTy = DstPtr->getElementType(); 410 unsigned AS = DstPtr->getAddressSpace(); 411 412 if (AddrTy != SrcTy) 413 DstAddr = Builder.CreateBitCast(DstAddr, 414 llvm::PointerType::get(SrcTy, AS), 415 "storetmp"); 416 Builder.CreateStore(Src.getScalarVal(), DstAddr, Dst.isVolatileQualified()); 417 } 418 419 void CodeGenFunction::EmitStoreThroughBitfieldLValue(RValue Src, LValue Dst, 420 QualType Ty, 421 llvm::Value **Result) { 422 unsigned StartBit = Dst.getBitfieldStartBit(); 423 unsigned BitfieldSize = Dst.getBitfieldSize(); 424 llvm::Value *Ptr = Dst.getBitfieldAddr(); 425 426 const llvm::Type *EltTy = 427 cast<llvm::PointerType>(Ptr->getType())->getElementType(); 428 unsigned EltTySize = CGM.getTargetData().getTypeSizeInBits(EltTy); 429 430 // Get the new value, cast to the appropriate type and masked to 431 // exactly the size of the bit-field. 432 llvm::Value *SrcVal = Src.getScalarVal(); 433 llvm::Value *NewVal = Builder.CreateIntCast(SrcVal, EltTy, false, "tmp"); 434 llvm::Constant *Mask = 435 llvm::ConstantInt::get(llvm::APInt::getLowBitsSet(EltTySize, BitfieldSize)); 436 NewVal = Builder.CreateAnd(NewVal, Mask, "bf.value"); 437 438 // Return the new value of the bit-field, if requested. 439 if (Result) { 440 // Cast back to the proper type for result. 441 const llvm::Type *SrcTy = SrcVal->getType(); 442 llvm::Value *SrcTrunc = Builder.CreateIntCast(NewVal, SrcTy, false, 443 "bf.reload.val"); 444 445 // Sign extend if necessary. 446 if (Dst.isBitfieldSigned()) { 447 unsigned SrcTySize = CGM.getTargetData().getTypeSizeInBits(SrcTy); 448 llvm::Value *ExtraBits = llvm::ConstantInt::get(SrcTy, 449 SrcTySize - BitfieldSize); 450 SrcTrunc = Builder.CreateAShr(Builder.CreateShl(SrcTrunc, ExtraBits), 451 ExtraBits, "bf.reload.sext"); 452 } 453 454 *Result = SrcTrunc; 455 } 456 457 // In some cases the bitfield may straddle two memory locations. 458 // Emit the low part first and check to see if the high needs to be 459 // done. 460 unsigned LowBits = std::min(BitfieldSize, EltTySize - StartBit); 461 llvm::Value *LowVal = Builder.CreateLoad(Ptr, Dst.isVolatileQualified(), 462 "bf.prev.low"); 463 464 // Compute the mask for zero-ing the low part of this bitfield. 465 llvm::Constant *InvMask = 466 llvm::ConstantInt::get(~llvm::APInt::getBitsSet(EltTySize, StartBit, 467 StartBit + LowBits)); 468 469 // Compute the new low part as 470 // LowVal = (LowVal & InvMask) | (NewVal << StartBit), 471 // with the shift of NewVal implicitly stripping the high bits. 472 llvm::Value *NewLowVal = 473 Builder.CreateShl(NewVal, llvm::ConstantInt::get(EltTy, StartBit), 474 "bf.value.lo"); 475 LowVal = Builder.CreateAnd(LowVal, InvMask, "bf.prev.lo.cleared"); 476 LowVal = Builder.CreateOr(LowVal, NewLowVal, "bf.new.lo"); 477 478 // Write back. 479 Builder.CreateStore(LowVal, Ptr, Dst.isVolatileQualified()); 480 481 // If the low part doesn't cover the bitfield emit a high part. 482 if (LowBits < BitfieldSize) { 483 unsigned HighBits = BitfieldSize - LowBits; 484 llvm::Value *HighPtr = 485 Builder.CreateGEP(Ptr, llvm::ConstantInt::get(llvm::Type::Int32Ty, 1), 486 "bf.ptr.hi"); 487 llvm::Value *HighVal = Builder.CreateLoad(HighPtr, 488 Dst.isVolatileQualified(), 489 "bf.prev.hi"); 490 491 // Compute the mask for zero-ing the high part of this bitfield. 492 llvm::Constant *InvMask = 493 llvm::ConstantInt::get(~llvm::APInt::getLowBitsSet(EltTySize, HighBits)); 494 495 // Compute the new high part as 496 // HighVal = (HighVal & InvMask) | (NewVal lshr LowBits), 497 // where the high bits of NewVal have already been cleared and the 498 // shift stripping the low bits. 499 llvm::Value *NewHighVal = 500 Builder.CreateLShr(NewVal, llvm::ConstantInt::get(EltTy, LowBits), 501 "bf.value.high"); 502 HighVal = Builder.CreateAnd(HighVal, InvMask, "bf.prev.hi.cleared"); 503 HighVal = Builder.CreateOr(HighVal, NewHighVal, "bf.new.hi"); 504 505 // Write back. 506 Builder.CreateStore(HighVal, HighPtr, Dst.isVolatileQualified()); 507 } 508 } 509 510 void CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src, 511 LValue Dst, 512 QualType Ty) { 513 EmitObjCPropertySet(Dst.getPropertyRefExpr(), Src); 514 } 515 516 void CodeGenFunction::EmitStoreThroughKVCRefLValue(RValue Src, 517 LValue Dst, 518 QualType Ty) { 519 EmitObjCPropertySet(Dst.getKVCRefExpr(), Src); 520 } 521 522 void CodeGenFunction::EmitStoreThroughExtVectorComponentLValue(RValue Src, 523 LValue Dst, 524 QualType Ty) { 525 // This access turns into a read/modify/write of the vector. Load the input 526 // value now. 527 llvm::Value *Vec = Builder.CreateLoad(Dst.getExtVectorAddr(), 528 Dst.isVolatileQualified(), "tmp"); 529 const llvm::Constant *Elts = Dst.getExtVectorElts(); 530 531 llvm::Value *SrcVal = Src.getScalarVal(); 532 533 if (const VectorType *VTy = Ty->getAsVectorType()) { 534 unsigned NumSrcElts = VTy->getNumElements(); 535 unsigned NumDstElts = 536 cast<llvm::VectorType>(Vec->getType())->getNumElements(); 537 if (NumDstElts == NumSrcElts) { 538 // Use shuffle vector is the src and destination are the same number 539 // of elements 540 llvm::SmallVector<llvm::Constant*, 4> Mask; 541 for (unsigned i = 0; i != NumSrcElts; ++i) { 542 unsigned InIdx = getAccessedFieldNo(i, Elts); 543 Mask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx)); 544 } 545 546 llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size()); 547 Vec = Builder.CreateShuffleVector(SrcVal, 548 llvm::UndefValue::get(Vec->getType()), 549 MaskV, "tmp"); 550 } 551 else if (NumDstElts > NumSrcElts) { 552 // Extended the source vector to the same length and then shuffle it 553 // into the destination. 554 // FIXME: since we're shuffling with undef, can we just use the indices 555 // into that? This could be simpler. 556 llvm::SmallVector<llvm::Constant*, 4> ExtMask; 557 unsigned i; 558 for (i = 0; i != NumSrcElts; ++i) 559 ExtMask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, i)); 560 for (; i != NumDstElts; ++i) 561 ExtMask.push_back(llvm::UndefValue::get(llvm::Type::Int32Ty)); 562 llvm::Value *ExtMaskV = llvm::ConstantVector::get(&ExtMask[0], 563 ExtMask.size()); 564 llvm::Value *ExtSrcVal = Builder.CreateShuffleVector(SrcVal, 565 llvm::UndefValue::get(SrcVal->getType()), 566 ExtMaskV, "tmp"); 567 // build identity 568 llvm::SmallVector<llvm::Constant*, 4> Mask; 569 for (unsigned i = 0; i != NumDstElts; ++i) { 570 Mask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, i)); 571 } 572 // modify when what gets shuffled in 573 for (unsigned i = 0; i != NumSrcElts; ++i) { 574 unsigned Idx = getAccessedFieldNo(i, Elts); 575 Mask[Idx] =llvm::ConstantInt::get(llvm::Type::Int32Ty, i+NumDstElts); 576 } 577 llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size()); 578 Vec = Builder.CreateShuffleVector(Vec, ExtSrcVal, MaskV, "tmp"); 579 } 580 else { 581 // We should never shorten the vector 582 assert(0 && "unexpected shorten vector length"); 583 } 584 } else { 585 // If the Src is a scalar (not a vector) it must be updating one element. 586 unsigned InIdx = getAccessedFieldNo(0, Elts); 587 llvm::Value *Elt = llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx); 588 Vec = Builder.CreateInsertElement(Vec, SrcVal, Elt, "tmp"); 589 } 590 591 Builder.CreateStore(Vec, Dst.getExtVectorAddr(), Dst.isVolatileQualified()); 592 } 593 594 /// SetVarDeclObjCAttribute - Set __weak/__strong attributes into the LValue 595 /// object. 596 static void SetVarDeclObjCAttribute(ASTContext &Ctx, const Decl *VD, 597 const QualType &Ty, LValue &LV) 598 { 599 if (const ObjCGCAttr *A = VD->getAttr<ObjCGCAttr>()) { 600 ObjCGCAttr::GCAttrTypes attrType = A->getType(); 601 LValue::SetObjCType(attrType == ObjCGCAttr::Weak, 602 attrType == ObjCGCAttr::Strong, LV); 603 } 604 else if (Ctx.getLangOptions().ObjC1 && 605 Ctx.getLangOptions().getGCMode() != LangOptions::NonGC) { 606 // Default behavious under objective-c's gc is for objective-c pointers 607 // be treated as though they were declared as __strong. 608 if (Ctx.isObjCObjectPointerType(Ty)) 609 LValue::SetObjCType(false, true, LV); 610 } 611 } 612 613 LValue CodeGenFunction::EmitDeclRefLValue(const DeclRefExpr *E) { 614 const VarDecl *VD = dyn_cast<VarDecl>(E->getDecl()); 615 616 if (VD && (VD->isBlockVarDecl() || isa<ParmVarDecl>(VD) || 617 isa<ImplicitParamDecl>(VD))) { 618 LValue LV; 619 if (VD->getStorageClass() == VarDecl::Extern) { 620 LV = LValue::MakeAddr(CGM.GetAddrOfGlobalVar(VD), 621 E->getType().getCVRQualifiers()); 622 } 623 else { 624 llvm::Value *V = LocalDeclMap[VD]; 625 assert(V && "BlockVarDecl not entered in LocalDeclMap?"); 626 LV = LValue::MakeAddr(V, E->getType().getCVRQualifiers()); 627 } 628 if (VD->isBlockVarDecl() && 629 (VD->getStorageClass() == VarDecl::Static || 630 VD->getStorageClass() == VarDecl::Extern)) 631 SetVarDeclObjCAttribute(getContext(), VD, E->getType(), LV); 632 return LV; 633 } else if (VD && VD->isFileVarDecl()) { 634 LValue LV = LValue::MakeAddr(CGM.GetAddrOfGlobalVar(VD), 635 E->getType().getCVRQualifiers()); 636 SetVarDeclObjCAttribute(getContext(), VD, E->getType(), LV); 637 return LV; 638 } else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(E->getDecl())) { 639 return LValue::MakeAddr(CGM.GetAddrOfFunction(FD), 640 E->getType().getCVRQualifiers()); 641 } 642 else if (const ImplicitParamDecl *IPD = 643 dyn_cast<ImplicitParamDecl>(E->getDecl())) { 644 llvm::Value *V = LocalDeclMap[IPD]; 645 assert(V && "BlockVarDecl not entered in LocalDeclMap?"); 646 return LValue::MakeAddr(V, E->getType().getCVRQualifiers()); 647 } 648 assert(0 && "Unimp declref"); 649 //an invalid LValue, but the assert will 650 //ensure that this point is never reached. 651 return LValue(); 652 } 653 654 LValue CodeGenFunction::EmitUnaryOpLValue(const UnaryOperator *E) { 655 // __extension__ doesn't affect lvalue-ness. 656 if (E->getOpcode() == UnaryOperator::Extension) 657 return EmitLValue(E->getSubExpr()); 658 659 QualType ExprTy = getContext().getCanonicalType(E->getSubExpr()->getType()); 660 switch (E->getOpcode()) { 661 default: assert(0 && "Unknown unary operator lvalue!"); 662 case UnaryOperator::Deref: 663 return LValue::MakeAddr(EmitScalarExpr(E->getSubExpr()), 664 ExprTy->getAsPointerType()->getPointeeType() 665 .getCVRQualifiers()); 666 case UnaryOperator::Real: 667 case UnaryOperator::Imag: 668 LValue LV = EmitLValue(E->getSubExpr()); 669 unsigned Idx = E->getOpcode() == UnaryOperator::Imag; 670 return LValue::MakeAddr(Builder.CreateStructGEP(LV.getAddress(), 671 Idx, "idx"), 672 ExprTy.getCVRQualifiers()); 673 } 674 } 675 676 LValue CodeGenFunction::EmitStringLiteralLValue(const StringLiteral *E) { 677 return LValue::MakeAddr(CGM.GetAddrOfConstantStringFromLiteral(E), 0); 678 } 679 680 LValue CodeGenFunction::EmitPredefinedFunctionName(unsigned Type) { 681 std::string GlobalVarName; 682 683 switch (Type) { 684 default: 685 assert(0 && "Invalid type"); 686 case PredefinedExpr::Func: 687 GlobalVarName = "__func__."; 688 break; 689 case PredefinedExpr::Function: 690 GlobalVarName = "__FUNCTION__."; 691 break; 692 case PredefinedExpr::PrettyFunction: 693 // FIXME:: Demangle C++ method names 694 GlobalVarName = "__PRETTY_FUNCTION__."; 695 break; 696 } 697 698 std::string FunctionName; 699 if(const FunctionDecl *FD = dyn_cast<FunctionDecl>(CurFuncDecl)) { 700 FunctionName = FD->getNameAsString(); 701 } else { 702 // Just get the mangled name. 703 FunctionName = CurFn->getName(); 704 } 705 706 GlobalVarName += FunctionName; 707 llvm::Constant *C = 708 CGM.GetAddrOfConstantCString(FunctionName, GlobalVarName.c_str()); 709 return LValue::MakeAddr(C, 0); 710 } 711 712 LValue CodeGenFunction::EmitPredefinedLValue(const PredefinedExpr *E) { 713 switch (E->getIdentType()) { 714 default: 715 return EmitUnsupportedLValue(E, "predefined expression"); 716 case PredefinedExpr::Func: 717 case PredefinedExpr::Function: 718 case PredefinedExpr::PrettyFunction: 719 return EmitPredefinedFunctionName(E->getIdentType()); 720 } 721 } 722 723 LValue CodeGenFunction::EmitArraySubscriptExpr(const ArraySubscriptExpr *E) { 724 // The index must always be an integer, which is not an aggregate. Emit it. 725 llvm::Value *Idx = EmitScalarExpr(E->getIdx()); 726 727 // If the base is a vector type, then we are forming a vector element lvalue 728 // with this subscript. 729 if (E->getBase()->getType()->isVectorType()) { 730 // Emit the vector as an lvalue to get its address. 731 LValue LHS = EmitLValue(E->getBase()); 732 assert(LHS.isSimple() && "Can only subscript lvalue vectors here!"); 733 // FIXME: This should properly sign/zero/extend or truncate Idx to i32. 734 return LValue::MakeVectorElt(LHS.getAddress(), Idx, 735 E->getBase()->getType().getCVRQualifiers()); 736 } 737 738 // The base must be a pointer, which is not an aggregate. Emit it. 739 llvm::Value *Base = EmitScalarExpr(E->getBase()); 740 741 // Extend or truncate the index type to 32 or 64-bits. 742 QualType IdxTy = E->getIdx()->getType(); 743 bool IdxSigned = IdxTy->isSignedIntegerType(); 744 unsigned IdxBitwidth = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 745 if (IdxBitwidth != LLVMPointerWidth) 746 Idx = Builder.CreateIntCast(Idx, llvm::IntegerType::get(LLVMPointerWidth), 747 IdxSigned, "idxprom"); 748 749 // We know that the pointer points to a type of the correct size, unless the 750 // size is a VLA. 751 if (const VariableArrayType *VAT = 752 getContext().getAsVariableArrayType(E->getType())) { 753 llvm::Value *VLASize = VLASizeMap[VAT]; 754 755 Idx = Builder.CreateMul(Idx, VLASize); 756 757 QualType BaseType = getContext().getBaseElementType(VAT); 758 759 uint64_t BaseTypeSize = getContext().getTypeSize(BaseType) / 8; 760 Idx = Builder.CreateUDiv(Idx, 761 llvm::ConstantInt::get(Idx->getType(), 762 BaseTypeSize)); 763 } 764 765 QualType ExprTy = getContext().getCanonicalType(E->getBase()->getType()); 766 767 return LValue::MakeAddr(Builder.CreateGEP(Base, Idx, "arrayidx"), 768 ExprTy->getAsPointerType()->getPointeeType() 769 .getCVRQualifiers()); 770 } 771 772 static 773 llvm::Constant *GenerateConstantVector(llvm::SmallVector<unsigned, 4> &Elts) { 774 llvm::SmallVector<llvm::Constant *, 4> CElts; 775 776 for (unsigned i = 0, e = Elts.size(); i != e; ++i) 777 CElts.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, Elts[i])); 778 779 return llvm::ConstantVector::get(&CElts[0], CElts.size()); 780 } 781 782 LValue CodeGenFunction:: 783 EmitExtVectorElementExpr(const ExtVectorElementExpr *E) { 784 // Emit the base vector as an l-value. 785 LValue Base = EmitLValue(E->getBase()); 786 787 // Encode the element access list into a vector of unsigned indices. 788 llvm::SmallVector<unsigned, 4> Indices; 789 E->getEncodedElementAccess(Indices); 790 791 if (Base.isSimple()) { 792 llvm::Constant *CV = GenerateConstantVector(Indices); 793 return LValue::MakeExtVectorElt(Base.getAddress(), CV, 794 E->getBase()->getType().getCVRQualifiers()); 795 } 796 assert(Base.isExtVectorElt() && "Can only subscript lvalue vec elts here!"); 797 798 llvm::Constant *BaseElts = Base.getExtVectorElts(); 799 llvm::SmallVector<llvm::Constant *, 4> CElts; 800 801 for (unsigned i = 0, e = Indices.size(); i != e; ++i) { 802 if (isa<llvm::ConstantAggregateZero>(BaseElts)) 803 CElts.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, 0)); 804 else 805 CElts.push_back(BaseElts->getOperand(Indices[i])); 806 } 807 llvm::Constant *CV = llvm::ConstantVector::get(&CElts[0], CElts.size()); 808 return LValue::MakeExtVectorElt(Base.getExtVectorAddr(), CV, 809 E->getBase()->getType().getCVRQualifiers()); 810 } 811 812 LValue CodeGenFunction::EmitMemberExpr(const MemberExpr *E) { 813 bool isUnion = false; 814 bool isIvar = false; 815 Expr *BaseExpr = E->getBase(); 816 llvm::Value *BaseValue = NULL; 817 unsigned CVRQualifiers=0; 818 819 // If this is s.x, emit s as an lvalue. If it is s->x, emit s as a scalar. 820 if (E->isArrow()) { 821 BaseValue = EmitScalarExpr(BaseExpr); 822 const PointerType *PTy = 823 cast<PointerType>(getContext().getCanonicalType(BaseExpr->getType())); 824 if (PTy->getPointeeType()->isUnionType()) 825 isUnion = true; 826 CVRQualifiers = PTy->getPointeeType().getCVRQualifiers(); 827 } 828 else if (BaseExpr->getStmtClass() == Expr::ObjCPropertyRefExprClass || 829 BaseExpr->getStmtClass() == Expr::ObjCKVCRefExprClass) { 830 RValue RV = EmitObjCPropertyGet(BaseExpr); 831 BaseValue = RV.getAggregateAddr(); 832 if (BaseExpr->getType()->isUnionType()) 833 isUnion = true; 834 CVRQualifiers = BaseExpr->getType().getCVRQualifiers(); 835 } 836 else { 837 LValue BaseLV = EmitLValue(BaseExpr); 838 if (BaseLV.isObjCIvar()) 839 isIvar = true; 840 // FIXME: this isn't right for bitfields. 841 BaseValue = BaseLV.getAddress(); 842 if (BaseExpr->getType()->isUnionType()) 843 isUnion = true; 844 CVRQualifiers = BaseExpr->getType().getCVRQualifiers(); 845 } 846 847 FieldDecl *Field = dyn_cast<FieldDecl>(E->getMemberDecl()); 848 // FIXME: Handle non-field member expressions 849 assert(Field && "No code generation for non-field member references"); 850 LValue MemExpLV = EmitLValueForField(BaseValue, Field, isUnion, CVRQualifiers); 851 LValue::SetObjCIvar(MemExpLV, isIvar); 852 return MemExpLV; 853 } 854 855 LValue CodeGenFunction::EmitLValueForBitfield(llvm::Value* BaseValue, 856 FieldDecl* Field, 857 unsigned CVRQualifiers) { 858 unsigned idx = CGM.getTypes().getLLVMFieldNo(Field); 859 // FIXME: CodeGenTypes should expose a method to get the appropriate 860 // type for FieldTy (the appropriate type is ABI-dependent). 861 const llvm::Type *FieldTy = CGM.getTypes().ConvertTypeForMem(Field->getType()); 862 const llvm::PointerType *BaseTy = 863 cast<llvm::PointerType>(BaseValue->getType()); 864 unsigned AS = BaseTy->getAddressSpace(); 865 BaseValue = Builder.CreateBitCast(BaseValue, 866 llvm::PointerType::get(FieldTy, AS), 867 "tmp"); 868 llvm::Value *V = Builder.CreateGEP(BaseValue, 869 llvm::ConstantInt::get(llvm::Type::Int32Ty, idx), 870 "tmp"); 871 872 CodeGenTypes::BitFieldInfo bitFieldInfo = 873 CGM.getTypes().getBitFieldInfo(Field); 874 return LValue::MakeBitfield(V, bitFieldInfo.Begin, bitFieldInfo.Size, 875 Field->getType()->isSignedIntegerType(), 876 Field->getType().getCVRQualifiers()|CVRQualifiers); 877 } 878 879 LValue CodeGenFunction::EmitLValueForField(llvm::Value* BaseValue, 880 FieldDecl* Field, 881 bool isUnion, 882 unsigned CVRQualifiers) 883 { 884 if (Field->isBitField()) 885 return EmitLValueForBitfield(BaseValue, Field, CVRQualifiers); 886 887 unsigned idx = CGM.getTypes().getLLVMFieldNo(Field); 888 llvm::Value *V = Builder.CreateStructGEP(BaseValue, idx, "tmp"); 889 890 // Match union field type. 891 if (isUnion) { 892 const llvm::Type *FieldTy = 893 CGM.getTypes().ConvertTypeForMem(Field->getType()); 894 const llvm::PointerType * BaseTy = 895 cast<llvm::PointerType>(BaseValue->getType()); 896 unsigned AS = BaseTy->getAddressSpace(); 897 V = Builder.CreateBitCast(V, 898 llvm::PointerType::get(FieldTy, AS), 899 "tmp"); 900 } 901 902 LValue LV = 903 LValue::MakeAddr(V, 904 Field->getType().getCVRQualifiers()|CVRQualifiers); 905 if (const ObjCGCAttr *A = Field->getAttr<ObjCGCAttr>()) { 906 ObjCGCAttr::GCAttrTypes attrType = A->getType(); 907 // __weak attribute on a field is ignored. 908 LValue::SetObjCType(false, attrType == ObjCGCAttr::Strong, LV); 909 } 910 else if (CGM.getLangOptions().ObjC1 && 911 CGM.getLangOptions().getGCMode() != LangOptions::NonGC) { 912 QualType ExprTy = Field->getType(); 913 if (getContext().isObjCObjectPointerType(ExprTy)) 914 LValue::SetObjCType(false, true, LV); 915 } 916 return LV; 917 } 918 919 LValue CodeGenFunction::EmitCompoundLiteralLValue(const CompoundLiteralExpr* E) 920 { 921 const llvm::Type *LTy = ConvertType(E->getType()); 922 llvm::Value *DeclPtr = CreateTempAlloca(LTy, ".compoundliteral"); 923 924 const Expr* InitExpr = E->getInitializer(); 925 LValue Result = LValue::MakeAddr(DeclPtr, E->getType().getCVRQualifiers()); 926 927 if (E->getType()->isComplexType()) { 928 EmitComplexExprIntoAddr(InitExpr, DeclPtr, false); 929 } else if (hasAggregateLLVMType(E->getType())) { 930 EmitAnyExpr(InitExpr, DeclPtr, false); 931 } else { 932 EmitStoreThroughLValue(EmitAnyExpr(InitExpr), Result, E->getType()); 933 } 934 935 return Result; 936 } 937 938 //===--------------------------------------------------------------------===// 939 // Expression Emission 940 //===--------------------------------------------------------------------===// 941 942 943 RValue CodeGenFunction::EmitCallExpr(const CallExpr *E) { 944 if (const ImplicitCastExpr *IcExpr = 945 dyn_cast<const ImplicitCastExpr>(E->getCallee())) 946 if (const DeclRefExpr *DRExpr = 947 dyn_cast<const DeclRefExpr>(IcExpr->getSubExpr())) 948 if (const FunctionDecl *FDecl = 949 dyn_cast<const FunctionDecl>(DRExpr->getDecl())) 950 if (unsigned builtinID = FDecl->getIdentifier()->getBuiltinID()) 951 return EmitBuiltinExpr(builtinID, E); 952 953 if (E->getCallee()->getType()->isBlockPointerType()) 954 return EmitUnsupportedRValue(E, "block pointer reference"); 955 956 llvm::Value *Callee = EmitScalarExpr(E->getCallee()); 957 return EmitCallExpr(Callee, E->getCallee()->getType(), 958 E->arg_begin(), E->arg_end()); 959 } 960 961 RValue CodeGenFunction::EmitCallExpr(Expr *FnExpr, 962 CallExpr::const_arg_iterator ArgBeg, 963 CallExpr::const_arg_iterator ArgEnd) { 964 965 llvm::Value *Callee = EmitScalarExpr(FnExpr); 966 return EmitCallExpr(Callee, FnExpr->getType(), ArgBeg, ArgEnd); 967 } 968 969 LValue CodeGenFunction::EmitBinaryOperatorLValue(const BinaryOperator *E) { 970 // Can only get l-value for binary operator expressions which are a 971 // simple assignment of aggregate type. 972 if (E->getOpcode() != BinaryOperator::Assign) 973 return EmitUnsupportedLValue(E, "binary l-value expression"); 974 975 llvm::Value *Temp = CreateTempAlloca(ConvertType(E->getType())); 976 EmitAggExpr(E, Temp, false); 977 // FIXME: Are these qualifiers correct? 978 return LValue::MakeAddr(Temp, E->getType().getCVRQualifiers()); 979 } 980 981 LValue CodeGenFunction::EmitCallExprLValue(const CallExpr *E) { 982 // Can only get l-value for call expression returning aggregate type 983 RValue RV = EmitCallExpr(E); 984 // FIXME: can this be volatile? 985 return LValue::MakeAddr(RV.getAggregateAddr(), 986 E->getType().getCVRQualifiers()); 987 } 988 989 LValue 990 CodeGenFunction::EmitCXXConditionDeclLValue(const CXXConditionDeclExpr *E) { 991 EmitLocalBlockVarDecl(*E->getVarDecl()); 992 return EmitDeclRefLValue(E); 993 } 994 995 LValue CodeGenFunction::EmitObjCMessageExprLValue(const ObjCMessageExpr *E) { 996 // Can only get l-value for message expression returning aggregate type 997 RValue RV = EmitObjCMessageExpr(E); 998 // FIXME: can this be volatile? 999 return LValue::MakeAddr(RV.getAggregateAddr(), 1000 E->getType().getCVRQualifiers()); 1001 } 1002 1003 llvm::Value *CodeGenFunction::EmitIvarOffset(ObjCInterfaceDecl *Interface, 1004 const ObjCIvarDecl *Ivar) { 1005 // Objective-C objects are traditionally C structures with their layout 1006 // defined at compile-time. In some implementations, their layout is not 1007 // defined until run time in order to allow instance variables to be added to 1008 // a class without recompiling all of the subclasses. If this is the case 1009 // then the CGObjCRuntime subclass must return true to LateBoundIvars and 1010 // implement the lookup itself. 1011 if (CGM.getObjCRuntime().LateBoundIVars()) 1012 assert(0 && "late-bound ivars are unsupported"); 1013 1014 const llvm::Type *InterfaceLTy = 1015 CGM.getTypes().ConvertType(getContext().getObjCInterfaceType(Interface)); 1016 const llvm::StructLayout *Layout = 1017 CGM.getTargetData().getStructLayout(cast<llvm::StructType>(InterfaceLTy)); 1018 FieldDecl *Field = Interface->lookupFieldDeclForIvar(getContext(), Ivar); 1019 uint64_t Offset = 1020 Layout->getElementOffset(CGM.getTypes().getLLVMFieldNo(Field)); 1021 1022 return llvm::ConstantInt::get(CGM.getTypes().ConvertType(getContext().LongTy), 1023 Offset); 1024 } 1025 1026 LValue CodeGenFunction::EmitLValueForIvar(QualType ObjectTy, 1027 llvm::Value *BaseValue, 1028 const ObjCIvarDecl *Ivar, 1029 const FieldDecl *Field, 1030 unsigned CVRQualifiers) { 1031 // See comment in EmitIvarOffset. 1032 if (CGM.getObjCRuntime().LateBoundIVars()) 1033 assert(0 && "late-bound ivars are unsupported"); 1034 1035 LValue LV = CGM.getObjCRuntime().EmitObjCValueForIvar(*this, 1036 ObjectTy, 1037 BaseValue, Ivar, Field, 1038 CVRQualifiers); 1039 SetVarDeclObjCAttribute(getContext(), Ivar, Ivar->getType(), LV); 1040 return LV; 1041 } 1042 1043 LValue CodeGenFunction::EmitObjCIvarRefLValue(const ObjCIvarRefExpr *E) { 1044 // FIXME: A lot of the code below could be shared with EmitMemberExpr. 1045 llvm::Value *BaseValue = 0; 1046 const Expr *BaseExpr = E->getBase(); 1047 unsigned CVRQualifiers = 0; 1048 QualType ObjectTy; 1049 if (E->isArrow()) { 1050 BaseValue = EmitScalarExpr(BaseExpr); 1051 const PointerType *PTy = 1052 cast<PointerType>(getContext().getCanonicalType(BaseExpr->getType())); 1053 ObjectTy = PTy->getPointeeType(); 1054 CVRQualifiers = ObjectTy.getCVRQualifiers(); 1055 } else { 1056 LValue BaseLV = EmitLValue(BaseExpr); 1057 // FIXME: this isn't right for bitfields. 1058 BaseValue = BaseLV.getAddress(); 1059 ObjectTy = BaseExpr->getType(); 1060 CVRQualifiers = ObjectTy.getCVRQualifiers(); 1061 } 1062 1063 return EmitLValueForIvar(ObjectTy, BaseValue, E->getDecl(), 1064 getContext().getFieldDecl(E), CVRQualifiers); 1065 } 1066 1067 LValue 1068 CodeGenFunction::EmitObjCPropertyRefLValue(const ObjCPropertyRefExpr *E) { 1069 // This is a special l-value that just issues sends when we load or 1070 // store through it. 1071 return LValue::MakePropertyRef(E, E->getType().getCVRQualifiers()); 1072 } 1073 1074 LValue 1075 CodeGenFunction::EmitObjCKVCRefLValue(const ObjCKVCRefExpr *E) { 1076 // This is a special l-value that just issues sends when we load or 1077 // store through it. 1078 return LValue::MakeKVCRef(E, E->getType().getCVRQualifiers()); 1079 } 1080 1081 LValue 1082 CodeGenFunction::EmitObjCSuperExpr(const ObjCSuperExpr *E) { 1083 return EmitUnsupportedLValue(E, "use of super"); 1084 } 1085 1086 RValue CodeGenFunction::EmitCallExpr(llvm::Value *Callee, QualType CalleeType, 1087 CallExpr::const_arg_iterator ArgBeg, 1088 CallExpr::const_arg_iterator ArgEnd) { 1089 // Get the actual function type. The callee type will always be a 1090 // pointer to function type or a block pointer type. 1091 QualType ResultType; 1092 if (const BlockPointerType *BPT = dyn_cast<BlockPointerType>(CalleeType)) { 1093 ResultType = BPT->getPointeeType()->getAsFunctionType()->getResultType(); 1094 } else { 1095 assert(CalleeType->isFunctionPointerType() && 1096 "Call must have function pointer type!"); 1097 QualType FnType = CalleeType->getAsPointerType()->getPointeeType(); 1098 ResultType = FnType->getAsFunctionType()->getResultType(); 1099 } 1100 1101 CallArgList Args; 1102 for (CallExpr::const_arg_iterator I = ArgBeg; I != ArgEnd; ++I) 1103 Args.push_back(std::make_pair(EmitAnyExprToTemp(*I), 1104 I->getType())); 1105 1106 return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args), 1107 Callee, Args); 1108 } 1109