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