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