17a51313dSChris Lattner //===--- CGExprAgg.cpp - Emit LLVM Code from Aggregate Expressions --------===//
27a51313dSChris Lattner //
37a51313dSChris Lattner //                     The LLVM Compiler Infrastructure
47a51313dSChris Lattner //
57a51313dSChris Lattner // This file is distributed under the University of Illinois Open Source
67a51313dSChris Lattner // License. See LICENSE.TXT for details.
77a51313dSChris Lattner //
87a51313dSChris Lattner //===----------------------------------------------------------------------===//
97a51313dSChris Lattner //
107a51313dSChris Lattner // This contains code to emit Aggregate Expr nodes as LLVM code.
117a51313dSChris Lattner //
127a51313dSChris Lattner //===----------------------------------------------------------------------===//
137a51313dSChris Lattner 
147a51313dSChris Lattner #include "CodeGenFunction.h"
157a51313dSChris Lattner #include "CodeGenModule.h"
165f21d2f6SFariborz Jahanian #include "CGObjCRuntime.h"
17ad319a73SDaniel Dunbar #include "clang/AST/ASTContext.h"
18b7f8f594SAnders Carlsson #include "clang/AST/DeclCXX.h"
19ad319a73SDaniel Dunbar #include "clang/AST/StmtVisitor.h"
207a51313dSChris Lattner #include "llvm/Constants.h"
217a51313dSChris Lattner #include "llvm/Function.h"
227a51313dSChris Lattner #include "llvm/GlobalVariable.h"
23579a05d7SChris Lattner #include "llvm/Intrinsics.h"
247a51313dSChris Lattner using namespace clang;
257a51313dSChris Lattner using namespace CodeGen;
267a51313dSChris Lattner 
277a51313dSChris Lattner //===----------------------------------------------------------------------===//
287a51313dSChris Lattner //                        Aggregate Expression Emitter
297a51313dSChris Lattner //===----------------------------------------------------------------------===//
307a51313dSChris Lattner 
317a51313dSChris Lattner namespace  {
32337e3a5fSBenjamin Kramer class AggExprEmitter : public StmtVisitor<AggExprEmitter> {
337a51313dSChris Lattner   CodeGenFunction &CGF;
34cb463859SDaniel Dunbar   CGBuilderTy &Builder;
357a51313dSChris Lattner   llvm::Value *DestPtr;
367a51313dSChris Lattner   bool VolatileDest;
37ec3cbfe8SMike Stump   bool IgnoreResult;
385b106a75SAnders Carlsson   bool IsInitializer;
39879d7266SFariborz Jahanian   bool RequiresGCollection;
4078a15113SJohn McCall 
4178a15113SJohn McCall   ReturnValueSlot getReturnValueSlot() const {
42cc04e9f6SJohn McCall     // If the destination slot requires garbage collection, we can't
43cc04e9f6SJohn McCall     // use the real return value slot, because we have to use the GC
44cc04e9f6SJohn McCall     // API.
45cc04e9f6SJohn McCall     if (RequiresGCollection) return ReturnValueSlot();
46cc04e9f6SJohn McCall 
4778a15113SJohn McCall     return ReturnValueSlot(DestPtr, VolatileDest);
4878a15113SJohn McCall   }
49cc04e9f6SJohn McCall 
507a51313dSChris Lattner public:
513e97f3b3SMike Stump   AggExprEmitter(CodeGenFunction &cgf, llvm::Value *destPtr, bool v,
52879d7266SFariborz Jahanian                  bool ignore, bool isinit, bool requiresGCollection)
537a51313dSChris Lattner     : CGF(cgf), Builder(CGF.Builder),
545b106a75SAnders Carlsson       DestPtr(destPtr), VolatileDest(v), IgnoreResult(ignore),
55879d7266SFariborz Jahanian       IsInitializer(isinit), RequiresGCollection(requiresGCollection) {
567a51313dSChris Lattner   }
577a51313dSChris Lattner 
587a51313dSChris Lattner   //===--------------------------------------------------------------------===//
597a51313dSChris Lattner   //                               Utilities
607a51313dSChris Lattner   //===--------------------------------------------------------------------===//
617a51313dSChris Lattner 
627a51313dSChris Lattner   /// EmitAggLoadOfLValue - Given an expression with aggregate type that
637a51313dSChris Lattner   /// represents a value lvalue, this method emits the address of the lvalue,
647a51313dSChris Lattner   /// then loads the result into DestPtr.
657a51313dSChris Lattner   void EmitAggLoadOfLValue(const Expr *E);
667a51313dSChris Lattner 
67ca9fc09cSMike Stump   /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired.
68ec3cbfe8SMike Stump   void EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore = false);
69ec3cbfe8SMike Stump   void EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore = false);
70ca9fc09cSMike Stump 
71cc04e9f6SJohn McCall   void EmitGCMove(const Expr *E, RValue Src);
72cc04e9f6SJohn McCall 
73cc04e9f6SJohn McCall   bool TypeRequiresGCollection(QualType T);
74cc04e9f6SJohn McCall 
757a51313dSChris Lattner   //===--------------------------------------------------------------------===//
767a51313dSChris Lattner   //                            Visitor Methods
777a51313dSChris Lattner   //===--------------------------------------------------------------------===//
787a51313dSChris Lattner 
797a51313dSChris Lattner   void VisitStmt(Stmt *S) {
80a7c8cf62SDaniel Dunbar     CGF.ErrorUnsupported(S, "aggregate expression");
817a51313dSChris Lattner   }
827a51313dSChris Lattner   void VisitParenExpr(ParenExpr *PE) { Visit(PE->getSubExpr()); }
833f66b84cSEli Friedman   void VisitUnaryExtension(UnaryOperator *E) { Visit(E->getSubExpr()); }
847a51313dSChris Lattner 
857a51313dSChris Lattner   // l-values.
867a51313dSChris Lattner   void VisitDeclRefExpr(DeclRefExpr *DRE) { EmitAggLoadOfLValue(DRE); }
877a51313dSChris Lattner   void VisitMemberExpr(MemberExpr *ME) { EmitAggLoadOfLValue(ME); }
887a51313dSChris Lattner   void VisitUnaryDeref(UnaryOperator *E) { EmitAggLoadOfLValue(E); }
89d443c0a0SDaniel Dunbar   void VisitStringLiteral(StringLiteral *E) { EmitAggLoadOfLValue(E); }
902f343dd5SChris Lattner   void VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
912f343dd5SChris Lattner     EmitAggLoadOfLValue(E);
922f343dd5SChris Lattner   }
937a51313dSChris Lattner   void VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
947a51313dSChris Lattner     EmitAggLoadOfLValue(E);
957a51313dSChris Lattner   }
962f343dd5SChris Lattner   void VisitBlockDeclRefExpr(const BlockDeclRefExpr *E) {
972f343dd5SChris Lattner     EmitAggLoadOfLValue(E);
982f343dd5SChris Lattner   }
992f343dd5SChris Lattner   void VisitPredefinedExpr(const PredefinedExpr *E) {
1002f343dd5SChris Lattner     EmitAggLoadOfLValue(E);
1012f343dd5SChris Lattner   }
102bc7d67ceSMike Stump 
1037a51313dSChris Lattner   // Operators.
104ec143777SAnders Carlsson   void VisitCastExpr(CastExpr *E);
1057a51313dSChris Lattner   void VisitCallExpr(const CallExpr *E);
1067a51313dSChris Lattner   void VisitStmtExpr(const StmtExpr *E);
1077a51313dSChris Lattner   void VisitBinaryOperator(const BinaryOperator *BO);
108ffba662dSFariborz Jahanian   void VisitPointerToDataMemberBinaryOperator(const BinaryOperator *BO);
1097a51313dSChris Lattner   void VisitBinAssign(const BinaryOperator *E);
1104b0e2a30SEli Friedman   void VisitBinComma(const BinaryOperator *E);
111c46bf276SAnders Carlsson   void VisitUnaryAddrOf(const UnaryOperator *E);
1127a51313dSChris Lattner 
113b1d329daSChris Lattner   void VisitObjCMessageExpr(ObjCMessageExpr *E);
114c8317a44SDaniel Dunbar   void VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
115c8317a44SDaniel Dunbar     EmitAggLoadOfLValue(E);
116c8317a44SDaniel Dunbar   }
11755310df7SDaniel Dunbar   void VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E);
1189a846659SFariborz Jahanian   void VisitObjCImplicitSetterGetterRefExpr(ObjCImplicitSetterGetterRefExpr *E);
1197a51313dSChris Lattner 
1207a51313dSChris Lattner   void VisitConditionalOperator(const ConditionalOperator *CO);
1215b2095ceSAnders Carlsson   void VisitChooseExpr(const ChooseExpr *CE);
1227a51313dSChris Lattner   void VisitInitListExpr(InitListExpr *E);
12318ada985SAnders Carlsson   void VisitImplicitValueInitExpr(ImplicitValueInitExpr *E);
124aa9c7aedSChris Lattner   void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
125aa9c7aedSChris Lattner     Visit(DAE->getExpr());
126aa9c7aedSChris Lattner   }
1273be22e27SAnders Carlsson   void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E);
1281619a504SAnders Carlsson   void VisitCXXConstructExpr(const CXXConstructExpr *E);
129c82b86dfSAnders Carlsson   void VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E);
130ff3507b9SNuno Lopes   void VisitCXXZeroInitValueExpr(CXXZeroInitValueExpr *E);
1315bbbb137SMike Stump   void VisitCXXTypeidExpr(CXXTypeidExpr *E) { EmitAggLoadOfLValue(E); }
132c82b86dfSAnders Carlsson 
13321911e89SEli Friedman   void VisitVAArgExpr(VAArgExpr *E);
134579a05d7SChris Lattner 
135b247350eSAnders Carlsson   void EmitInitializationToLValue(Expr *E, LValue Address, QualType T);
136579a05d7SChris Lattner   void EmitNullInitializationToLValue(LValue Address, QualType T);
1377a51313dSChris Lattner   //  case Expr::ChooseExprClass:
138f16b8c30SMike Stump   void VisitCXXThrowExpr(const CXXThrowExpr *E) { CGF.EmitCXXThrowExpr(E); }
1397a51313dSChris Lattner };
1407a51313dSChris Lattner }  // end anonymous namespace.
1417a51313dSChris Lattner 
1427a51313dSChris Lattner //===----------------------------------------------------------------------===//
1437a51313dSChris Lattner //                                Utilities
1447a51313dSChris Lattner //===----------------------------------------------------------------------===//
1457a51313dSChris Lattner 
1467a51313dSChris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that
1477a51313dSChris Lattner /// represents a value lvalue, this method emits the address of the lvalue,
1487a51313dSChris Lattner /// then loads the result into DestPtr.
1497a51313dSChris Lattner void AggExprEmitter::EmitAggLoadOfLValue(const Expr *E) {
1507a51313dSChris Lattner   LValue LV = CGF.EmitLValue(E);
151ca9fc09cSMike Stump   EmitFinalDestCopy(E, LV);
152ca9fc09cSMike Stump }
153ca9fc09cSMike Stump 
154cc04e9f6SJohn McCall /// \brief True if the given aggregate type requires special GC API calls.
155cc04e9f6SJohn McCall bool AggExprEmitter::TypeRequiresGCollection(QualType T) {
156cc04e9f6SJohn McCall   // Only record types have members that might require garbage collection.
157cc04e9f6SJohn McCall   const RecordType *RecordTy = T->getAs<RecordType>();
158cc04e9f6SJohn McCall   if (!RecordTy) return false;
159cc04e9f6SJohn McCall 
160cc04e9f6SJohn McCall   // Don't mess with non-trivial C++ types.
161cc04e9f6SJohn McCall   RecordDecl *Record = RecordTy->getDecl();
162cc04e9f6SJohn McCall   if (isa<CXXRecordDecl>(Record) &&
163cc04e9f6SJohn McCall       (!cast<CXXRecordDecl>(Record)->hasTrivialCopyConstructor() ||
164cc04e9f6SJohn McCall        !cast<CXXRecordDecl>(Record)->hasTrivialDestructor()))
165cc04e9f6SJohn McCall     return false;
166cc04e9f6SJohn McCall 
167cc04e9f6SJohn McCall   // Check whether the type has an object member.
168cc04e9f6SJohn McCall   return Record->hasObjectMember();
169cc04e9f6SJohn McCall }
170cc04e9f6SJohn McCall 
171cc04e9f6SJohn McCall /// \brief Perform the final move to DestPtr if RequiresGCollection is set.
172cc04e9f6SJohn McCall ///
173cc04e9f6SJohn McCall /// The idea is that you do something like this:
174cc04e9f6SJohn McCall ///   RValue Result = EmitSomething(..., getReturnValueSlot());
175cc04e9f6SJohn McCall ///   EmitGCMove(E, Result);
176cc04e9f6SJohn McCall /// If GC doesn't interfere, this will cause the result to be emitted
177cc04e9f6SJohn McCall /// directly into the return value slot.  If GC does interfere, a final
178cc04e9f6SJohn McCall /// move will be performed.
179cc04e9f6SJohn McCall void AggExprEmitter::EmitGCMove(const Expr *E, RValue Src) {
180021510e9SFariborz Jahanian   if (RequiresGCollection) {
181021510e9SFariborz Jahanian     std::pair<uint64_t, unsigned> TypeInfo =
182021510e9SFariborz Jahanian       CGF.getContext().getTypeInfo(E->getType());
183021510e9SFariborz Jahanian     unsigned long size = TypeInfo.first/8;
184021510e9SFariborz Jahanian     const llvm::Type *SizeTy = CGF.ConvertType(CGF.getContext().getSizeType());
185021510e9SFariborz Jahanian     llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
186cc04e9f6SJohn McCall     CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF, DestPtr,
187cc04e9f6SJohn McCall                                                     Src.getAggregateAddr(),
188021510e9SFariborz Jahanian                                                     SizeVal);
189021510e9SFariborz Jahanian   }
190cc04e9f6SJohn McCall }
191cc04e9f6SJohn McCall 
192ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired.
193ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore) {
194ca9fc09cSMike Stump   assert(Src.isAggregate() && "value must be aggregate value!");
1957a51313dSChris Lattner 
1967a51313dSChris Lattner   // If the result is ignored, don't copy from the value.
197332ec2ceSMike Stump   if (DestPtr == 0) {
198ec3cbfe8SMike Stump     if (!Src.isVolatileQualified() || (IgnoreResult && Ignore))
199ec3cbfe8SMike Stump       return;
200332ec2ceSMike Stump     // If the source is volatile, we must read from it; to do that, we need
201332ec2ceSMike Stump     // some place to put it.
202a7566f16SDaniel Dunbar     DestPtr = CGF.CreateMemTemp(E->getType(), "agg.tmp");
203332ec2ceSMike Stump   }
2047a51313dSChris Lattner 
205879d7266SFariborz Jahanian   if (RequiresGCollection) {
206021510e9SFariborz Jahanian     std::pair<uint64_t, unsigned> TypeInfo =
207021510e9SFariborz Jahanian     CGF.getContext().getTypeInfo(E->getType());
208021510e9SFariborz Jahanian     unsigned long size = TypeInfo.first/8;
209021510e9SFariborz Jahanian     const llvm::Type *SizeTy = CGF.ConvertType(CGF.getContext().getSizeType());
210021510e9SFariborz Jahanian     llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
211879d7266SFariborz Jahanian     CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF,
212879d7266SFariborz Jahanian                                               DestPtr, Src.getAggregateAddr(),
213021510e9SFariborz Jahanian                                               SizeVal);
214879d7266SFariborz Jahanian     return;
215879d7266SFariborz Jahanian   }
216ca9fc09cSMike Stump   // If the result of the assignment is used, copy the LHS there also.
217ca9fc09cSMike Stump   // FIXME: Pass VolatileDest as well.  I think we also need to merge volatile
218ca9fc09cSMike Stump   // from the source as well, as we can't eliminate it if either operand
219ca9fc09cSMike Stump   // is volatile, unless copy has volatile for both source and destination..
2205e9e61b8SMike Stump   CGF.EmitAggregateCopy(DestPtr, Src.getAggregateAddr(), E->getType(),
2215e9e61b8SMike Stump                         VolatileDest|Src.isVolatileQualified());
222ca9fc09cSMike Stump }
223ca9fc09cSMike Stump 
224ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired.
225ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore) {
226ca9fc09cSMike Stump   assert(Src.isSimple() && "Can't have aggregate bitfield, vector, etc");
227ca9fc09cSMike Stump 
228ca9fc09cSMike Stump   EmitFinalDestCopy(E, RValue::getAggregate(Src.getAddress(),
229ec3cbfe8SMike Stump                                             Src.isVolatileQualified()),
230ec3cbfe8SMike Stump                     Ignore);
2317a51313dSChris Lattner }
2327a51313dSChris Lattner 
2337a51313dSChris Lattner //===----------------------------------------------------------------------===//
2347a51313dSChris Lattner //                            Visitor Methods
2357a51313dSChris Lattner //===----------------------------------------------------------------------===//
2367a51313dSChris Lattner 
237ec143777SAnders Carlsson void AggExprEmitter::VisitCastExpr(CastExpr *E) {
2381c073f47SDouglas Gregor   if (!DestPtr && E->getCastKind() != CastExpr::CK_Dynamic) {
239c934bc84SDouglas Gregor     Visit(E->getSubExpr());
240c934bc84SDouglas Gregor     return;
241c934bc84SDouglas Gregor   }
242c934bc84SDouglas Gregor 
2431fb7ae9eSAnders Carlsson   switch (E->getCastKind()) {
2441fb7ae9eSAnders Carlsson   default: assert(0 && "Unhandled cast kind!");
2451fb7ae9eSAnders Carlsson 
2461c073f47SDouglas Gregor   case CastExpr::CK_Dynamic: {
2471c073f47SDouglas Gregor     assert(isa<CXXDynamicCastExpr>(E) && "CK_Dynamic without a dynamic_cast?");
2481c073f47SDouglas Gregor     LValue LV = CGF.EmitCheckedLValue(E->getSubExpr());
2491c073f47SDouglas Gregor     // FIXME: Do we also need to handle property references here?
2501c073f47SDouglas Gregor     if (LV.isSimple())
2511c073f47SDouglas Gregor       CGF.EmitDynamicCast(LV.getAddress(), cast<CXXDynamicCastExpr>(E));
2521c073f47SDouglas Gregor     else
2531c073f47SDouglas Gregor       CGF.CGM.ErrorUnsupported(E, "non-simple lvalue dynamic_cast");
2541c073f47SDouglas Gregor 
2551c073f47SDouglas Gregor     if (DestPtr)
2561c073f47SDouglas Gregor       CGF.CGM.ErrorUnsupported(E, "lvalue dynamic_cast with a destination");
2571c073f47SDouglas Gregor     break;
2581c073f47SDouglas Gregor   }
2591c073f47SDouglas Gregor 
2601fb7ae9eSAnders Carlsson   case CastExpr::CK_ToUnion: {
2617ffcf93bSNuno Lopes     // GCC union extension
262dd274848SEli Friedman     QualType PtrTy =
263dd274848SEli Friedman     CGF.getContext().getPointerType(E->getSubExpr()->getType());
264dd274848SEli Friedman     llvm::Value *CastPtr = Builder.CreateBitCast(DestPtr,
265dd274848SEli Friedman                                                  CGF.ConvertType(PtrTy));
266acedf776SMon P Wang     EmitInitializationToLValue(E->getSubExpr(),
267b247350eSAnders Carlsson                                LValue::MakeAddr(CastPtr, Qualifiers()),
268d2c0de6bSEli Friedman                                E->getSubExpr()->getType());
2691fb7ae9eSAnders Carlsson     break;
2707ffcf93bSNuno Lopes   }
2717ffcf93bSNuno Lopes 
272aae38d66SDouglas Gregor   case CastExpr::CK_DerivedToBase:
273aae38d66SDouglas Gregor   case CastExpr::CK_BaseToDerived:
274aae38d66SDouglas Gregor   case CastExpr::CK_UncheckedDerivedToBase: {
275aae38d66SDouglas Gregor     assert(0 && "cannot perform hierarchy conversion in EmitAggExpr: "
276aae38d66SDouglas Gregor                 "should have been unpacked before we got here");
277aae38d66SDouglas Gregor     break;
278aae38d66SDouglas Gregor   }
279aae38d66SDouglas Gregor 
280ec143777SAnders Carlsson   // FIXME: Remove the CK_Unknown check here.
2811fb7ae9eSAnders Carlsson   case CastExpr::CK_Unknown:
2821fb7ae9eSAnders Carlsson   case CastExpr::CK_NoOp:
2831fb7ae9eSAnders Carlsson   case CastExpr::CK_UserDefinedConversion:
2841fb7ae9eSAnders Carlsson   case CastExpr::CK_ConstructorConversion:
2852a69547fSEli Friedman     assert(CGF.getContext().hasSameUnqualifiedType(E->getSubExpr()->getType(),
2862a69547fSEli Friedman                                                    E->getType()) &&
2870f398c44SChris Lattner            "Implicit cast types must be compatible");
2887a51313dSChris Lattner     Visit(E->getSubExpr());
2891fb7ae9eSAnders Carlsson     break;
290b05a3e55SAnders Carlsson 
291b05a3e55SAnders Carlsson   case CastExpr::CK_NullToMemberPointer: {
292c934bc84SDouglas Gregor     // If the subexpression's type is the C++0x nullptr_t, emit the
293c934bc84SDouglas Gregor     // subexpression, which may have side effects.
294c934bc84SDouglas Gregor     if (E->getSubExpr()->getType()->isNullPtrType())
295c934bc84SDouglas Gregor       Visit(E->getSubExpr());
296c934bc84SDouglas Gregor 
297b05a3e55SAnders Carlsson     const llvm::Type *PtrDiffTy =
298b05a3e55SAnders Carlsson       CGF.ConvertType(CGF.getContext().getPointerDiffType());
299b05a3e55SAnders Carlsson 
300b05a3e55SAnders Carlsson     llvm::Value *NullValue = llvm::Constant::getNullValue(PtrDiffTy);
301b05a3e55SAnders Carlsson     llvm::Value *Ptr = Builder.CreateStructGEP(DestPtr, 0, "ptr");
302b05a3e55SAnders Carlsson     Builder.CreateStore(NullValue, Ptr, VolatileDest);
303b05a3e55SAnders Carlsson 
304b05a3e55SAnders Carlsson     llvm::Value *Adj = Builder.CreateStructGEP(DestPtr, 1, "adj");
305b05a3e55SAnders Carlsson     Builder.CreateStore(NullValue, Adj, VolatileDest);
306b05a3e55SAnders Carlsson 
307b05a3e55SAnders Carlsson     break;
308b05a3e55SAnders Carlsson   }
3099150a2a8SAnders Carlsson 
3109500ad13SAnders Carlsson   case CastExpr::CK_BitCast: {
3119500ad13SAnders Carlsson     // This must be a member function pointer cast.
3129500ad13SAnders Carlsson     Visit(E->getSubExpr());
3139500ad13SAnders Carlsson     break;
3149500ad13SAnders Carlsson   }
3159500ad13SAnders Carlsson 
3167eb0ccaaSEli Friedman   case CastExpr::CK_DerivedToBaseMemberPointer:
3179150a2a8SAnders Carlsson   case CastExpr::CK_BaseToDerivedMemberPointer: {
3189150a2a8SAnders Carlsson     QualType SrcType = E->getSubExpr()->getType();
3199150a2a8SAnders Carlsson 
320a7566f16SDaniel Dunbar     llvm::Value *Src = CGF.CreateMemTemp(SrcType, "tmp");
3219150a2a8SAnders Carlsson     CGF.EmitAggExpr(E->getSubExpr(), Src, SrcType.isVolatileQualified());
3229150a2a8SAnders Carlsson 
3239150a2a8SAnders Carlsson     llvm::Value *SrcPtr = Builder.CreateStructGEP(Src, 0, "src.ptr");
3249150a2a8SAnders Carlsson     SrcPtr = Builder.CreateLoad(SrcPtr);
3259150a2a8SAnders Carlsson 
3269150a2a8SAnders Carlsson     llvm::Value *SrcAdj = Builder.CreateStructGEP(Src, 1, "src.adj");
3279150a2a8SAnders Carlsson     SrcAdj = Builder.CreateLoad(SrcAdj);
3289150a2a8SAnders Carlsson 
3299150a2a8SAnders Carlsson     llvm::Value *DstPtr = Builder.CreateStructGEP(DestPtr, 0, "dst.ptr");
3309150a2a8SAnders Carlsson     Builder.CreateStore(SrcPtr, DstPtr, VolatileDest);
3319150a2a8SAnders Carlsson 
3329150a2a8SAnders Carlsson     llvm::Value *DstAdj = Builder.CreateStructGEP(DestPtr, 1, "dst.adj");
3339150a2a8SAnders Carlsson 
3349150a2a8SAnders Carlsson     // Now See if we need to update the adjustment.
3357eb0ccaaSEli Friedman     const CXXRecordDecl *BaseDecl =
3369150a2a8SAnders Carlsson       cast<CXXRecordDecl>(SrcType->getAs<MemberPointerType>()->
3379150a2a8SAnders Carlsson                           getClass()->getAs<RecordType>()->getDecl());
3387eb0ccaaSEli Friedman     const CXXRecordDecl *DerivedDecl =
3399150a2a8SAnders Carlsson       cast<CXXRecordDecl>(E->getType()->getAs<MemberPointerType>()->
3409150a2a8SAnders Carlsson                           getClass()->getAs<RecordType>()->getDecl());
3417eb0ccaaSEli Friedman     if (E->getCastKind() == CastExpr::CK_DerivedToBaseMemberPointer)
3427eb0ccaaSEli Friedman       std::swap(DerivedDecl, BaseDecl);
3439150a2a8SAnders Carlsson 
34484673e20SAnders Carlsson     if (llvm::Constant *Adj =
345795213efSAnders Carlsson           CGF.CGM.GetNonVirtualBaseClassOffset(DerivedDecl, E->getBasePath())) {
3467eb0ccaaSEli Friedman       if (E->getCastKind() == CastExpr::CK_DerivedToBaseMemberPointer)
3477eb0ccaaSEli Friedman         SrcAdj = Builder.CreateSub(SrcAdj, Adj, "adj");
3487eb0ccaaSEli Friedman       else
3499150a2a8SAnders Carlsson         SrcAdj = Builder.CreateAdd(SrcAdj, Adj, "adj");
3507eb0ccaaSEli Friedman     }
3519150a2a8SAnders Carlsson 
3529150a2a8SAnders Carlsson     Builder.CreateStore(SrcAdj, DstAdj, VolatileDest);
3539150a2a8SAnders Carlsson     break;
3549150a2a8SAnders Carlsson   }
3551fb7ae9eSAnders Carlsson   }
3567a51313dSChris Lattner }
3577a51313dSChris Lattner 
3580f398c44SChris Lattner void AggExprEmitter::VisitCallExpr(const CallExpr *E) {
359ddcbfe7bSAnders Carlsson   if (E->getCallReturnType()->isReferenceType()) {
360ddcbfe7bSAnders Carlsson     EmitAggLoadOfLValue(E);
361ddcbfe7bSAnders Carlsson     return;
362ddcbfe7bSAnders Carlsson   }
363ddcbfe7bSAnders Carlsson 
364cc04e9f6SJohn McCall   RValue RV = CGF.EmitCallExpr(E, getReturnValueSlot());
365cc04e9f6SJohn McCall   EmitGCMove(E, RV);
3667a51313dSChris Lattner }
3670f398c44SChris Lattner 
3680f398c44SChris Lattner void AggExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
369cc04e9f6SJohn McCall   RValue RV = CGF.EmitObjCMessageExpr(E, getReturnValueSlot());
370cc04e9f6SJohn McCall   EmitGCMove(E, RV);
371b1d329daSChris Lattner }
3727a51313dSChris Lattner 
37355310df7SDaniel Dunbar void AggExprEmitter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
374cc04e9f6SJohn McCall   RValue RV = CGF.EmitObjCPropertyGet(E, getReturnValueSlot());
375cc04e9f6SJohn McCall   EmitGCMove(E, RV);
37655310df7SDaniel Dunbar }
37755310df7SDaniel Dunbar 
3789a846659SFariborz Jahanian void AggExprEmitter::VisitObjCImplicitSetterGetterRefExpr(
3799a846659SFariborz Jahanian                                    ObjCImplicitSetterGetterRefExpr *E) {
380cc04e9f6SJohn McCall   RValue RV = CGF.EmitObjCPropertyGet(E, getReturnValueSlot());
381cc04e9f6SJohn McCall   EmitGCMove(E, RV);
3828a1810f0SFariborz Jahanian }
3838a1810f0SFariborz Jahanian 
3840f398c44SChris Lattner void AggExprEmitter::VisitBinComma(const BinaryOperator *E) {
385df0fe27bSMike Stump   CGF.EmitAnyExpr(E->getLHS(), 0, false, true);
3865b106a75SAnders Carlsson   CGF.EmitAggExpr(E->getRHS(), DestPtr, VolatileDest,
3875b106a75SAnders Carlsson                   /*IgnoreResult=*/false, IsInitializer);
3884b0e2a30SEli Friedman }
3894b0e2a30SEli Friedman 
390c46bf276SAnders Carlsson void AggExprEmitter::VisitUnaryAddrOf(const UnaryOperator *E) {
391c46bf276SAnders Carlsson   // We have a member function pointer.
392c46bf276SAnders Carlsson   const MemberPointerType *MPT = E->getType()->getAs<MemberPointerType>();
3931d4172c5SDaniel Dunbar   (void) MPT;
394c46bf276SAnders Carlsson   assert(MPT->getPointeeType()->isFunctionProtoType() &&
395c46bf276SAnders Carlsson          "Unexpected member pointer type!");
396c46bf276SAnders Carlsson 
397aee1f514SDouglas Gregor   // The creation of member function pointers has no side effects; if
398aee1f514SDouglas Gregor   // there is no destination pointer, we have nothing to do.
399aee1f514SDouglas Gregor   if (!DestPtr)
400aee1f514SDouglas Gregor     return;
401aee1f514SDouglas Gregor 
4024bd90e53SDouglas Gregor   const DeclRefExpr *DRE = cast<DeclRefExpr>(E->getSubExpr());
403a0b025e4SAnders Carlsson   const CXXMethodDecl *MD =
404a0b025e4SAnders Carlsson     cast<CXXMethodDecl>(DRE->getDecl())->getCanonicalDecl();
405c46bf276SAnders Carlsson 
406c46bf276SAnders Carlsson   const llvm::Type *PtrDiffTy =
407c46bf276SAnders Carlsson     CGF.ConvertType(CGF.getContext().getPointerDiffType());
408c46bf276SAnders Carlsson 
409c46bf276SAnders Carlsson   llvm::Value *DstPtr = Builder.CreateStructGEP(DestPtr, 0, "dst.ptr");
410c8731be3SEli Friedman   llvm::Value *FuncPtr = CGF.CGM.GetCXXMemberFunctionPointerValue(MD);
411c46bf276SAnders Carlsson   Builder.CreateStore(FuncPtr, DstPtr, VolatileDest);
412c46bf276SAnders Carlsson 
413c46bf276SAnders Carlsson   llvm::Value *AdjPtr = Builder.CreateStructGEP(DestPtr, 1, "dst.adj");
414c46bf276SAnders Carlsson   // The adjustment will always be 0.
415c46bf276SAnders Carlsson   Builder.CreateStore(llvm::ConstantInt::get(PtrDiffTy, 0), AdjPtr,
416c46bf276SAnders Carlsson                       VolatileDest);
417c46bf276SAnders Carlsson }
418c46bf276SAnders Carlsson 
4197a51313dSChris Lattner void AggExprEmitter::VisitStmtExpr(const StmtExpr *E) {
4207a51313dSChris Lattner   CGF.EmitCompoundStmt(*E->getSubStmt(), true, DestPtr, VolatileDest);
4217a51313dSChris Lattner }
4227a51313dSChris Lattner 
4237a51313dSChris Lattner void AggExprEmitter::VisitBinaryOperator(const BinaryOperator *E) {
424038374f8SFariborz Jahanian   if (E->getOpcode() == BinaryOperator::PtrMemD ||
425038374f8SFariborz Jahanian       E->getOpcode() == BinaryOperator::PtrMemI)
426ffba662dSFariborz Jahanian     VisitPointerToDataMemberBinaryOperator(E);
427ffba662dSFariborz Jahanian   else
428a7c8cf62SDaniel Dunbar     CGF.ErrorUnsupported(E, "aggregate binary expression");
4297a51313dSChris Lattner }
4307a51313dSChris Lattner 
431ffba662dSFariborz Jahanian void AggExprEmitter::VisitPointerToDataMemberBinaryOperator(
432ffba662dSFariborz Jahanian                                                     const BinaryOperator *E) {
433ffba662dSFariborz Jahanian   LValue LV = CGF.EmitPointerToDataMemberBinaryExpr(E);
434ffba662dSFariborz Jahanian   EmitFinalDestCopy(E, LV);
435ffba662dSFariborz Jahanian }
436ffba662dSFariborz Jahanian 
4377a51313dSChris Lattner void AggExprEmitter::VisitBinAssign(const BinaryOperator *E) {
4387a51313dSChris Lattner   // For an assignment to work, the value on the right has
4397a51313dSChris Lattner   // to be compatible with the value on the left.
4402a69547fSEli Friedman   assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(),
4412a69547fSEli Friedman                                                  E->getRHS()->getType())
4427a51313dSChris Lattner          && "Invalid assignment");
4437a51313dSChris Lattner   LValue LHS = CGF.EmitLValue(E->getLHS());
4447a51313dSChris Lattner 
4454b8c6db9SDaniel Dunbar   // We have to special case property setters, otherwise we must have
4464b8c6db9SDaniel Dunbar   // a simple lvalue (no aggregates inside vectors, bitfields).
4474b8c6db9SDaniel Dunbar   if (LHS.isPropertyRef()) {
4484b8c6db9SDaniel Dunbar     llvm::Value *AggLoc = DestPtr;
4494b8c6db9SDaniel Dunbar     if (!AggLoc)
450a7566f16SDaniel Dunbar       AggLoc = CGF.CreateMemTemp(E->getRHS()->getType());
4519afc476dSMike Stump     CGF.EmitAggExpr(E->getRHS(), AggLoc, VolatileDest);
4524b8c6db9SDaniel Dunbar     CGF.EmitObjCPropertySet(LHS.getPropertyRefExpr(),
4539afc476dSMike Stump                             RValue::getAggregate(AggLoc, VolatileDest));
454658fe02dSMike Stump   } else if (LHS.isKVCRef()) {
4559ac53516SFariborz Jahanian     llvm::Value *AggLoc = DestPtr;
4569ac53516SFariborz Jahanian     if (!AggLoc)
457a7566f16SDaniel Dunbar       AggLoc = CGF.CreateMemTemp(E->getRHS()->getType());
458b9f25186SMike Stump     CGF.EmitAggExpr(E->getRHS(), AggLoc, VolatileDest);
4599ac53516SFariborz Jahanian     CGF.EmitObjCPropertySet(LHS.getKVCRefExpr(),
460b9f25186SMike Stump                             RValue::getAggregate(AggLoc, VolatileDest));
4614b8c6db9SDaniel Dunbar   } else {
462879d7266SFariborz Jahanian     bool RequiresGCollection = false;
463cc04e9f6SJohn McCall     if (CGF.getContext().getLangOptions().getGCMode())
464cc04e9f6SJohn McCall       RequiresGCollection = TypeRequiresGCollection(E->getLHS()->getType());
465cc04e9f6SJohn McCall 
4667a51313dSChris Lattner     // Codegen the RHS so that it stores directly into the LHS.
467879d7266SFariborz Jahanian     CGF.EmitAggExpr(E->getRHS(), LHS.getAddress(), LHS.isVolatileQualified(),
468879d7266SFariborz Jahanian                     false, false, RequiresGCollection);
469ec3cbfe8SMike Stump     EmitFinalDestCopy(E, LHS, true);
4707a51313dSChris Lattner   }
4714b8c6db9SDaniel Dunbar }
4727a51313dSChris Lattner 
4737a51313dSChris Lattner void AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) {
474b8841af8SEli Friedman   if (!E->getLHS()) {
475b8841af8SEli Friedman     CGF.ErrorUnsupported(E, "conditional operator with missing LHS");
476b8841af8SEli Friedman     return;
477b8841af8SEli Friedman   }
478b8841af8SEli Friedman 
479a612e79bSDaniel Dunbar   llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true");
480a612e79bSDaniel Dunbar   llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false");
481a612e79bSDaniel Dunbar   llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end");
4827a51313dSChris Lattner 
483b8841af8SEli Friedman   CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock);
4847a51313dSChris Lattner 
485ae612d22SAnders Carlsson   CGF.BeginConditionalBranch();
4867a51313dSChris Lattner   CGF.EmitBlock(LHSBlock);
4877a51313dSChris Lattner 
4887a51313dSChris Lattner   // Handle the GNU extension for missing LHS.
4897a51313dSChris Lattner   assert(E->getLHS() && "Must have LHS for aggregate value");
4907a51313dSChris Lattner 
4917a51313dSChris Lattner   Visit(E->getLHS());
492ae612d22SAnders Carlsson   CGF.EndConditionalBranch();
493c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
4947a51313dSChris Lattner 
495ae612d22SAnders Carlsson   CGF.BeginConditionalBranch();
4967a51313dSChris Lattner   CGF.EmitBlock(RHSBlock);
4977a51313dSChris Lattner 
4987a51313dSChris Lattner   Visit(E->getRHS());
499ae612d22SAnders Carlsson   CGF.EndConditionalBranch();
500c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
5017a51313dSChris Lattner 
5027a51313dSChris Lattner   CGF.EmitBlock(ContBlock);
5037a51313dSChris Lattner }
5047a51313dSChris Lattner 
5055b2095ceSAnders Carlsson void AggExprEmitter::VisitChooseExpr(const ChooseExpr *CE) {
5065b2095ceSAnders Carlsson   Visit(CE->getChosenSubExpr(CGF.getContext()));
5075b2095ceSAnders Carlsson }
5085b2095ceSAnders Carlsson 
50921911e89SEli Friedman void AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) {
510e9fcadd2SDaniel Dunbar   llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr());
51113abd7e9SAnders Carlsson   llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType());
51213abd7e9SAnders Carlsson 
513020cddcfSSebastian Redl   if (!ArgPtr) {
51413abd7e9SAnders Carlsson     CGF.ErrorUnsupported(VE, "aggregate va_arg expression");
515020cddcfSSebastian Redl     return;
516020cddcfSSebastian Redl   }
51713abd7e9SAnders Carlsson 
5188ccfcb51SJohn McCall   EmitFinalDestCopy(VE, LValue::MakeAddr(ArgPtr, Qualifiers()));
51921911e89SEli Friedman }
52021911e89SEli Friedman 
5213be22e27SAnders Carlsson void AggExprEmitter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
5223be22e27SAnders Carlsson   llvm::Value *Val = DestPtr;
5233be22e27SAnders Carlsson 
5243be22e27SAnders Carlsson   if (!Val) {
5253be22e27SAnders Carlsson     // Create a temporary variable.
526a7566f16SDaniel Dunbar     Val = CGF.CreateMemTemp(E->getType(), "tmp");
5273be22e27SAnders Carlsson 
5283be22e27SAnders Carlsson     // FIXME: volatile
5293be22e27SAnders Carlsson     CGF.EmitAggExpr(E->getSubExpr(), Val, false);
5303be22e27SAnders Carlsson   } else
5313be22e27SAnders Carlsson     Visit(E->getSubExpr());
5323be22e27SAnders Carlsson 
5335b106a75SAnders Carlsson   // Don't make this a live temporary if we're emitting an initializer expr.
5345b106a75SAnders Carlsson   if (!IsInitializer)
535*bd30929eSJohn McCall     CGF.EmitCXXTemporary(E->getTemporary(), Val);
5363be22e27SAnders Carlsson }
5373be22e27SAnders Carlsson 
538b7f8f594SAnders Carlsson void
5391619a504SAnders Carlsson AggExprEmitter::VisitCXXConstructExpr(const CXXConstructExpr *E) {
5403be22e27SAnders Carlsson   llvm::Value *Val = DestPtr;
541b7f8f594SAnders Carlsson 
542818efb64SChris Lattner   if (!Val) // Create a temporary variable.
543a7566f16SDaniel Dunbar     Val = CGF.CreateMemTemp(E->getType(), "tmp");
5443be22e27SAnders Carlsson 
5454f4b1862SDouglas Gregor   if (E->requiresZeroInitialization())
5464f4b1862SDouglas Gregor     EmitNullInitializationToLValue(LValue::MakeAddr(Val,
5470da53228SMike Stump                                                     // FIXME: Qualifiers()?
5484f4b1862SDouglas Gregor                                                  E->getType().getQualifiers()),
5494f4b1862SDouglas Gregor                                    E->getType());
5504f4b1862SDouglas Gregor 
5513be22e27SAnders Carlsson   CGF.EmitCXXConstructExpr(Val, E);
552c82b86dfSAnders Carlsson }
553c82b86dfSAnders Carlsson 
554c82b86dfSAnders Carlsson void AggExprEmitter::VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E) {
5550da53228SMike Stump   llvm::Value *Val = DestPtr;
5560da53228SMike Stump 
5570da53228SMike Stump   CGF.EmitCXXExprWithTemporaries(E, Val, VolatileDest, IsInitializer);
558b7f8f594SAnders Carlsson }
559b7f8f594SAnders Carlsson 
560ff3507b9SNuno Lopes void AggExprEmitter::VisitCXXZeroInitValueExpr(CXXZeroInitValueExpr *E) {
5610da53228SMike Stump   llvm::Value *Val = DestPtr;
5620da53228SMike Stump 
5630da53228SMike Stump   if (!Val) {
5640da53228SMike Stump     // Create a temporary variable.
565a7566f16SDaniel Dunbar     Val = CGF.CreateMemTemp(E->getType(), "tmp");
5660da53228SMike Stump   }
5670da53228SMike Stump   LValue LV = LValue::MakeAddr(Val, Qualifiers());
56818ada985SAnders Carlsson   EmitNullInitializationToLValue(LV, E->getType());
56918ada985SAnders Carlsson }
57018ada985SAnders Carlsson 
57118ada985SAnders Carlsson void AggExprEmitter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
5720da53228SMike Stump   llvm::Value *Val = DestPtr;
5730da53228SMike Stump 
5740da53228SMike Stump   if (!Val) {
5750da53228SMike Stump     // Create a temporary variable.
576a7566f16SDaniel Dunbar     Val = CGF.CreateMemTemp(E->getType(), "tmp");
5770da53228SMike Stump   }
5780da53228SMike Stump   LValue LV = LValue::MakeAddr(Val, Qualifiers());
57918ada985SAnders Carlsson   EmitNullInitializationToLValue(LV, E->getType());
580ff3507b9SNuno Lopes }
581ff3507b9SNuno Lopes 
582b247350eSAnders Carlsson void
583b247350eSAnders Carlsson AggExprEmitter::EmitInitializationToLValue(Expr* E, LValue LV, QualType T) {
584df0fe27bSMike Stump   // FIXME: Ignore result?
585579a05d7SChris Lattner   // FIXME: Are initializers affected by volatile?
5860202cb40SDouglas Gregor   if (isa<ImplicitValueInitExpr>(E)) {
587b247350eSAnders Carlsson     EmitNullInitializationToLValue(LV, T);
58866498388SAnders Carlsson   } else if (T->isReferenceType()) {
58904775f84SAnders Carlsson     RValue RV = CGF.EmitReferenceBindingToExpr(E, /*InitializedDecl=*/0);
59066498388SAnders Carlsson     CGF.EmitStoreThroughLValue(RV, LV, T);
591b247350eSAnders Carlsson   } else if (T->isAnyComplexType()) {
5920202cb40SDouglas Gregor     CGF.EmitComplexExprIntoAddr(E, LV.getAddress(), false);
593b247350eSAnders Carlsson   } else if (CGF.hasAggregateLLVMType(T)) {
5946e313210SEli Friedman     CGF.EmitAnyExpr(E, LV.getAddress(), false);
5956e313210SEli Friedman   } else {
596b247350eSAnders Carlsson     CGF.EmitStoreThroughLValue(CGF.EmitAnyExpr(E), LV, T);
5977a51313dSChris Lattner   }
598579a05d7SChris Lattner }
599579a05d7SChris Lattner 
600579a05d7SChris Lattner void AggExprEmitter::EmitNullInitializationToLValue(LValue LV, QualType T) {
601579a05d7SChris Lattner   if (!CGF.hasAggregateLLVMType(T)) {
602579a05d7SChris Lattner     // For non-aggregates, we can store zero
6030b75f23bSOwen Anderson     llvm::Value *Null = llvm::Constant::getNullValue(CGF.ConvertType(T));
604e8bdce44SDaniel Dunbar     CGF.EmitStoreThroughLValue(RValue::get(Null), LV, T);
605579a05d7SChris Lattner   } else {
606579a05d7SChris Lattner     // There's a potential optimization opportunity in combining
607579a05d7SChris Lattner     // memsets; that would be easy for arrays, but relatively
608579a05d7SChris Lattner     // difficult for structures with the current code.
609c0964b60SAnders Carlsson     CGF.EmitNullInitialization(LV.getAddress(), T);
610579a05d7SChris Lattner   }
611579a05d7SChris Lattner }
612579a05d7SChris Lattner 
613579a05d7SChris Lattner void AggExprEmitter::VisitInitListExpr(InitListExpr *E) {
614f5d08c9eSEli Friedman #if 0
6156d11ec8cSEli Friedman   // FIXME: Assess perf here?  Figure out what cases are worth optimizing here
6166d11ec8cSEli Friedman   // (Length of globals? Chunks of zeroed-out space?).
617f5d08c9eSEli Friedman   //
61818bb9284SMike Stump   // If we can, prefer a copy from a global; this is a lot less code for long
61918bb9284SMike Stump   // globals, and it's easier for the current optimizers to analyze.
6206d11ec8cSEli Friedman   if (llvm::Constant* C = CGF.CGM.EmitConstantExpr(E, E->getType(), &CGF)) {
621c59bb48eSEli Friedman     llvm::GlobalVariable* GV =
6226d11ec8cSEli Friedman     new llvm::GlobalVariable(CGF.CGM.getModule(), C->getType(), true,
6236d11ec8cSEli Friedman                              llvm::GlobalValue::InternalLinkage, C, "");
6246d11ec8cSEli Friedman     EmitFinalDestCopy(E, LValue::MakeAddr(GV, Qualifiers()));
625c59bb48eSEli Friedman     return;
626c59bb48eSEli Friedman   }
627f5d08c9eSEli Friedman #endif
628bf7207a1SDouglas Gregor   if (E->hadArrayRangeDesignator()) {
629bf7207a1SDouglas Gregor     CGF.ErrorUnsupported(E, "GNU array range designator extension");
630bf7207a1SDouglas Gregor   }
631bf7207a1SDouglas Gregor 
632579a05d7SChris Lattner   // Handle initialization of an array.
633579a05d7SChris Lattner   if (E->getType()->isArrayType()) {
634579a05d7SChris Lattner     const llvm::PointerType *APType =
635579a05d7SChris Lattner       cast<llvm::PointerType>(DestPtr->getType());
636579a05d7SChris Lattner     const llvm::ArrayType *AType =
637579a05d7SChris Lattner       cast<llvm::ArrayType>(APType->getElementType());
638579a05d7SChris Lattner 
639579a05d7SChris Lattner     uint64_t NumInitElements = E->getNumInits();
640f23b6fa4SEli Friedman 
6410f398c44SChris Lattner     if (E->getNumInits() > 0) {
6420f398c44SChris Lattner       QualType T1 = E->getType();
6430f398c44SChris Lattner       QualType T2 = E->getInit(0)->getType();
6442a69547fSEli Friedman       if (CGF.getContext().hasSameUnqualifiedType(T1, T2)) {
645f23b6fa4SEli Friedman         EmitAggLoadOfLValue(E->getInit(0));
646f23b6fa4SEli Friedman         return;
647f23b6fa4SEli Friedman       }
6480f398c44SChris Lattner     }
649f23b6fa4SEli Friedman 
650579a05d7SChris Lattner     uint64_t NumArrayElements = AType->getNumElements();
6517adf0760SChris Lattner     QualType ElementType = CGF.getContext().getCanonicalType(E->getType());
6527adf0760SChris Lattner     ElementType = CGF.getContext().getAsArrayType(ElementType)->getElementType();
653579a05d7SChris Lattner 
6548ccfcb51SJohn McCall     // FIXME: were we intentionally ignoring address spaces and GC attributes?
6558ccfcb51SJohn McCall     Qualifiers Quals = CGF.MakeQualifiers(ElementType);
656327944b3SEli Friedman 
657579a05d7SChris Lattner     for (uint64_t i = 0; i != NumArrayElements; ++i) {
658579a05d7SChris Lattner       llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array");
659579a05d7SChris Lattner       if (i < NumInitElements)
660327944b3SEli Friedman         EmitInitializationToLValue(E->getInit(i),
661b247350eSAnders Carlsson                                    LValue::MakeAddr(NextVal, Quals),
662b247350eSAnders Carlsson                                    ElementType);
663579a05d7SChris Lattner       else
6648ccfcb51SJohn McCall         EmitNullInitializationToLValue(LValue::MakeAddr(NextVal, Quals),
665579a05d7SChris Lattner                                        ElementType);
666579a05d7SChris Lattner     }
667579a05d7SChris Lattner     return;
668579a05d7SChris Lattner   }
669579a05d7SChris Lattner 
670579a05d7SChris Lattner   assert(E->getType()->isRecordType() && "Only support structs/unions here!");
671579a05d7SChris Lattner 
672579a05d7SChris Lattner   // Do struct initialization; this code just sets each individual member
673579a05d7SChris Lattner   // to the approprate value.  This makes bitfield support automatic;
674579a05d7SChris Lattner   // the disadvantage is that the generated code is more difficult for
675579a05d7SChris Lattner   // the optimizer, especially with bitfields.
676579a05d7SChris Lattner   unsigned NumInitElements = E->getNumInits();
677c23c7e6aSTed Kremenek   RecordDecl *SD = E->getType()->getAs<RecordType>()->getDecl();
678579a05d7SChris Lattner   unsigned CurInitVal = 0;
6795169570eSDouglas Gregor 
6805169570eSDouglas Gregor   if (E->getType()->isUnionType()) {
6815169570eSDouglas Gregor     // Only initialize one field of a union. The field itself is
6825169570eSDouglas Gregor     // specified by the initializer list.
6835169570eSDouglas Gregor     if (!E->getInitializedFieldInUnion()) {
6845169570eSDouglas Gregor       // Empty union; we have nothing to do.
6855169570eSDouglas Gregor 
6865169570eSDouglas Gregor #ifndef NDEBUG
6875169570eSDouglas Gregor       // Make sure that it's really an empty and not a failure of
6885169570eSDouglas Gregor       // semantic analysis.
689cfbfe78eSArgyrios Kyrtzidis       for (RecordDecl::field_iterator Field = SD->field_begin(),
690cfbfe78eSArgyrios Kyrtzidis                                    FieldEnd = SD->field_end();
6915169570eSDouglas Gregor            Field != FieldEnd; ++Field)
6925169570eSDouglas Gregor         assert(Field->isUnnamedBitfield() && "Only unnamed bitfields allowed");
6935169570eSDouglas Gregor #endif
6945169570eSDouglas Gregor       return;
6955169570eSDouglas Gregor     }
6965169570eSDouglas Gregor 
6975169570eSDouglas Gregor     // FIXME: volatility
6985169570eSDouglas Gregor     FieldDecl *Field = E->getInitializedFieldInUnion();
69966498388SAnders Carlsson     LValue FieldLoc = CGF.EmitLValueForFieldInitialization(DestPtr, Field, 0);
7005169570eSDouglas Gregor 
7015169570eSDouglas Gregor     if (NumInitElements) {
7025169570eSDouglas Gregor       // Store the initializer into the field
703b247350eSAnders Carlsson       EmitInitializationToLValue(E->getInit(0), FieldLoc, Field->getType());
7045169570eSDouglas Gregor     } else {
7055169570eSDouglas Gregor       // Default-initialize to null
7065169570eSDouglas Gregor       EmitNullInitializationToLValue(FieldLoc, Field->getType());
7075169570eSDouglas Gregor     }
7085169570eSDouglas Gregor 
7095169570eSDouglas Gregor     return;
7105169570eSDouglas Gregor   }
711579a05d7SChris Lattner 
712e18aaf2cSChris Lattner   // If we're initializing the whole aggregate, just do it in place.
713e18aaf2cSChris Lattner   // FIXME: This is a hack around an AST bug (PR6537).
714e18aaf2cSChris Lattner   if (NumInitElements == 1 && E->getType() == E->getInit(0)->getType()) {
715e18aaf2cSChris Lattner     EmitInitializationToLValue(E->getInit(0),
716e18aaf2cSChris Lattner                                LValue::MakeAddr(DestPtr, Qualifiers()),
717e18aaf2cSChris Lattner                                E->getType());
718e18aaf2cSChris Lattner     return;
719e18aaf2cSChris Lattner   }
720e18aaf2cSChris Lattner 
721e18aaf2cSChris Lattner 
722579a05d7SChris Lattner   // Here we iterate over the fields; this makes it simpler to both
723579a05d7SChris Lattner   // default-initialize fields and skip over unnamed fields.
724cfbfe78eSArgyrios Kyrtzidis   for (RecordDecl::field_iterator Field = SD->field_begin(),
725cfbfe78eSArgyrios Kyrtzidis                                FieldEnd = SD->field_end();
72691f84216SDouglas Gregor        Field != FieldEnd; ++Field) {
72791f84216SDouglas Gregor     // We're done once we hit the flexible array member
72891f84216SDouglas Gregor     if (Field->getType()->isIncompleteArrayType())
72991f84216SDouglas Gregor       break;
73091f84216SDouglas Gregor 
73117bd094aSDouglas Gregor     if (Field->isUnnamedBitfield())
732579a05d7SChris Lattner       continue;
73317bd094aSDouglas Gregor 
734327944b3SEli Friedman     // FIXME: volatility
73566498388SAnders Carlsson     LValue FieldLoc = CGF.EmitLValueForFieldInitialization(DestPtr, *Field, 0);
7367c1baf46SFariborz Jahanian     // We never generate write-barries for initialized fields.
7377c1baf46SFariborz Jahanian     LValue::SetObjCNonGC(FieldLoc, true);
738579a05d7SChris Lattner     if (CurInitVal < NumInitElements) {
739e18aaf2cSChris Lattner       // Store the initializer into the field.
740b247350eSAnders Carlsson       EmitInitializationToLValue(E->getInit(CurInitVal++), FieldLoc,
741b247350eSAnders Carlsson                                  Field->getType());
742579a05d7SChris Lattner     } else {
743579a05d7SChris Lattner       // We're out of initalizers; default-initialize to null
74491f84216SDouglas Gregor       EmitNullInitializationToLValue(FieldLoc, Field->getType());
745579a05d7SChris Lattner     }
7467a51313dSChris Lattner   }
7477a51313dSChris Lattner }
7487a51313dSChris Lattner 
7497a51313dSChris Lattner //===----------------------------------------------------------------------===//
7507a51313dSChris Lattner //                        Entry Points into this File
7517a51313dSChris Lattner //===----------------------------------------------------------------------===//
7527a51313dSChris Lattner 
75325306cacSMike Stump /// EmitAggExpr - Emit the computation of the specified expression of aggregate
75425306cacSMike Stump /// type.  The result is computed into DestPtr.  Note that if DestPtr is null,
75525306cacSMike Stump /// the value of the aggregate expression is not needed.  If VolatileDest is
75625306cacSMike Stump /// true, DestPtr cannot be 0.
757d0bc7b9dSDaniel Dunbar //
758d0bc7b9dSDaniel Dunbar // FIXME: Take Qualifiers object.
7597a51313dSChris Lattner void CodeGenFunction::EmitAggExpr(const Expr *E, llvm::Value *DestPtr,
7605b106a75SAnders Carlsson                                   bool VolatileDest, bool IgnoreResult,
761879d7266SFariborz Jahanian                                   bool IsInitializer,
762879d7266SFariborz Jahanian                                   bool RequiresGCollection) {
7637a51313dSChris Lattner   assert(E && hasAggregateLLVMType(E->getType()) &&
7647a51313dSChris Lattner          "Invalid aggregate expression to emit");
76525306cacSMike Stump   assert ((DestPtr != 0 || VolatileDest == false)
76625306cacSMike Stump           && "volatile aggregate can't be 0");
7677a51313dSChris Lattner 
768879d7266SFariborz Jahanian   AggExprEmitter(*this, DestPtr, VolatileDest, IgnoreResult, IsInitializer,
769879d7266SFariborz Jahanian                  RequiresGCollection)
770ec3cbfe8SMike Stump     .Visit(const_cast<Expr*>(E));
7717a51313dSChris Lattner }
7720bc8e86dSDaniel Dunbar 
773d0bc7b9dSDaniel Dunbar LValue CodeGenFunction::EmitAggExprToLValue(const Expr *E) {
774d0bc7b9dSDaniel Dunbar   assert(hasAggregateLLVMType(E->getType()) && "Invalid argument!");
775d0bc7b9dSDaniel Dunbar   Qualifiers Q = MakeQualifiers(E->getType());
776a7566f16SDaniel Dunbar   llvm::Value *Temp = CreateMemTemp(E->getType());
777d0bc7b9dSDaniel Dunbar   EmitAggExpr(E, Temp, Q.hasVolatile());
778d0bc7b9dSDaniel Dunbar   return LValue::MakeAddr(Temp, Q);
779d0bc7b9dSDaniel Dunbar }
780d0bc7b9dSDaniel Dunbar 
7810bc8e86dSDaniel Dunbar void CodeGenFunction::EmitAggregateCopy(llvm::Value *DestPtr,
7825e9e61b8SMike Stump                                         llvm::Value *SrcPtr, QualType Ty,
7835e9e61b8SMike Stump                                         bool isVolatile) {
7840bc8e86dSDaniel Dunbar   assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex");
7850bc8e86dSDaniel Dunbar 
78616e94af6SAnders Carlsson   if (getContext().getLangOptions().CPlusPlus) {
78716e94af6SAnders Carlsson     if (const RecordType *RT = Ty->getAs<RecordType>()) {
788f22101a0SDouglas Gregor       CXXRecordDecl *Record = cast<CXXRecordDecl>(RT->getDecl());
789f22101a0SDouglas Gregor       assert((Record->hasTrivialCopyConstructor() ||
7906855ba2cSFariborz Jahanian               Record->hasTrivialCopyAssignment()) &&
791f22101a0SDouglas Gregor              "Trying to aggregate-copy a type without a trivial copy "
792f22101a0SDouglas Gregor              "constructor or assignment operator");
793265b8b8dSDouglas Gregor       // Ignore empty classes in C++.
794f22101a0SDouglas Gregor       if (Record->isEmpty())
79516e94af6SAnders Carlsson         return;
79616e94af6SAnders Carlsson     }
79716e94af6SAnders Carlsson   }
79816e94af6SAnders Carlsson 
799ca05dfefSChris Lattner   // Aggregate assignment turns into llvm.memcpy.  This is almost valid per
8003ef668c2SChris Lattner   // C99 6.5.16.1p3, which states "If the value being stored in an object is
8013ef668c2SChris Lattner   // read from another object that overlaps in anyway the storage of the first
8023ef668c2SChris Lattner   // object, then the overlap shall be exact and the two objects shall have
8033ef668c2SChris Lattner   // qualified or unqualified versions of a compatible type."
8043ef668c2SChris Lattner   //
805ca05dfefSChris Lattner   // memcpy is not defined if the source and destination pointers are exactly
8063ef668c2SChris Lattner   // equal, but other compilers do this optimization, and almost every memcpy
8073ef668c2SChris Lattner   // implementation handles this case safely.  If there is a libc that does not
8083ef668c2SChris Lattner   // safely handle this, we can add a target hook.
809abd5b90eSBenjamin Kramer   const llvm::Type *BP = llvm::Type::getInt8PtrTy(VMContext);
8100bc8e86dSDaniel Dunbar   if (DestPtr->getType() != BP)
8110bc8e86dSDaniel Dunbar     DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp");
8120bc8e86dSDaniel Dunbar   if (SrcPtr->getType() != BP)
8130bc8e86dSDaniel Dunbar     SrcPtr = Builder.CreateBitCast(SrcPtr, BP, "tmp");
8140bc8e86dSDaniel Dunbar 
8150bc8e86dSDaniel Dunbar   // Get size and alignment info for this aggregate.
8160bc8e86dSDaniel Dunbar   std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty);
8170bc8e86dSDaniel Dunbar 
8180bc8e86dSDaniel Dunbar   // FIXME: Handle variable sized types.
8190bc8e86dSDaniel Dunbar 
82086736572SMike Stump   // FIXME: If we have a volatile struct, the optimizer can remove what might
82186736572SMike Stump   // appear to be `extra' memory ops:
82286736572SMike Stump   //
82386736572SMike Stump   // volatile struct { int i; } a, b;
82486736572SMike Stump   //
82586736572SMike Stump   // int main() {
82686736572SMike Stump   //   a = b;
82786736572SMike Stump   //   a = b;
82886736572SMike Stump   // }
82986736572SMike Stump   //
830cc2ab0cdSMon P Wang   // we need to use a different call here.  We use isVolatile to indicate when
831ec3cbfe8SMike Stump   // either the source or the destination is volatile.
832cc2ab0cdSMon P Wang   const llvm::Type *I1Ty = llvm::Type::getInt1Ty(VMContext);
833cc2ab0cdSMon P Wang   const llvm::Type *I8Ty = llvm::Type::getInt8Ty(VMContext);
834cc2ab0cdSMon P Wang 
835cc2ab0cdSMon P Wang   const llvm::PointerType *DPT = cast<llvm::PointerType>(DestPtr->getType());
836cc2ab0cdSMon P Wang   const llvm::Type *DBP = llvm::PointerType::get(I8Ty, DPT->getAddressSpace());
837cc2ab0cdSMon P Wang   if (DestPtr->getType() != DBP)
838cc2ab0cdSMon P Wang     DestPtr = Builder.CreateBitCast(DestPtr, DBP, "tmp");
839cc2ab0cdSMon P Wang 
840cc2ab0cdSMon P Wang   const llvm::PointerType *SPT = cast<llvm::PointerType>(SrcPtr->getType());
841cc2ab0cdSMon P Wang   const llvm::Type *SBP = llvm::PointerType::get(I8Ty, SPT->getAddressSpace());
842cc2ab0cdSMon P Wang   if (SrcPtr->getType() != SBP)
843cc2ab0cdSMon P Wang     SrcPtr = Builder.CreateBitCast(SrcPtr, SBP, "tmp");
844cc2ab0cdSMon P Wang 
845021510e9SFariborz Jahanian   if (const RecordType *RecordTy = Ty->getAs<RecordType>()) {
846021510e9SFariborz Jahanian     RecordDecl *Record = RecordTy->getDecl();
847021510e9SFariborz Jahanian     if (Record->hasObjectMember()) {
848021510e9SFariborz Jahanian       unsigned long size = TypeInfo.first/8;
849021510e9SFariborz Jahanian       const llvm::Type *SizeTy = ConvertType(getContext().getSizeType());
850021510e9SFariborz Jahanian       llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
851021510e9SFariborz Jahanian       CGM.getObjCRuntime().EmitGCMemmoveCollectable(*this, DestPtr, SrcPtr,
852021510e9SFariborz Jahanian                                                     SizeVal);
853021510e9SFariborz Jahanian       return;
854021510e9SFariborz Jahanian     }
855021510e9SFariborz Jahanian   } else if (getContext().getAsArrayType(Ty)) {
856021510e9SFariborz Jahanian     QualType BaseType = getContext().getBaseElementType(Ty);
857021510e9SFariborz Jahanian     if (const RecordType *RecordTy = BaseType->getAs<RecordType>()) {
858021510e9SFariborz Jahanian       if (RecordTy->getDecl()->hasObjectMember()) {
859021510e9SFariborz Jahanian         unsigned long size = TypeInfo.first/8;
860021510e9SFariborz Jahanian         const llvm::Type *SizeTy = ConvertType(getContext().getSizeType());
861021510e9SFariborz Jahanian         llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
862021510e9SFariborz Jahanian         CGM.getObjCRuntime().EmitGCMemmoveCollectable(*this, DestPtr, SrcPtr,
863021510e9SFariborz Jahanian                                                       SizeVal);
864021510e9SFariborz Jahanian         return;
865021510e9SFariborz Jahanian       }
866021510e9SFariborz Jahanian     }
867021510e9SFariborz Jahanian   }
868021510e9SFariborz Jahanian 
869cc2ab0cdSMon P Wang   Builder.CreateCall5(CGM.getMemCpyFn(DestPtr->getType(), SrcPtr->getType(),
8705e016ae9SChris Lattner                                       IntPtrTy),
8710bc8e86dSDaniel Dunbar                       DestPtr, SrcPtr,
8720bc8e86dSDaniel Dunbar                       // TypeInfo.first describes size in bits.
8735e016ae9SChris Lattner                       llvm::ConstantInt::get(IntPtrTy, TypeInfo.first/8),
8745e016ae9SChris Lattner                       llvm::ConstantInt::get(Int32Ty,  TypeInfo.second/8),
875cc2ab0cdSMon P Wang                       llvm::ConstantInt::get(I1Ty,  isVolatile));
8760bc8e86dSDaniel Dunbar }
877