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 if (!Builder.isNamePreserving()) 33 Name = ""; 34 return new llvm::AllocaInst(Ty, 0, Name, AllocaInsertPt); 35 } 36 37 /// EvaluateExprAsBool - Perform the usual unary conversions on the specified 38 /// expression and compare the result against zero, returning an Int1Ty value. 39 llvm::Value *CodeGenFunction::EvaluateExprAsBool(const Expr *E) { 40 QualType BoolTy = getContext().BoolTy; 41 if (!E->getType()->isAnyComplexType()) 42 return EmitScalarConversion(EmitScalarExpr(E), E->getType(), BoolTy); 43 44 return EmitComplexToScalarConversion(EmitComplexExpr(E), E->getType(),BoolTy); 45 } 46 47 /// EmitAnyExpr - Emit code to compute the specified expression which can have 48 /// any type. The result is returned as an RValue struct. If this is an 49 /// aggregate expression, the aggloc/agglocvolatile arguments indicate where 50 /// the result should be returned. 51 RValue CodeGenFunction::EmitAnyExpr(const Expr *E, llvm::Value *AggLoc, 52 bool isAggLocVolatile, bool IgnoreResult) { 53 if (!hasAggregateLLVMType(E->getType())) 54 return RValue::get(EmitScalarExpr(E, IgnoreResult)); 55 else if (E->getType()->isAnyComplexType()) 56 return RValue::getComplex(EmitComplexExpr(E, false, false, 57 IgnoreResult, IgnoreResult)); 58 59 EmitAggExpr(E, AggLoc, isAggLocVolatile, IgnoreResult); 60 return RValue::getAggregate(AggLoc, isAggLocVolatile); 61 } 62 63 /// EmitAnyExprToTemp - Similary to EmitAnyExpr(), however, the result 64 /// will always be accessible even if no aggregate location is 65 /// provided. 66 RValue CodeGenFunction::EmitAnyExprToTemp(const Expr *E, llvm::Value *AggLoc, 67 bool isAggLocVolatile) { 68 if (!AggLoc && hasAggregateLLVMType(E->getType()) && 69 !E->getType()->isAnyComplexType()) 70 AggLoc = CreateTempAlloca(ConvertType(E->getType()), "agg.tmp"); 71 return EmitAnyExpr(E, AggLoc, isAggLocVolatile); 72 } 73 74 RValue CodeGenFunction::EmitReferenceBindingToExpr(const Expr* E, 75 QualType DestType) { 76 RValue Val; 77 if (E->isLvalue(getContext()) == Expr::LV_Valid) { 78 // Emit the expr as an lvalue. 79 LValue LV = EmitLValue(E); 80 if (LV.isSimple()) 81 return RValue::get(LV.getAddress()); 82 Val = EmitLoadOfLValue(LV, E->getType()); 83 } else { 84 Val = EmitAnyExprToTemp(E); 85 } 86 87 if (Val.isAggregate()) { 88 Val = RValue::get(Val.getAggregateAddr()); 89 } else { 90 // Create a temporary variable that we can bind the reference to. 91 llvm::Value *Temp = CreateTempAlloca(ConvertTypeForMem(E->getType()), 92 "reftmp"); 93 if (Val.isScalar()) 94 EmitStoreOfScalar(Val.getScalarVal(), Temp, false, E->getType()); 95 else 96 StoreComplexToAddr(Val.getComplexVal(), Temp, false); 97 Val = RValue::get(Temp); 98 } 99 100 return Val; 101 } 102 103 104 /// getAccessedFieldNo - Given an encoded value and a result number, return 105 /// the input field number being accessed. 106 unsigned CodeGenFunction::getAccessedFieldNo(unsigned Idx, 107 const llvm::Constant *Elts) { 108 if (isa<llvm::ConstantAggregateZero>(Elts)) 109 return 0; 110 111 return cast<llvm::ConstantInt>(Elts->getOperand(Idx))->getZExtValue(); 112 } 113 114 115 //===----------------------------------------------------------------------===// 116 // LValue Expression Emission 117 //===----------------------------------------------------------------------===// 118 119 RValue CodeGenFunction::GetUndefRValue(QualType Ty) { 120 if (Ty->isVoidType()) { 121 return RValue::get(0); 122 } else if (const ComplexType *CTy = Ty->getAsComplexType()) { 123 const llvm::Type *EltTy = ConvertType(CTy->getElementType()); 124 llvm::Value *U = llvm::UndefValue::get(EltTy); 125 return RValue::getComplex(std::make_pair(U, U)); 126 } else if (hasAggregateLLVMType(Ty)) { 127 const llvm::Type *LTy = llvm::PointerType::getUnqual(ConvertType(Ty)); 128 return RValue::getAggregate(llvm::UndefValue::get(LTy)); 129 } else { 130 return RValue::get(llvm::UndefValue::get(ConvertType(Ty))); 131 } 132 } 133 134 RValue CodeGenFunction::EmitUnsupportedRValue(const Expr *E, 135 const char *Name) { 136 ErrorUnsupported(E, Name); 137 return GetUndefRValue(E->getType()); 138 } 139 140 LValue CodeGenFunction::EmitUnsupportedLValue(const Expr *E, 141 const char *Name) { 142 ErrorUnsupported(E, Name); 143 llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType())); 144 return LValue::MakeAddr(llvm::UndefValue::get(Ty), 145 E->getType().getCVRQualifiers(), 146 getContext().getObjCGCAttrKind(E->getType())); 147 } 148 149 /// EmitLValue - Emit code to compute a designator that specifies the location 150 /// of the expression. 151 /// 152 /// This can return one of two things: a simple address or a bitfield 153 /// reference. In either case, the LLVM Value* in the LValue structure is 154 /// guaranteed to be an LLVM pointer type. 155 /// 156 /// If this returns a bitfield reference, nothing about the pointee type of 157 /// the LLVM value is known: For example, it may not be a pointer to an 158 /// integer. 159 /// 160 /// If this returns a normal address, and if the lvalue's C type is fixed 161 /// size, this method guarantees that the returned pointer type will point to 162 /// an LLVM type of the same size of the lvalue's type. If the lvalue has a 163 /// variable length type, this is not possible. 164 /// 165 LValue CodeGenFunction::EmitLValue(const Expr *E) { 166 switch (E->getStmtClass()) { 167 default: return EmitUnsupportedLValue(E, "l-value expression"); 168 169 case Expr::BinaryOperatorClass: 170 return EmitBinaryOperatorLValue(cast<BinaryOperator>(E)); 171 case Expr::CallExprClass: 172 case Expr::CXXOperatorCallExprClass: 173 return EmitCallExprLValue(cast<CallExpr>(E)); 174 case Expr::VAArgExprClass: 175 return EmitVAArgExprLValue(cast<VAArgExpr>(E)); 176 case Expr::DeclRefExprClass: 177 case Expr::QualifiedDeclRefExprClass: 178 return EmitDeclRefLValue(cast<DeclRefExpr>(E)); 179 case Expr::ParenExprClass:return EmitLValue(cast<ParenExpr>(E)->getSubExpr()); 180 case Expr::PredefinedExprClass: 181 return EmitPredefinedLValue(cast<PredefinedExpr>(E)); 182 case Expr::StringLiteralClass: 183 return EmitStringLiteralLValue(cast<StringLiteral>(E)); 184 case Expr::ObjCEncodeExprClass: 185 return EmitObjCEncodeExprLValue(cast<ObjCEncodeExpr>(E)); 186 187 case Expr::BlockDeclRefExprClass: 188 return EmitBlockDeclRefLValue(cast<BlockDeclRefExpr>(E)); 189 190 case Expr::CXXConditionDeclExprClass: 191 return EmitCXXConditionDeclLValue(cast<CXXConditionDeclExpr>(E)); 192 case Expr::CXXTemporaryObjectExprClass: 193 case Expr::CXXConstructExprClass: 194 return EmitCXXConstructLValue(cast<CXXConstructExpr>(E)); 195 196 case Expr::ObjCMessageExprClass: 197 return EmitObjCMessageExprLValue(cast<ObjCMessageExpr>(E)); 198 case Expr::ObjCIvarRefExprClass: 199 return EmitObjCIvarRefLValue(cast<ObjCIvarRefExpr>(E)); 200 case Expr::ObjCPropertyRefExprClass: 201 return EmitObjCPropertyRefLValue(cast<ObjCPropertyRefExpr>(E)); 202 case Expr::ObjCKVCRefExprClass: 203 return EmitObjCKVCRefLValue(cast<ObjCKVCRefExpr>(E)); 204 case Expr::ObjCSuperExprClass: 205 return EmitObjCSuperExprLValue(cast<ObjCSuperExpr>(E)); 206 207 case Expr::StmtExprClass: 208 return EmitStmtExprLValue(cast<StmtExpr>(E)); 209 case Expr::UnaryOperatorClass: 210 return EmitUnaryOpLValue(cast<UnaryOperator>(E)); 211 case Expr::ArraySubscriptExprClass: 212 return EmitArraySubscriptExpr(cast<ArraySubscriptExpr>(E)); 213 case Expr::ExtVectorElementExprClass: 214 return EmitExtVectorElementExpr(cast<ExtVectorElementExpr>(E)); 215 case Expr::MemberExprClass: return EmitMemberExpr(cast<MemberExpr>(E)); 216 case Expr::CompoundLiteralExprClass: 217 return EmitCompoundLiteralLValue(cast<CompoundLiteralExpr>(E)); 218 case Expr::ConditionalOperatorClass: 219 return EmitConditionalOperator(cast<ConditionalOperator>(E)); 220 case Expr::ChooseExprClass: 221 return EmitLValue(cast<ChooseExpr>(E)->getChosenSubExpr(getContext())); 222 case Expr::ImplicitCastExprClass: 223 case Expr::CStyleCastExprClass: 224 case Expr::CXXFunctionalCastExprClass: 225 case Expr::CXXStaticCastExprClass: 226 case Expr::CXXDynamicCastExprClass: 227 case Expr::CXXReinterpretCastExprClass: 228 case Expr::CXXConstCastExprClass: 229 return EmitCastLValue(cast<CastExpr>(E)); 230 } 231 } 232 233 llvm::Value *CodeGenFunction::EmitLoadOfScalar(llvm::Value *Addr, bool Volatile, 234 QualType Ty) { 235 llvm::Value *V = Builder.CreateLoad(Addr, Volatile, "tmp"); 236 237 // Bool can have different representation in memory than in registers. 238 if (Ty->isBooleanType()) 239 if (V->getType() != llvm::Type::Int1Ty) 240 V = Builder.CreateTrunc(V, llvm::Type::Int1Ty, "tobool"); 241 242 return V; 243 } 244 245 void CodeGenFunction::EmitStoreOfScalar(llvm::Value *Value, llvm::Value *Addr, 246 bool Volatile, QualType Ty) { 247 248 if (Ty->isBooleanType()) { 249 // Bool can have different representation in memory than in registers. 250 const llvm::Type *SrcTy = Value->getType(); 251 const llvm::PointerType *DstPtr = cast<llvm::PointerType>(Addr->getType()); 252 if (DstPtr->getElementType() != SrcTy) { 253 const llvm::Type *MemTy = 254 llvm::PointerType::get(SrcTy, DstPtr->getAddressSpace()); 255 Addr = Builder.CreateBitCast(Addr, MemTy, "storetmp"); 256 } 257 } 258 259 Builder.CreateStore(Value, Addr, Volatile); 260 } 261 262 /// EmitLoadOfLValue - Given an expression that represents a value lvalue, 263 /// this method emits the address of the lvalue, then loads the result as an 264 /// rvalue, returning the rvalue. 265 RValue CodeGenFunction::EmitLoadOfLValue(LValue LV, QualType ExprType) { 266 if (LV.isObjCWeak()) { 267 // load of a __weak object. 268 llvm::Value *AddrWeakObj = LV.getAddress(); 269 llvm::Value *read_weak = CGM.getObjCRuntime().EmitObjCWeakRead(*this, 270 AddrWeakObj); 271 return RValue::get(read_weak); 272 } 273 274 if (LV.isSimple()) { 275 llvm::Value *Ptr = LV.getAddress(); 276 const llvm::Type *EltTy = 277 cast<llvm::PointerType>(Ptr->getType())->getElementType(); 278 279 // Simple scalar l-value. 280 if (EltTy->isSingleValueType()) 281 return RValue::get(EmitLoadOfScalar(Ptr, LV.isVolatileQualified(), 282 ExprType)); 283 284 assert(ExprType->isFunctionType() && "Unknown scalar value"); 285 return RValue::get(Ptr); 286 } 287 288 if (LV.isVectorElt()) { 289 llvm::Value *Vec = Builder.CreateLoad(LV.getVectorAddr(), 290 LV.isVolatileQualified(), "tmp"); 291 return RValue::get(Builder.CreateExtractElement(Vec, LV.getVectorIdx(), 292 "vecext")); 293 } 294 295 // If this is a reference to a subset of the elements of a vector, either 296 // shuffle the input or extract/insert them as appropriate. 297 if (LV.isExtVectorElt()) 298 return EmitLoadOfExtVectorElementLValue(LV, ExprType); 299 300 if (LV.isBitfield()) 301 return EmitLoadOfBitfieldLValue(LV, ExprType); 302 303 if (LV.isPropertyRef()) 304 return EmitLoadOfPropertyRefLValue(LV, ExprType); 305 306 assert(LV.isKVCRef() && "Unknown LValue type!"); 307 return EmitLoadOfKVCRefLValue(LV, ExprType); 308 } 309 310 RValue CodeGenFunction::EmitLoadOfBitfieldLValue(LValue LV, 311 QualType ExprType) { 312 unsigned StartBit = LV.getBitfieldStartBit(); 313 unsigned BitfieldSize = LV.getBitfieldSize(); 314 llvm::Value *Ptr = LV.getBitfieldAddr(); 315 316 const llvm::Type *EltTy = 317 cast<llvm::PointerType>(Ptr->getType())->getElementType(); 318 unsigned EltTySize = CGM.getTargetData().getTypeSizeInBits(EltTy); 319 320 // In some cases the bitfield may straddle two memory locations. 321 // Currently we load the entire bitfield, then do the magic to 322 // sign-extend it if necessary. This results in somewhat more code 323 // than necessary for the common case (one load), since two shifts 324 // accomplish both the masking and sign extension. 325 unsigned LowBits = std::min(BitfieldSize, EltTySize - StartBit); 326 llvm::Value *Val = Builder.CreateLoad(Ptr, LV.isVolatileQualified(), "tmp"); 327 328 // Shift to proper location. 329 if (StartBit) 330 Val = Builder.CreateLShr(Val, llvm::ConstantInt::get(EltTy, StartBit), 331 "bf.lo"); 332 333 // Mask off unused bits. 334 llvm::Constant *LowMask = 335 llvm::ConstantInt::get(llvm::APInt::getLowBitsSet(EltTySize, LowBits)); 336 Val = Builder.CreateAnd(Val, LowMask, "bf.lo.cleared"); 337 338 // Fetch the high bits if necessary. 339 if (LowBits < BitfieldSize) { 340 unsigned HighBits = BitfieldSize - LowBits; 341 llvm::Value *HighPtr = 342 Builder.CreateGEP(Ptr, llvm::ConstantInt::get(llvm::Type::Int32Ty, 1), 343 "bf.ptr.hi"); 344 llvm::Value *HighVal = Builder.CreateLoad(HighPtr, 345 LV.isVolatileQualified(), 346 "tmp"); 347 348 // Mask off unused bits. 349 llvm::Constant *HighMask = 350 llvm::ConstantInt::get(llvm::APInt::getLowBitsSet(EltTySize, HighBits)); 351 HighVal = Builder.CreateAnd(HighVal, HighMask, "bf.lo.cleared"); 352 353 // Shift to proper location and or in to bitfield value. 354 HighVal = Builder.CreateShl(HighVal, 355 llvm::ConstantInt::get(EltTy, LowBits)); 356 Val = Builder.CreateOr(Val, HighVal, "bf.val"); 357 } 358 359 // Sign extend if necessary. 360 if (LV.isBitfieldSigned()) { 361 llvm::Value *ExtraBits = llvm::ConstantInt::get(EltTy, 362 EltTySize - BitfieldSize); 363 Val = Builder.CreateAShr(Builder.CreateShl(Val, ExtraBits), 364 ExtraBits, "bf.val.sext"); 365 } 366 367 // The bitfield type and the normal type differ when the storage sizes 368 // differ (currently just _Bool). 369 Val = Builder.CreateIntCast(Val, ConvertType(ExprType), false, "tmp"); 370 371 return RValue::get(Val); 372 } 373 374 RValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV, 375 QualType ExprType) { 376 return EmitObjCPropertyGet(LV.getPropertyRefExpr()); 377 } 378 379 RValue CodeGenFunction::EmitLoadOfKVCRefLValue(LValue LV, 380 QualType ExprType) { 381 return EmitObjCPropertyGet(LV.getKVCRefExpr()); 382 } 383 384 // If this is a reference to a subset of the elements of a vector, create an 385 // appropriate shufflevector. 386 RValue CodeGenFunction::EmitLoadOfExtVectorElementLValue(LValue LV, 387 QualType ExprType) { 388 llvm::Value *Vec = Builder.CreateLoad(LV.getExtVectorAddr(), 389 LV.isVolatileQualified(), "tmp"); 390 391 const llvm::Constant *Elts = LV.getExtVectorElts(); 392 393 // If the result of the expression is a non-vector type, we must be 394 // extracting a single element. Just codegen as an extractelement. 395 const VectorType *ExprVT = ExprType->getAsVectorType(); 396 if (!ExprVT) { 397 unsigned InIdx = getAccessedFieldNo(0, Elts); 398 llvm::Value *Elt = llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx); 399 return RValue::get(Builder.CreateExtractElement(Vec, Elt, "tmp")); 400 } 401 402 // Always use shuffle vector to try to retain the original program structure 403 unsigned NumResultElts = ExprVT->getNumElements(); 404 405 llvm::SmallVector<llvm::Constant*, 4> Mask; 406 for (unsigned i = 0; i != NumResultElts; ++i) { 407 unsigned InIdx = getAccessedFieldNo(i, Elts); 408 Mask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx)); 409 } 410 411 llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size()); 412 Vec = Builder.CreateShuffleVector(Vec, 413 llvm::UndefValue::get(Vec->getType()), 414 MaskV, "tmp"); 415 return RValue::get(Vec); 416 } 417 418 419 420 /// EmitStoreThroughLValue - Store the specified rvalue into the specified 421 /// lvalue, where both are guaranteed to the have the same type, and that type 422 /// is 'Ty'. 423 void CodeGenFunction::EmitStoreThroughLValue(RValue Src, LValue Dst, 424 QualType Ty) { 425 if (!Dst.isSimple()) { 426 if (Dst.isVectorElt()) { 427 // Read/modify/write the vector, inserting the new element. 428 llvm::Value *Vec = Builder.CreateLoad(Dst.getVectorAddr(), 429 Dst.isVolatileQualified(), "tmp"); 430 Vec = Builder.CreateInsertElement(Vec, Src.getScalarVal(), 431 Dst.getVectorIdx(), "vecins"); 432 Builder.CreateStore(Vec, Dst.getVectorAddr(),Dst.isVolatileQualified()); 433 return; 434 } 435 436 // If this is an update of extended vector elements, insert them as 437 // appropriate. 438 if (Dst.isExtVectorElt()) 439 return EmitStoreThroughExtVectorComponentLValue(Src, Dst, Ty); 440 441 if (Dst.isBitfield()) 442 return EmitStoreThroughBitfieldLValue(Src, Dst, Ty); 443 444 if (Dst.isPropertyRef()) 445 return EmitStoreThroughPropertyRefLValue(Src, Dst, Ty); 446 447 if (Dst.isKVCRef()) 448 return EmitStoreThroughKVCRefLValue(Src, Dst, Ty); 449 450 assert(0 && "Unknown LValue type"); 451 } 452 453 if (Dst.isObjCWeak() && !Dst.isNonGC()) { 454 // load of a __weak object. 455 llvm::Value *LvalueDst = Dst.getAddress(); 456 llvm::Value *src = Src.getScalarVal(); 457 CGM.getObjCRuntime().EmitObjCWeakAssign(*this, src, LvalueDst); 458 return; 459 } 460 461 if (Dst.isObjCStrong() && !Dst.isNonGC()) { 462 // load of a __strong object. 463 llvm::Value *LvalueDst = Dst.getAddress(); 464 llvm::Value *src = Src.getScalarVal(); 465 #if 0 466 // FIXME. We cannot positively determine if we have an 'ivar' assignment, 467 // object assignment or an unknown assignment. For now, generate call to 468 // objc_assign_strongCast assignment which is a safe, but consevative 469 // assumption. 470 if (Dst.isObjCIvar()) 471 CGM.getObjCRuntime().EmitObjCIvarAssign(*this, src, LvalueDst); 472 else 473 CGM.getObjCRuntime().EmitObjCGlobalAssign(*this, src, LvalueDst); 474 #endif 475 if (Dst.isGlobalObjCRef()) 476 CGM.getObjCRuntime().EmitObjCGlobalAssign(*this, src, LvalueDst); 477 else 478 CGM.getObjCRuntime().EmitObjCStrongCastAssign(*this, src, LvalueDst); 479 return; 480 } 481 482 assert(Src.isScalar() && "Can't emit an agg store with this method"); 483 EmitStoreOfScalar(Src.getScalarVal(), Dst.getAddress(), 484 Dst.isVolatileQualified(), Ty); 485 } 486 487 void CodeGenFunction::EmitStoreThroughBitfieldLValue(RValue Src, LValue Dst, 488 QualType Ty, 489 llvm::Value **Result) { 490 unsigned StartBit = Dst.getBitfieldStartBit(); 491 unsigned BitfieldSize = Dst.getBitfieldSize(); 492 llvm::Value *Ptr = Dst.getBitfieldAddr(); 493 494 const llvm::Type *EltTy = 495 cast<llvm::PointerType>(Ptr->getType())->getElementType(); 496 unsigned EltTySize = CGM.getTargetData().getTypeSizeInBits(EltTy); 497 498 // Get the new value, cast to the appropriate type and masked to 499 // exactly the size of the bit-field. 500 llvm::Value *SrcVal = Src.getScalarVal(); 501 llvm::Value *NewVal = Builder.CreateIntCast(SrcVal, EltTy, false, "tmp"); 502 llvm::Constant *Mask = 503 llvm::ConstantInt::get(llvm::APInt::getLowBitsSet(EltTySize, BitfieldSize)); 504 NewVal = Builder.CreateAnd(NewVal, Mask, "bf.value"); 505 506 // Return the new value of the bit-field, if requested. 507 if (Result) { 508 // Cast back to the proper type for result. 509 const llvm::Type *SrcTy = SrcVal->getType(); 510 llvm::Value *SrcTrunc = Builder.CreateIntCast(NewVal, SrcTy, false, 511 "bf.reload.val"); 512 513 // Sign extend if necessary. 514 if (Dst.isBitfieldSigned()) { 515 unsigned SrcTySize = CGM.getTargetData().getTypeSizeInBits(SrcTy); 516 llvm::Value *ExtraBits = llvm::ConstantInt::get(SrcTy, 517 SrcTySize - BitfieldSize); 518 SrcTrunc = Builder.CreateAShr(Builder.CreateShl(SrcTrunc, ExtraBits), 519 ExtraBits, "bf.reload.sext"); 520 } 521 522 *Result = SrcTrunc; 523 } 524 525 // In some cases the bitfield may straddle two memory locations. 526 // Emit the low part first and check to see if the high needs to be 527 // done. 528 unsigned LowBits = std::min(BitfieldSize, EltTySize - StartBit); 529 llvm::Value *LowVal = Builder.CreateLoad(Ptr, Dst.isVolatileQualified(), 530 "bf.prev.low"); 531 532 // Compute the mask for zero-ing the low part of this bitfield. 533 llvm::Constant *InvMask = 534 llvm::ConstantInt::get(~llvm::APInt::getBitsSet(EltTySize, StartBit, 535 StartBit + LowBits)); 536 537 // Compute the new low part as 538 // LowVal = (LowVal & InvMask) | (NewVal << StartBit), 539 // with the shift of NewVal implicitly stripping the high bits. 540 llvm::Value *NewLowVal = 541 Builder.CreateShl(NewVal, llvm::ConstantInt::get(EltTy, StartBit), 542 "bf.value.lo"); 543 LowVal = Builder.CreateAnd(LowVal, InvMask, "bf.prev.lo.cleared"); 544 LowVal = Builder.CreateOr(LowVal, NewLowVal, "bf.new.lo"); 545 546 // Write back. 547 Builder.CreateStore(LowVal, Ptr, Dst.isVolatileQualified()); 548 549 // If the low part doesn't cover the bitfield emit a high part. 550 if (LowBits < BitfieldSize) { 551 unsigned HighBits = BitfieldSize - LowBits; 552 llvm::Value *HighPtr = 553 Builder.CreateGEP(Ptr, llvm::ConstantInt::get(llvm::Type::Int32Ty, 1), 554 "bf.ptr.hi"); 555 llvm::Value *HighVal = Builder.CreateLoad(HighPtr, 556 Dst.isVolatileQualified(), 557 "bf.prev.hi"); 558 559 // Compute the mask for zero-ing the high part of this bitfield. 560 llvm::Constant *InvMask = 561 llvm::ConstantInt::get(~llvm::APInt::getLowBitsSet(EltTySize, HighBits)); 562 563 // Compute the new high part as 564 // HighVal = (HighVal & InvMask) | (NewVal lshr LowBits), 565 // where the high bits of NewVal have already been cleared and the 566 // shift stripping the low bits. 567 llvm::Value *NewHighVal = 568 Builder.CreateLShr(NewVal, llvm::ConstantInt::get(EltTy, LowBits), 569 "bf.value.high"); 570 HighVal = Builder.CreateAnd(HighVal, InvMask, "bf.prev.hi.cleared"); 571 HighVal = Builder.CreateOr(HighVal, NewHighVal, "bf.new.hi"); 572 573 // Write back. 574 Builder.CreateStore(HighVal, HighPtr, Dst.isVolatileQualified()); 575 } 576 } 577 578 void CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src, 579 LValue Dst, 580 QualType Ty) { 581 EmitObjCPropertySet(Dst.getPropertyRefExpr(), Src); 582 } 583 584 void CodeGenFunction::EmitStoreThroughKVCRefLValue(RValue Src, 585 LValue Dst, 586 QualType Ty) { 587 EmitObjCPropertySet(Dst.getKVCRefExpr(), Src); 588 } 589 590 void CodeGenFunction::EmitStoreThroughExtVectorComponentLValue(RValue Src, 591 LValue Dst, 592 QualType Ty) { 593 // This access turns into a read/modify/write of the vector. Load the input 594 // value now. 595 llvm::Value *Vec = Builder.CreateLoad(Dst.getExtVectorAddr(), 596 Dst.isVolatileQualified(), "tmp"); 597 const llvm::Constant *Elts = Dst.getExtVectorElts(); 598 599 llvm::Value *SrcVal = Src.getScalarVal(); 600 601 if (const VectorType *VTy = Ty->getAsVectorType()) { 602 unsigned NumSrcElts = VTy->getNumElements(); 603 unsigned NumDstElts = 604 cast<llvm::VectorType>(Vec->getType())->getNumElements(); 605 if (NumDstElts == NumSrcElts) { 606 // Use shuffle vector is the src and destination are the same number 607 // of elements 608 llvm::SmallVector<llvm::Constant*, 4> Mask; 609 for (unsigned i = 0; i != NumSrcElts; ++i) { 610 unsigned InIdx = getAccessedFieldNo(i, Elts); 611 Mask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx)); 612 } 613 614 llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size()); 615 Vec = Builder.CreateShuffleVector(SrcVal, 616 llvm::UndefValue::get(Vec->getType()), 617 MaskV, "tmp"); 618 } 619 else if (NumDstElts > NumSrcElts) { 620 // Extended the source vector to the same length and then shuffle it 621 // into the destination. 622 // FIXME: since we're shuffling with undef, can we just use the indices 623 // into that? This could be simpler. 624 llvm::SmallVector<llvm::Constant*, 4> ExtMask; 625 unsigned i; 626 for (i = 0; i != NumSrcElts; ++i) 627 ExtMask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, i)); 628 for (; i != NumDstElts; ++i) 629 ExtMask.push_back(llvm::UndefValue::get(llvm::Type::Int32Ty)); 630 llvm::Value *ExtMaskV = llvm::ConstantVector::get(&ExtMask[0], 631 ExtMask.size()); 632 llvm::Value *ExtSrcVal = 633 Builder.CreateShuffleVector(SrcVal, 634 llvm::UndefValue::get(SrcVal->getType()), 635 ExtMaskV, "tmp"); 636 // build identity 637 llvm::SmallVector<llvm::Constant*, 4> Mask; 638 for (unsigned i = 0; i != NumDstElts; ++i) { 639 Mask.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, i)); 640 } 641 // modify when what gets shuffled in 642 for (unsigned i = 0; i != NumSrcElts; ++i) { 643 unsigned Idx = getAccessedFieldNo(i, Elts); 644 Mask[Idx] =llvm::ConstantInt::get(llvm::Type::Int32Ty, i+NumDstElts); 645 } 646 llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size()); 647 Vec = Builder.CreateShuffleVector(Vec, ExtSrcVal, MaskV, "tmp"); 648 } 649 else { 650 // We should never shorten the vector 651 assert(0 && "unexpected shorten vector length"); 652 } 653 } else { 654 // If the Src is a scalar (not a vector) it must be updating one element. 655 unsigned InIdx = getAccessedFieldNo(0, Elts); 656 llvm::Value *Elt = llvm::ConstantInt::get(llvm::Type::Int32Ty, InIdx); 657 Vec = Builder.CreateInsertElement(Vec, SrcVal, Elt, "tmp"); 658 } 659 660 Builder.CreateStore(Vec, Dst.getExtVectorAddr(), Dst.isVolatileQualified()); 661 } 662 663 LValue CodeGenFunction::EmitDeclRefLValue(const DeclRefExpr *E) { 664 const VarDecl *VD = dyn_cast<VarDecl>(E->getDecl()); 665 666 if (VD && (VD->isBlockVarDecl() || isa<ParmVarDecl>(VD) || 667 isa<ImplicitParamDecl>(VD))) { 668 LValue LV; 669 bool NonGCable = VD->hasLocalStorage() && !VD->hasAttr<BlocksAttr>(); 670 if (VD->hasExternalStorage()) { 671 llvm::Value *V = CGM.GetAddrOfGlobalVar(VD); 672 if (VD->getType()->isReferenceType()) 673 V = Builder.CreateLoad(V, "tmp"); 674 LV = LValue::MakeAddr(V, E->getType().getCVRQualifiers(), 675 getContext().getObjCGCAttrKind(E->getType())); 676 } 677 else { 678 llvm::Value *V = LocalDeclMap[VD]; 679 assert(V && "DeclRefExpr not entered in LocalDeclMap?"); 680 // local variables do not get their gc attribute set. 681 QualType::GCAttrTypes attr = QualType::GCNone; 682 // local static? 683 if (!NonGCable) 684 attr = getContext().getObjCGCAttrKind(E->getType()); 685 if (VD->hasAttr<BlocksAttr>()) { 686 bool needsCopyDispose = BlockRequiresCopying(VD->getType()); 687 const llvm::Type *PtrStructTy = V->getType(); 688 const llvm::Type *Ty = PtrStructTy; 689 Ty = llvm::PointerType::get(Ty, 0); 690 V = Builder.CreateStructGEP(V, 1, "forwarding"); 691 V = Builder.CreateBitCast(V, Ty); 692 V = Builder.CreateLoad(V, false); 693 V = Builder.CreateBitCast(V, PtrStructTy); 694 V = Builder.CreateStructGEP(V, needsCopyDispose*2 + 4, "x"); 695 } 696 if (VD->getType()->isReferenceType()) 697 V = Builder.CreateLoad(V, "tmp"); 698 LV = LValue::MakeAddr(V, E->getType().getCVRQualifiers(), attr); 699 } 700 LValue::SetObjCNonGC(LV, NonGCable); 701 return LV; 702 } else if (VD && VD->isFileVarDecl()) { 703 llvm::Value *V = CGM.GetAddrOfGlobalVar(VD); 704 if (VD->getType()->isReferenceType()) 705 V = Builder.CreateLoad(V, "tmp"); 706 LValue LV = LValue::MakeAddr(V, E->getType().getCVRQualifiers(), 707 getContext().getObjCGCAttrKind(E->getType())); 708 if (LV.isObjCStrong()) 709 LV.SetGlobalObjCRef(LV, true); 710 return LV; 711 } else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(E->getDecl())) { 712 return LValue::MakeAddr(CGM.GetAddrOfFunction(GlobalDecl(FD)), 713 E->getType().getCVRQualifiers(), 714 getContext().getObjCGCAttrKind(E->getType())); 715 } 716 else if (const ImplicitParamDecl *IPD = 717 dyn_cast<ImplicitParamDecl>(E->getDecl())) { 718 llvm::Value *V = LocalDeclMap[IPD]; 719 assert(V && "BlockVarDecl not entered in LocalDeclMap?"); 720 return LValue::MakeAddr(V, E->getType().getCVRQualifiers(), 721 getContext().getObjCGCAttrKind(E->getType())); 722 } 723 assert(0 && "Unimp declref"); 724 //an invalid LValue, but the assert will 725 //ensure that this point is never reached. 726 return LValue(); 727 } 728 729 LValue CodeGenFunction::EmitBlockDeclRefLValue(const BlockDeclRefExpr *E) { 730 return LValue::MakeAddr(GetAddrOfBlockDecl(E), 731 E->getType().getCVRQualifiers(), 732 getContext().getObjCGCAttrKind(E->getType())); 733 } 734 735 LValue CodeGenFunction::EmitUnaryOpLValue(const UnaryOperator *E) { 736 // __extension__ doesn't affect lvalue-ness. 737 if (E->getOpcode() == UnaryOperator::Extension) 738 return EmitLValue(E->getSubExpr()); 739 740 QualType ExprTy = getContext().getCanonicalType(E->getSubExpr()->getType()); 741 switch (E->getOpcode()) { 742 default: assert(0 && "Unknown unary operator lvalue!"); 743 case UnaryOperator::Deref: 744 { 745 QualType T = 746 E->getSubExpr()->getType()->getAsPointerType()->getPointeeType(); 747 LValue LV = LValue::MakeAddr(EmitScalarExpr(E->getSubExpr()), 748 ExprTy->getAsPointerType()->getPointeeType() 749 .getCVRQualifiers(), 750 getContext().getObjCGCAttrKind(T)); 751 // We should not generate __weak write barrier on indirect reference 752 // of a pointer to object; as in void foo (__weak id *param); *param = 0; 753 // But, we continue to generate __strong write barrier on indirect write 754 // into a pointer to object. 755 if (getContext().getLangOptions().ObjC1 && 756 getContext().getLangOptions().getGCMode() != LangOptions::NonGC && 757 LV.isObjCWeak()) 758 LValue::SetObjCNonGC(LV, !E->isOBJCGCCandidate()); 759 return LV; 760 } 761 case UnaryOperator::Real: 762 case UnaryOperator::Imag: 763 LValue LV = EmitLValue(E->getSubExpr()); 764 unsigned Idx = E->getOpcode() == UnaryOperator::Imag; 765 return LValue::MakeAddr(Builder.CreateStructGEP(LV.getAddress(), 766 Idx, "idx"), 767 ExprTy.getCVRQualifiers()); 768 } 769 } 770 771 LValue CodeGenFunction::EmitStringLiteralLValue(const StringLiteral *E) { 772 return LValue::MakeAddr(CGM.GetAddrOfConstantStringFromLiteral(E), 0); 773 } 774 775 LValue CodeGenFunction::EmitObjCEncodeExprLValue(const ObjCEncodeExpr *E) { 776 return LValue::MakeAddr(CGM.GetAddrOfConstantStringFromObjCEncode(E), 0); 777 } 778 779 780 LValue CodeGenFunction::EmitPredefinedFunctionName(unsigned Type) { 781 std::string GlobalVarName; 782 783 switch (Type) { 784 default: 785 assert(0 && "Invalid type"); 786 case PredefinedExpr::Func: 787 GlobalVarName = "__func__."; 788 break; 789 case PredefinedExpr::Function: 790 GlobalVarName = "__FUNCTION__."; 791 break; 792 case PredefinedExpr::PrettyFunction: 793 // FIXME:: Demangle C++ method names 794 GlobalVarName = "__PRETTY_FUNCTION__."; 795 break; 796 } 797 798 // FIXME: This isn't right at all. The logic for computing this should go 799 // into a method on PredefinedExpr. This would allow sema and codegen to be 800 // consistent for things like sizeof(__func__) etc. 801 std::string FunctionName; 802 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(CurCodeDecl)) { 803 FunctionName = CGM.getMangledName(FD); 804 } else { 805 // Just get the mangled name; skipping the asm prefix if it 806 // exists. 807 FunctionName = CurFn->getName(); 808 if (FunctionName[0] == '\01') 809 FunctionName = FunctionName.substr(1, std::string::npos); 810 } 811 812 GlobalVarName += FunctionName; 813 llvm::Constant *C = 814 CGM.GetAddrOfConstantCString(FunctionName, GlobalVarName.c_str()); 815 return LValue::MakeAddr(C, 0); 816 } 817 818 LValue CodeGenFunction::EmitPredefinedLValue(const PredefinedExpr *E) { 819 switch (E->getIdentType()) { 820 default: 821 return EmitUnsupportedLValue(E, "predefined expression"); 822 case PredefinedExpr::Func: 823 case PredefinedExpr::Function: 824 case PredefinedExpr::PrettyFunction: 825 return EmitPredefinedFunctionName(E->getIdentType()); 826 } 827 } 828 829 LValue CodeGenFunction::EmitArraySubscriptExpr(const ArraySubscriptExpr *E) { 830 // The index must always be an integer, which is not an aggregate. Emit it. 831 llvm::Value *Idx = EmitScalarExpr(E->getIdx()); 832 833 // If the base is a vector type, then we are forming a vector element lvalue 834 // with this subscript. 835 if (E->getBase()->getType()->isVectorType()) { 836 // Emit the vector as an lvalue to get its address. 837 LValue LHS = EmitLValue(E->getBase()); 838 assert(LHS.isSimple() && "Can only subscript lvalue vectors here!"); 839 // FIXME: This should properly sign/zero/extend or truncate Idx to i32. 840 return LValue::MakeVectorElt(LHS.getAddress(), Idx, 841 E->getBase()->getType().getCVRQualifiers()); 842 } 843 844 // The base must be a pointer, which is not an aggregate. Emit it. 845 llvm::Value *Base = EmitScalarExpr(E->getBase()); 846 847 // Extend or truncate the index type to 32 or 64-bits. 848 QualType IdxTy = E->getIdx()->getType(); 849 bool IdxSigned = IdxTy->isSignedIntegerType(); 850 unsigned IdxBitwidth = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 851 if (IdxBitwidth != LLVMPointerWidth) 852 Idx = Builder.CreateIntCast(Idx, llvm::IntegerType::get(LLVMPointerWidth), 853 IdxSigned, "idxprom"); 854 855 // We know that the pointer points to a type of the correct size, 856 // unless the size is a VLA or Objective-C interface. 857 llvm::Value *Address = 0; 858 if (const VariableArrayType *VAT = 859 getContext().getAsVariableArrayType(E->getType())) { 860 llvm::Value *VLASize = VLASizeMap[VAT]; 861 862 Idx = Builder.CreateMul(Idx, VLASize); 863 864 QualType BaseType = getContext().getBaseElementType(VAT); 865 866 uint64_t BaseTypeSize = getContext().getTypeSize(BaseType) / 8; 867 Idx = Builder.CreateUDiv(Idx, 868 llvm::ConstantInt::get(Idx->getType(), 869 BaseTypeSize)); 870 Address = Builder.CreateGEP(Base, Idx, "arrayidx"); 871 } else if (const ObjCInterfaceType *OIT = 872 dyn_cast<ObjCInterfaceType>(E->getType())) { 873 llvm::Value *InterfaceSize = 874 llvm::ConstantInt::get(Idx->getType(), 875 getContext().getTypeSize(OIT) / 8); 876 877 Idx = Builder.CreateMul(Idx, InterfaceSize); 878 879 llvm::Type *i8PTy = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 880 Address = Builder.CreateGEP(Builder.CreateBitCast(Base, i8PTy), 881 Idx, "arrayidx"); 882 Address = Builder.CreateBitCast(Address, Base->getType()); 883 } else { 884 Address = Builder.CreateGEP(Base, Idx, "arrayidx"); 885 } 886 887 QualType T = E->getBase()->getType()->getAsPointerType()->getPointeeType(); 888 LValue LV = LValue::MakeAddr(Address, 889 T.getCVRQualifiers(), 890 getContext().getObjCGCAttrKind(T)); 891 if (getContext().getLangOptions().ObjC1 && 892 getContext().getLangOptions().getGCMode() != LangOptions::NonGC) 893 LValue::SetObjCNonGC(LV, !E->isOBJCGCCandidate()); 894 return LV; 895 } 896 897 static 898 llvm::Constant *GenerateConstantVector(llvm::SmallVector<unsigned, 4> &Elts) { 899 llvm::SmallVector<llvm::Constant *, 4> CElts; 900 901 for (unsigned i = 0, e = Elts.size(); i != e; ++i) 902 CElts.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, Elts[i])); 903 904 return llvm::ConstantVector::get(&CElts[0], CElts.size()); 905 } 906 907 LValue CodeGenFunction:: 908 EmitExtVectorElementExpr(const ExtVectorElementExpr *E) { 909 // Emit the base vector as an l-value. 910 LValue Base; 911 912 // ExtVectorElementExpr's base can either be a vector or pointer to vector. 913 if (!E->isArrow()) { 914 assert(E->getBase()->getType()->isVectorType()); 915 Base = EmitLValue(E->getBase()); 916 } else { 917 const PointerType *PT = E->getBase()->getType()->getAsPointerType(); 918 llvm::Value *Ptr = EmitScalarExpr(E->getBase()); 919 Base = LValue::MakeAddr(Ptr, PT->getPointeeType().getCVRQualifiers()); 920 } 921 922 // Encode the element access list into a vector of unsigned indices. 923 llvm::SmallVector<unsigned, 4> Indices; 924 E->getEncodedElementAccess(Indices); 925 926 if (Base.isSimple()) { 927 llvm::Constant *CV = GenerateConstantVector(Indices); 928 return LValue::MakeExtVectorElt(Base.getAddress(), CV, 929 Base.getQualifiers()); 930 } 931 assert(Base.isExtVectorElt() && "Can only subscript lvalue vec elts here!"); 932 933 llvm::Constant *BaseElts = Base.getExtVectorElts(); 934 llvm::SmallVector<llvm::Constant *, 4> CElts; 935 936 for (unsigned i = 0, e = Indices.size(); i != e; ++i) { 937 if (isa<llvm::ConstantAggregateZero>(BaseElts)) 938 CElts.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, 0)); 939 else 940 CElts.push_back(BaseElts->getOperand(Indices[i])); 941 } 942 llvm::Constant *CV = llvm::ConstantVector::get(&CElts[0], CElts.size()); 943 return LValue::MakeExtVectorElt(Base.getExtVectorAddr(), CV, 944 Base.getQualifiers()); 945 } 946 947 LValue CodeGenFunction::EmitMemberExpr(const MemberExpr *E) { 948 bool isUnion = false; 949 bool isIvar = false; 950 bool isNonGC = false; 951 Expr *BaseExpr = E->getBase(); 952 llvm::Value *BaseValue = NULL; 953 unsigned CVRQualifiers=0; 954 955 // If this is s.x, emit s as an lvalue. If it is s->x, emit s as a scalar. 956 if (E->isArrow()) { 957 BaseValue = EmitScalarExpr(BaseExpr); 958 const PointerType *PTy = 959 BaseExpr->getType()->getAsPointerType(); 960 if (PTy->getPointeeType()->isUnionType()) 961 isUnion = true; 962 CVRQualifiers = PTy->getPointeeType().getCVRQualifiers(); 963 } else if (isa<ObjCPropertyRefExpr>(BaseExpr) || 964 isa<ObjCKVCRefExpr>(BaseExpr)) { 965 RValue RV = EmitObjCPropertyGet(BaseExpr); 966 BaseValue = RV.getAggregateAddr(); 967 if (BaseExpr->getType()->isUnionType()) 968 isUnion = true; 969 CVRQualifiers = BaseExpr->getType().getCVRQualifiers(); 970 } else { 971 LValue BaseLV = EmitLValue(BaseExpr); 972 if (BaseLV.isObjCIvar()) 973 isIvar = true; 974 if (BaseLV.isNonGC()) 975 isNonGC = true; 976 // FIXME: this isn't right for bitfields. 977 BaseValue = BaseLV.getAddress(); 978 if (BaseExpr->getType()->isUnionType()) 979 isUnion = true; 980 CVRQualifiers = BaseExpr->getType().getCVRQualifiers(); 981 } 982 983 FieldDecl *Field = dyn_cast<FieldDecl>(E->getMemberDecl()); 984 // FIXME: Handle non-field member expressions 985 assert(Field && "No code generation for non-field member references"); 986 LValue MemExpLV = EmitLValueForField(BaseValue, Field, isUnion, 987 CVRQualifiers); 988 LValue::SetObjCIvar(MemExpLV, isIvar); 989 LValue::SetObjCNonGC(MemExpLV, isNonGC); 990 return MemExpLV; 991 } 992 993 LValue CodeGenFunction::EmitLValueForBitfield(llvm::Value* BaseValue, 994 FieldDecl* Field, 995 unsigned CVRQualifiers) { 996 unsigned idx = CGM.getTypes().getLLVMFieldNo(Field); 997 // FIXME: CodeGenTypes should expose a method to get the appropriate type for 998 // FieldTy (the appropriate type is ABI-dependent). 999 const llvm::Type *FieldTy = 1000 CGM.getTypes().ConvertTypeForMem(Field->getType()); 1001 const llvm::PointerType *BaseTy = 1002 cast<llvm::PointerType>(BaseValue->getType()); 1003 unsigned AS = BaseTy->getAddressSpace(); 1004 BaseValue = Builder.CreateBitCast(BaseValue, 1005 llvm::PointerType::get(FieldTy, AS), 1006 "tmp"); 1007 llvm::Value *V = Builder.CreateGEP(BaseValue, 1008 llvm::ConstantInt::get(llvm::Type::Int32Ty, idx), 1009 "tmp"); 1010 1011 CodeGenTypes::BitFieldInfo bitFieldInfo = 1012 CGM.getTypes().getBitFieldInfo(Field); 1013 return LValue::MakeBitfield(V, bitFieldInfo.Begin, bitFieldInfo.Size, 1014 Field->getType()->isSignedIntegerType(), 1015 Field->getType().getCVRQualifiers()|CVRQualifiers); 1016 } 1017 1018 LValue CodeGenFunction::EmitLValueForField(llvm::Value* BaseValue, 1019 FieldDecl* Field, 1020 bool isUnion, 1021 unsigned CVRQualifiers) 1022 { 1023 if (Field->isBitField()) 1024 return EmitLValueForBitfield(BaseValue, Field, CVRQualifiers); 1025 1026 unsigned idx = CGM.getTypes().getLLVMFieldNo(Field); 1027 llvm::Value *V = Builder.CreateStructGEP(BaseValue, idx, "tmp"); 1028 1029 // Match union field type. 1030 if (isUnion) { 1031 const llvm::Type *FieldTy = 1032 CGM.getTypes().ConvertTypeForMem(Field->getType()); 1033 const llvm::PointerType * BaseTy = 1034 cast<llvm::PointerType>(BaseValue->getType()); 1035 unsigned AS = BaseTy->getAddressSpace(); 1036 V = Builder.CreateBitCast(V, 1037 llvm::PointerType::get(FieldTy, AS), 1038 "tmp"); 1039 } 1040 if (Field->getType()->isReferenceType()) 1041 V = Builder.CreateLoad(V, "tmp"); 1042 1043 QualType::GCAttrTypes attr = QualType::GCNone; 1044 if (CGM.getLangOptions().ObjC1 && 1045 CGM.getLangOptions().getGCMode() != LangOptions::NonGC) { 1046 QualType Ty = Field->getType(); 1047 attr = Ty.getObjCGCAttr(); 1048 if (attr != QualType::GCNone) { 1049 // __weak attribute on a field is ignored. 1050 if (attr == QualType::Weak) 1051 attr = QualType::GCNone; 1052 } 1053 else if (getContext().isObjCObjectPointerType(Ty)) 1054 attr = QualType::Strong; 1055 } 1056 LValue LV = 1057 LValue::MakeAddr(V, 1058 Field->getType().getCVRQualifiers()|CVRQualifiers, 1059 attr); 1060 return LV; 1061 } 1062 1063 LValue CodeGenFunction::EmitCompoundLiteralLValue(const CompoundLiteralExpr* E){ 1064 const llvm::Type *LTy = ConvertType(E->getType()); 1065 llvm::Value *DeclPtr = CreateTempAlloca(LTy, ".compoundliteral"); 1066 1067 const Expr* InitExpr = E->getInitializer(); 1068 LValue Result = LValue::MakeAddr(DeclPtr, E->getType().getCVRQualifiers()); 1069 1070 if (E->getType()->isComplexType()) { 1071 EmitComplexExprIntoAddr(InitExpr, DeclPtr, false); 1072 } else if (hasAggregateLLVMType(E->getType())) { 1073 EmitAnyExpr(InitExpr, DeclPtr, false); 1074 } else { 1075 EmitStoreThroughLValue(EmitAnyExpr(InitExpr), Result, E->getType()); 1076 } 1077 1078 return Result; 1079 } 1080 1081 LValue CodeGenFunction::EmitConditionalOperator(const ConditionalOperator* E) { 1082 // We don't handle vectors yet. 1083 if (E->getType()->isVectorType()) 1084 return EmitUnsupportedLValue(E, "conditional operator"); 1085 1086 // ?: here should be an aggregate. 1087 assert((hasAggregateLLVMType(E->getType()) && 1088 !E->getType()->isAnyComplexType()) && 1089 "Unexpected conditional operator!"); 1090 1091 llvm::Value *Temp = CreateTempAlloca(ConvertType(E->getType())); 1092 EmitAggExpr(E, Temp, false); 1093 1094 return LValue::MakeAddr(Temp, E->getType().getCVRQualifiers(), 1095 getContext().getObjCGCAttrKind(E->getType())); 1096 1097 } 1098 1099 /// EmitCastLValue - Casts are never lvalues. If a cast is needed by the code 1100 /// generator in an lvalue context, then it must mean that we need the address 1101 /// of an aggregate in order to access one of its fields. This can happen for 1102 /// all the reasons that casts are permitted with aggregate result, including 1103 /// noop aggregate casts, and cast from scalar to union. 1104 LValue CodeGenFunction::EmitCastLValue(const CastExpr *E) { 1105 // If this is an aggregate-to-aggregate cast, just use the input's address as 1106 // the lvalue. 1107 if (getContext().hasSameUnqualifiedType(E->getType(), 1108 E->getSubExpr()->getType())) 1109 return EmitLValue(E->getSubExpr()); 1110 1111 // Otherwise, we must have a cast from scalar to union. 1112 assert(E->getType()->isUnionType() && "Expected scalar-to-union cast"); 1113 1114 // Casts are only lvalues when the source and destination types are the same. 1115 llvm::Value *Temp = CreateTempAlloca(ConvertType(E->getType())); 1116 EmitAnyExpr(E->getSubExpr(), Temp, false); 1117 1118 return LValue::MakeAddr(Temp, E->getType().getCVRQualifiers(), 1119 getContext().getObjCGCAttrKind(E->getType())); 1120 } 1121 1122 //===--------------------------------------------------------------------===// 1123 // Expression Emission 1124 //===--------------------------------------------------------------------===// 1125 1126 1127 RValue CodeGenFunction::EmitCallExpr(const CallExpr *E) { 1128 // Builtins never have block type. 1129 if (E->getCallee()->getType()->isBlockPointerType()) 1130 return EmitBlockCallExpr(E); 1131 1132 if (const CXXMemberCallExpr *CE = dyn_cast<CXXMemberCallExpr>(E)) 1133 return EmitCXXMemberCallExpr(CE); 1134 1135 const Decl *TargetDecl = 0; 1136 if (const ImplicitCastExpr *CE = dyn_cast<ImplicitCastExpr>(E->getCallee())) { 1137 if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(CE->getSubExpr())) { 1138 TargetDecl = DRE->getDecl(); 1139 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(TargetDecl)) 1140 if (unsigned builtinID = FD->getBuiltinID(getContext())) 1141 return EmitBuiltinExpr(FD, builtinID, E); 1142 } 1143 } 1144 1145 if (const CXXOperatorCallExpr *CE = dyn_cast<CXXOperatorCallExpr>(E)) { 1146 if (const CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(TargetDecl)) 1147 return EmitCXXOperatorMemberCallExpr(CE, MD); 1148 } 1149 1150 llvm::Value *Callee = EmitScalarExpr(E->getCallee()); 1151 return EmitCall(Callee, E->getCallee()->getType(), 1152 E->arg_begin(), E->arg_end(), TargetDecl); 1153 } 1154 1155 LValue CodeGenFunction::EmitBinaryOperatorLValue(const BinaryOperator *E) { 1156 // Comma expressions just emit their LHS then their RHS as an l-value. 1157 if (E->getOpcode() == BinaryOperator::Comma) { 1158 EmitAnyExpr(E->getLHS()); 1159 return EmitLValue(E->getRHS()); 1160 } 1161 1162 // Can only get l-value for binary operator expressions which are a 1163 // simple assignment of aggregate type. 1164 if (E->getOpcode() != BinaryOperator::Assign) 1165 return EmitUnsupportedLValue(E, "binary l-value expression"); 1166 1167 llvm::Value *Temp = CreateTempAlloca(ConvertType(E->getType())); 1168 EmitAggExpr(E, Temp, false); 1169 // FIXME: Are these qualifiers correct? 1170 return LValue::MakeAddr(Temp, E->getType().getCVRQualifiers(), 1171 getContext().getObjCGCAttrKind(E->getType())); 1172 } 1173 1174 LValue CodeGenFunction::EmitCallExprLValue(const CallExpr *E) { 1175 RValue RV = EmitCallExpr(E); 1176 1177 if (RV.isScalar()) { 1178 assert(E->getCallReturnType()->isReferenceType() && 1179 "Can't have a scalar return unless the return type is a " 1180 "reference type!"); 1181 1182 return LValue::MakeAddr(RV.getScalarVal(), E->getType().getCVRQualifiers(), 1183 getContext().getObjCGCAttrKind(E->getType())); 1184 } 1185 1186 return LValue::MakeAddr(RV.getAggregateAddr(), 1187 E->getType().getCVRQualifiers(), 1188 getContext().getObjCGCAttrKind(E->getType())); 1189 } 1190 1191 LValue CodeGenFunction::EmitVAArgExprLValue(const VAArgExpr *E) { 1192 // FIXME: This shouldn't require another copy. 1193 llvm::Value *Temp = CreateTempAlloca(ConvertType(E->getType())); 1194 EmitAggExpr(E, Temp, false); 1195 return LValue::MakeAddr(Temp, E->getType().getCVRQualifiers()); 1196 } 1197 1198 LValue 1199 CodeGenFunction::EmitCXXConditionDeclLValue(const CXXConditionDeclExpr *E) { 1200 EmitLocalBlockVarDecl(*E->getVarDecl()); 1201 return EmitDeclRefLValue(E); 1202 } 1203 1204 LValue CodeGenFunction::EmitCXXConstructLValue(const CXXConstructExpr *E) { 1205 llvm::Value *Temp = CreateTempAlloca(ConvertTypeForMem(E->getType()), "tmp"); 1206 EmitCXXConstructExpr(Temp, E); 1207 return LValue::MakeAddr(Temp, E->getType().getCVRQualifiers()); 1208 } 1209 1210 LValue CodeGenFunction::EmitObjCMessageExprLValue(const ObjCMessageExpr *E) { 1211 // Can only get l-value for message expression returning aggregate type 1212 RValue RV = EmitObjCMessageExpr(E); 1213 // FIXME: can this be volatile? 1214 return LValue::MakeAddr(RV.getAggregateAddr(), 1215 E->getType().getCVRQualifiers(), 1216 getContext().getObjCGCAttrKind(E->getType())); 1217 } 1218 1219 llvm::Value *CodeGenFunction::EmitIvarOffset(const ObjCInterfaceDecl *Interface, 1220 const ObjCIvarDecl *Ivar) { 1221 return CGM.getObjCRuntime().EmitIvarOffset(*this, Interface, Ivar); 1222 } 1223 1224 LValue CodeGenFunction::EmitLValueForIvar(QualType ObjectTy, 1225 llvm::Value *BaseValue, 1226 const ObjCIvarDecl *Ivar, 1227 unsigned CVRQualifiers) { 1228 return CGM.getObjCRuntime().EmitObjCValueForIvar(*this, ObjectTy, BaseValue, 1229 Ivar, CVRQualifiers); 1230 } 1231 1232 LValue CodeGenFunction::EmitObjCIvarRefLValue(const ObjCIvarRefExpr *E) { 1233 // FIXME: A lot of the code below could be shared with EmitMemberExpr. 1234 llvm::Value *BaseValue = 0; 1235 const Expr *BaseExpr = E->getBase(); 1236 unsigned CVRQualifiers = 0; 1237 QualType ObjectTy; 1238 if (E->isArrow()) { 1239 BaseValue = EmitScalarExpr(BaseExpr); 1240 const PointerType *PTy = BaseExpr->getType()->getAsPointerType(); 1241 ObjectTy = PTy->getPointeeType(); 1242 CVRQualifiers = ObjectTy.getCVRQualifiers(); 1243 } else { 1244 LValue BaseLV = EmitLValue(BaseExpr); 1245 // FIXME: this isn't right for bitfields. 1246 BaseValue = BaseLV.getAddress(); 1247 ObjectTy = BaseExpr->getType(); 1248 CVRQualifiers = ObjectTy.getCVRQualifiers(); 1249 } 1250 1251 return EmitLValueForIvar(ObjectTy, BaseValue, E->getDecl(), CVRQualifiers); 1252 } 1253 1254 LValue 1255 CodeGenFunction::EmitObjCPropertyRefLValue(const ObjCPropertyRefExpr *E) { 1256 // This is a special l-value that just issues sends when we load or 1257 // store through it. 1258 return LValue::MakePropertyRef(E, E->getType().getCVRQualifiers()); 1259 } 1260 1261 LValue 1262 CodeGenFunction::EmitObjCKVCRefLValue(const ObjCKVCRefExpr *E) { 1263 // This is a special l-value that just issues sends when we load or 1264 // store through it. 1265 return LValue::MakeKVCRef(E, E->getType().getCVRQualifiers()); 1266 } 1267 1268 LValue 1269 CodeGenFunction::EmitObjCSuperExprLValue(const ObjCSuperExpr *E) { 1270 return EmitUnsupportedLValue(E, "use of super"); 1271 } 1272 1273 LValue CodeGenFunction::EmitStmtExprLValue(const StmtExpr *E) { 1274 1275 // Can only get l-value for message expression returning aggregate type 1276 RValue RV = EmitAnyExprToTemp(E); 1277 // FIXME: can this be volatile? 1278 return LValue::MakeAddr(RV.getAggregateAddr(), 1279 E->getType().getCVRQualifiers(), 1280 getContext().getObjCGCAttrKind(E->getType())); 1281 } 1282 1283 1284 RValue CodeGenFunction::EmitCall(llvm::Value *Callee, QualType CalleeType, 1285 CallExpr::const_arg_iterator ArgBeg, 1286 CallExpr::const_arg_iterator ArgEnd, 1287 const Decl *TargetDecl) { 1288 // Get the actual function type. The callee type will always be a 1289 // pointer to function type or a block pointer type. 1290 assert(CalleeType->isFunctionPointerType() && 1291 "Call must have function pointer type!"); 1292 1293 QualType FnType = CalleeType->getAsPointerType()->getPointeeType(); 1294 QualType ResultType = FnType->getAsFunctionType()->getResultType(); 1295 1296 CallArgList Args; 1297 EmitCallArgs(Args, FnType->getAsFunctionProtoType(), ArgBeg, ArgEnd); 1298 1299 return EmitCall(CGM.getTypes().getFunctionInfo(ResultType, Args), 1300 Callee, Args, TargetDecl); 1301 } 1302