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