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