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 "CGRecordLayout.h"
18 #include "CGObjCRuntime.h"
19 #include "clang/AST/ASTContext.h"
20 #include "clang/AST/DeclObjC.h"
21 #include "llvm/Intrinsics.h"
22 #include "clang/Frontend/CodeGenOptions.h"
23 #include "llvm/Target/TargetData.h"
24 using namespace clang;
25 using namespace CodeGen;
26 
27 //===--------------------------------------------------------------------===//
28 //                        Miscellaneous Helper Methods
29 //===--------------------------------------------------------------------===//
30 
31 /// CreateTempAlloca - This creates a alloca and inserts it into the entry
32 /// block.
33 llvm::AllocaInst *CodeGenFunction::CreateTempAlloca(const llvm::Type *Ty,
34                                                     const llvm::Twine &Name) {
35   if (!Builder.isNamePreserving())
36     return new llvm::AllocaInst(Ty, 0, "", AllocaInsertPt);
37   return new llvm::AllocaInst(Ty, 0, Name, AllocaInsertPt);
38 }
39 
40 void CodeGenFunction::InitTempAlloca(llvm::AllocaInst *Var,
41                                      llvm::Value *Init) {
42   llvm::StoreInst *Store = new llvm::StoreInst(Init, Var);
43   llvm::BasicBlock *Block = AllocaInsertPt->getParent();
44   Block->getInstList().insertAfter(&*AllocaInsertPt, Store);
45 }
46 
47 llvm::AllocaInst *CodeGenFunction::CreateIRTemp(QualType Ty,
48                                                 const llvm::Twine &Name) {
49   llvm::AllocaInst *Alloc = CreateTempAlloca(ConvertType(Ty), Name);
50   // FIXME: Should we prefer the preferred type alignment here?
51   CharUnits Align = getContext().getTypeAlignInChars(Ty);
52   Alloc->setAlignment(Align.getQuantity());
53   return Alloc;
54 }
55 
56 llvm::AllocaInst *CodeGenFunction::CreateMemTemp(QualType Ty,
57                                                  const llvm::Twine &Name) {
58   llvm::AllocaInst *Alloc = CreateTempAlloca(ConvertTypeForMem(Ty), Name);
59   // FIXME: Should we prefer the preferred type alignment here?
60   CharUnits Align = getContext().getTypeAlignInChars(Ty);
61   Alloc->setAlignment(Align.getQuantity());
62   return Alloc;
63 }
64 
65 /// EvaluateExprAsBool - Perform the usual unary conversions on the specified
66 /// expression and compare the result against zero, returning an Int1Ty value.
67 llvm::Value *CodeGenFunction::EvaluateExprAsBool(const Expr *E) {
68   QualType BoolTy = getContext().BoolTy;
69   if (E->getType()->isMemberFunctionPointerType()) {
70     LValue LV = EmitAggExprToLValue(E);
71 
72     // Get the pointer.
73     llvm::Value *FuncPtr = Builder.CreateStructGEP(LV.getAddress(), 0,
74                                                    "src.ptr");
75     FuncPtr = Builder.CreateLoad(FuncPtr);
76 
77     llvm::Value *IsNotNull =
78       Builder.CreateICmpNE(FuncPtr,
79                             llvm::Constant::getNullValue(FuncPtr->getType()),
80                             "tobool");
81 
82     return IsNotNull;
83   }
84   if (!E->getType()->isAnyComplexType())
85     return EmitScalarConversion(EmitScalarExpr(E), E->getType(), BoolTy);
86 
87   return EmitComplexToScalarConversion(EmitComplexExpr(E), E->getType(),BoolTy);
88 }
89 
90 /// EmitAnyExpr - Emit code to compute the specified expression which can have
91 /// any type.  The result is returned as an RValue struct.  If this is an
92 /// aggregate expression, the aggloc/agglocvolatile arguments indicate where the
93 /// result should be returned.
94 RValue CodeGenFunction::EmitAnyExpr(const Expr *E, llvm::Value *AggLoc,
95                                     bool IsAggLocVolatile, bool IgnoreResult,
96                                     bool IsInitializer) {
97   if (!hasAggregateLLVMType(E->getType()))
98     return RValue::get(EmitScalarExpr(E, IgnoreResult));
99   else if (E->getType()->isAnyComplexType())
100     return RValue::getComplex(EmitComplexExpr(E, false, false,
101                                               IgnoreResult, IgnoreResult));
102 
103   EmitAggExpr(E, AggLoc, IsAggLocVolatile, IgnoreResult, IsInitializer);
104   return RValue::getAggregate(AggLoc, IsAggLocVolatile);
105 }
106 
107 /// EmitAnyExprToTemp - Similary to EmitAnyExpr(), however, the result will
108 /// always be accessible even if no aggregate location is provided.
109 RValue CodeGenFunction::EmitAnyExprToTemp(const Expr *E,
110                                           bool IsAggLocVolatile,
111                                           bool IsInitializer) {
112   llvm::Value *AggLoc = 0;
113 
114   if (hasAggregateLLVMType(E->getType()) &&
115       !E->getType()->isAnyComplexType())
116     AggLoc = CreateMemTemp(E->getType(), "agg.tmp");
117   return EmitAnyExpr(E, AggLoc, IsAggLocVolatile, /*IgnoreResult=*/false,
118                      IsInitializer);
119 }
120 
121 /// EmitAnyExprToMem - Evaluate an expression into a given memory
122 /// location.
123 void CodeGenFunction::EmitAnyExprToMem(const Expr *E,
124                                        llvm::Value *Location,
125                                        bool IsLocationVolatile,
126                                        bool IsInit) {
127   if (E->getType()->isComplexType())
128     EmitComplexExprIntoAddr(E, Location, IsLocationVolatile);
129   else if (hasAggregateLLVMType(E->getType()))
130     EmitAggExpr(E, Location, IsLocationVolatile, /*Ignore*/ false, IsInit);
131   else {
132     RValue RV = RValue::get(EmitScalarExpr(E, /*Ignore*/ false));
133     LValue LV = LValue::MakeAddr(Location, MakeQualifiers(E->getType()));
134     EmitStoreThroughLValue(RV, LV, E->getType());
135   }
136 }
137 
138 /// \brief An adjustment to be made to the temporary created when emitting a
139 /// reference binding, which accesses a particular subobject of that temporary.
140 struct SubobjectAdjustment {
141   enum { DerivedToBaseAdjustment, FieldAdjustment } Kind;
142 
143   union {
144     struct {
145       const CXXBaseSpecifierArray *BasePath;
146       const CXXRecordDecl *DerivedClass;
147     } DerivedToBase;
148 
149     struct {
150       FieldDecl *Field;
151       unsigned CVRQualifiers;
152     } Field;
153   };
154 
155   SubobjectAdjustment(const CXXBaseSpecifierArray *BasePath,
156                       const CXXRecordDecl *DerivedClass)
157     : Kind(DerivedToBaseAdjustment)
158   {
159     DerivedToBase.BasePath = BasePath;
160     DerivedToBase.DerivedClass = DerivedClass;
161   }
162 
163   SubobjectAdjustment(FieldDecl *Field, unsigned CVRQualifiers)
164     : Kind(FieldAdjustment)
165   {
166     this->Field.Field = Field;
167     this->Field.CVRQualifiers = CVRQualifiers;
168   }
169 };
170 
171 static llvm::Value *
172 CreateReferenceTemporary(CodeGenFunction& CGF, QualType Type,
173                          const NamedDecl *InitializedDecl) {
174   if (const VarDecl *VD = dyn_cast_or_null<VarDecl>(InitializedDecl)) {
175     if (VD->hasGlobalStorage()) {
176       llvm::SmallString<256> Name;
177       CGF.CGM.getMangleContext().mangleReferenceTemporary(VD, Name);
178 
179       const llvm::Type *RefTempTy = CGF.ConvertTypeForMem(Type);
180 
181       // Create the reference temporary.
182       llvm::GlobalValue *RefTemp =
183         new llvm::GlobalVariable(CGF.CGM.getModule(),
184                                  RefTempTy, /*isConstant=*/false,
185                                  llvm::GlobalValue::InternalLinkage,
186                                  llvm::Constant::getNullValue(RefTempTy),
187                                  Name.str());
188       return RefTemp;
189     }
190   }
191 
192   return CGF.CreateMemTemp(Type, "ref.tmp");
193 }
194 
195 static llvm::Value *
196 EmitExprForReferenceBinding(CodeGenFunction& CGF, const Expr* E,
197                             llvm::Value *&ReferenceTemporary,
198                             const CXXDestructorDecl *&ReferenceTemporaryDtor,
199                             const NamedDecl *InitializedDecl) {
200   if (const CXXDefaultArgExpr *DAE = dyn_cast<CXXDefaultArgExpr>(E))
201     E = DAE->getExpr();
202 
203   if (const CXXExprWithTemporaries *TE = dyn_cast<CXXExprWithTemporaries>(E)) {
204     CodeGenFunction::RunCleanupsScope Scope(CGF);
205 
206     return EmitExprForReferenceBinding(CGF, TE->getSubExpr(),
207                                        ReferenceTemporary,
208                                        ReferenceTemporaryDtor,
209                                        InitializedDecl);
210   }
211 
212   RValue RV;
213   if (E->isLvalue(CGF.getContext()) == Expr::LV_Valid) {
214     // Emit the expression as an lvalue.
215     LValue LV = CGF.EmitLValue(E);
216 
217     if (LV.isSimple())
218       return LV.getAddress();
219 
220     // We have to load the lvalue.
221     RV = CGF.EmitLoadOfLValue(LV, E->getType());
222   } else {
223     QualType ResultTy = E->getType();
224 
225     llvm::SmallVector<SubobjectAdjustment, 2> Adjustments;
226     while (true) {
227       if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) {
228         E = PE->getSubExpr();
229         continue;
230       }
231 
232       if (const CastExpr *CE = dyn_cast<CastExpr>(E)) {
233         if ((CE->getCastKind() == CastExpr::CK_DerivedToBase ||
234              CE->getCastKind() == CastExpr::CK_UncheckedDerivedToBase) &&
235             E->getType()->isRecordType()) {
236           E = CE->getSubExpr();
237           CXXRecordDecl *Derived
238             = cast<CXXRecordDecl>(E->getType()->getAs<RecordType>()->getDecl());
239           Adjustments.push_back(SubobjectAdjustment(&CE->getBasePath(),
240                                                     Derived));
241           continue;
242         }
243 
244         if (CE->getCastKind() == CastExpr::CK_NoOp) {
245           E = CE->getSubExpr();
246           continue;
247         }
248       } else if (const MemberExpr *ME = dyn_cast<MemberExpr>(E)) {
249         if (ME->getBase()->isLvalue(CGF.getContext()) != Expr::LV_Valid &&
250             ME->getBase()->getType()->isRecordType()) {
251           if (FieldDecl *Field = dyn_cast<FieldDecl>(ME->getMemberDecl())) {
252             E = ME->getBase();
253             Adjustments.push_back(SubobjectAdjustment(Field,
254                                               E->getType().getCVRQualifiers()));
255             continue;
256           }
257         }
258       }
259 
260       // Nothing changed.
261       break;
262     }
263 
264     // Create a reference temporary if necessary.
265     if (CGF.hasAggregateLLVMType(E->getType()) &&
266         !E->getType()->isAnyComplexType())
267       ReferenceTemporary = CreateReferenceTemporary(CGF, E->getType(),
268                                                     InitializedDecl);
269 
270     RV = CGF.EmitAnyExpr(E, ReferenceTemporary, /*IsAggLocVolatile=*/false,
271                          /*IgnoreResult=*/false, InitializedDecl);
272 
273     if (InitializedDecl) {
274       // Get the destructor for the reference temporary.
275       if (const RecordType *RT = E->getType()->getAs<RecordType>()) {
276         CXXRecordDecl *ClassDecl = cast<CXXRecordDecl>(RT->getDecl());
277         if (!ClassDecl->hasTrivialDestructor())
278           ReferenceTemporaryDtor = ClassDecl->getDestructor();
279       }
280     }
281 
282     // Check if need to perform derived-to-base casts and/or field accesses, to
283     // get from the temporary object we created (and, potentially, for which we
284     // extended the lifetime) to the subobject we're binding the reference to.
285     if (!Adjustments.empty()) {
286       llvm::Value *Object = RV.getAggregateAddr();
287       for (unsigned I = Adjustments.size(); I != 0; --I) {
288         SubobjectAdjustment &Adjustment = Adjustments[I-1];
289         switch (Adjustment.Kind) {
290         case SubobjectAdjustment::DerivedToBaseAdjustment:
291           Object =
292               CGF.GetAddressOfBaseClass(Object,
293                                         Adjustment.DerivedToBase.DerivedClass,
294                                         *Adjustment.DerivedToBase.BasePath,
295                                         /*NullCheckValue=*/false);
296           break;
297 
298         case SubobjectAdjustment::FieldAdjustment: {
299           unsigned CVR = Adjustment.Field.CVRQualifiers;
300           LValue LV =
301             CGF.EmitLValueForField(Object, Adjustment.Field.Field, CVR);
302           if (LV.isSimple()) {
303             Object = LV.getAddress();
304             break;
305           }
306 
307           // For non-simple lvalues, we actually have to create a copy of
308           // the object we're binding to.
309           QualType T = Adjustment.Field.Field->getType().getNonReferenceType()
310                                                         .getUnqualifiedType();
311           Object = CreateReferenceTemporary(CGF, T, InitializedDecl);
312           LValue TempLV = LValue::MakeAddr(Object,
313                                            Qualifiers::fromCVRMask(CVR));
314           CGF.EmitStoreThroughLValue(CGF.EmitLoadOfLValue(LV, T), TempLV, T);
315           break;
316         }
317 
318         }
319       }
320 
321       const llvm::Type *ResultPtrTy = CGF.ConvertType(ResultTy)->getPointerTo();
322       return CGF.Builder.CreateBitCast(Object, ResultPtrTy, "temp");
323     }
324   }
325 
326   if (RV.isAggregate())
327     return RV.getAggregateAddr();
328 
329   // Create a temporary variable that we can bind the reference to.
330   ReferenceTemporary = CreateReferenceTemporary(CGF, E->getType(),
331                                                 InitializedDecl);
332 
333   if (RV.isScalar())
334     CGF.EmitStoreOfScalar(RV.getScalarVal(), ReferenceTemporary,
335                           /*Volatile=*/false, E->getType());
336   else
337     CGF.StoreComplexToAddr(RV.getComplexVal(), ReferenceTemporary,
338                            /*Volatile=*/false);
339   return ReferenceTemporary;
340 }
341 
342 RValue
343 CodeGenFunction::EmitReferenceBindingToExpr(const Expr* E,
344                                             const NamedDecl *InitializedDecl) {
345   llvm::Value *ReferenceTemporary = 0;
346   const CXXDestructorDecl *ReferenceTemporaryDtor = 0;
347   llvm::Value *Value = EmitExprForReferenceBinding(*this, E, ReferenceTemporary,
348                                                    ReferenceTemporaryDtor,
349                                                    InitializedDecl);
350 
351   if (!ReferenceTemporaryDtor)
352     return RValue::get(Value);
353 
354   // Make sure to call the destructor for the reference temporary.
355   if (const VarDecl *VD = dyn_cast_or_null<VarDecl>(InitializedDecl)) {
356     if (VD->hasGlobalStorage()) {
357       llvm::Constant *DtorFn =
358         CGM.GetAddrOfCXXDestructor(ReferenceTemporaryDtor, Dtor_Complete);
359       CGF.EmitCXXGlobalDtorRegistration(DtorFn,
360                                       cast<llvm::Constant>(ReferenceTemporary));
361 
362       return RValue::get(Value);
363     }
364   }
365 
366   CleanupBlock Cleanup(*this, NormalCleanup);
367   EmitCXXDestructorCall(ReferenceTemporaryDtor, Dtor_Complete,
368                         /*ForVirtualBase=*/false, ReferenceTemporary);
369 
370   if (Exceptions) {
371     Cleanup.beginEHCleanup();
372     EmitCXXDestructorCall(ReferenceTemporaryDtor, Dtor_Complete,
373                           /*ForVirtualBase=*/false, ReferenceTemporary);
374   }
375 
376   return RValue::get(Value);
377 }
378 
379 
380 /// getAccessedFieldNo - Given an encoded value and a result number, return the
381 /// input field number being accessed.
382 unsigned CodeGenFunction::getAccessedFieldNo(unsigned Idx,
383                                              const llvm::Constant *Elts) {
384   if (isa<llvm::ConstantAggregateZero>(Elts))
385     return 0;
386 
387   return cast<llvm::ConstantInt>(Elts->getOperand(Idx))->getZExtValue();
388 }
389 
390 void CodeGenFunction::EmitCheck(llvm::Value *Address, unsigned Size) {
391   if (!CatchUndefined)
392     return;
393 
394   Address = Builder.CreateBitCast(Address, PtrToInt8Ty);
395 
396   const llvm::Type *IntPtrT = IntPtrTy;
397   llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::objectsize, &IntPtrT, 1);
398   const llvm::IntegerType *Int1Ty = llvm::Type::getInt1Ty(VMContext);
399 
400   // In time, people may want to control this and use a 1 here.
401   llvm::Value *Arg = llvm::ConstantInt::get(Int1Ty, 0);
402   llvm::Value *C = Builder.CreateCall2(F, Address, Arg);
403   llvm::BasicBlock *Cont = createBasicBlock();
404   llvm::BasicBlock *Check = createBasicBlock();
405   llvm::Value *NegativeOne = llvm::ConstantInt::get(IntPtrTy, -1ULL);
406   Builder.CreateCondBr(Builder.CreateICmpEQ(C, NegativeOne), Cont, Check);
407 
408   EmitBlock(Check);
409   Builder.CreateCondBr(Builder.CreateICmpUGE(C,
410                                         llvm::ConstantInt::get(IntPtrTy, Size)),
411                        Cont, getTrapBB());
412   EmitBlock(Cont);
413 }
414 
415 
416 CodeGenFunction::ComplexPairTy CodeGenFunction::
417 EmitComplexPrePostIncDec(const UnaryOperator *E, LValue LV,
418                          bool isInc, bool isPre) {
419   ComplexPairTy InVal = LoadComplexFromAddr(LV.getAddress(),
420                                             LV.isVolatileQualified());
421 
422   llvm::Value *NextVal;
423   if (isa<llvm::IntegerType>(InVal.first->getType())) {
424     uint64_t AmountVal = isInc ? 1 : -1;
425     NextVal = llvm::ConstantInt::get(InVal.first->getType(), AmountVal, true);
426 
427     // Add the inc/dec to the real part.
428     NextVal = Builder.CreateAdd(InVal.first, NextVal, isInc ? "inc" : "dec");
429   } else {
430     QualType ElemTy = E->getType()->getAs<ComplexType>()->getElementType();
431     llvm::APFloat FVal(getContext().getFloatTypeSemantics(ElemTy), 1);
432     if (!isInc)
433       FVal.changeSign();
434     NextVal = llvm::ConstantFP::get(getLLVMContext(), FVal);
435 
436     // Add the inc/dec to the real part.
437     NextVal = Builder.CreateFAdd(InVal.first, NextVal, isInc ? "inc" : "dec");
438   }
439 
440   ComplexPairTy IncVal(NextVal, InVal.second);
441 
442   // Store the updated result through the lvalue.
443   StoreComplexToAddr(IncVal, LV.getAddress(), LV.isVolatileQualified());
444 
445   // If this is a postinc, return the value read from memory, otherwise use the
446   // updated value.
447   return isPre ? IncVal : InVal;
448 }
449 
450 
451 //===----------------------------------------------------------------------===//
452 //                         LValue Expression Emission
453 //===----------------------------------------------------------------------===//
454 
455 RValue CodeGenFunction::GetUndefRValue(QualType Ty) {
456   if (Ty->isVoidType())
457     return RValue::get(0);
458 
459   if (const ComplexType *CTy = Ty->getAs<ComplexType>()) {
460     const llvm::Type *EltTy = ConvertType(CTy->getElementType());
461     llvm::Value *U = llvm::UndefValue::get(EltTy);
462     return RValue::getComplex(std::make_pair(U, U));
463   }
464 
465   if (hasAggregateLLVMType(Ty)) {
466     const llvm::Type *LTy = llvm::PointerType::getUnqual(ConvertType(Ty));
467     return RValue::getAggregate(llvm::UndefValue::get(LTy));
468   }
469 
470   return RValue::get(llvm::UndefValue::get(ConvertType(Ty)));
471 }
472 
473 RValue CodeGenFunction::EmitUnsupportedRValue(const Expr *E,
474                                               const char *Name) {
475   ErrorUnsupported(E, Name);
476   return GetUndefRValue(E->getType());
477 }
478 
479 LValue CodeGenFunction::EmitUnsupportedLValue(const Expr *E,
480                                               const char *Name) {
481   ErrorUnsupported(E, Name);
482   llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType()));
483   return LValue::MakeAddr(llvm::UndefValue::get(Ty),
484                           MakeQualifiers(E->getType()));
485 }
486 
487 LValue CodeGenFunction::EmitCheckedLValue(const Expr *E) {
488   LValue LV = EmitLValue(E);
489   if (!isa<DeclRefExpr>(E) && !LV.isBitField() && LV.isSimple())
490     EmitCheck(LV.getAddress(), getContext().getTypeSize(E->getType()) / 8);
491   return LV;
492 }
493 
494 /// EmitLValue - Emit code to compute a designator that specifies the location
495 /// of the expression.
496 ///
497 /// This can return one of two things: a simple address or a bitfield reference.
498 /// In either case, the LLVM Value* in the LValue structure is guaranteed to be
499 /// an LLVM pointer type.
500 ///
501 /// If this returns a bitfield reference, nothing about the pointee type of the
502 /// LLVM value is known: For example, it may not be a pointer to an integer.
503 ///
504 /// If this returns a normal address, and if the lvalue's C type is fixed size,
505 /// this method guarantees that the returned pointer type will point to an LLVM
506 /// type of the same size of the lvalue's type.  If the lvalue has a variable
507 /// length type, this is not possible.
508 ///
509 LValue CodeGenFunction::EmitLValue(const Expr *E) {
510   switch (E->getStmtClass()) {
511   default: return EmitUnsupportedLValue(E, "l-value expression");
512 
513   case Expr::ObjCSelectorExprClass:
514   return EmitObjCSelectorLValue(cast<ObjCSelectorExpr>(E));
515   case Expr::ObjCIsaExprClass:
516     return EmitObjCIsaExpr(cast<ObjCIsaExpr>(E));
517   case Expr::BinaryOperatorClass:
518     return EmitBinaryOperatorLValue(cast<BinaryOperator>(E));
519   case Expr::CompoundAssignOperatorClass:
520     return EmitCompoundAssignOperatorLValue(cast<CompoundAssignOperator>(E));
521   case Expr::CallExprClass:
522   case Expr::CXXMemberCallExprClass:
523   case Expr::CXXOperatorCallExprClass:
524     return EmitCallExprLValue(cast<CallExpr>(E));
525   case Expr::VAArgExprClass:
526     return EmitVAArgExprLValue(cast<VAArgExpr>(E));
527   case Expr::DeclRefExprClass:
528     return EmitDeclRefLValue(cast<DeclRefExpr>(E));
529   case Expr::ParenExprClass:return EmitLValue(cast<ParenExpr>(E)->getSubExpr());
530   case Expr::PredefinedExprClass:
531     return EmitPredefinedLValue(cast<PredefinedExpr>(E));
532   case Expr::StringLiteralClass:
533     return EmitStringLiteralLValue(cast<StringLiteral>(E));
534   case Expr::ObjCEncodeExprClass:
535     return EmitObjCEncodeExprLValue(cast<ObjCEncodeExpr>(E));
536 
537   case Expr::BlockDeclRefExprClass:
538     return EmitBlockDeclRefLValue(cast<BlockDeclRefExpr>(E));
539 
540   case Expr::CXXTemporaryObjectExprClass:
541   case Expr::CXXConstructExprClass:
542     return EmitCXXConstructLValue(cast<CXXConstructExpr>(E));
543   case Expr::CXXBindTemporaryExprClass:
544     return EmitCXXBindTemporaryLValue(cast<CXXBindTemporaryExpr>(E));
545   case Expr::CXXExprWithTemporariesClass:
546     return EmitCXXExprWithTemporariesLValue(cast<CXXExprWithTemporaries>(E));
547   case Expr::CXXScalarValueInitExprClass:
548     return EmitNullInitializationLValue(cast<CXXScalarValueInitExpr>(E));
549   case Expr::CXXDefaultArgExprClass:
550     return EmitLValue(cast<CXXDefaultArgExpr>(E)->getExpr());
551   case Expr::CXXTypeidExprClass:
552     return EmitCXXTypeidLValue(cast<CXXTypeidExpr>(E));
553 
554   case Expr::ObjCMessageExprClass:
555     return EmitObjCMessageExprLValue(cast<ObjCMessageExpr>(E));
556   case Expr::ObjCIvarRefExprClass:
557     return EmitObjCIvarRefLValue(cast<ObjCIvarRefExpr>(E));
558   case Expr::ObjCPropertyRefExprClass:
559     return EmitObjCPropertyRefLValue(cast<ObjCPropertyRefExpr>(E));
560   case Expr::ObjCImplicitSetterGetterRefExprClass:
561     return EmitObjCKVCRefLValue(cast<ObjCImplicitSetterGetterRefExpr>(E));
562   case Expr::ObjCSuperExprClass:
563     return EmitObjCSuperExprLValue(cast<ObjCSuperExpr>(E));
564 
565   case Expr::StmtExprClass:
566     return EmitStmtExprLValue(cast<StmtExpr>(E));
567   case Expr::UnaryOperatorClass:
568     return EmitUnaryOpLValue(cast<UnaryOperator>(E));
569   case Expr::ArraySubscriptExprClass:
570     return EmitArraySubscriptExpr(cast<ArraySubscriptExpr>(E));
571   case Expr::ExtVectorElementExprClass:
572     return EmitExtVectorElementExpr(cast<ExtVectorElementExpr>(E));
573   case Expr::MemberExprClass:
574     return EmitMemberExpr(cast<MemberExpr>(E));
575   case Expr::CompoundLiteralExprClass:
576     return EmitCompoundLiteralLValue(cast<CompoundLiteralExpr>(E));
577   case Expr::ConditionalOperatorClass:
578     return EmitConditionalOperatorLValue(cast<ConditionalOperator>(E));
579   case Expr::ChooseExprClass:
580     return EmitLValue(cast<ChooseExpr>(E)->getChosenSubExpr(getContext()));
581   case Expr::ImplicitCastExprClass:
582   case Expr::CStyleCastExprClass:
583   case Expr::CXXFunctionalCastExprClass:
584   case Expr::CXXStaticCastExprClass:
585   case Expr::CXXDynamicCastExprClass:
586   case Expr::CXXReinterpretCastExprClass:
587   case Expr::CXXConstCastExprClass:
588     return EmitCastLValue(cast<CastExpr>(E));
589   }
590 }
591 
592 llvm::Value *CodeGenFunction::EmitLoadOfScalar(llvm::Value *Addr, bool Volatile,
593                                                QualType Ty) {
594   llvm::LoadInst *Load = Builder.CreateLoad(Addr, "tmp");
595   if (Volatile)
596     Load->setVolatile(true);
597 
598   // Bool can have different representation in memory than in registers.
599   llvm::Value *V = Load;
600   if (Ty->isBooleanType())
601     if (V->getType() != llvm::Type::getInt1Ty(VMContext))
602       V = Builder.CreateTrunc(V, llvm::Type::getInt1Ty(VMContext), "tobool");
603 
604   return V;
605 }
606 
607 void CodeGenFunction::EmitStoreOfScalar(llvm::Value *Value, llvm::Value *Addr,
608                                         bool Volatile, QualType Ty) {
609 
610   if (Ty->isBooleanType()) {
611     // Bool can have different representation in memory than in registers.
612     const llvm::PointerType *DstPtr = cast<llvm::PointerType>(Addr->getType());
613     Value = Builder.CreateIntCast(Value, DstPtr->getElementType(), false);
614   }
615   Builder.CreateStore(Value, Addr, Volatile);
616 }
617 
618 /// EmitLoadOfLValue - Given an expression that represents a value lvalue, this
619 /// method emits the address of the lvalue, then loads the result as an rvalue,
620 /// returning the rvalue.
621 RValue CodeGenFunction::EmitLoadOfLValue(LValue LV, QualType ExprType) {
622   if (LV.isObjCWeak()) {
623     // load of a __weak object.
624     llvm::Value *AddrWeakObj = LV.getAddress();
625     return RValue::get(CGM.getObjCRuntime().EmitObjCWeakRead(*this,
626                                                              AddrWeakObj));
627   }
628 
629   if (LV.isSimple()) {
630     llvm::Value *Ptr = LV.getAddress();
631     const llvm::Type *EltTy =
632       cast<llvm::PointerType>(Ptr->getType())->getElementType();
633 
634     // Simple scalar l-value.
635     //
636     // FIXME: We shouldn't have to use isSingleValueType here.
637     if (EltTy->isSingleValueType())
638       return RValue::get(EmitLoadOfScalar(Ptr, LV.isVolatileQualified(),
639                                           ExprType));
640 
641     assert(ExprType->isFunctionType() && "Unknown scalar value");
642     return RValue::get(Ptr);
643   }
644 
645   if (LV.isVectorElt()) {
646     llvm::Value *Vec = Builder.CreateLoad(LV.getVectorAddr(),
647                                           LV.isVolatileQualified(), "tmp");
648     return RValue::get(Builder.CreateExtractElement(Vec, LV.getVectorIdx(),
649                                                     "vecext"));
650   }
651 
652   // If this is a reference to a subset of the elements of a vector, either
653   // shuffle the input or extract/insert them as appropriate.
654   if (LV.isExtVectorElt())
655     return EmitLoadOfExtVectorElementLValue(LV, ExprType);
656 
657   if (LV.isBitField())
658     return EmitLoadOfBitfieldLValue(LV, ExprType);
659 
660   if (LV.isPropertyRef())
661     return EmitLoadOfPropertyRefLValue(LV, ExprType);
662 
663   assert(LV.isKVCRef() && "Unknown LValue type!");
664   return EmitLoadOfKVCRefLValue(LV, ExprType);
665 }
666 
667 RValue CodeGenFunction::EmitLoadOfBitfieldLValue(LValue LV,
668                                                  QualType ExprType) {
669   const CGBitFieldInfo &Info = LV.getBitFieldInfo();
670 
671   // Get the output type.
672   const llvm::Type *ResLTy = ConvertType(ExprType);
673   unsigned ResSizeInBits = CGM.getTargetData().getTypeSizeInBits(ResLTy);
674 
675   // Compute the result as an OR of all of the individual component accesses.
676   llvm::Value *Res = 0;
677   for (unsigned i = 0, e = Info.getNumComponents(); i != e; ++i) {
678     const CGBitFieldInfo::AccessInfo &AI = Info.getComponent(i);
679 
680     // Get the field pointer.
681     llvm::Value *Ptr = LV.getBitFieldBaseAddr();
682 
683     // Only offset by the field index if used, so that incoming values are not
684     // required to be structures.
685     if (AI.FieldIndex)
686       Ptr = Builder.CreateStructGEP(Ptr, AI.FieldIndex, "bf.field");
687 
688     // Offset by the byte offset, if used.
689     if (AI.FieldByteOffset) {
690       const llvm::Type *i8PTy = llvm::Type::getInt8PtrTy(VMContext);
691       Ptr = Builder.CreateBitCast(Ptr, i8PTy);
692       Ptr = Builder.CreateConstGEP1_32(Ptr, AI.FieldByteOffset,"bf.field.offs");
693     }
694 
695     // Cast to the access type.
696     const llvm::Type *PTy = llvm::Type::getIntNPtrTy(VMContext, AI.AccessWidth,
697                                                     ExprType.getAddressSpace());
698     Ptr = Builder.CreateBitCast(Ptr, PTy);
699 
700     // Perform the load.
701     llvm::LoadInst *Load = Builder.CreateLoad(Ptr, LV.isVolatileQualified());
702     if (AI.AccessAlignment)
703       Load->setAlignment(AI.AccessAlignment);
704 
705     // Shift out unused low bits and mask out unused high bits.
706     llvm::Value *Val = Load;
707     if (AI.FieldBitStart)
708       Val = Builder.CreateLShr(Load, AI.FieldBitStart);
709     Val = Builder.CreateAnd(Val, llvm::APInt::getLowBitsSet(AI.AccessWidth,
710                                                             AI.TargetBitWidth),
711                             "bf.clear");
712 
713     // Extend or truncate to the target size.
714     if (AI.AccessWidth < ResSizeInBits)
715       Val = Builder.CreateZExt(Val, ResLTy);
716     else if (AI.AccessWidth > ResSizeInBits)
717       Val = Builder.CreateTrunc(Val, ResLTy);
718 
719     // Shift into place, and OR into the result.
720     if (AI.TargetBitOffset)
721       Val = Builder.CreateShl(Val, AI.TargetBitOffset);
722     Res = Res ? Builder.CreateOr(Res, Val) : Val;
723   }
724 
725   // If the bit-field is signed, perform the sign-extension.
726   //
727   // FIXME: This can easily be folded into the load of the high bits, which
728   // could also eliminate the mask of high bits in some situations.
729   if (Info.isSigned()) {
730     unsigned ExtraBits = ResSizeInBits - Info.getSize();
731     if (ExtraBits)
732       Res = Builder.CreateAShr(Builder.CreateShl(Res, ExtraBits),
733                                ExtraBits, "bf.val.sext");
734   }
735 
736   return RValue::get(Res);
737 }
738 
739 RValue CodeGenFunction::EmitLoadOfPropertyRefLValue(LValue LV,
740                                                     QualType ExprType) {
741   return EmitObjCPropertyGet(LV.getPropertyRefExpr());
742 }
743 
744 RValue CodeGenFunction::EmitLoadOfKVCRefLValue(LValue LV,
745                                                QualType ExprType) {
746   return EmitObjCPropertyGet(LV.getKVCRefExpr());
747 }
748 
749 // If this is a reference to a subset of the elements of a vector, create an
750 // appropriate shufflevector.
751 RValue CodeGenFunction::EmitLoadOfExtVectorElementLValue(LValue LV,
752                                                          QualType ExprType) {
753   llvm::Value *Vec = Builder.CreateLoad(LV.getExtVectorAddr(),
754                                         LV.isVolatileQualified(), "tmp");
755 
756   const llvm::Constant *Elts = LV.getExtVectorElts();
757 
758   // If the result of the expression is a non-vector type, we must be extracting
759   // a single element.  Just codegen as an extractelement.
760   const VectorType *ExprVT = ExprType->getAs<VectorType>();
761   if (!ExprVT) {
762     unsigned InIdx = getAccessedFieldNo(0, Elts);
763     llvm::Value *Elt = llvm::ConstantInt::get(Int32Ty, InIdx);
764     return RValue::get(Builder.CreateExtractElement(Vec, Elt, "tmp"));
765   }
766 
767   // Always use shuffle vector to try to retain the original program structure
768   unsigned NumResultElts = ExprVT->getNumElements();
769 
770   llvm::SmallVector<llvm::Constant*, 4> Mask;
771   for (unsigned i = 0; i != NumResultElts; ++i) {
772     unsigned InIdx = getAccessedFieldNo(i, Elts);
773     Mask.push_back(llvm::ConstantInt::get(Int32Ty, InIdx));
774   }
775 
776   llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size());
777   Vec = Builder.CreateShuffleVector(Vec,
778                                     llvm::UndefValue::get(Vec->getType()),
779                                     MaskV, "tmp");
780   return RValue::get(Vec);
781 }
782 
783 
784 
785 /// EmitStoreThroughLValue - Store the specified rvalue into the specified
786 /// lvalue, where both are guaranteed to the have the same type, and that type
787 /// is 'Ty'.
788 void CodeGenFunction::EmitStoreThroughLValue(RValue Src, LValue Dst,
789                                              QualType Ty) {
790   if (!Dst.isSimple()) {
791     if (Dst.isVectorElt()) {
792       // Read/modify/write the vector, inserting the new element.
793       llvm::Value *Vec = Builder.CreateLoad(Dst.getVectorAddr(),
794                                             Dst.isVolatileQualified(), "tmp");
795       Vec = Builder.CreateInsertElement(Vec, Src.getScalarVal(),
796                                         Dst.getVectorIdx(), "vecins");
797       Builder.CreateStore(Vec, Dst.getVectorAddr(),Dst.isVolatileQualified());
798       return;
799     }
800 
801     // If this is an update of extended vector elements, insert them as
802     // appropriate.
803     if (Dst.isExtVectorElt())
804       return EmitStoreThroughExtVectorComponentLValue(Src, Dst, Ty);
805 
806     if (Dst.isBitField())
807       return EmitStoreThroughBitfieldLValue(Src, Dst, Ty);
808 
809     if (Dst.isPropertyRef())
810       return EmitStoreThroughPropertyRefLValue(Src, Dst, Ty);
811 
812     assert(Dst.isKVCRef() && "Unknown LValue type");
813     return EmitStoreThroughKVCRefLValue(Src, Dst, Ty);
814   }
815 
816   if (Dst.isObjCWeak() && !Dst.isNonGC()) {
817     // load of a __weak object.
818     llvm::Value *LvalueDst = Dst.getAddress();
819     llvm::Value *src = Src.getScalarVal();
820      CGM.getObjCRuntime().EmitObjCWeakAssign(*this, src, LvalueDst);
821     return;
822   }
823 
824   if (Dst.isObjCStrong() && !Dst.isNonGC()) {
825     // load of a __strong object.
826     llvm::Value *LvalueDst = Dst.getAddress();
827     llvm::Value *src = Src.getScalarVal();
828     if (Dst.isObjCIvar()) {
829       assert(Dst.getBaseIvarExp() && "BaseIvarExp is NULL");
830       const llvm::Type *ResultType = ConvertType(getContext().LongTy);
831       llvm::Value *RHS = EmitScalarExpr(Dst.getBaseIvarExp());
832       llvm::Value *dst = RHS;
833       RHS = Builder.CreatePtrToInt(RHS, ResultType, "sub.ptr.rhs.cast");
834       llvm::Value *LHS =
835         Builder.CreatePtrToInt(LvalueDst, ResultType, "sub.ptr.lhs.cast");
836       llvm::Value *BytesBetween = Builder.CreateSub(LHS, RHS, "ivar.offset");
837       CGM.getObjCRuntime().EmitObjCIvarAssign(*this, src, dst,
838                                               BytesBetween);
839     } else if (Dst.isGlobalObjCRef()) {
840       CGM.getObjCRuntime().EmitObjCGlobalAssign(*this, src, LvalueDst,
841                                                 Dst.isThreadLocalRef());
842     }
843     else
844       CGM.getObjCRuntime().EmitObjCStrongCastAssign(*this, src, LvalueDst);
845     return;
846   }
847 
848   assert(Src.isScalar() && "Can't emit an agg store with this method");
849   EmitStoreOfScalar(Src.getScalarVal(), Dst.getAddress(),
850                     Dst.isVolatileQualified(), Ty);
851 }
852 
853 void CodeGenFunction::EmitStoreThroughBitfieldLValue(RValue Src, LValue Dst,
854                                                      QualType Ty,
855                                                      llvm::Value **Result) {
856   const CGBitFieldInfo &Info = Dst.getBitFieldInfo();
857 
858   // Get the output type.
859   const llvm::Type *ResLTy = ConvertTypeForMem(Ty);
860   unsigned ResSizeInBits = CGM.getTargetData().getTypeSizeInBits(ResLTy);
861 
862   // Get the source value, truncated to the width of the bit-field.
863   llvm::Value *SrcVal = Src.getScalarVal();
864 
865   if (Ty->isBooleanType())
866     SrcVal = Builder.CreateIntCast(SrcVal, ResLTy, /*IsSigned=*/false);
867 
868   SrcVal = Builder.CreateAnd(SrcVal, llvm::APInt::getLowBitsSet(ResSizeInBits,
869                                                                 Info.getSize()),
870                              "bf.value");
871 
872   // Return the new value of the bit-field, if requested.
873   if (Result) {
874     // Cast back to the proper type for result.
875     const llvm::Type *SrcTy = Src.getScalarVal()->getType();
876     llvm::Value *ReloadVal = Builder.CreateIntCast(SrcVal, SrcTy, false,
877                                                    "bf.reload.val");
878 
879     // Sign extend if necessary.
880     if (Info.isSigned()) {
881       unsigned ExtraBits = ResSizeInBits - Info.getSize();
882       if (ExtraBits)
883         ReloadVal = Builder.CreateAShr(Builder.CreateShl(ReloadVal, ExtraBits),
884                                        ExtraBits, "bf.reload.sext");
885     }
886 
887     *Result = ReloadVal;
888   }
889 
890   // Iterate over the components, writing each piece to memory.
891   for (unsigned i = 0, e = Info.getNumComponents(); i != e; ++i) {
892     const CGBitFieldInfo::AccessInfo &AI = Info.getComponent(i);
893 
894     // Get the field pointer.
895     llvm::Value *Ptr = Dst.getBitFieldBaseAddr();
896 
897     // Only offset by the field index if used, so that incoming values are not
898     // required to be structures.
899     if (AI.FieldIndex)
900       Ptr = Builder.CreateStructGEP(Ptr, AI.FieldIndex, "bf.field");
901 
902     // Offset by the byte offset, if used.
903     if (AI.FieldByteOffset) {
904       const llvm::Type *i8PTy = llvm::Type::getInt8PtrTy(VMContext);
905       Ptr = Builder.CreateBitCast(Ptr, i8PTy);
906       Ptr = Builder.CreateConstGEP1_32(Ptr, AI.FieldByteOffset,"bf.field.offs");
907     }
908 
909     // Cast to the access type.
910     const llvm::Type *PTy = llvm::Type::getIntNPtrTy(VMContext, AI.AccessWidth,
911                                                      Ty.getAddressSpace());
912     Ptr = Builder.CreateBitCast(Ptr, PTy);
913 
914     // Extract the piece of the bit-field value to write in this access, limited
915     // to the values that are part of this access.
916     llvm::Value *Val = SrcVal;
917     if (AI.TargetBitOffset)
918       Val = Builder.CreateLShr(Val, AI.TargetBitOffset);
919     Val = Builder.CreateAnd(Val, llvm::APInt::getLowBitsSet(ResSizeInBits,
920                                                             AI.TargetBitWidth));
921 
922     // Extend or truncate to the access size.
923     const llvm::Type *AccessLTy =
924       llvm::Type::getIntNTy(VMContext, AI.AccessWidth);
925     if (ResSizeInBits < AI.AccessWidth)
926       Val = Builder.CreateZExt(Val, AccessLTy);
927     else if (ResSizeInBits > AI.AccessWidth)
928       Val = Builder.CreateTrunc(Val, AccessLTy);
929 
930     // Shift into the position in memory.
931     if (AI.FieldBitStart)
932       Val = Builder.CreateShl(Val, AI.FieldBitStart);
933 
934     // If necessary, load and OR in bits that are outside of the bit-field.
935     if (AI.TargetBitWidth != AI.AccessWidth) {
936       llvm::LoadInst *Load = Builder.CreateLoad(Ptr, Dst.isVolatileQualified());
937       if (AI.AccessAlignment)
938         Load->setAlignment(AI.AccessAlignment);
939 
940       // Compute the mask for zeroing the bits that are part of the bit-field.
941       llvm::APInt InvMask =
942         ~llvm::APInt::getBitsSet(AI.AccessWidth, AI.FieldBitStart,
943                                  AI.FieldBitStart + AI.TargetBitWidth);
944 
945       // Apply the mask and OR in to the value to write.
946       Val = Builder.CreateOr(Builder.CreateAnd(Load, InvMask), Val);
947     }
948 
949     // Write the value.
950     llvm::StoreInst *Store = Builder.CreateStore(Val, Ptr,
951                                                  Dst.isVolatileQualified());
952     if (AI.AccessAlignment)
953       Store->setAlignment(AI.AccessAlignment);
954   }
955 }
956 
957 void CodeGenFunction::EmitStoreThroughPropertyRefLValue(RValue Src,
958                                                         LValue Dst,
959                                                         QualType Ty) {
960   EmitObjCPropertySet(Dst.getPropertyRefExpr(), Src);
961 }
962 
963 void CodeGenFunction::EmitStoreThroughKVCRefLValue(RValue Src,
964                                                    LValue Dst,
965                                                    QualType Ty) {
966   EmitObjCPropertySet(Dst.getKVCRefExpr(), Src);
967 }
968 
969 void CodeGenFunction::EmitStoreThroughExtVectorComponentLValue(RValue Src,
970                                                                LValue Dst,
971                                                                QualType Ty) {
972   // This access turns into a read/modify/write of the vector.  Load the input
973   // value now.
974   llvm::Value *Vec = Builder.CreateLoad(Dst.getExtVectorAddr(),
975                                         Dst.isVolatileQualified(), "tmp");
976   const llvm::Constant *Elts = Dst.getExtVectorElts();
977 
978   llvm::Value *SrcVal = Src.getScalarVal();
979 
980   if (const VectorType *VTy = Ty->getAs<VectorType>()) {
981     unsigned NumSrcElts = VTy->getNumElements();
982     unsigned NumDstElts =
983        cast<llvm::VectorType>(Vec->getType())->getNumElements();
984     if (NumDstElts == NumSrcElts) {
985       // Use shuffle vector is the src and destination are the same number of
986       // elements and restore the vector mask since it is on the side it will be
987       // stored.
988       llvm::SmallVector<llvm::Constant*, 4> Mask(NumDstElts);
989       for (unsigned i = 0; i != NumSrcElts; ++i) {
990         unsigned InIdx = getAccessedFieldNo(i, Elts);
991         Mask[InIdx] = llvm::ConstantInt::get(Int32Ty, i);
992       }
993 
994       llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size());
995       Vec = Builder.CreateShuffleVector(SrcVal,
996                                         llvm::UndefValue::get(Vec->getType()),
997                                         MaskV, "tmp");
998     } else if (NumDstElts > NumSrcElts) {
999       // Extended the source vector to the same length and then shuffle it
1000       // into the destination.
1001       // FIXME: since we're shuffling with undef, can we just use the indices
1002       //        into that?  This could be simpler.
1003       llvm::SmallVector<llvm::Constant*, 4> ExtMask;
1004       unsigned i;
1005       for (i = 0; i != NumSrcElts; ++i)
1006         ExtMask.push_back(llvm::ConstantInt::get(Int32Ty, i));
1007       for (; i != NumDstElts; ++i)
1008         ExtMask.push_back(llvm::UndefValue::get(Int32Ty));
1009       llvm::Value *ExtMaskV = llvm::ConstantVector::get(&ExtMask[0],
1010                                                         ExtMask.size());
1011       llvm::Value *ExtSrcVal =
1012         Builder.CreateShuffleVector(SrcVal,
1013                                     llvm::UndefValue::get(SrcVal->getType()),
1014                                     ExtMaskV, "tmp");
1015       // build identity
1016       llvm::SmallVector<llvm::Constant*, 4> Mask;
1017       for (unsigned i = 0; i != NumDstElts; ++i)
1018         Mask.push_back(llvm::ConstantInt::get(Int32Ty, i));
1019 
1020       // modify when what gets shuffled in
1021       for (unsigned i = 0; i != NumSrcElts; ++i) {
1022         unsigned Idx = getAccessedFieldNo(i, Elts);
1023         Mask[Idx] = llvm::ConstantInt::get(Int32Ty, i+NumDstElts);
1024       }
1025       llvm::Value *MaskV = llvm::ConstantVector::get(&Mask[0], Mask.size());
1026       Vec = Builder.CreateShuffleVector(Vec, ExtSrcVal, MaskV, "tmp");
1027     } else {
1028       // We should never shorten the vector
1029       assert(0 && "unexpected shorten vector length");
1030     }
1031   } else {
1032     // If the Src is a scalar (not a vector) it must be updating one element.
1033     unsigned InIdx = getAccessedFieldNo(0, Elts);
1034     llvm::Value *Elt = llvm::ConstantInt::get(Int32Ty, InIdx);
1035     Vec = Builder.CreateInsertElement(Vec, SrcVal, Elt, "tmp");
1036   }
1037 
1038   Builder.CreateStore(Vec, Dst.getExtVectorAddr(), Dst.isVolatileQualified());
1039 }
1040 
1041 // setObjCGCLValueClass - sets class of he lvalue for the purpose of
1042 // generating write-barries API. It is currently a global, ivar,
1043 // or neither.
1044 static void setObjCGCLValueClass(const ASTContext &Ctx, const Expr *E,
1045                                  LValue &LV) {
1046   if (Ctx.getLangOptions().getGCMode() == LangOptions::NonGC)
1047     return;
1048 
1049   if (isa<ObjCIvarRefExpr>(E)) {
1050     LV.SetObjCIvar(LV, true);
1051     ObjCIvarRefExpr *Exp = cast<ObjCIvarRefExpr>(const_cast<Expr*>(E));
1052     LV.setBaseIvarExp(Exp->getBase());
1053     LV.SetObjCArray(LV, E->getType()->isArrayType());
1054     return;
1055   }
1056 
1057   if (const DeclRefExpr *Exp = dyn_cast<DeclRefExpr>(E)) {
1058     if (const VarDecl *VD = dyn_cast<VarDecl>(Exp->getDecl())) {
1059       if ((VD->isBlockVarDecl() && !VD->hasLocalStorage()) ||
1060           VD->isFileVarDecl()) {
1061         LV.SetGlobalObjCRef(LV, true);
1062         LV.SetThreadLocalRef(LV, VD->isThreadSpecified());
1063       }
1064     }
1065     LV.SetObjCArray(LV, E->getType()->isArrayType());
1066     return;
1067   }
1068 
1069   if (const UnaryOperator *Exp = dyn_cast<UnaryOperator>(E)) {
1070     setObjCGCLValueClass(Ctx, Exp->getSubExpr(), LV);
1071     return;
1072   }
1073 
1074   if (const ParenExpr *Exp = dyn_cast<ParenExpr>(E)) {
1075     setObjCGCLValueClass(Ctx, Exp->getSubExpr(), LV);
1076     if (LV.isObjCIvar()) {
1077       // If cast is to a structure pointer, follow gcc's behavior and make it
1078       // a non-ivar write-barrier.
1079       QualType ExpTy = E->getType();
1080       if (ExpTy->isPointerType())
1081         ExpTy = ExpTy->getAs<PointerType>()->getPointeeType();
1082       if (ExpTy->isRecordType())
1083         LV.SetObjCIvar(LV, false);
1084     }
1085     return;
1086   }
1087   if (const ImplicitCastExpr *Exp = dyn_cast<ImplicitCastExpr>(E)) {
1088     setObjCGCLValueClass(Ctx, Exp->getSubExpr(), LV);
1089     return;
1090   }
1091 
1092   if (const CStyleCastExpr *Exp = dyn_cast<CStyleCastExpr>(E)) {
1093     setObjCGCLValueClass(Ctx, Exp->getSubExpr(), LV);
1094     return;
1095   }
1096 
1097   if (const ArraySubscriptExpr *Exp = dyn_cast<ArraySubscriptExpr>(E)) {
1098     setObjCGCLValueClass(Ctx, Exp->getBase(), LV);
1099     if (LV.isObjCIvar() && !LV.isObjCArray())
1100       // Using array syntax to assigning to what an ivar points to is not
1101       // same as assigning to the ivar itself. {id *Names;} Names[i] = 0;
1102       LV.SetObjCIvar(LV, false);
1103     else if (LV.isGlobalObjCRef() && !LV.isObjCArray())
1104       // Using array syntax to assigning to what global points to is not
1105       // same as assigning to the global itself. {id *G;} G[i] = 0;
1106       LV.SetGlobalObjCRef(LV, false);
1107     return;
1108   }
1109 
1110   if (const MemberExpr *Exp = dyn_cast<MemberExpr>(E)) {
1111     setObjCGCLValueClass(Ctx, Exp->getBase(), LV);
1112     // We don't know if member is an 'ivar', but this flag is looked at
1113     // only in the context of LV.isObjCIvar().
1114     LV.SetObjCArray(LV, E->getType()->isArrayType());
1115     return;
1116   }
1117 }
1118 
1119 static LValue EmitGlobalVarDeclLValue(CodeGenFunction &CGF,
1120                                       const Expr *E, const VarDecl *VD) {
1121   assert((VD->hasExternalStorage() || VD->isFileVarDecl()) &&
1122          "Var decl must have external storage or be a file var decl!");
1123 
1124   llvm::Value *V = CGF.CGM.GetAddrOfGlobalVar(VD);
1125   if (VD->getType()->isReferenceType())
1126     V = CGF.Builder.CreateLoad(V, "tmp");
1127   LValue LV = LValue::MakeAddr(V, CGF.MakeQualifiers(E->getType()));
1128   setObjCGCLValueClass(CGF.getContext(), E, LV);
1129   return LV;
1130 }
1131 
1132 static LValue EmitFunctionDeclLValue(CodeGenFunction &CGF,
1133                                       const Expr *E, const FunctionDecl *FD) {
1134   llvm::Value* V = CGF.CGM.GetAddrOfFunction(FD);
1135   if (!FD->hasPrototype()) {
1136     if (const FunctionProtoType *Proto =
1137             FD->getType()->getAs<FunctionProtoType>()) {
1138       // Ugly case: for a K&R-style definition, the type of the definition
1139       // isn't the same as the type of a use.  Correct for this with a
1140       // bitcast.
1141       QualType NoProtoType =
1142           CGF.getContext().getFunctionNoProtoType(Proto->getResultType());
1143       NoProtoType = CGF.getContext().getPointerType(NoProtoType);
1144       V = CGF.Builder.CreateBitCast(V, CGF.ConvertType(NoProtoType), "tmp");
1145     }
1146   }
1147   return LValue::MakeAddr(V, CGF.MakeQualifiers(E->getType()));
1148 }
1149 
1150 LValue CodeGenFunction::EmitDeclRefLValue(const DeclRefExpr *E) {
1151   const NamedDecl *ND = E->getDecl();
1152 
1153   if (ND->hasAttr<WeakRefAttr>()) {
1154     const ValueDecl* VD = cast<ValueDecl>(ND);
1155     llvm::Constant *Aliasee = CGM.GetWeakRefReference(VD);
1156 
1157     Qualifiers Quals = MakeQualifiers(E->getType());
1158     LValue LV = LValue::MakeAddr(Aliasee, Quals);
1159 
1160     return LV;
1161   }
1162 
1163   if (const VarDecl *VD = dyn_cast<VarDecl>(ND)) {
1164 
1165     // Check if this is a global variable.
1166     if (VD->hasExternalStorage() || VD->isFileVarDecl())
1167       return EmitGlobalVarDeclLValue(*this, E, VD);
1168 
1169     bool NonGCable = VD->hasLocalStorage() && !VD->hasAttr<BlocksAttr>();
1170 
1171     llvm::Value *V = LocalDeclMap[VD];
1172     if (!V && getContext().getLangOptions().CPlusPlus &&
1173         VD->isStaticLocal())
1174       V = CGM.getStaticLocalDeclAddress(VD);
1175     assert(V && "DeclRefExpr not entered in LocalDeclMap?");
1176 
1177     Qualifiers Quals = MakeQualifiers(E->getType());
1178     // local variables do not get their gc attribute set.
1179     // local static?
1180     if (NonGCable) Quals.removeObjCGCAttr();
1181 
1182     if (VD->hasAttr<BlocksAttr>()) {
1183       V = Builder.CreateStructGEP(V, 1, "forwarding");
1184       V = Builder.CreateLoad(V);
1185       V = Builder.CreateStructGEP(V, getByRefValueLLVMField(VD),
1186                                   VD->getNameAsString());
1187     }
1188     if (VD->getType()->isReferenceType())
1189       V = Builder.CreateLoad(V, "tmp");
1190     LValue LV = LValue::MakeAddr(V, Quals);
1191     LValue::SetObjCNonGC(LV, NonGCable);
1192     setObjCGCLValueClass(getContext(), E, LV);
1193     return LV;
1194   }
1195 
1196   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND))
1197     return EmitFunctionDeclLValue(*this, E, FD);
1198 
1199   // FIXME: the qualifier check does not seem sufficient here
1200   if (E->getQualifier()) {
1201     const FieldDecl *FD = cast<FieldDecl>(ND);
1202     llvm::Value *V = CGM.EmitPointerToDataMember(FD);
1203 
1204     return LValue::MakeAddr(V, MakeQualifiers(FD->getType()));
1205   }
1206 
1207   assert(false && "Unhandled DeclRefExpr");
1208 
1209   // an invalid LValue, but the assert will
1210   // ensure that this point is never reached.
1211   return LValue();
1212 }
1213 
1214 LValue CodeGenFunction::EmitBlockDeclRefLValue(const BlockDeclRefExpr *E) {
1215   return LValue::MakeAddr(GetAddrOfBlockDecl(E), MakeQualifiers(E->getType()));
1216 }
1217 
1218 LValue CodeGenFunction::EmitUnaryOpLValue(const UnaryOperator *E) {
1219   // __extension__ doesn't affect lvalue-ness.
1220   if (E->getOpcode() == UnaryOperator::Extension)
1221     return EmitLValue(E->getSubExpr());
1222 
1223   QualType ExprTy = getContext().getCanonicalType(E->getSubExpr()->getType());
1224   switch (E->getOpcode()) {
1225   default: assert(0 && "Unknown unary operator lvalue!");
1226   case UnaryOperator::Deref: {
1227     QualType T = E->getSubExpr()->getType()->getPointeeType();
1228     assert(!T.isNull() && "CodeGenFunction::EmitUnaryOpLValue: Illegal type");
1229 
1230     Qualifiers Quals = MakeQualifiers(T);
1231     Quals.setAddressSpace(ExprTy.getAddressSpace());
1232 
1233     LValue LV = LValue::MakeAddr(EmitScalarExpr(E->getSubExpr()), Quals);
1234     // We should not generate __weak write barrier on indirect reference
1235     // of a pointer to object; as in void foo (__weak id *param); *param = 0;
1236     // But, we continue to generate __strong write barrier on indirect write
1237     // into a pointer to object.
1238     if (getContext().getLangOptions().ObjC1 &&
1239         getContext().getLangOptions().getGCMode() != LangOptions::NonGC &&
1240         LV.isObjCWeak())
1241       LValue::SetObjCNonGC(LV, !E->isOBJCGCCandidate(getContext()));
1242     return LV;
1243   }
1244   case UnaryOperator::Real:
1245   case UnaryOperator::Imag: {
1246     LValue LV = EmitLValue(E->getSubExpr());
1247     unsigned Idx = E->getOpcode() == UnaryOperator::Imag;
1248     return LValue::MakeAddr(Builder.CreateStructGEP(LV.getAddress(),
1249                                                     Idx, "idx"),
1250                             MakeQualifiers(ExprTy));
1251   }
1252   case UnaryOperator::PreInc:
1253   case UnaryOperator::PreDec: {
1254     LValue LV = EmitLValue(E->getSubExpr());
1255     bool isInc = E->getOpcode() == UnaryOperator::PreInc;
1256 
1257     if (E->getType()->isAnyComplexType())
1258       EmitComplexPrePostIncDec(E, LV, isInc, true/*isPre*/);
1259     else
1260       EmitScalarPrePostIncDec(E, LV, isInc, true/*isPre*/);
1261     return LV;
1262   }
1263   }
1264 }
1265 
1266 LValue CodeGenFunction::EmitStringLiteralLValue(const StringLiteral *E) {
1267   return LValue::MakeAddr(CGM.GetAddrOfConstantStringFromLiteral(E),
1268                           Qualifiers());
1269 }
1270 
1271 LValue CodeGenFunction::EmitObjCEncodeExprLValue(const ObjCEncodeExpr *E) {
1272   return LValue::MakeAddr(CGM.GetAddrOfConstantStringFromObjCEncode(E),
1273                           Qualifiers());
1274 }
1275 
1276 
1277 LValue CodeGenFunction::EmitPredefinedFunctionName(unsigned Type) {
1278   std::string GlobalVarName;
1279 
1280   switch (Type) {
1281   default: assert(0 && "Invalid type");
1282   case PredefinedExpr::Func:
1283     GlobalVarName = "__func__.";
1284     break;
1285   case PredefinedExpr::Function:
1286     GlobalVarName = "__FUNCTION__.";
1287     break;
1288   case PredefinedExpr::PrettyFunction:
1289     GlobalVarName = "__PRETTY_FUNCTION__.";
1290     break;
1291   }
1292 
1293   llvm::StringRef FnName = CurFn->getName();
1294   if (FnName.startswith("\01"))
1295     FnName = FnName.substr(1);
1296   GlobalVarName += FnName;
1297 
1298   std::string FunctionName =
1299     PredefinedExpr::ComputeName((PredefinedExpr::IdentType)Type, CurCodeDecl);
1300 
1301   llvm::Constant *C =
1302     CGM.GetAddrOfConstantCString(FunctionName, GlobalVarName.c_str());
1303   return LValue::MakeAddr(C, Qualifiers());
1304 }
1305 
1306 LValue CodeGenFunction::EmitPredefinedLValue(const PredefinedExpr *E) {
1307   switch (E->getIdentType()) {
1308   default:
1309     return EmitUnsupportedLValue(E, "predefined expression");
1310   case PredefinedExpr::Func:
1311   case PredefinedExpr::Function:
1312   case PredefinedExpr::PrettyFunction:
1313     return EmitPredefinedFunctionName(E->getIdentType());
1314   }
1315 }
1316 
1317 llvm::BasicBlock *CodeGenFunction::getTrapBB() {
1318   const CodeGenOptions &GCO = CGM.getCodeGenOpts();
1319 
1320   // If we are not optimzing, don't collapse all calls to trap in the function
1321   // to the same call, that way, in the debugger they can see which operation
1322   // did in fact fail.  If we are optimizing, we collapse all calls to trap down
1323   // to just one per function to save on codesize.
1324   if (GCO.OptimizationLevel && TrapBB)
1325     return TrapBB;
1326 
1327   llvm::BasicBlock *Cont = 0;
1328   if (HaveInsertPoint()) {
1329     Cont = createBasicBlock("cont");
1330     EmitBranch(Cont);
1331   }
1332   TrapBB = createBasicBlock("trap");
1333   EmitBlock(TrapBB);
1334 
1335   llvm::Value *F = CGM.getIntrinsic(llvm::Intrinsic::trap, 0, 0);
1336   llvm::CallInst *TrapCall = Builder.CreateCall(F);
1337   TrapCall->setDoesNotReturn();
1338   TrapCall->setDoesNotThrow();
1339   Builder.CreateUnreachable();
1340 
1341   if (Cont)
1342     EmitBlock(Cont);
1343   return TrapBB;
1344 }
1345 
1346 /// isSimpleArrayDecayOperand - If the specified expr is a simple decay from an
1347 /// array to pointer, return the array subexpression.
1348 static const Expr *isSimpleArrayDecayOperand(const Expr *E) {
1349   // If this isn't just an array->pointer decay, bail out.
1350   const CastExpr *CE = dyn_cast<CastExpr>(E);
1351   if (CE == 0 || CE->getCastKind() != CastExpr::CK_ArrayToPointerDecay)
1352     return 0;
1353 
1354   // If this is a decay from variable width array, bail out.
1355   const Expr *SubExpr = CE->getSubExpr();
1356   if (SubExpr->getType()->isVariableArrayType())
1357     return 0;
1358 
1359   return SubExpr;
1360 }
1361 
1362 LValue CodeGenFunction::EmitArraySubscriptExpr(const ArraySubscriptExpr *E) {
1363   // The index must always be an integer, which is not an aggregate.  Emit it.
1364   llvm::Value *Idx = EmitScalarExpr(E->getIdx());
1365   QualType IdxTy  = E->getIdx()->getType();
1366   bool IdxSigned = IdxTy->isSignedIntegerType();
1367 
1368   // If the base is a vector type, then we are forming a vector element lvalue
1369   // with this subscript.
1370   if (E->getBase()->getType()->isVectorType()) {
1371     // Emit the vector as an lvalue to get its address.
1372     LValue LHS = EmitLValue(E->getBase());
1373     assert(LHS.isSimple() && "Can only subscript lvalue vectors here!");
1374     Idx = Builder.CreateIntCast(Idx, CGF.Int32Ty, IdxSigned, "vidx");
1375     return LValue::MakeVectorElt(LHS.getAddress(), Idx,
1376                                  E->getBase()->getType().getCVRQualifiers());
1377   }
1378 
1379   // Extend or truncate the index type to 32 or 64-bits.
1380   if (!Idx->getType()->isIntegerTy(LLVMPointerWidth))
1381     Idx = Builder.CreateIntCast(Idx, IntPtrTy,
1382                                 IdxSigned, "idxprom");
1383 
1384   // FIXME: As llvm implements the object size checking, this can come out.
1385   if (CatchUndefined) {
1386     if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(E->getBase())){
1387       if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(ICE->getSubExpr())) {
1388         if (ICE->getCastKind() == CastExpr::CK_ArrayToPointerDecay) {
1389           if (const ConstantArrayType *CAT
1390               = getContext().getAsConstantArrayType(DRE->getType())) {
1391             llvm::APInt Size = CAT->getSize();
1392             llvm::BasicBlock *Cont = createBasicBlock("cont");
1393             Builder.CreateCondBr(Builder.CreateICmpULE(Idx,
1394                                   llvm::ConstantInt::get(Idx->getType(), Size)),
1395                                  Cont, getTrapBB());
1396             EmitBlock(Cont);
1397           }
1398         }
1399       }
1400     }
1401   }
1402 
1403   // We know that the pointer points to a type of the correct size, unless the
1404   // size is a VLA or Objective-C interface.
1405   llvm::Value *Address = 0;
1406   if (const VariableArrayType *VAT =
1407         getContext().getAsVariableArrayType(E->getType())) {
1408     llvm::Value *VLASize = GetVLASize(VAT);
1409 
1410     Idx = Builder.CreateMul(Idx, VLASize);
1411 
1412     QualType BaseType = getContext().getBaseElementType(VAT);
1413 
1414     CharUnits BaseTypeSize = getContext().getTypeSizeInChars(BaseType);
1415     Idx = Builder.CreateUDiv(Idx,
1416                              llvm::ConstantInt::get(Idx->getType(),
1417                                  BaseTypeSize.getQuantity()));
1418 
1419     // The base must be a pointer, which is not an aggregate.  Emit it.
1420     llvm::Value *Base = EmitScalarExpr(E->getBase());
1421 
1422     Address = Builder.CreateInBoundsGEP(Base, Idx, "arrayidx");
1423   } else if (const ObjCObjectType *OIT = E->getType()->getAs<ObjCObjectType>()){
1424     // Indexing over an interface, as in "NSString *P; P[4];"
1425     llvm::Value *InterfaceSize =
1426       llvm::ConstantInt::get(Idx->getType(),
1427           getContext().getTypeSizeInChars(OIT).getQuantity());
1428 
1429     Idx = Builder.CreateMul(Idx, InterfaceSize);
1430 
1431     const llvm::Type *i8PTy = llvm::Type::getInt8PtrTy(VMContext);
1432 
1433     // The base must be a pointer, which is not an aggregate.  Emit it.
1434     llvm::Value *Base = EmitScalarExpr(E->getBase());
1435     Address = Builder.CreateGEP(Builder.CreateBitCast(Base, i8PTy),
1436                                 Idx, "arrayidx");
1437     Address = Builder.CreateBitCast(Address, Base->getType());
1438   } else if (const Expr *Array = isSimpleArrayDecayOperand(E->getBase())) {
1439     // If this is A[i] where A is an array, the frontend will have decayed the
1440     // base to be a ArrayToPointerDecay implicit cast.  While correct, it is
1441     // inefficient at -O0 to emit a "gep A, 0, 0" when codegen'ing it, then a
1442     // "gep x, i" here.  Emit one "gep A, 0, i".
1443     assert(Array->getType()->isArrayType() &&
1444            "Array to pointer decay must have array source type!");
1445     llvm::Value *ArrayPtr = EmitLValue(Array).getAddress();
1446     llvm::Value *Zero = llvm::ConstantInt::get(Int32Ty, 0);
1447     llvm::Value *Args[] = { Zero, Idx };
1448 
1449     Address = Builder.CreateInBoundsGEP(ArrayPtr, Args, Args+2, "arrayidx");
1450   } else {
1451     // The base must be a pointer, which is not an aggregate.  Emit it.
1452     llvm::Value *Base = EmitScalarExpr(E->getBase());
1453     Address = Builder.CreateInBoundsGEP(Base, Idx, "arrayidx");
1454   }
1455 
1456   QualType T = E->getBase()->getType()->getPointeeType();
1457   assert(!T.isNull() &&
1458          "CodeGenFunction::EmitArraySubscriptExpr(): Illegal base type");
1459 
1460   Qualifiers Quals = MakeQualifiers(T);
1461   Quals.setAddressSpace(E->getBase()->getType().getAddressSpace());
1462 
1463   LValue LV = LValue::MakeAddr(Address, Quals);
1464   if (getContext().getLangOptions().ObjC1 &&
1465       getContext().getLangOptions().getGCMode() != LangOptions::NonGC) {
1466     LValue::SetObjCNonGC(LV, !E->isOBJCGCCandidate(getContext()));
1467     setObjCGCLValueClass(getContext(), E, LV);
1468   }
1469   return LV;
1470 }
1471 
1472 static
1473 llvm::Constant *GenerateConstantVector(llvm::LLVMContext &VMContext,
1474                                        llvm::SmallVector<unsigned, 4> &Elts) {
1475   llvm::SmallVector<llvm::Constant*, 4> CElts;
1476 
1477   const llvm::Type *Int32Ty = llvm::Type::getInt32Ty(VMContext);
1478   for (unsigned i = 0, e = Elts.size(); i != e; ++i)
1479     CElts.push_back(llvm::ConstantInt::get(Int32Ty, Elts[i]));
1480 
1481   return llvm::ConstantVector::get(&CElts[0], CElts.size());
1482 }
1483 
1484 LValue CodeGenFunction::
1485 EmitExtVectorElementExpr(const ExtVectorElementExpr *E) {
1486   // Emit the base vector as an l-value.
1487   LValue Base;
1488 
1489   // ExtVectorElementExpr's base can either be a vector or pointer to vector.
1490   if (E->isArrow()) {
1491     // If it is a pointer to a vector, emit the address and form an lvalue with
1492     // it.
1493     llvm::Value *Ptr = EmitScalarExpr(E->getBase());
1494     const PointerType *PT = E->getBase()->getType()->getAs<PointerType>();
1495     Qualifiers Quals = MakeQualifiers(PT->getPointeeType());
1496     Quals.removeObjCGCAttr();
1497     Base = LValue::MakeAddr(Ptr, Quals);
1498   } else if (E->getBase()->isLvalue(getContext()) == Expr::LV_Valid) {
1499     // Otherwise, if the base is an lvalue ( as in the case of foo.x.x),
1500     // emit the base as an lvalue.
1501     assert(E->getBase()->getType()->isVectorType());
1502     Base = EmitLValue(E->getBase());
1503   } else {
1504     // Otherwise, the base is a normal rvalue (as in (V+V).x), emit it as such.
1505     assert(E->getBase()->getType()->getAs<VectorType>() &&
1506            "Result must be a vector");
1507     llvm::Value *Vec = EmitScalarExpr(E->getBase());
1508 
1509     // Store the vector to memory (because LValue wants an address).
1510     llvm::Value *VecMem = CreateMemTemp(E->getBase()->getType());
1511     Builder.CreateStore(Vec, VecMem);
1512     Base = LValue::MakeAddr(VecMem, Qualifiers());
1513   }
1514 
1515   // Encode the element access list into a vector of unsigned indices.
1516   llvm::SmallVector<unsigned, 4> Indices;
1517   E->getEncodedElementAccess(Indices);
1518 
1519   if (Base.isSimple()) {
1520     llvm::Constant *CV = GenerateConstantVector(VMContext, Indices);
1521     return LValue::MakeExtVectorElt(Base.getAddress(), CV,
1522                                     Base.getVRQualifiers());
1523   }
1524   assert(Base.isExtVectorElt() && "Can only subscript lvalue vec elts here!");
1525 
1526   llvm::Constant *BaseElts = Base.getExtVectorElts();
1527   llvm::SmallVector<llvm::Constant *, 4> CElts;
1528 
1529   for (unsigned i = 0, e = Indices.size(); i != e; ++i) {
1530     if (isa<llvm::ConstantAggregateZero>(BaseElts))
1531       CElts.push_back(llvm::ConstantInt::get(Int32Ty, 0));
1532     else
1533       CElts.push_back(cast<llvm::Constant>(BaseElts->getOperand(Indices[i])));
1534   }
1535   llvm::Constant *CV = llvm::ConstantVector::get(&CElts[0], CElts.size());
1536   return LValue::MakeExtVectorElt(Base.getExtVectorAddr(), CV,
1537                                   Base.getVRQualifiers());
1538 }
1539 
1540 LValue CodeGenFunction::EmitMemberExpr(const MemberExpr *E) {
1541   bool isNonGC = false;
1542   Expr *BaseExpr = E->getBase();
1543   llvm::Value *BaseValue = NULL;
1544   Qualifiers BaseQuals;
1545 
1546   // If this is s.x, emit s as an lvalue.  If it is s->x, emit s as a scalar.
1547   if (E->isArrow()) {
1548     BaseValue = EmitScalarExpr(BaseExpr);
1549     const PointerType *PTy =
1550       BaseExpr->getType()->getAs<PointerType>();
1551     BaseQuals = PTy->getPointeeType().getQualifiers();
1552   } else if (isa<ObjCPropertyRefExpr>(BaseExpr->IgnoreParens()) ||
1553              isa<ObjCImplicitSetterGetterRefExpr>(
1554                BaseExpr->IgnoreParens())) {
1555     RValue RV = EmitObjCPropertyGet(BaseExpr);
1556     BaseValue = RV.getAggregateAddr();
1557     BaseQuals = BaseExpr->getType().getQualifiers();
1558   } else {
1559     LValue BaseLV = EmitLValue(BaseExpr);
1560     if (BaseLV.isNonGC())
1561       isNonGC = true;
1562     // FIXME: this isn't right for bitfields.
1563     BaseValue = BaseLV.getAddress();
1564     QualType BaseTy = BaseExpr->getType();
1565     BaseQuals = BaseTy.getQualifiers();
1566   }
1567 
1568   NamedDecl *ND = E->getMemberDecl();
1569   if (FieldDecl *Field = dyn_cast<FieldDecl>(ND)) {
1570     LValue LV = EmitLValueForField(BaseValue, Field,
1571                                    BaseQuals.getCVRQualifiers());
1572     LValue::SetObjCNonGC(LV, isNonGC);
1573     setObjCGCLValueClass(getContext(), E, LV);
1574     return LV;
1575   }
1576 
1577   if (VarDecl *VD = dyn_cast<VarDecl>(ND))
1578     return EmitGlobalVarDeclLValue(*this, E, VD);
1579 
1580   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(ND))
1581     return EmitFunctionDeclLValue(*this, E, FD);
1582 
1583   assert(false && "Unhandled member declaration!");
1584   return LValue();
1585 }
1586 
1587 LValue CodeGenFunction::EmitLValueForBitfield(llvm::Value* BaseValue,
1588                                               const FieldDecl* Field,
1589                                               unsigned CVRQualifiers) {
1590   const CGRecordLayout &RL =
1591     CGM.getTypes().getCGRecordLayout(Field->getParent());
1592   const CGBitFieldInfo &Info = RL.getBitFieldInfo(Field);
1593   return LValue::MakeBitfield(BaseValue, Info,
1594                              Field->getType().getCVRQualifiers()|CVRQualifiers);
1595 }
1596 
1597 /// EmitLValueForAnonRecordField - Given that the field is a member of
1598 /// an anonymous struct or union buried inside a record, and given
1599 /// that the base value is a pointer to the enclosing record, derive
1600 /// an lvalue for the ultimate field.
1601 LValue CodeGenFunction::EmitLValueForAnonRecordField(llvm::Value *BaseValue,
1602                                                      const FieldDecl *Field,
1603                                                      unsigned CVRQualifiers) {
1604   llvm::SmallVector<const FieldDecl *, 8> Path;
1605   Path.push_back(Field);
1606 
1607   while (Field->getParent()->isAnonymousStructOrUnion()) {
1608     const ValueDecl *VD = Field->getParent()->getAnonymousStructOrUnionObject();
1609     if (!isa<FieldDecl>(VD)) break;
1610     Field = cast<FieldDecl>(VD);
1611     Path.push_back(Field);
1612   }
1613 
1614   llvm::SmallVectorImpl<const FieldDecl*>::reverse_iterator
1615     I = Path.rbegin(), E = Path.rend();
1616   while (true) {
1617     LValue LV = EmitLValueForField(BaseValue, *I, CVRQualifiers);
1618     if (++I == E) return LV;
1619 
1620     assert(LV.isSimple());
1621     BaseValue = LV.getAddress();
1622     CVRQualifiers |= LV.getVRQualifiers();
1623   }
1624 }
1625 
1626 LValue CodeGenFunction::EmitLValueForField(llvm::Value* BaseValue,
1627                                            const FieldDecl* Field,
1628                                            unsigned CVRQualifiers) {
1629   if (Field->isBitField())
1630     return EmitLValueForBitfield(BaseValue, Field, CVRQualifiers);
1631 
1632   const CGRecordLayout &RL =
1633     CGM.getTypes().getCGRecordLayout(Field->getParent());
1634   unsigned idx = RL.getLLVMFieldNo(Field);
1635   llvm::Value *V = Builder.CreateStructGEP(BaseValue, idx, "tmp");
1636 
1637   // Match union field type.
1638   if (Field->getParent()->isUnion()) {
1639     const llvm::Type *FieldTy =
1640       CGM.getTypes().ConvertTypeForMem(Field->getType());
1641     const llvm::PointerType * BaseTy =
1642       cast<llvm::PointerType>(BaseValue->getType());
1643     unsigned AS = BaseTy->getAddressSpace();
1644     V = Builder.CreateBitCast(V,
1645                               llvm::PointerType::get(FieldTy, AS),
1646                               "tmp");
1647   }
1648   if (Field->getType()->isReferenceType())
1649     V = Builder.CreateLoad(V, "tmp");
1650 
1651   Qualifiers Quals = MakeQualifiers(Field->getType());
1652   Quals.addCVRQualifiers(CVRQualifiers);
1653   // __weak attribute on a field is ignored.
1654   if (Quals.getObjCGCAttr() == Qualifiers::Weak)
1655     Quals.removeObjCGCAttr();
1656 
1657   return LValue::MakeAddr(V, Quals);
1658 }
1659 
1660 LValue
1661 CodeGenFunction::EmitLValueForFieldInitialization(llvm::Value* BaseValue,
1662                                                   const FieldDecl* Field,
1663                                                   unsigned CVRQualifiers) {
1664   QualType FieldType = Field->getType();
1665 
1666   if (!FieldType->isReferenceType())
1667     return EmitLValueForField(BaseValue, Field, CVRQualifiers);
1668 
1669   const CGRecordLayout &RL =
1670     CGM.getTypes().getCGRecordLayout(Field->getParent());
1671   unsigned idx = RL.getLLVMFieldNo(Field);
1672   llvm::Value *V = Builder.CreateStructGEP(BaseValue, idx, "tmp");
1673 
1674   assert(!FieldType.getObjCGCAttr() && "fields cannot have GC attrs");
1675 
1676   return LValue::MakeAddr(V, MakeQualifiers(FieldType));
1677 }
1678 
1679 LValue CodeGenFunction::EmitCompoundLiteralLValue(const CompoundLiteralExpr* E){
1680   llvm::Value *DeclPtr = CreateMemTemp(E->getType(), ".compoundliteral");
1681   const Expr* InitExpr = E->getInitializer();
1682   LValue Result = LValue::MakeAddr(DeclPtr, MakeQualifiers(E->getType()));
1683 
1684   EmitAnyExprToMem(InitExpr, DeclPtr, /*Volatile*/ false);
1685 
1686   return Result;
1687 }
1688 
1689 LValue
1690 CodeGenFunction::EmitConditionalOperatorLValue(const ConditionalOperator* E) {
1691   if (E->isLvalue(getContext()) == Expr::LV_Valid) {
1692     if (int Cond = ConstantFoldsToSimpleInteger(E->getCond())) {
1693       Expr *Live = Cond == 1 ? E->getLHS() : E->getRHS();
1694       if (Live)
1695         return EmitLValue(Live);
1696     }
1697 
1698     if (!E->getLHS())
1699       return EmitUnsupportedLValue(E, "conditional operator with missing LHS");
1700 
1701     llvm::BasicBlock *LHSBlock = createBasicBlock("cond.true");
1702     llvm::BasicBlock *RHSBlock = createBasicBlock("cond.false");
1703     llvm::BasicBlock *ContBlock = createBasicBlock("cond.end");
1704 
1705     EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock);
1706 
1707     // Any temporaries created here are conditional.
1708     BeginConditionalBranch();
1709     EmitBlock(LHSBlock);
1710     LValue LHS = EmitLValue(E->getLHS());
1711     EndConditionalBranch();
1712 
1713     if (!LHS.isSimple())
1714       return EmitUnsupportedLValue(E, "conditional operator");
1715 
1716     // FIXME: We shouldn't need an alloca for this.
1717     llvm::Value *Temp = CreateTempAlloca(LHS.getAddress()->getType(),"condtmp");
1718     Builder.CreateStore(LHS.getAddress(), Temp);
1719     EmitBranch(ContBlock);
1720 
1721     // Any temporaries created here are conditional.
1722     BeginConditionalBranch();
1723     EmitBlock(RHSBlock);
1724     LValue RHS = EmitLValue(E->getRHS());
1725     EndConditionalBranch();
1726     if (!RHS.isSimple())
1727       return EmitUnsupportedLValue(E, "conditional operator");
1728 
1729     Builder.CreateStore(RHS.getAddress(), Temp);
1730     EmitBranch(ContBlock);
1731 
1732     EmitBlock(ContBlock);
1733 
1734     Temp = Builder.CreateLoad(Temp, "lv");
1735     return LValue::MakeAddr(Temp, MakeQualifiers(E->getType()));
1736   }
1737 
1738   // ?: here should be an aggregate.
1739   assert((hasAggregateLLVMType(E->getType()) &&
1740           !E->getType()->isAnyComplexType()) &&
1741          "Unexpected conditional operator!");
1742 
1743   return EmitAggExprToLValue(E);
1744 }
1745 
1746 /// EmitCastLValue - Casts are never lvalues unless that cast is a dynamic_cast.
1747 /// If the cast is a dynamic_cast, we can have the usual lvalue result,
1748 /// otherwise if a cast is needed by the code generator in an lvalue context,
1749 /// then it must mean that we need the address of an aggregate in order to
1750 /// access one of its fields.  This can happen for all the reasons that casts
1751 /// are permitted with aggregate result, including noop aggregate casts, and
1752 /// cast from scalar to union.
1753 LValue CodeGenFunction::EmitCastLValue(const CastExpr *E) {
1754   switch (E->getCastKind()) {
1755   case CastExpr::CK_ToVoid:
1756     return EmitUnsupportedLValue(E, "unexpected cast lvalue");
1757 
1758   case CastExpr::CK_NoOp:
1759     if (E->getSubExpr()->Classify(getContext()).getKind()
1760                                           != Expr::Classification::CL_PRValue) {
1761       LValue LV = EmitLValue(E->getSubExpr());
1762       if (LV.isPropertyRef()) {
1763         QualType QT = E->getSubExpr()->getType();
1764         RValue RV = EmitLoadOfPropertyRefLValue(LV, QT);
1765         assert(!RV.isScalar() && "EmitCastLValue-scalar cast of property ref");
1766         llvm::Value *V = RV.getAggregateAddr();
1767         return LValue::MakeAddr(V, MakeQualifiers(QT));
1768       }
1769       return LV;
1770     }
1771     // Fall through to synthesize a temporary.
1772 
1773   case CastExpr::CK_Unknown:
1774   case CastExpr::CK_BitCast:
1775   case CastExpr::CK_ArrayToPointerDecay:
1776   case CastExpr::CK_FunctionToPointerDecay:
1777   case CastExpr::CK_NullToMemberPointer:
1778   case CastExpr::CK_IntegralToPointer:
1779   case CastExpr::CK_PointerToIntegral:
1780   case CastExpr::CK_VectorSplat:
1781   case CastExpr::CK_IntegralCast:
1782   case CastExpr::CK_IntegralToFloating:
1783   case CastExpr::CK_FloatingToIntegral:
1784   case CastExpr::CK_FloatingCast:
1785   case CastExpr::CK_DerivedToBaseMemberPointer:
1786   case CastExpr::CK_BaseToDerivedMemberPointer:
1787   case CastExpr::CK_MemberPointerToBoolean:
1788   case CastExpr::CK_AnyPointerToBlockPointerCast: {
1789     // These casts only produce lvalues when we're binding a reference to a
1790     // temporary realized from a (converted) pure rvalue. Emit the expression
1791     // as a value, copy it into a temporary, and return an lvalue referring to
1792     // that temporary.
1793     llvm::Value *V = CreateMemTemp(E->getType(), "ref.temp");
1794     EmitAnyExprToMem(E, V, false, false);
1795     return LValue::MakeAddr(V, MakeQualifiers(E->getType()));
1796   }
1797 
1798   case CastExpr::CK_Dynamic: {
1799     LValue LV = EmitLValue(E->getSubExpr());
1800     llvm::Value *V = LV.getAddress();
1801     const CXXDynamicCastExpr *DCE = cast<CXXDynamicCastExpr>(E);
1802     return LValue::MakeAddr(EmitDynamicCast(V, DCE),
1803                             MakeQualifiers(E->getType()));
1804   }
1805 
1806   case CastExpr::CK_ConstructorConversion:
1807   case CastExpr::CK_UserDefinedConversion:
1808   case CastExpr::CK_AnyPointerToObjCPointerCast:
1809     return EmitLValue(E->getSubExpr());
1810 
1811   case CastExpr::CK_UncheckedDerivedToBase:
1812   case CastExpr::CK_DerivedToBase: {
1813     const RecordType *DerivedClassTy =
1814       E->getSubExpr()->getType()->getAs<RecordType>();
1815     CXXRecordDecl *DerivedClassDecl =
1816       cast<CXXRecordDecl>(DerivedClassTy->getDecl());
1817 
1818     LValue LV = EmitLValue(E->getSubExpr());
1819     llvm::Value *This;
1820     if (LV.isPropertyRef()) {
1821       RValue RV = EmitLoadOfPropertyRefLValue(LV, E->getSubExpr()->getType());
1822       assert (!RV.isScalar() && "EmitCastLValue");
1823       This = RV.getAggregateAddr();
1824     }
1825     else
1826       This = LV.getAddress();
1827 
1828     // Perform the derived-to-base conversion
1829     llvm::Value *Base =
1830       GetAddressOfBaseClass(This, DerivedClassDecl,
1831                             E->getBasePath(), /*NullCheckValue=*/false);
1832 
1833     return LValue::MakeAddr(Base, MakeQualifiers(E->getType()));
1834   }
1835   case CastExpr::CK_ToUnion:
1836     return EmitAggExprToLValue(E);
1837   case CastExpr::CK_BaseToDerived: {
1838     const RecordType *DerivedClassTy = E->getType()->getAs<RecordType>();
1839     CXXRecordDecl *DerivedClassDecl =
1840       cast<CXXRecordDecl>(DerivedClassTy->getDecl());
1841 
1842     LValue LV = EmitLValue(E->getSubExpr());
1843 
1844     // Perform the base-to-derived conversion
1845     llvm::Value *Derived =
1846       GetAddressOfDerivedClass(LV.getAddress(), DerivedClassDecl,
1847                                E->getBasePath(),/*NullCheckValue=*/false);
1848 
1849     return LValue::MakeAddr(Derived, MakeQualifiers(E->getType()));
1850   }
1851   case CastExpr::CK_LValueBitCast: {
1852     // This must be a reinterpret_cast (or c-style equivalent).
1853     const ExplicitCastExpr *CE = cast<ExplicitCastExpr>(E);
1854 
1855     LValue LV = EmitLValue(E->getSubExpr());
1856     llvm::Value *V = Builder.CreateBitCast(LV.getAddress(),
1857                                            ConvertType(CE->getTypeAsWritten()));
1858     return LValue::MakeAddr(V, MakeQualifiers(E->getType()));
1859   }
1860   }
1861 
1862   llvm_unreachable("Unhandled lvalue cast kind?");
1863 }
1864 
1865 LValue CodeGenFunction::EmitNullInitializationLValue(
1866                                               const CXXScalarValueInitExpr *E) {
1867   QualType Ty = E->getType();
1868   LValue LV = LValue::MakeAddr(CreateMemTemp(Ty), MakeQualifiers(Ty));
1869   EmitNullInitialization(LV.getAddress(), Ty);
1870   return LV;
1871 }
1872 
1873 //===--------------------------------------------------------------------===//
1874 //                             Expression Emission
1875 //===--------------------------------------------------------------------===//
1876 
1877 
1878 RValue CodeGenFunction::EmitCallExpr(const CallExpr *E,
1879                                      ReturnValueSlot ReturnValue) {
1880   // Builtins never have block type.
1881   if (E->getCallee()->getType()->isBlockPointerType())
1882     return EmitBlockCallExpr(E, ReturnValue);
1883 
1884   if (const CXXMemberCallExpr *CE = dyn_cast<CXXMemberCallExpr>(E))
1885     return EmitCXXMemberCallExpr(CE, ReturnValue);
1886 
1887   const Decl *TargetDecl = 0;
1888   if (const ImplicitCastExpr *CE = dyn_cast<ImplicitCastExpr>(E->getCallee())) {
1889     if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(CE->getSubExpr())) {
1890       TargetDecl = DRE->getDecl();
1891       if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(TargetDecl))
1892         if (unsigned builtinID = FD->getBuiltinID())
1893           return EmitBuiltinExpr(FD, builtinID, E);
1894     }
1895   }
1896 
1897   if (const CXXOperatorCallExpr *CE = dyn_cast<CXXOperatorCallExpr>(E))
1898     if (const CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(TargetDecl))
1899       return EmitCXXOperatorMemberCallExpr(CE, MD, ReturnValue);
1900 
1901   if (isa<CXXPseudoDestructorExpr>(E->getCallee()->IgnoreParens())) {
1902     // C++ [expr.pseudo]p1:
1903     //   The result shall only be used as the operand for the function call
1904     //   operator (), and the result of such a call has type void. The only
1905     //   effect is the evaluation of the postfix-expression before the dot or
1906     //   arrow.
1907     EmitScalarExpr(E->getCallee());
1908     return RValue::get(0);
1909   }
1910 
1911   llvm::Value *Callee = EmitScalarExpr(E->getCallee());
1912   return EmitCall(E->getCallee()->getType(), Callee, ReturnValue,
1913                   E->arg_begin(), E->arg_end(), TargetDecl);
1914 }
1915 
1916 LValue CodeGenFunction::EmitBinaryOperatorLValue(const BinaryOperator *E) {
1917   // Comma expressions just emit their LHS then their RHS as an l-value.
1918   if (E->getOpcode() == BinaryOperator::Comma) {
1919     EmitAnyExpr(E->getLHS());
1920     EnsureInsertPoint();
1921     return EmitLValue(E->getRHS());
1922   }
1923 
1924   if (E->getOpcode() == BinaryOperator::PtrMemD ||
1925       E->getOpcode() == BinaryOperator::PtrMemI)
1926     return EmitPointerToDataMemberBinaryExpr(E);
1927 
1928   // Can only get l-value for binary operator expressions which are a
1929   // simple assignment of aggregate type.
1930   if (E->getOpcode() != BinaryOperator::Assign)
1931     return EmitUnsupportedLValue(E, "binary l-value expression");
1932 
1933   if (!hasAggregateLLVMType(E->getType())) {
1934     // Emit the LHS as an l-value.
1935     LValue LV = EmitLValue(E->getLHS());
1936 
1937     llvm::Value *RHS = EmitScalarExpr(E->getRHS());
1938     EmitStoreOfScalar(RHS, LV.getAddress(), LV.isVolatileQualified(),
1939                       E->getType());
1940     return LV;
1941   }
1942 
1943   return EmitAggExprToLValue(E);
1944 }
1945 
1946 LValue CodeGenFunction::EmitCallExprLValue(const CallExpr *E) {
1947   RValue RV = EmitCallExpr(E);
1948 
1949   if (!RV.isScalar())
1950     return LValue::MakeAddr(RV.getAggregateAddr(),MakeQualifiers(E->getType()));
1951 
1952   assert(E->getCallReturnType()->isReferenceType() &&
1953          "Can't have a scalar return unless the return type is a "
1954          "reference type!");
1955 
1956   return LValue::MakeAddr(RV.getScalarVal(), MakeQualifiers(E->getType()));
1957 }
1958 
1959 LValue CodeGenFunction::EmitVAArgExprLValue(const VAArgExpr *E) {
1960   // FIXME: This shouldn't require another copy.
1961   return EmitAggExprToLValue(E);
1962 }
1963 
1964 LValue CodeGenFunction::EmitCXXConstructLValue(const CXXConstructExpr *E) {
1965   llvm::Value *Temp = CreateMemTemp(E->getType(), "tmp");
1966   EmitCXXConstructExpr(Temp, E);
1967   return LValue::MakeAddr(Temp, MakeQualifiers(E->getType()));
1968 }
1969 
1970 LValue
1971 CodeGenFunction::EmitCXXTypeidLValue(const CXXTypeidExpr *E) {
1972   llvm::Value *Temp = EmitCXXTypeidExpr(E);
1973   return LValue::MakeAddr(Temp, MakeQualifiers(E->getType()));
1974 }
1975 
1976 LValue
1977 CodeGenFunction::EmitCXXBindTemporaryLValue(const CXXBindTemporaryExpr *E) {
1978   LValue LV = EmitLValue(E->getSubExpr());
1979   EmitCXXTemporary(E->getTemporary(), LV.getAddress());
1980   return LV;
1981 }
1982 
1983 LValue CodeGenFunction::EmitObjCMessageExprLValue(const ObjCMessageExpr *E) {
1984   RValue RV = EmitObjCMessageExpr(E);
1985 
1986   if (!RV.isScalar())
1987     return LValue::MakeAddr(RV.getAggregateAddr(),
1988                             MakeQualifiers(E->getType()));
1989 
1990   assert(E->getMethodDecl()->getResultType()->isReferenceType() &&
1991          "Can't have a scalar return unless the return type is a "
1992          "reference type!");
1993 
1994   return LValue::MakeAddr(RV.getScalarVal(), MakeQualifiers(E->getType()));
1995 }
1996 
1997 LValue CodeGenFunction::EmitObjCSelectorLValue(const ObjCSelectorExpr *E) {
1998   llvm::Value *V =
1999     CGM.getObjCRuntime().GetSelector(Builder, E->getSelector(), true);
2000   return LValue::MakeAddr(V, MakeQualifiers(E->getType()));
2001 }
2002 
2003 llvm::Value *CodeGenFunction::EmitIvarOffset(const ObjCInterfaceDecl *Interface,
2004                                              const ObjCIvarDecl *Ivar) {
2005   return CGM.getObjCRuntime().EmitIvarOffset(*this, Interface, Ivar);
2006 }
2007 
2008 LValue CodeGenFunction::EmitLValueForIvar(QualType ObjectTy,
2009                                           llvm::Value *BaseValue,
2010                                           const ObjCIvarDecl *Ivar,
2011                                           unsigned CVRQualifiers) {
2012   return CGM.getObjCRuntime().EmitObjCValueForIvar(*this, ObjectTy, BaseValue,
2013                                                    Ivar, CVRQualifiers);
2014 }
2015 
2016 LValue CodeGenFunction::EmitObjCIvarRefLValue(const ObjCIvarRefExpr *E) {
2017   // FIXME: A lot of the code below could be shared with EmitMemberExpr.
2018   llvm::Value *BaseValue = 0;
2019   const Expr *BaseExpr = E->getBase();
2020   Qualifiers BaseQuals;
2021   QualType ObjectTy;
2022   if (E->isArrow()) {
2023     BaseValue = EmitScalarExpr(BaseExpr);
2024     ObjectTy = BaseExpr->getType()->getPointeeType();
2025     BaseQuals = ObjectTy.getQualifiers();
2026   } else {
2027     LValue BaseLV = EmitLValue(BaseExpr);
2028     // FIXME: this isn't right for bitfields.
2029     BaseValue = BaseLV.getAddress();
2030     ObjectTy = BaseExpr->getType();
2031     BaseQuals = ObjectTy.getQualifiers();
2032   }
2033 
2034   LValue LV =
2035     EmitLValueForIvar(ObjectTy, BaseValue, E->getDecl(),
2036                       BaseQuals.getCVRQualifiers());
2037   setObjCGCLValueClass(getContext(), E, LV);
2038   return LV;
2039 }
2040 
2041 LValue
2042 CodeGenFunction::EmitObjCPropertyRefLValue(const ObjCPropertyRefExpr *E) {
2043   // This is a special l-value that just issues sends when we load or store
2044   // through it.
2045   return LValue::MakePropertyRef(E, E->getType().getCVRQualifiers());
2046 }
2047 
2048 LValue CodeGenFunction::EmitObjCKVCRefLValue(
2049                                 const ObjCImplicitSetterGetterRefExpr *E) {
2050   // This is a special l-value that just issues sends when we load or store
2051   // through it.
2052   return LValue::MakeKVCRef(E, E->getType().getCVRQualifiers());
2053 }
2054 
2055 LValue CodeGenFunction::EmitObjCSuperExprLValue(const ObjCSuperExpr *E) {
2056   return EmitUnsupportedLValue(E, "use of super");
2057 }
2058 
2059 LValue CodeGenFunction::EmitStmtExprLValue(const StmtExpr *E) {
2060   // Can only get l-value for message expression returning aggregate type
2061   RValue RV = EmitAnyExprToTemp(E);
2062   return LValue::MakeAddr(RV.getAggregateAddr(), MakeQualifiers(E->getType()));
2063 }
2064 
2065 RValue CodeGenFunction::EmitCall(QualType CalleeType, llvm::Value *Callee,
2066                                  ReturnValueSlot ReturnValue,
2067                                  CallExpr::const_arg_iterator ArgBeg,
2068                                  CallExpr::const_arg_iterator ArgEnd,
2069                                  const Decl *TargetDecl) {
2070   // Get the actual function type. The callee type will always be a pointer to
2071   // function type or a block pointer type.
2072   assert(CalleeType->isFunctionPointerType() &&
2073          "Call must have function pointer type!");
2074 
2075   CalleeType = getContext().getCanonicalType(CalleeType);
2076 
2077   const FunctionType *FnType
2078     = cast<FunctionType>(cast<PointerType>(CalleeType)->getPointeeType());
2079   QualType ResultType = FnType->getResultType();
2080 
2081   CallArgList Args;
2082   EmitCallArgs(Args, dyn_cast<FunctionProtoType>(FnType), ArgBeg, ArgEnd);
2083 
2084   return EmitCall(CGM.getTypes().getFunctionInfo(Args, FnType),
2085                   Callee, ReturnValue, Args, TargetDecl);
2086 }
2087 
2088 LValue CodeGenFunction::
2089 EmitPointerToDataMemberBinaryExpr(const BinaryOperator *E) {
2090   llvm::Value *BaseV;
2091   if (E->getOpcode() == BinaryOperator::PtrMemI)
2092     BaseV = EmitScalarExpr(E->getLHS());
2093   else
2094     BaseV = EmitLValue(E->getLHS()).getAddress();
2095   const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(getLLVMContext());
2096   BaseV = Builder.CreateBitCast(BaseV, i8Ty);
2097   llvm::Value *OffsetV = EmitScalarExpr(E->getRHS());
2098   llvm::Value *AddV = Builder.CreateInBoundsGEP(BaseV, OffsetV, "add.ptr");
2099 
2100   QualType Ty = E->getRHS()->getType();
2101   Ty = Ty->getAs<MemberPointerType>()->getPointeeType();
2102 
2103   const llvm::Type *PType = ConvertType(getContext().getPointerType(Ty));
2104   AddV = Builder.CreateBitCast(AddV, PType);
2105   return LValue::MakeAddr(AddV, MakeQualifiers(Ty));
2106 }
2107 
2108