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;
357a626f63SJohn McCall   AggValueSlot Dest;
36ec3cbfe8SMike Stump   bool IgnoreResult;
3778a15113SJohn McCall 
3878a15113SJohn McCall   ReturnValueSlot getReturnValueSlot() const {
39cc04e9f6SJohn McCall     // If the destination slot requires garbage collection, we can't
40cc04e9f6SJohn McCall     // use the real return value slot, because we have to use the GC
41cc04e9f6SJohn McCall     // API.
4258649dc6SJohn McCall     if (Dest.requiresGCollection()) return ReturnValueSlot();
43cc04e9f6SJohn McCall 
447a626f63SJohn McCall     return ReturnValueSlot(Dest.getAddr(), Dest.isVolatile());
457a626f63SJohn McCall   }
467a626f63SJohn McCall 
477a626f63SJohn McCall   AggValueSlot EnsureSlot(QualType T) {
487a626f63SJohn McCall     if (!Dest.isIgnored()) return Dest;
497a626f63SJohn McCall     return CGF.CreateAggTemp(T, "agg.tmp.ensured");
5078a15113SJohn McCall   }
51cc04e9f6SJohn McCall 
527a51313dSChris Lattner public:
537a626f63SJohn McCall   AggExprEmitter(CodeGenFunction &cgf, AggValueSlot Dest,
54b60e70f9SFariborz Jahanian                  bool ignore)
557a626f63SJohn McCall     : CGF(cgf), Builder(CGF.Builder), Dest(Dest),
56b60e70f9SFariborz Jahanian       IgnoreResult(ignore) {
577a51313dSChris Lattner   }
587a51313dSChris Lattner 
597a51313dSChris Lattner   //===--------------------------------------------------------------------===//
607a51313dSChris Lattner   //                               Utilities
617a51313dSChris Lattner   //===--------------------------------------------------------------------===//
627a51313dSChris Lattner 
637a51313dSChris Lattner   /// EmitAggLoadOfLValue - Given an expression with aggregate type that
647a51313dSChris Lattner   /// represents a value lvalue, this method emits the address of the lvalue,
657a51313dSChris Lattner   /// then loads the result into DestPtr.
667a51313dSChris Lattner   void EmitAggLoadOfLValue(const Expr *E);
677a51313dSChris Lattner 
68ca9fc09cSMike Stump   /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired.
69ec3cbfe8SMike Stump   void EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore = false);
70ec3cbfe8SMike Stump   void EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore = false);
71ca9fc09cSMike Stump 
72cc04e9f6SJohn McCall   void EmitGCMove(const Expr *E, RValue Src);
73cc04e9f6SJohn McCall 
74cc04e9f6SJohn McCall   bool TypeRequiresGCollection(QualType T);
75cc04e9f6SJohn McCall 
767a51313dSChris Lattner   //===--------------------------------------------------------------------===//
777a51313dSChris Lattner   //                            Visitor Methods
787a51313dSChris Lattner   //===--------------------------------------------------------------------===//
797a51313dSChris Lattner 
807a51313dSChris Lattner   void VisitStmt(Stmt *S) {
81a7c8cf62SDaniel Dunbar     CGF.ErrorUnsupported(S, "aggregate expression");
827a51313dSChris Lattner   }
837a51313dSChris Lattner   void VisitParenExpr(ParenExpr *PE) { Visit(PE->getSubExpr()); }
843f66b84cSEli Friedman   void VisitUnaryExtension(UnaryOperator *E) { Visit(E->getSubExpr()); }
857a51313dSChris Lattner 
867a51313dSChris Lattner   // l-values.
877a51313dSChris Lattner   void VisitDeclRefExpr(DeclRefExpr *DRE) { EmitAggLoadOfLValue(DRE); }
887a51313dSChris Lattner   void VisitMemberExpr(MemberExpr *ME) { EmitAggLoadOfLValue(ME); }
897a51313dSChris Lattner   void VisitUnaryDeref(UnaryOperator *E) { EmitAggLoadOfLValue(E); }
90d443c0a0SDaniel Dunbar   void VisitStringLiteral(StringLiteral *E) { EmitAggLoadOfLValue(E); }
912f343dd5SChris Lattner   void VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
922f343dd5SChris Lattner     EmitAggLoadOfLValue(E);
932f343dd5SChris Lattner   }
947a51313dSChris Lattner   void VisitArraySubscriptExpr(ArraySubscriptExpr *E) {
957a51313dSChris Lattner     EmitAggLoadOfLValue(E);
967a51313dSChris Lattner   }
972f343dd5SChris Lattner   void VisitBlockDeclRefExpr(const BlockDeclRefExpr *E) {
982f343dd5SChris Lattner     EmitAggLoadOfLValue(E);
992f343dd5SChris Lattner   }
1002f343dd5SChris Lattner   void VisitPredefinedExpr(const PredefinedExpr *E) {
1012f343dd5SChris Lattner     EmitAggLoadOfLValue(E);
1022f343dd5SChris Lattner   }
103bc7d67ceSMike Stump 
1047a51313dSChris Lattner   // Operators.
105ec143777SAnders Carlsson   void VisitCastExpr(CastExpr *E);
1067a51313dSChris Lattner   void VisitCallExpr(const CallExpr *E);
1077a51313dSChris Lattner   void VisitStmtExpr(const StmtExpr *E);
1087a51313dSChris Lattner   void VisitBinaryOperator(const BinaryOperator *BO);
109ffba662dSFariborz Jahanian   void VisitPointerToDataMemberBinaryOperator(const BinaryOperator *BO);
1107a51313dSChris Lattner   void VisitBinAssign(const BinaryOperator *E);
1114b0e2a30SEli Friedman   void VisitBinComma(const BinaryOperator *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);
1187a51313dSChris Lattner 
1197a51313dSChris Lattner   void VisitConditionalOperator(const ConditionalOperator *CO);
1205b2095ceSAnders Carlsson   void VisitChooseExpr(const ChooseExpr *CE);
1217a51313dSChris Lattner   void VisitInitListExpr(InitListExpr *E);
12218ada985SAnders Carlsson   void VisitImplicitValueInitExpr(ImplicitValueInitExpr *E);
123aa9c7aedSChris Lattner   void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
124aa9c7aedSChris Lattner     Visit(DAE->getExpr());
125aa9c7aedSChris Lattner   }
1263be22e27SAnders Carlsson   void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E);
1271619a504SAnders Carlsson   void VisitCXXConstructExpr(const CXXConstructExpr *E);
1285d413781SJohn McCall   void VisitExprWithCleanups(ExprWithCleanups *E);
129747eb784SDouglas Gregor   void VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E);
1305bbbb137SMike Stump   void VisitCXXTypeidExpr(CXXTypeidExpr *E) { EmitAggLoadOfLValue(E); }
131c82b86dfSAnders Carlsson 
13221911e89SEli Friedman   void VisitVAArgExpr(VAArgExpr *E);
133579a05d7SChris Lattner 
134b247350eSAnders Carlsson   void EmitInitializationToLValue(Expr *E, LValue Address, QualType T);
135579a05d7SChris Lattner   void EmitNullInitializationToLValue(LValue Address, QualType T);
1367a51313dSChris Lattner   //  case Expr::ChooseExprClass:
137f16b8c30SMike Stump   void VisitCXXThrowExpr(const CXXThrowExpr *E) { CGF.EmitCXXThrowExpr(E); }
1387a51313dSChris Lattner };
1397a51313dSChris Lattner }  // end anonymous namespace.
1407a51313dSChris Lattner 
1417a51313dSChris Lattner //===----------------------------------------------------------------------===//
1427a51313dSChris Lattner //                                Utilities
1437a51313dSChris Lattner //===----------------------------------------------------------------------===//
1447a51313dSChris Lattner 
1457a51313dSChris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that
1467a51313dSChris Lattner /// represents a value lvalue, this method emits the address of the lvalue,
1477a51313dSChris Lattner /// then loads the result into DestPtr.
1487a51313dSChris Lattner void AggExprEmitter::EmitAggLoadOfLValue(const Expr *E) {
1497a51313dSChris Lattner   LValue LV = CGF.EmitLValue(E);
150ca9fc09cSMike Stump   EmitFinalDestCopy(E, LV);
151ca9fc09cSMike Stump }
152ca9fc09cSMike Stump 
153cc04e9f6SJohn McCall /// \brief True if the given aggregate type requires special GC API calls.
154cc04e9f6SJohn McCall bool AggExprEmitter::TypeRequiresGCollection(QualType T) {
155cc04e9f6SJohn McCall   // Only record types have members that might require garbage collection.
156cc04e9f6SJohn McCall   const RecordType *RecordTy = T->getAs<RecordType>();
157cc04e9f6SJohn McCall   if (!RecordTy) return false;
158cc04e9f6SJohn McCall 
159cc04e9f6SJohn McCall   // Don't mess with non-trivial C++ types.
160cc04e9f6SJohn McCall   RecordDecl *Record = RecordTy->getDecl();
161cc04e9f6SJohn McCall   if (isa<CXXRecordDecl>(Record) &&
162cc04e9f6SJohn McCall       (!cast<CXXRecordDecl>(Record)->hasTrivialCopyConstructor() ||
163cc04e9f6SJohn McCall        !cast<CXXRecordDecl>(Record)->hasTrivialDestructor()))
164cc04e9f6SJohn McCall     return false;
165cc04e9f6SJohn McCall 
166cc04e9f6SJohn McCall   // Check whether the type has an object member.
167cc04e9f6SJohn McCall   return Record->hasObjectMember();
168cc04e9f6SJohn McCall }
169cc04e9f6SJohn McCall 
170cc04e9f6SJohn McCall /// \brief Perform the final move to DestPtr if RequiresGCollection is set.
171cc04e9f6SJohn McCall ///
172cc04e9f6SJohn McCall /// The idea is that you do something like this:
173cc04e9f6SJohn McCall ///   RValue Result = EmitSomething(..., getReturnValueSlot());
174cc04e9f6SJohn McCall ///   EmitGCMove(E, Result);
175cc04e9f6SJohn McCall /// If GC doesn't interfere, this will cause the result to be emitted
176cc04e9f6SJohn McCall /// directly into the return value slot.  If GC does interfere, a final
177cc04e9f6SJohn McCall /// move will be performed.
178cc04e9f6SJohn McCall void AggExprEmitter::EmitGCMove(const Expr *E, RValue Src) {
17958649dc6SJohn McCall   if (Dest.requiresGCollection()) {
180021510e9SFariborz Jahanian     std::pair<uint64_t, unsigned> TypeInfo =
181021510e9SFariborz Jahanian       CGF.getContext().getTypeInfo(E->getType());
182021510e9SFariborz Jahanian     unsigned long size = TypeInfo.first/8;
183021510e9SFariborz Jahanian     const llvm::Type *SizeTy = CGF.ConvertType(CGF.getContext().getSizeType());
184021510e9SFariborz Jahanian     llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
1857a626f63SJohn McCall     CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF, Dest.getAddr(),
186cc04e9f6SJohn McCall                                                     Src.getAggregateAddr(),
187021510e9SFariborz Jahanian                                                     SizeVal);
188021510e9SFariborz Jahanian   }
189cc04e9f6SJohn McCall }
190cc04e9f6SJohn McCall 
191ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired.
192ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore) {
193ca9fc09cSMike Stump   assert(Src.isAggregate() && "value must be aggregate value!");
1947a51313dSChris Lattner 
1957a626f63SJohn McCall   // If Dest is ignored, then we're evaluating an aggregate expression
1968d752430SJohn McCall   // in a context (like an expression statement) that doesn't care
1978d752430SJohn McCall   // about the result.  C says that an lvalue-to-rvalue conversion is
1988d752430SJohn McCall   // performed in these cases; C++ says that it is not.  In either
1998d752430SJohn McCall   // case, we don't actually need to do anything unless the value is
2008d752430SJohn McCall   // volatile.
2017a626f63SJohn McCall   if (Dest.isIgnored()) {
2028d752430SJohn McCall     if (!Src.isVolatileQualified() ||
2038d752430SJohn McCall         CGF.CGM.getLangOptions().CPlusPlus ||
2048d752430SJohn McCall         (IgnoreResult && Ignore))
205ec3cbfe8SMike Stump       return;
206c123623dSFariborz Jahanian 
207332ec2ceSMike Stump     // If the source is volatile, we must read from it; to do that, we need
208332ec2ceSMike Stump     // some place to put it.
2097a626f63SJohn McCall     Dest = CGF.CreateAggTemp(E->getType(), "agg.tmp");
210332ec2ceSMike Stump   }
2117a51313dSChris Lattner 
21258649dc6SJohn McCall   if (Dest.requiresGCollection()) {
213021510e9SFariborz Jahanian     std::pair<uint64_t, unsigned> TypeInfo =
214021510e9SFariborz Jahanian     CGF.getContext().getTypeInfo(E->getType());
215021510e9SFariborz Jahanian     unsigned long size = TypeInfo.first/8;
216021510e9SFariborz Jahanian     const llvm::Type *SizeTy = CGF.ConvertType(CGF.getContext().getSizeType());
217021510e9SFariborz Jahanian     llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
218879d7266SFariborz Jahanian     CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF,
2197a626f63SJohn McCall                                                       Dest.getAddr(),
2207a626f63SJohn McCall                                                       Src.getAggregateAddr(),
221021510e9SFariborz Jahanian                                                       SizeVal);
222879d7266SFariborz Jahanian     return;
223879d7266SFariborz Jahanian   }
224ca9fc09cSMike Stump   // If the result of the assignment is used, copy the LHS there also.
225ca9fc09cSMike Stump   // FIXME: Pass VolatileDest as well.  I think we also need to merge volatile
226ca9fc09cSMike Stump   // from the source as well, as we can't eliminate it if either operand
227ca9fc09cSMike Stump   // is volatile, unless copy has volatile for both source and destination..
2287a626f63SJohn McCall   CGF.EmitAggregateCopy(Dest.getAddr(), Src.getAggregateAddr(), E->getType(),
2297a626f63SJohn McCall                         Dest.isVolatile()|Src.isVolatileQualified());
230ca9fc09cSMike Stump }
231ca9fc09cSMike Stump 
232ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired.
233ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore) {
234ca9fc09cSMike Stump   assert(Src.isSimple() && "Can't have aggregate bitfield, vector, etc");
235ca9fc09cSMike Stump 
236ca9fc09cSMike Stump   EmitFinalDestCopy(E, RValue::getAggregate(Src.getAddress(),
237ec3cbfe8SMike Stump                                             Src.isVolatileQualified()),
238ec3cbfe8SMike Stump                     Ignore);
2397a51313dSChris Lattner }
2407a51313dSChris Lattner 
2417a51313dSChris Lattner //===----------------------------------------------------------------------===//
2427a51313dSChris Lattner //                            Visitor Methods
2437a51313dSChris Lattner //===----------------------------------------------------------------------===//
2447a51313dSChris Lattner 
245ec143777SAnders Carlsson void AggExprEmitter::VisitCastExpr(CastExpr *E) {
2467a626f63SJohn McCall   if (Dest.isIgnored() && E->getCastKind() != CK_Dynamic) {
247c934bc84SDouglas Gregor     Visit(E->getSubExpr());
248c934bc84SDouglas Gregor     return;
249c934bc84SDouglas Gregor   }
250c934bc84SDouglas Gregor 
2511fb7ae9eSAnders Carlsson   switch (E->getCastKind()) {
252e302792bSJohn McCall   case CK_Dynamic: {
2531c073f47SDouglas Gregor     assert(isa<CXXDynamicCastExpr>(E) && "CK_Dynamic without a dynamic_cast?");
2541c073f47SDouglas Gregor     LValue LV = CGF.EmitCheckedLValue(E->getSubExpr());
2551c073f47SDouglas Gregor     // FIXME: Do we also need to handle property references here?
2561c073f47SDouglas Gregor     if (LV.isSimple())
2571c073f47SDouglas Gregor       CGF.EmitDynamicCast(LV.getAddress(), cast<CXXDynamicCastExpr>(E));
2581c073f47SDouglas Gregor     else
2591c073f47SDouglas Gregor       CGF.CGM.ErrorUnsupported(E, "non-simple lvalue dynamic_cast");
2601c073f47SDouglas Gregor 
2617a626f63SJohn McCall     if (!Dest.isIgnored())
2621c073f47SDouglas Gregor       CGF.CGM.ErrorUnsupported(E, "lvalue dynamic_cast with a destination");
2631c073f47SDouglas Gregor     break;
2641c073f47SDouglas Gregor   }
2651c073f47SDouglas Gregor 
266e302792bSJohn McCall   case CK_ToUnion: {
2677ffcf93bSNuno Lopes     // GCC union extension
2682e442a00SDaniel Dunbar     QualType Ty = E->getSubExpr()->getType();
2692e442a00SDaniel Dunbar     QualType PtrTy = CGF.getContext().getPointerType(Ty);
2707a626f63SJohn McCall     llvm::Value *CastPtr = Builder.CreateBitCast(Dest.getAddr(),
271dd274848SEli Friedman                                                  CGF.ConvertType(PtrTy));
2722e442a00SDaniel Dunbar     EmitInitializationToLValue(E->getSubExpr(), CGF.MakeAddrLValue(CastPtr, Ty),
2732e442a00SDaniel Dunbar                                Ty);
2741fb7ae9eSAnders Carlsson     break;
2757ffcf93bSNuno Lopes   }
2767ffcf93bSNuno Lopes 
277e302792bSJohn McCall   case CK_DerivedToBase:
278e302792bSJohn McCall   case CK_BaseToDerived:
279e302792bSJohn McCall   case CK_UncheckedDerivedToBase: {
280aae38d66SDouglas Gregor     assert(0 && "cannot perform hierarchy conversion in EmitAggExpr: "
281aae38d66SDouglas Gregor                 "should have been unpacked before we got here");
282aae38d66SDouglas Gregor     break;
283aae38d66SDouglas Gregor   }
284aae38d66SDouglas Gregor 
28534376a68SJohn McCall   case CK_GetObjCProperty: {
28634376a68SJohn McCall     LValue LV = CGF.EmitLValue(E->getSubExpr());
28734376a68SJohn McCall     assert(LV.isPropertyRef());
28834376a68SJohn McCall     RValue RV = CGF.EmitLoadOfPropertyRefLValue(LV, getReturnValueSlot());
28934376a68SJohn McCall     EmitGCMove(E, RV);
29034376a68SJohn McCall     break;
29134376a68SJohn McCall   }
29234376a68SJohn McCall 
29334376a68SJohn McCall   case CK_LValueToRValue: // hope for downstream optimization
294e302792bSJohn McCall   case CK_NoOp:
295e302792bSJohn McCall   case CK_UserDefinedConversion:
296e302792bSJohn McCall   case CK_ConstructorConversion:
2972a69547fSEli Friedman     assert(CGF.getContext().hasSameUnqualifiedType(E->getSubExpr()->getType(),
2982a69547fSEli Friedman                                                    E->getType()) &&
2990f398c44SChris Lattner            "Implicit cast types must be compatible");
3007a51313dSChris Lattner     Visit(E->getSubExpr());
3011fb7ae9eSAnders Carlsson     break;
302b05a3e55SAnders Carlsson 
303e302792bSJohn McCall   case CK_LValueBitCast:
304f3735e01SJohn McCall     llvm_unreachable("should not be emitting lvalue bitcast as rvalue");
30551954276SDouglas Gregor     break;
306f3735e01SJohn McCall 
307f3735e01SJohn McCall   case CK_Dependent:
308f3735e01SJohn McCall   case CK_BitCast:
309f3735e01SJohn McCall   case CK_ArrayToPointerDecay:
310f3735e01SJohn McCall   case CK_FunctionToPointerDecay:
311f3735e01SJohn McCall   case CK_NullToPointer:
312f3735e01SJohn McCall   case CK_NullToMemberPointer:
313f3735e01SJohn McCall   case CK_BaseToDerivedMemberPointer:
314f3735e01SJohn McCall   case CK_DerivedToBaseMemberPointer:
315f3735e01SJohn McCall   case CK_MemberPointerToBoolean:
316f3735e01SJohn McCall   case CK_IntegralToPointer:
317f3735e01SJohn McCall   case CK_PointerToIntegral:
318f3735e01SJohn McCall   case CK_PointerToBoolean:
319f3735e01SJohn McCall   case CK_ToVoid:
320f3735e01SJohn McCall   case CK_VectorSplat:
321f3735e01SJohn McCall   case CK_IntegralCast:
322f3735e01SJohn McCall   case CK_IntegralToBoolean:
323f3735e01SJohn McCall   case CK_IntegralToFloating:
324f3735e01SJohn McCall   case CK_FloatingToIntegral:
325f3735e01SJohn McCall   case CK_FloatingToBoolean:
326f3735e01SJohn McCall   case CK_FloatingCast:
327f3735e01SJohn McCall   case CK_AnyPointerToObjCPointerCast:
328f3735e01SJohn McCall   case CK_AnyPointerToBlockPointerCast:
329f3735e01SJohn McCall   case CK_ObjCObjectLValueCast:
330f3735e01SJohn McCall   case CK_FloatingRealToComplex:
331f3735e01SJohn McCall   case CK_FloatingComplexToReal:
332f3735e01SJohn McCall   case CK_FloatingComplexToBoolean:
333f3735e01SJohn McCall   case CK_FloatingComplexCast:
334f3735e01SJohn McCall   case CK_FloatingComplexToIntegralComplex:
335f3735e01SJohn McCall   case CK_IntegralRealToComplex:
336f3735e01SJohn McCall   case CK_IntegralComplexToReal:
337f3735e01SJohn McCall   case CK_IntegralComplexToBoolean:
338f3735e01SJohn McCall   case CK_IntegralComplexCast:
339f3735e01SJohn McCall   case CK_IntegralComplexToFloatingComplex:
340f3735e01SJohn McCall     llvm_unreachable("cast kind invalid for aggregate types");
3411fb7ae9eSAnders Carlsson   }
3427a51313dSChris Lattner }
3437a51313dSChris Lattner 
3440f398c44SChris Lattner void AggExprEmitter::VisitCallExpr(const CallExpr *E) {
345ddcbfe7bSAnders Carlsson   if (E->getCallReturnType()->isReferenceType()) {
346ddcbfe7bSAnders Carlsson     EmitAggLoadOfLValue(E);
347ddcbfe7bSAnders Carlsson     return;
348ddcbfe7bSAnders Carlsson   }
349ddcbfe7bSAnders Carlsson 
350cc04e9f6SJohn McCall   RValue RV = CGF.EmitCallExpr(E, getReturnValueSlot());
351cc04e9f6SJohn McCall   EmitGCMove(E, RV);
3527a51313dSChris Lattner }
3530f398c44SChris Lattner 
3540f398c44SChris Lattner void AggExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
355cc04e9f6SJohn McCall   RValue RV = CGF.EmitObjCMessageExpr(E, getReturnValueSlot());
356cc04e9f6SJohn McCall   EmitGCMove(E, RV);
357b1d329daSChris Lattner }
3587a51313dSChris Lattner 
35955310df7SDaniel Dunbar void AggExprEmitter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) {
36034376a68SJohn McCall   llvm_unreachable("direct property access not surrounded by "
36134376a68SJohn McCall                    "lvalue-to-rvalue cast");
36255310df7SDaniel Dunbar }
36355310df7SDaniel Dunbar 
3640f398c44SChris Lattner void AggExprEmitter::VisitBinComma(const BinaryOperator *E) {
365a2342eb8SJohn McCall   CGF.EmitIgnoredExpr(E->getLHS());
3667a626f63SJohn McCall   Visit(E->getRHS());
3674b0e2a30SEli Friedman }
3684b0e2a30SEli Friedman 
3697a51313dSChris Lattner void AggExprEmitter::VisitStmtExpr(const StmtExpr *E) {
3707a626f63SJohn McCall   CGF.EmitCompoundStmt(*E->getSubStmt(), true, Dest);
3717a51313dSChris Lattner }
3727a51313dSChris Lattner 
3737a51313dSChris Lattner void AggExprEmitter::VisitBinaryOperator(const BinaryOperator *E) {
374e302792bSJohn McCall   if (E->getOpcode() == BO_PtrMemD || E->getOpcode() == BO_PtrMemI)
375ffba662dSFariborz Jahanian     VisitPointerToDataMemberBinaryOperator(E);
376ffba662dSFariborz Jahanian   else
377a7c8cf62SDaniel Dunbar     CGF.ErrorUnsupported(E, "aggregate binary expression");
3787a51313dSChris Lattner }
3797a51313dSChris Lattner 
380ffba662dSFariborz Jahanian void AggExprEmitter::VisitPointerToDataMemberBinaryOperator(
381ffba662dSFariborz Jahanian                                                     const BinaryOperator *E) {
382ffba662dSFariborz Jahanian   LValue LV = CGF.EmitPointerToDataMemberBinaryExpr(E);
383ffba662dSFariborz Jahanian   EmitFinalDestCopy(E, LV);
384ffba662dSFariborz Jahanian }
385ffba662dSFariborz Jahanian 
3867a51313dSChris Lattner void AggExprEmitter::VisitBinAssign(const BinaryOperator *E) {
3877a51313dSChris Lattner   // For an assignment to work, the value on the right has
3887a51313dSChris Lattner   // to be compatible with the value on the left.
3892a69547fSEli Friedman   assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(),
3902a69547fSEli Friedman                                                  E->getRHS()->getType())
3917a51313dSChris Lattner          && "Invalid assignment");
392d0a30016SJohn McCall 
393d0a30016SJohn McCall   // FIXME:  __block variables need the RHS evaluated first!
3947a51313dSChris Lattner   LValue LHS = CGF.EmitLValue(E->getLHS());
3957a51313dSChris Lattner 
3964b8c6db9SDaniel Dunbar   // We have to special case property setters, otherwise we must have
3974b8c6db9SDaniel Dunbar   // a simple lvalue (no aggregates inside vectors, bitfields).
3984b8c6db9SDaniel Dunbar   if (LHS.isPropertyRef()) {
3997a626f63SJohn McCall     AggValueSlot Slot = EnsureSlot(E->getRHS()->getType());
4007a626f63SJohn McCall     CGF.EmitAggExpr(E->getRHS(), Slot);
401f3eb96fcSJohn McCall     CGF.EmitStoreThroughPropertyRefLValue(Slot.asRValue(), LHS);
4024b8c6db9SDaniel Dunbar   } else {
403b60e70f9SFariborz Jahanian     bool GCollection = false;
404cc04e9f6SJohn McCall     if (CGF.getContext().getLangOptions().getGCMode())
405b60e70f9SFariborz Jahanian       GCollection = TypeRequiresGCollection(E->getLHS()->getType());
406cc04e9f6SJohn McCall 
4077a51313dSChris Lattner     // Codegen the RHS so that it stores directly into the LHS.
408b60e70f9SFariborz Jahanian     AggValueSlot LHSSlot = AggValueSlot::forLValue(LHS, true,
409b60e70f9SFariborz Jahanian                                                    GCollection);
410b60e70f9SFariborz Jahanian     CGF.EmitAggExpr(E->getRHS(), LHSSlot, false);
411ec3cbfe8SMike Stump     EmitFinalDestCopy(E, LHS, true);
4127a51313dSChris Lattner   }
4134b8c6db9SDaniel Dunbar }
4147a51313dSChris Lattner 
4157a51313dSChris Lattner void AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) {
416b8841af8SEli Friedman   if (!E->getLHS()) {
417b8841af8SEli Friedman     CGF.ErrorUnsupported(E, "conditional operator with missing LHS");
418b8841af8SEli Friedman     return;
419b8841af8SEli Friedman   }
420b8841af8SEli Friedman 
421a612e79bSDaniel Dunbar   llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true");
422a612e79bSDaniel Dunbar   llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false");
423a612e79bSDaniel Dunbar   llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end");
4247a51313dSChris Lattner 
425b8841af8SEli Friedman   CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock);
4267a51313dSChris Lattner 
427ae612d22SAnders Carlsson   CGF.BeginConditionalBranch();
4287a51313dSChris Lattner   CGF.EmitBlock(LHSBlock);
4297a51313dSChris Lattner 
4305b26f65bSJohn McCall   // Save whether the destination's lifetime is externally managed.
4315b26f65bSJohn McCall   bool DestLifetimeManaged = Dest.isLifetimeExternallyManaged();
4327a51313dSChris Lattner 
4337a51313dSChris Lattner   Visit(E->getLHS());
434ae612d22SAnders Carlsson   CGF.EndConditionalBranch();
435c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
4367a51313dSChris Lattner 
437ae612d22SAnders Carlsson   CGF.BeginConditionalBranch();
4387a51313dSChris Lattner   CGF.EmitBlock(RHSBlock);
4397a51313dSChris Lattner 
4405b26f65bSJohn McCall   // If the result of an agg expression is unused, then the emission
4415b26f65bSJohn McCall   // of the LHS might need to create a destination slot.  That's fine
4425b26f65bSJohn McCall   // with us, and we can safely emit the RHS into the same slot, but
4435b26f65bSJohn McCall   // we shouldn't claim that its lifetime is externally managed.
4445b26f65bSJohn McCall   Dest.setLifetimeExternallyManaged(DestLifetimeManaged);
4455b26f65bSJohn McCall 
4467a51313dSChris Lattner   Visit(E->getRHS());
447ae612d22SAnders Carlsson   CGF.EndConditionalBranch();
448c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
4497a51313dSChris Lattner 
4507a51313dSChris Lattner   CGF.EmitBlock(ContBlock);
4517a51313dSChris Lattner }
4527a51313dSChris Lattner 
4535b2095ceSAnders Carlsson void AggExprEmitter::VisitChooseExpr(const ChooseExpr *CE) {
4545b2095ceSAnders Carlsson   Visit(CE->getChosenSubExpr(CGF.getContext()));
4555b2095ceSAnders Carlsson }
4565b2095ceSAnders Carlsson 
45721911e89SEli Friedman void AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) {
458e9fcadd2SDaniel Dunbar   llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr());
45913abd7e9SAnders Carlsson   llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType());
46013abd7e9SAnders Carlsson 
461020cddcfSSebastian Redl   if (!ArgPtr) {
46213abd7e9SAnders Carlsson     CGF.ErrorUnsupported(VE, "aggregate va_arg expression");
463020cddcfSSebastian Redl     return;
464020cddcfSSebastian Redl   }
46513abd7e9SAnders Carlsson 
4662e442a00SDaniel Dunbar   EmitFinalDestCopy(VE, CGF.MakeAddrLValue(ArgPtr, VE->getType()));
46721911e89SEli Friedman }
46821911e89SEli Friedman 
4693be22e27SAnders Carlsson void AggExprEmitter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
4707a626f63SJohn McCall   // Ensure that we have a slot, but if we already do, remember
4717a626f63SJohn McCall   // whether its lifetime was externally managed.
4727a626f63SJohn McCall   bool WasManaged = Dest.isLifetimeExternallyManaged();
4737a626f63SJohn McCall   Dest = EnsureSlot(E->getType());
4747a626f63SJohn McCall   Dest.setLifetimeExternallyManaged();
4753be22e27SAnders Carlsson 
4763be22e27SAnders Carlsson   Visit(E->getSubExpr());
4773be22e27SAnders Carlsson 
4787a626f63SJohn McCall   // Set up the temporary's destructor if its lifetime wasn't already
4797a626f63SJohn McCall   // being managed.
4807a626f63SJohn McCall   if (!WasManaged)
4817a626f63SJohn McCall     CGF.EmitCXXTemporary(E->getTemporary(), Dest.getAddr());
4823be22e27SAnders Carlsson }
4833be22e27SAnders Carlsson 
484b7f8f594SAnders Carlsson void
4851619a504SAnders Carlsson AggExprEmitter::VisitCXXConstructExpr(const CXXConstructExpr *E) {
4867a626f63SJohn McCall   AggValueSlot Slot = EnsureSlot(E->getType());
4877a626f63SJohn McCall   CGF.EmitCXXConstructExpr(E, Slot);
488c82b86dfSAnders Carlsson }
489c82b86dfSAnders Carlsson 
4905d413781SJohn McCall void AggExprEmitter::VisitExprWithCleanups(ExprWithCleanups *E) {
4915d413781SJohn McCall   CGF.EmitExprWithCleanups(E, Dest);
492b7f8f594SAnders Carlsson }
493b7f8f594SAnders Carlsson 
494747eb784SDouglas Gregor void AggExprEmitter::VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
4957a626f63SJohn McCall   QualType T = E->getType();
4967a626f63SJohn McCall   AggValueSlot Slot = EnsureSlot(T);
4977a626f63SJohn McCall   EmitNullInitializationToLValue(CGF.MakeAddrLValue(Slot.getAddr(), T), T);
49818ada985SAnders Carlsson }
49918ada985SAnders Carlsson 
50018ada985SAnders Carlsson void AggExprEmitter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
5017a626f63SJohn McCall   QualType T = E->getType();
5027a626f63SJohn McCall   AggValueSlot Slot = EnsureSlot(T);
5037a626f63SJohn McCall   EmitNullInitializationToLValue(CGF.MakeAddrLValue(Slot.getAddr(), T), T);
504ff3507b9SNuno Lopes }
505ff3507b9SNuno Lopes 
50627a3631bSChris Lattner /// isSimpleZero - If emitting this value will obviously just cause a store of
50727a3631bSChris Lattner /// zero to memory, return true.  This can return false if uncertain, so it just
50827a3631bSChris Lattner /// handles simple cases.
50927a3631bSChris Lattner static bool isSimpleZero(const Expr *E, CodeGenFunction &CGF) {
51027a3631bSChris Lattner   // (0)
51127a3631bSChris Lattner   if (const ParenExpr *PE = dyn_cast<ParenExpr>(E))
51227a3631bSChris Lattner     return isSimpleZero(PE->getSubExpr(), CGF);
51327a3631bSChris Lattner   // 0
51427a3631bSChris Lattner   if (const IntegerLiteral *IL = dyn_cast<IntegerLiteral>(E))
51527a3631bSChris Lattner     return IL->getValue() == 0;
51627a3631bSChris Lattner   // +0.0
51727a3631bSChris Lattner   if (const FloatingLiteral *FL = dyn_cast<FloatingLiteral>(E))
51827a3631bSChris Lattner     return FL->getValue().isPosZero();
51927a3631bSChris Lattner   // int()
52027a3631bSChris Lattner   if ((isa<ImplicitValueInitExpr>(E) || isa<CXXScalarValueInitExpr>(E)) &&
52127a3631bSChris Lattner       CGF.getTypes().isZeroInitializable(E->getType()))
52227a3631bSChris Lattner     return true;
52327a3631bSChris Lattner   // (int*)0 - Null pointer expressions.
52427a3631bSChris Lattner   if (const CastExpr *ICE = dyn_cast<CastExpr>(E))
52527a3631bSChris Lattner     return ICE->getCastKind() == CK_NullToPointer;
52627a3631bSChris Lattner   // '\0'
52727a3631bSChris Lattner   if (const CharacterLiteral *CL = dyn_cast<CharacterLiteral>(E))
52827a3631bSChris Lattner     return CL->getValue() == 0;
52927a3631bSChris Lattner 
53027a3631bSChris Lattner   // Otherwise, hard case: conservatively return false.
53127a3631bSChris Lattner   return false;
53227a3631bSChris Lattner }
53327a3631bSChris Lattner 
53427a3631bSChris Lattner 
535b247350eSAnders Carlsson void
536b247350eSAnders Carlsson AggExprEmitter::EmitInitializationToLValue(Expr* E, LValue LV, QualType T) {
537df0fe27bSMike Stump   // FIXME: Ignore result?
538579a05d7SChris Lattner   // FIXME: Are initializers affected by volatile?
53927a3631bSChris Lattner   if (Dest.isZeroed() && isSimpleZero(E, CGF)) {
54027a3631bSChris Lattner     // Storing "i32 0" to a zero'd memory location is a noop.
54127a3631bSChris Lattner   } else if (isa<ImplicitValueInitExpr>(E)) {
542b247350eSAnders Carlsson     EmitNullInitializationToLValue(LV, T);
54366498388SAnders Carlsson   } else if (T->isReferenceType()) {
54404775f84SAnders Carlsson     RValue RV = CGF.EmitReferenceBindingToExpr(E, /*InitializedDecl=*/0);
54566498388SAnders Carlsson     CGF.EmitStoreThroughLValue(RV, LV, T);
546b247350eSAnders Carlsson   } else if (T->isAnyComplexType()) {
5470202cb40SDouglas Gregor     CGF.EmitComplexExprIntoAddr(E, LV.getAddress(), false);
548b247350eSAnders Carlsson   } else if (CGF.hasAggregateLLVMType(T)) {
54927a3631bSChris Lattner     CGF.EmitAggExpr(E, AggValueSlot::forAddr(LV.getAddress(), false, true,
55027a3631bSChris Lattner                                              false, Dest.isZeroed()));
5516e313210SEli Friedman   } else {
552a2342eb8SJohn McCall     CGF.EmitStoreThroughLValue(RValue::get(CGF.EmitScalarExpr(E)), LV, T);
5537a51313dSChris Lattner   }
554579a05d7SChris Lattner }
555579a05d7SChris Lattner 
556579a05d7SChris Lattner void AggExprEmitter::EmitNullInitializationToLValue(LValue LV, QualType T) {
55727a3631bSChris Lattner   // If the destination slot is already zeroed out before the aggregate is
55827a3631bSChris Lattner   // copied into it, we don't have to emit any zeros here.
55927a3631bSChris Lattner   if (Dest.isZeroed() && CGF.getTypes().isZeroInitializable(T))
56027a3631bSChris Lattner     return;
56127a3631bSChris Lattner 
562579a05d7SChris Lattner   if (!CGF.hasAggregateLLVMType(T)) {
563579a05d7SChris Lattner     // For non-aggregates, we can store zero
5640b75f23bSOwen Anderson     llvm::Value *Null = llvm::Constant::getNullValue(CGF.ConvertType(T));
565e8bdce44SDaniel Dunbar     CGF.EmitStoreThroughLValue(RValue::get(Null), LV, T);
566579a05d7SChris Lattner   } else {
567579a05d7SChris Lattner     // There's a potential optimization opportunity in combining
568579a05d7SChris Lattner     // memsets; that would be easy for arrays, but relatively
569579a05d7SChris Lattner     // difficult for structures with the current code.
570c0964b60SAnders Carlsson     CGF.EmitNullInitialization(LV.getAddress(), T);
571579a05d7SChris Lattner   }
572579a05d7SChris Lattner }
573579a05d7SChris Lattner 
574579a05d7SChris Lattner void AggExprEmitter::VisitInitListExpr(InitListExpr *E) {
575f5d08c9eSEli Friedman #if 0
5766d11ec8cSEli Friedman   // FIXME: Assess perf here?  Figure out what cases are worth optimizing here
5776d11ec8cSEli Friedman   // (Length of globals? Chunks of zeroed-out space?).
578f5d08c9eSEli Friedman   //
57918bb9284SMike Stump   // If we can, prefer a copy from a global; this is a lot less code for long
58018bb9284SMike Stump   // globals, and it's easier for the current optimizers to analyze.
5816d11ec8cSEli Friedman   if (llvm::Constant* C = CGF.CGM.EmitConstantExpr(E, E->getType(), &CGF)) {
582c59bb48eSEli Friedman     llvm::GlobalVariable* GV =
5836d11ec8cSEli Friedman     new llvm::GlobalVariable(CGF.CGM.getModule(), C->getType(), true,
5846d11ec8cSEli Friedman                              llvm::GlobalValue::InternalLinkage, C, "");
5852e442a00SDaniel Dunbar     EmitFinalDestCopy(E, CGF.MakeAddrLValue(GV, E->getType()));
586c59bb48eSEli Friedman     return;
587c59bb48eSEli Friedman   }
588f5d08c9eSEli Friedman #endif
589f53c0968SChris Lattner   if (E->hadArrayRangeDesignator())
590bf7207a1SDouglas Gregor     CGF.ErrorUnsupported(E, "GNU array range designator extension");
591bf7207a1SDouglas Gregor 
5927a626f63SJohn McCall   llvm::Value *DestPtr = Dest.getAddr();
5937a626f63SJohn McCall 
594579a05d7SChris Lattner   // Handle initialization of an array.
595579a05d7SChris Lattner   if (E->getType()->isArrayType()) {
596579a05d7SChris Lattner     const llvm::PointerType *APType =
597579a05d7SChris Lattner       cast<llvm::PointerType>(DestPtr->getType());
598579a05d7SChris Lattner     const llvm::ArrayType *AType =
599579a05d7SChris Lattner       cast<llvm::ArrayType>(APType->getElementType());
600579a05d7SChris Lattner 
601579a05d7SChris Lattner     uint64_t NumInitElements = E->getNumInits();
602f23b6fa4SEli Friedman 
6030f398c44SChris Lattner     if (E->getNumInits() > 0) {
6040f398c44SChris Lattner       QualType T1 = E->getType();
6050f398c44SChris Lattner       QualType T2 = E->getInit(0)->getType();
6062a69547fSEli Friedman       if (CGF.getContext().hasSameUnqualifiedType(T1, T2)) {
607f23b6fa4SEli Friedman         EmitAggLoadOfLValue(E->getInit(0));
608f23b6fa4SEli Friedman         return;
609f23b6fa4SEli Friedman       }
6100f398c44SChris Lattner     }
611f23b6fa4SEli Friedman 
612579a05d7SChris Lattner     uint64_t NumArrayElements = AType->getNumElements();
6137adf0760SChris Lattner     QualType ElementType = CGF.getContext().getCanonicalType(E->getType());
6147adf0760SChris Lattner     ElementType = CGF.getContext().getAsArrayType(ElementType)->getElementType();
615579a05d7SChris Lattner 
6168ccfcb51SJohn McCall     // FIXME: were we intentionally ignoring address spaces and GC attributes?
617327944b3SEli Friedman 
618579a05d7SChris Lattner     for (uint64_t i = 0; i != NumArrayElements; ++i) {
61927a3631bSChris Lattner       // If we're done emitting initializers and the destination is known-zeroed
62027a3631bSChris Lattner       // then we're done.
62127a3631bSChris Lattner       if (i == NumInitElements &&
62227a3631bSChris Lattner           Dest.isZeroed() &&
62327a3631bSChris Lattner           CGF.getTypes().isZeroInitializable(ElementType))
62427a3631bSChris Lattner         break;
62527a3631bSChris Lattner 
626579a05d7SChris Lattner       llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array");
627f6fb7e2bSDaniel Dunbar       LValue LV = CGF.MakeAddrLValue(NextVal, ElementType);
62827a3631bSChris Lattner 
629579a05d7SChris Lattner       if (i < NumInitElements)
630f6fb7e2bSDaniel Dunbar         EmitInitializationToLValue(E->getInit(i), LV, ElementType);
631579a05d7SChris Lattner       else
632f6fb7e2bSDaniel Dunbar         EmitNullInitializationToLValue(LV, ElementType);
63327a3631bSChris Lattner 
63427a3631bSChris Lattner       // If the GEP didn't get used because of a dead zero init or something
63527a3631bSChris Lattner       // else, clean it up for -O0 builds and general tidiness.
63627a3631bSChris Lattner       if (llvm::GetElementPtrInst *GEP =
63727a3631bSChris Lattner             dyn_cast<llvm::GetElementPtrInst>(NextVal))
63827a3631bSChris Lattner         if (GEP->use_empty())
63927a3631bSChris Lattner           GEP->eraseFromParent();
640579a05d7SChris Lattner     }
641579a05d7SChris Lattner     return;
642579a05d7SChris Lattner   }
643579a05d7SChris Lattner 
644579a05d7SChris Lattner   assert(E->getType()->isRecordType() && "Only support structs/unions here!");
645579a05d7SChris Lattner 
646579a05d7SChris Lattner   // Do struct initialization; this code just sets each individual member
647579a05d7SChris Lattner   // to the approprate value.  This makes bitfield support automatic;
648579a05d7SChris Lattner   // the disadvantage is that the generated code is more difficult for
649579a05d7SChris Lattner   // the optimizer, especially with bitfields.
650579a05d7SChris Lattner   unsigned NumInitElements = E->getNumInits();
651c23c7e6aSTed Kremenek   RecordDecl *SD = E->getType()->getAs<RecordType>()->getDecl();
65252bcf963SChris Lattner 
6535169570eSDouglas Gregor   if (E->getType()->isUnionType()) {
6545169570eSDouglas Gregor     // Only initialize one field of a union. The field itself is
6555169570eSDouglas Gregor     // specified by the initializer list.
6565169570eSDouglas Gregor     if (!E->getInitializedFieldInUnion()) {
6575169570eSDouglas Gregor       // Empty union; we have nothing to do.
6585169570eSDouglas Gregor 
6595169570eSDouglas Gregor #ifndef NDEBUG
6605169570eSDouglas Gregor       // Make sure that it's really an empty and not a failure of
6615169570eSDouglas Gregor       // semantic analysis.
662cfbfe78eSArgyrios Kyrtzidis       for (RecordDecl::field_iterator Field = SD->field_begin(),
663cfbfe78eSArgyrios Kyrtzidis                                    FieldEnd = SD->field_end();
6645169570eSDouglas Gregor            Field != FieldEnd; ++Field)
6655169570eSDouglas Gregor         assert(Field->isUnnamedBitfield() && "Only unnamed bitfields allowed");
6665169570eSDouglas Gregor #endif
6675169570eSDouglas Gregor       return;
6685169570eSDouglas Gregor     }
6695169570eSDouglas Gregor 
6705169570eSDouglas Gregor     // FIXME: volatility
6715169570eSDouglas Gregor     FieldDecl *Field = E->getInitializedFieldInUnion();
6725169570eSDouglas Gregor 
67327a3631bSChris Lattner     LValue FieldLoc = CGF.EmitLValueForFieldInitialization(DestPtr, Field, 0);
6745169570eSDouglas Gregor     if (NumInitElements) {
6755169570eSDouglas Gregor       // Store the initializer into the field
676b247350eSAnders Carlsson       EmitInitializationToLValue(E->getInit(0), FieldLoc, Field->getType());
6775169570eSDouglas Gregor     } else {
67827a3631bSChris Lattner       // Default-initialize to null.
6795169570eSDouglas Gregor       EmitNullInitializationToLValue(FieldLoc, Field->getType());
6805169570eSDouglas Gregor     }
6815169570eSDouglas Gregor 
6825169570eSDouglas Gregor     return;
6835169570eSDouglas Gregor   }
684579a05d7SChris Lattner 
685579a05d7SChris Lattner   // Here we iterate over the fields; this makes it simpler to both
686579a05d7SChris Lattner   // default-initialize fields and skip over unnamed fields.
68752bcf963SChris Lattner   unsigned CurInitVal = 0;
688cfbfe78eSArgyrios Kyrtzidis   for (RecordDecl::field_iterator Field = SD->field_begin(),
689cfbfe78eSArgyrios Kyrtzidis                                FieldEnd = SD->field_end();
69091f84216SDouglas Gregor        Field != FieldEnd; ++Field) {
69191f84216SDouglas Gregor     // We're done once we hit the flexible array member
69291f84216SDouglas Gregor     if (Field->getType()->isIncompleteArrayType())
69391f84216SDouglas Gregor       break;
69491f84216SDouglas Gregor 
69517bd094aSDouglas Gregor     if (Field->isUnnamedBitfield())
696579a05d7SChris Lattner       continue;
69717bd094aSDouglas Gregor 
69827a3631bSChris Lattner     // Don't emit GEP before a noop store of zero.
69927a3631bSChris Lattner     if (CurInitVal == NumInitElements && Dest.isZeroed() &&
70027a3631bSChris Lattner         CGF.getTypes().isZeroInitializable(E->getType()))
70127a3631bSChris Lattner       break;
70227a3631bSChris Lattner 
703327944b3SEli Friedman     // FIXME: volatility
70466498388SAnders Carlsson     LValue FieldLoc = CGF.EmitLValueForFieldInitialization(DestPtr, *Field, 0);
7057c1baf46SFariborz Jahanian     // We never generate write-barries for initialized fields.
706e50dda95SDaniel Dunbar     FieldLoc.setNonGC(true);
70727a3631bSChris Lattner 
708579a05d7SChris Lattner     if (CurInitVal < NumInitElements) {
709e18aaf2cSChris Lattner       // Store the initializer into the field.
710b247350eSAnders Carlsson       EmitInitializationToLValue(E->getInit(CurInitVal++), FieldLoc,
711b247350eSAnders Carlsson                                  Field->getType());
712579a05d7SChris Lattner     } else {
713579a05d7SChris Lattner       // We're out of initalizers; default-initialize to null
71491f84216SDouglas Gregor       EmitNullInitializationToLValue(FieldLoc, Field->getType());
715579a05d7SChris Lattner     }
71627a3631bSChris Lattner 
71727a3631bSChris Lattner     // If the GEP didn't get used because of a dead zero init or something
71827a3631bSChris Lattner     // else, clean it up for -O0 builds and general tidiness.
71927a3631bSChris Lattner     if (FieldLoc.isSimple())
72027a3631bSChris Lattner       if (llvm::GetElementPtrInst *GEP =
72127a3631bSChris Lattner             dyn_cast<llvm::GetElementPtrInst>(FieldLoc.getAddress()))
72227a3631bSChris Lattner         if (GEP->use_empty())
72327a3631bSChris Lattner           GEP->eraseFromParent();
7247a51313dSChris Lattner   }
7257a51313dSChris Lattner }
7267a51313dSChris Lattner 
7277a51313dSChris Lattner //===----------------------------------------------------------------------===//
7287a51313dSChris Lattner //                        Entry Points into this File
7297a51313dSChris Lattner //===----------------------------------------------------------------------===//
7307a51313dSChris Lattner 
73127a3631bSChris Lattner /// GetNumNonZeroBytesInInit - Get an approximate count of the number of
73227a3631bSChris Lattner /// non-zero bytes that will be stored when outputting the initializer for the
73327a3631bSChris Lattner /// specified initializer expression.
73427a3631bSChris Lattner static uint64_t GetNumNonZeroBytesInInit(const Expr *E, CodeGenFunction &CGF) {
73527a3631bSChris Lattner   if (const ParenExpr *PE = dyn_cast<ParenExpr>(E))
73627a3631bSChris Lattner     return GetNumNonZeroBytesInInit(PE->getSubExpr(), CGF);
73727a3631bSChris Lattner 
73827a3631bSChris Lattner   // 0 and 0.0 won't require any non-zero stores!
73927a3631bSChris Lattner   if (isSimpleZero(E, CGF)) return 0;
74027a3631bSChris Lattner 
74127a3631bSChris Lattner   // If this is an initlist expr, sum up the size of sizes of the (present)
74227a3631bSChris Lattner   // elements.  If this is something weird, assume the whole thing is non-zero.
74327a3631bSChris Lattner   const InitListExpr *ILE = dyn_cast<InitListExpr>(E);
74427a3631bSChris Lattner   if (ILE == 0 || !CGF.getTypes().isZeroInitializable(ILE->getType()))
74527a3631bSChris Lattner     return CGF.getContext().getTypeSize(E->getType())/8;
74627a3631bSChris Lattner 
747c5cc2fb9SChris Lattner   // InitListExprs for structs have to be handled carefully.  If there are
748c5cc2fb9SChris Lattner   // reference members, we need to consider the size of the reference, not the
749c5cc2fb9SChris Lattner   // referencee.  InitListExprs for unions and arrays can't have references.
7505cd84755SChris Lattner   if (const RecordType *RT = E->getType()->getAs<RecordType>()) {
7515cd84755SChris Lattner     if (!RT->isUnionType()) {
752c5cc2fb9SChris Lattner       RecordDecl *SD = E->getType()->getAs<RecordType>()->getDecl();
753c5cc2fb9SChris Lattner       uint64_t NumNonZeroBytes = 0;
754c5cc2fb9SChris Lattner 
755c5cc2fb9SChris Lattner       unsigned ILEElement = 0;
756c5cc2fb9SChris Lattner       for (RecordDecl::field_iterator Field = SD->field_begin(),
757c5cc2fb9SChris Lattner            FieldEnd = SD->field_end(); Field != FieldEnd; ++Field) {
758c5cc2fb9SChris Lattner         // We're done once we hit the flexible array member or run out of
759c5cc2fb9SChris Lattner         // InitListExpr elements.
760c5cc2fb9SChris Lattner         if (Field->getType()->isIncompleteArrayType() ||
761c5cc2fb9SChris Lattner             ILEElement == ILE->getNumInits())
762c5cc2fb9SChris Lattner           break;
763c5cc2fb9SChris Lattner         if (Field->isUnnamedBitfield())
764c5cc2fb9SChris Lattner           continue;
765c5cc2fb9SChris Lattner 
766c5cc2fb9SChris Lattner         const Expr *E = ILE->getInit(ILEElement++);
767c5cc2fb9SChris Lattner 
768c5cc2fb9SChris Lattner         // Reference values are always non-null and have the width of a pointer.
7695cd84755SChris Lattner         if (Field->getType()->isReferenceType())
770c5cc2fb9SChris Lattner           NumNonZeroBytes += CGF.getContext().Target.getPointerWidth(0);
7715cd84755SChris Lattner         else
772c5cc2fb9SChris Lattner           NumNonZeroBytes += GetNumNonZeroBytesInInit(E, CGF);
773c5cc2fb9SChris Lattner       }
774c5cc2fb9SChris Lattner 
775c5cc2fb9SChris Lattner       return NumNonZeroBytes;
776c5cc2fb9SChris Lattner     }
7775cd84755SChris Lattner   }
778c5cc2fb9SChris Lattner 
779c5cc2fb9SChris Lattner 
78027a3631bSChris Lattner   uint64_t NumNonZeroBytes = 0;
78127a3631bSChris Lattner   for (unsigned i = 0, e = ILE->getNumInits(); i != e; ++i)
78227a3631bSChris Lattner     NumNonZeroBytes += GetNumNonZeroBytesInInit(ILE->getInit(i), CGF);
78327a3631bSChris Lattner   return NumNonZeroBytes;
78427a3631bSChris Lattner }
78527a3631bSChris Lattner 
78627a3631bSChris Lattner /// CheckAggExprForMemSetUse - If the initializer is large and has a lot of
78727a3631bSChris Lattner /// zeros in it, emit a memset and avoid storing the individual zeros.
78827a3631bSChris Lattner ///
78927a3631bSChris Lattner static void CheckAggExprForMemSetUse(AggValueSlot &Slot, const Expr *E,
79027a3631bSChris Lattner                                      CodeGenFunction &CGF) {
79127a3631bSChris Lattner   // If the slot is already known to be zeroed, nothing to do.  Don't mess with
79227a3631bSChris Lattner   // volatile stores.
79327a3631bSChris Lattner   if (Slot.isZeroed() || Slot.isVolatile() || Slot.getAddr() == 0) return;
79427a3631bSChris Lattner 
79527a3631bSChris Lattner   // If the type is 16-bytes or smaller, prefer individual stores over memset.
79627a3631bSChris Lattner   std::pair<uint64_t, unsigned> TypeInfo =
79727a3631bSChris Lattner     CGF.getContext().getTypeInfo(E->getType());
79827a3631bSChris Lattner   if (TypeInfo.first/8 <= 16)
79927a3631bSChris Lattner     return;
80027a3631bSChris Lattner 
80127a3631bSChris Lattner   // Check to see if over 3/4 of the initializer are known to be zero.  If so,
80227a3631bSChris Lattner   // we prefer to emit memset + individual stores for the rest.
80327a3631bSChris Lattner   uint64_t NumNonZeroBytes = GetNumNonZeroBytesInInit(E, CGF);
80427a3631bSChris Lattner   if (NumNonZeroBytes*4 > TypeInfo.first/8)
80527a3631bSChris Lattner     return;
80627a3631bSChris Lattner 
80727a3631bSChris Lattner   // Okay, it seems like a good idea to use an initial memset, emit the call.
80827a3631bSChris Lattner   llvm::Constant *SizeVal = CGF.Builder.getInt64(TypeInfo.first/8);
809*acc6b4e2SBenjamin Kramer   unsigned Align = TypeInfo.second/8;
81027a3631bSChris Lattner 
81127a3631bSChris Lattner   llvm::Value *Loc = Slot.getAddr();
81227a3631bSChris Lattner   const llvm::Type *BP = llvm::Type::getInt8PtrTy(CGF.getLLVMContext());
81327a3631bSChris Lattner 
81427a3631bSChris Lattner   Loc = CGF.Builder.CreateBitCast(Loc, BP);
815*acc6b4e2SBenjamin Kramer   CGF.Builder.CreateMemSet(Loc, CGF.Builder.getInt8(0), SizeVal, Align, false);
81627a3631bSChris Lattner 
81727a3631bSChris Lattner   // Tell the AggExprEmitter that the slot is known zero.
81827a3631bSChris Lattner   Slot.setZeroed();
81927a3631bSChris Lattner }
82027a3631bSChris Lattner 
82127a3631bSChris Lattner 
82227a3631bSChris Lattner 
82327a3631bSChris Lattner 
82425306cacSMike Stump /// EmitAggExpr - Emit the computation of the specified expression of aggregate
82525306cacSMike Stump /// type.  The result is computed into DestPtr.  Note that if DestPtr is null,
82625306cacSMike Stump /// the value of the aggregate expression is not needed.  If VolatileDest is
82725306cacSMike Stump /// true, DestPtr cannot be 0.
8287a626f63SJohn McCall ///
8297a626f63SJohn McCall /// \param IsInitializer - true if this evaluation is initializing an
8307a626f63SJohn McCall /// object whose lifetime is already being managed.
831d0bc7b9dSDaniel Dunbar //
832d0bc7b9dSDaniel Dunbar // FIXME: Take Qualifiers object.
8337a626f63SJohn McCall void CodeGenFunction::EmitAggExpr(const Expr *E, AggValueSlot Slot,
834b60e70f9SFariborz Jahanian                                   bool IgnoreResult) {
8357a51313dSChris Lattner   assert(E && hasAggregateLLVMType(E->getType()) &&
8367a51313dSChris Lattner          "Invalid aggregate expression to emit");
83727a3631bSChris Lattner   assert((Slot.getAddr() != 0 || Slot.isIgnored()) &&
83827a3631bSChris Lattner          "slot has bits but no address");
8397a51313dSChris Lattner 
84027a3631bSChris Lattner   // Optimize the slot if possible.
84127a3631bSChris Lattner   CheckAggExprForMemSetUse(Slot, E, *this);
84227a3631bSChris Lattner 
84327a3631bSChris Lattner   AggExprEmitter(*this, Slot, IgnoreResult).Visit(const_cast<Expr*>(E));
8447a51313dSChris Lattner }
8450bc8e86dSDaniel Dunbar 
846d0bc7b9dSDaniel Dunbar LValue CodeGenFunction::EmitAggExprToLValue(const Expr *E) {
847d0bc7b9dSDaniel Dunbar   assert(hasAggregateLLVMType(E->getType()) && "Invalid argument!");
848a7566f16SDaniel Dunbar   llvm::Value *Temp = CreateMemTemp(E->getType());
8492e442a00SDaniel Dunbar   LValue LV = MakeAddrLValue(Temp, E->getType());
85027a3631bSChris Lattner   EmitAggExpr(E, AggValueSlot::forAddr(Temp, LV.isVolatileQualified(), false));
8512e442a00SDaniel Dunbar   return LV;
852d0bc7b9dSDaniel Dunbar }
853d0bc7b9dSDaniel Dunbar 
8540bc8e86dSDaniel Dunbar void CodeGenFunction::EmitAggregateCopy(llvm::Value *DestPtr,
8555e9e61b8SMike Stump                                         llvm::Value *SrcPtr, QualType Ty,
8565e9e61b8SMike Stump                                         bool isVolatile) {
8570bc8e86dSDaniel Dunbar   assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex");
8580bc8e86dSDaniel Dunbar 
85916e94af6SAnders Carlsson   if (getContext().getLangOptions().CPlusPlus) {
86016e94af6SAnders Carlsson     if (const RecordType *RT = Ty->getAs<RecordType>()) {
861f22101a0SDouglas Gregor       CXXRecordDecl *Record = cast<CXXRecordDecl>(RT->getDecl());
862f22101a0SDouglas Gregor       assert((Record->hasTrivialCopyConstructor() ||
8636855ba2cSFariborz Jahanian               Record->hasTrivialCopyAssignment()) &&
864f22101a0SDouglas Gregor              "Trying to aggregate-copy a type without a trivial copy "
865f22101a0SDouglas Gregor              "constructor or assignment operator");
866265b8b8dSDouglas Gregor       // Ignore empty classes in C++.
867f22101a0SDouglas Gregor       if (Record->isEmpty())
86816e94af6SAnders Carlsson         return;
86916e94af6SAnders Carlsson     }
87016e94af6SAnders Carlsson   }
87116e94af6SAnders Carlsson 
872ca05dfefSChris Lattner   // Aggregate assignment turns into llvm.memcpy.  This is almost valid per
8733ef668c2SChris Lattner   // C99 6.5.16.1p3, which states "If the value being stored in an object is
8743ef668c2SChris Lattner   // read from another object that overlaps in anyway the storage of the first
8753ef668c2SChris Lattner   // object, then the overlap shall be exact and the two objects shall have
8763ef668c2SChris Lattner   // qualified or unqualified versions of a compatible type."
8773ef668c2SChris Lattner   //
878ca05dfefSChris Lattner   // memcpy is not defined if the source and destination pointers are exactly
8793ef668c2SChris Lattner   // equal, but other compilers do this optimization, and almost every memcpy
8803ef668c2SChris Lattner   // implementation handles this case safely.  If there is a libc that does not
8813ef668c2SChris Lattner   // safely handle this, we can add a target hook.
8820bc8e86dSDaniel Dunbar 
8830bc8e86dSDaniel Dunbar   // Get size and alignment info for this aggregate.
8840bc8e86dSDaniel Dunbar   std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty);
8850bc8e86dSDaniel Dunbar 
8860bc8e86dSDaniel Dunbar   // FIXME: Handle variable sized types.
8870bc8e86dSDaniel Dunbar 
88886736572SMike Stump   // FIXME: If we have a volatile struct, the optimizer can remove what might
88986736572SMike Stump   // appear to be `extra' memory ops:
89086736572SMike Stump   //
89186736572SMike Stump   // volatile struct { int i; } a, b;
89286736572SMike Stump   //
89386736572SMike Stump   // int main() {
89486736572SMike Stump   //   a = b;
89586736572SMike Stump   //   a = b;
89686736572SMike Stump   // }
89786736572SMike Stump   //
898cc2ab0cdSMon P Wang   // we need to use a different call here.  We use isVolatile to indicate when
899ec3cbfe8SMike Stump   // either the source or the destination is volatile.
900cc2ab0cdSMon P Wang 
901cc2ab0cdSMon P Wang   const llvm::PointerType *DPT = cast<llvm::PointerType>(DestPtr->getType());
902cb7696cfSChris Lattner   const llvm::Type *DBP =
903cb7696cfSChris Lattner     llvm::Type::getInt8PtrTy(VMContext, DPT->getAddressSpace());
904cc2ab0cdSMon P Wang   DestPtr = Builder.CreateBitCast(DestPtr, DBP, "tmp");
905cc2ab0cdSMon P Wang 
906cc2ab0cdSMon P Wang   const llvm::PointerType *SPT = cast<llvm::PointerType>(SrcPtr->getType());
907cb7696cfSChris Lattner   const llvm::Type *SBP =
908cb7696cfSChris Lattner     llvm::Type::getInt8PtrTy(VMContext, SPT->getAddressSpace());
909cc2ab0cdSMon P Wang   SrcPtr = Builder.CreateBitCast(SrcPtr, SBP, "tmp");
910cc2ab0cdSMon P Wang 
911021510e9SFariborz Jahanian   if (const RecordType *RecordTy = Ty->getAs<RecordType>()) {
912021510e9SFariborz Jahanian     RecordDecl *Record = RecordTy->getDecl();
913021510e9SFariborz Jahanian     if (Record->hasObjectMember()) {
914021510e9SFariborz Jahanian       unsigned long size = TypeInfo.first/8;
915021510e9SFariborz Jahanian       const llvm::Type *SizeTy = ConvertType(getContext().getSizeType());
916021510e9SFariborz Jahanian       llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
917021510e9SFariborz Jahanian       CGM.getObjCRuntime().EmitGCMemmoveCollectable(*this, DestPtr, SrcPtr,
918021510e9SFariborz Jahanian                                                     SizeVal);
919021510e9SFariborz Jahanian       return;
920021510e9SFariborz Jahanian     }
921021510e9SFariborz Jahanian   } else if (getContext().getAsArrayType(Ty)) {
922021510e9SFariborz Jahanian     QualType BaseType = getContext().getBaseElementType(Ty);
923021510e9SFariborz Jahanian     if (const RecordType *RecordTy = BaseType->getAs<RecordType>()) {
924021510e9SFariborz Jahanian       if (RecordTy->getDecl()->hasObjectMember()) {
925021510e9SFariborz Jahanian         unsigned long size = TypeInfo.first/8;
926021510e9SFariborz Jahanian         const llvm::Type *SizeTy = ConvertType(getContext().getSizeType());
927021510e9SFariborz Jahanian         llvm::Value *SizeVal = llvm::ConstantInt::get(SizeTy, size);
928021510e9SFariborz Jahanian         CGM.getObjCRuntime().EmitGCMemmoveCollectable(*this, DestPtr, SrcPtr,
929021510e9SFariborz Jahanian                                                       SizeVal);
930021510e9SFariborz Jahanian         return;
931021510e9SFariborz Jahanian       }
932021510e9SFariborz Jahanian     }
933021510e9SFariborz Jahanian   }
934021510e9SFariborz Jahanian 
935*acc6b4e2SBenjamin Kramer   Builder.CreateMemCpy(DestPtr, SrcPtr,
9365e016ae9SChris Lattner                        llvm::ConstantInt::get(IntPtrTy, TypeInfo.first/8),
937*acc6b4e2SBenjamin Kramer                        TypeInfo.second/8, isVolatile);
9380bc8e86dSDaniel Dunbar }
939