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