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" 237a51313dSChris Lattner #include "llvm/Support/Compiler.h" 24579a05d7SChris Lattner #include "llvm/Intrinsics.h" 257a51313dSChris Lattner using namespace clang; 267a51313dSChris Lattner using namespace CodeGen; 277a51313dSChris Lattner 287a51313dSChris Lattner //===----------------------------------------------------------------------===// 297a51313dSChris Lattner // Aggregate Expression Emitter 307a51313dSChris Lattner //===----------------------------------------------------------------------===// 317a51313dSChris Lattner 327a51313dSChris Lattner namespace { 337a51313dSChris Lattner class VISIBILITY_HIDDEN AggExprEmitter : public StmtVisitor<AggExprEmitter> { 347a51313dSChris Lattner CodeGenFunction &CGF; 35cb463859SDaniel Dunbar CGBuilderTy &Builder; 367a51313dSChris Lattner llvm::Value *DestPtr; 377a51313dSChris Lattner bool VolatileDest; 38ec3cbfe8SMike Stump bool IgnoreResult; 395b106a75SAnders Carlsson bool IsInitializer; 40*879d7266SFariborz Jahanian bool RequiresGCollection; 417a51313dSChris Lattner public: 423e97f3b3SMike Stump AggExprEmitter(CodeGenFunction &cgf, llvm::Value *destPtr, bool v, 43*879d7266SFariborz Jahanian bool ignore, bool isinit, bool requiresGCollection) 447a51313dSChris Lattner : CGF(cgf), Builder(CGF.Builder), 455b106a75SAnders Carlsson DestPtr(destPtr), VolatileDest(v), IgnoreResult(ignore), 46*879d7266SFariborz Jahanian IsInitializer(isinit), RequiresGCollection(requiresGCollection) { 477a51313dSChris Lattner } 487a51313dSChris Lattner 497a51313dSChris Lattner //===--------------------------------------------------------------------===// 507a51313dSChris Lattner // Utilities 517a51313dSChris Lattner //===--------------------------------------------------------------------===// 527a51313dSChris Lattner 537a51313dSChris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that 547a51313dSChris Lattner /// represents a value lvalue, this method emits the address of the lvalue, 557a51313dSChris Lattner /// then loads the result into DestPtr. 567a51313dSChris Lattner void EmitAggLoadOfLValue(const Expr *E); 577a51313dSChris Lattner 58ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired. 59ec3cbfe8SMike Stump void EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore = false); 60ec3cbfe8SMike Stump void EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore = false); 61ca9fc09cSMike Stump 627a51313dSChris Lattner //===--------------------------------------------------------------------===// 637a51313dSChris Lattner // Visitor Methods 647a51313dSChris Lattner //===--------------------------------------------------------------------===// 657a51313dSChris Lattner 667a51313dSChris Lattner void VisitStmt(Stmt *S) { 67a7c8cf62SDaniel Dunbar CGF.ErrorUnsupported(S, "aggregate expression"); 687a51313dSChris Lattner } 697a51313dSChris Lattner void VisitParenExpr(ParenExpr *PE) { Visit(PE->getSubExpr()); } 703f66b84cSEli Friedman void VisitUnaryExtension(UnaryOperator *E) { Visit(E->getSubExpr()); } 717a51313dSChris Lattner 727a51313dSChris Lattner // l-values. 737a51313dSChris Lattner void VisitDeclRefExpr(DeclRefExpr *DRE) { EmitAggLoadOfLValue(DRE); } 747a51313dSChris Lattner void VisitMemberExpr(MemberExpr *ME) { EmitAggLoadOfLValue(ME); } 757a51313dSChris Lattner void VisitUnaryDeref(UnaryOperator *E) { EmitAggLoadOfLValue(E); } 767a51313dSChris Lattner void VisitStringLiteral(StringLiteral *E) { EmitAggLoadOfLValue(E); } 772f343dd5SChris Lattner void VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 782f343dd5SChris Lattner EmitAggLoadOfLValue(E); 792f343dd5SChris Lattner } 807a51313dSChris Lattner void VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 817a51313dSChris Lattner EmitAggLoadOfLValue(E); 827a51313dSChris Lattner } 832f343dd5SChris Lattner void VisitBlockDeclRefExpr(const BlockDeclRefExpr *E) { 842f343dd5SChris Lattner EmitAggLoadOfLValue(E); 852f343dd5SChris Lattner } 862f343dd5SChris Lattner void VisitPredefinedExpr(const PredefinedExpr *E) { 872f343dd5SChris Lattner EmitAggLoadOfLValue(E); 882f343dd5SChris Lattner } 89bc7d67ceSMike Stump 907a51313dSChris Lattner // Operators. 91ec143777SAnders Carlsson void VisitCastExpr(CastExpr *E); 927a51313dSChris Lattner void VisitCallExpr(const CallExpr *E); 937a51313dSChris Lattner void VisitStmtExpr(const StmtExpr *E); 947a51313dSChris Lattner void VisitBinaryOperator(const BinaryOperator *BO); 957a51313dSChris Lattner void VisitBinAssign(const BinaryOperator *E); 964b0e2a30SEli Friedman void VisitBinComma(const BinaryOperator *E); 977a51313dSChris Lattner 98b1d329daSChris Lattner void VisitObjCMessageExpr(ObjCMessageExpr *E); 99c8317a44SDaniel Dunbar void VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 100c8317a44SDaniel Dunbar EmitAggLoadOfLValue(E); 101c8317a44SDaniel Dunbar } 10255310df7SDaniel Dunbar void VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E); 1039a846659SFariborz Jahanian void VisitObjCImplicitSetterGetterRefExpr(ObjCImplicitSetterGetterRefExpr *E); 1047a51313dSChris Lattner 1057a51313dSChris Lattner void VisitConditionalOperator(const ConditionalOperator *CO); 1065b2095ceSAnders Carlsson void VisitChooseExpr(const ChooseExpr *CE); 1077a51313dSChris Lattner void VisitInitListExpr(InitListExpr *E); 108aa9c7aedSChris Lattner void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 109aa9c7aedSChris Lattner Visit(DAE->getExpr()); 110aa9c7aedSChris Lattner } 1113be22e27SAnders Carlsson void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E); 1121619a504SAnders Carlsson void VisitCXXConstructExpr(const CXXConstructExpr *E); 113c82b86dfSAnders Carlsson void VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E); 114c82b86dfSAnders Carlsson 11521911e89SEli Friedman void VisitVAArgExpr(VAArgExpr *E); 116579a05d7SChris Lattner 117579a05d7SChris Lattner void EmitInitializationToLValue(Expr *E, LValue Address); 118579a05d7SChris Lattner void EmitNullInitializationToLValue(LValue Address, QualType T); 1197a51313dSChris Lattner // case Expr::ChooseExprClass: 1207a51313dSChris Lattner 1217a51313dSChris Lattner }; 1227a51313dSChris Lattner } // end anonymous namespace. 1237a51313dSChris Lattner 1247a51313dSChris Lattner //===----------------------------------------------------------------------===// 1257a51313dSChris Lattner // Utilities 1267a51313dSChris Lattner //===----------------------------------------------------------------------===// 1277a51313dSChris Lattner 1287a51313dSChris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that 1297a51313dSChris Lattner /// represents a value lvalue, this method emits the address of the lvalue, 1307a51313dSChris Lattner /// then loads the result into DestPtr. 1317a51313dSChris Lattner void AggExprEmitter::EmitAggLoadOfLValue(const Expr *E) { 1327a51313dSChris Lattner LValue LV = CGF.EmitLValue(E); 133ca9fc09cSMike Stump EmitFinalDestCopy(E, LV); 134ca9fc09cSMike Stump } 135ca9fc09cSMike Stump 136ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired. 137ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore) { 138ca9fc09cSMike Stump assert(Src.isAggregate() && "value must be aggregate value!"); 1397a51313dSChris Lattner 1407a51313dSChris Lattner // If the result is ignored, don't copy from the value. 141332ec2ceSMike Stump if (DestPtr == 0) { 142ec3cbfe8SMike Stump if (!Src.isVolatileQualified() || (IgnoreResult && Ignore)) 143ec3cbfe8SMike Stump return; 144332ec2ceSMike Stump // If the source is volatile, we must read from it; to do that, we need 145332ec2ceSMike Stump // some place to put it. 146332ec2ceSMike Stump DestPtr = CGF.CreateTempAlloca(CGF.ConvertType(E->getType()), "agg.tmp"); 147332ec2ceSMike Stump } 1487a51313dSChris Lattner 149*879d7266SFariborz Jahanian if (RequiresGCollection) { 150*879d7266SFariborz Jahanian CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF, 151*879d7266SFariborz Jahanian DestPtr, Src.getAggregateAddr(), 152*879d7266SFariborz Jahanian E->getType()); 153*879d7266SFariborz Jahanian return; 154*879d7266SFariborz Jahanian } 155ca9fc09cSMike Stump // If the result of the assignment is used, copy the LHS there also. 156ca9fc09cSMike Stump // FIXME: Pass VolatileDest as well. I think we also need to merge volatile 157ca9fc09cSMike Stump // from the source as well, as we can't eliminate it if either operand 158ca9fc09cSMike Stump // is volatile, unless copy has volatile for both source and destination.. 1595e9e61b8SMike Stump CGF.EmitAggregateCopy(DestPtr, Src.getAggregateAddr(), E->getType(), 1605e9e61b8SMike Stump VolatileDest|Src.isVolatileQualified()); 161ca9fc09cSMike Stump } 162ca9fc09cSMike Stump 163ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired. 164ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore) { 165ca9fc09cSMike Stump assert(Src.isSimple() && "Can't have aggregate bitfield, vector, etc"); 166ca9fc09cSMike Stump 167ca9fc09cSMike Stump EmitFinalDestCopy(E, RValue::getAggregate(Src.getAddress(), 168ec3cbfe8SMike Stump Src.isVolatileQualified()), 169ec3cbfe8SMike Stump Ignore); 1707a51313dSChris Lattner } 1717a51313dSChris Lattner 1727a51313dSChris Lattner //===----------------------------------------------------------------------===// 1737a51313dSChris Lattner // Visitor Methods 1747a51313dSChris Lattner //===----------------------------------------------------------------------===// 1757a51313dSChris Lattner 176ec143777SAnders Carlsson void AggExprEmitter::VisitCastExpr(CastExpr *E) { 177ec143777SAnders Carlsson if (E->getCastKind() == CastExpr::CK_ToUnion) { 1787ffcf93bSNuno Lopes // GCC union extension 179dd274848SEli Friedman QualType PtrTy = 180dd274848SEli Friedman CGF.getContext().getPointerType(E->getSubExpr()->getType()); 181dd274848SEli Friedman llvm::Value *CastPtr = Builder.CreateBitCast(DestPtr, 182dd274848SEli Friedman CGF.ConvertType(PtrTy)); 183acedf776SMon P Wang EmitInitializationToLValue(E->getSubExpr(), 184acedf776SMon P Wang LValue::MakeAddr(CastPtr, 0)); 1857ffcf93bSNuno Lopes return; 1867ffcf93bSNuno Lopes } 187c71f094cSFariborz Jahanian if (E->getCastKind() == CastExpr::CK_UserDefinedConversion) { 1883df87678SFariborz Jahanian if (const CXXFunctionalCastExpr *CXXFExpr = 1893df87678SFariborz Jahanian dyn_cast<CXXFunctionalCastExpr>(E)) 190c71f094cSFariborz Jahanian CGF.EmitCXXFunctionalCastExpr(CXXFExpr); 1913df87678SFariborz Jahanian else 1923df87678SFariborz Jahanian if (isa<CStyleCastExpr>(E)) 1933df87678SFariborz Jahanian Visit(E->getSubExpr()); 194c71f094cSFariborz Jahanian return; 195c71f094cSFariborz Jahanian } 1967ffcf93bSNuno Lopes 197ec143777SAnders Carlsson // FIXME: Remove the CK_Unknown check here. 198ec143777SAnders Carlsson assert((E->getCastKind() == CastExpr::CK_NoOp || 199ec143777SAnders Carlsson E->getCastKind() == CastExpr::CK_Unknown) && 200ec143777SAnders Carlsson "Only no-op casts allowed!"); 2012a69547fSEli Friedman assert(CGF.getContext().hasSameUnqualifiedType(E->getSubExpr()->getType(), 2022a69547fSEli Friedman E->getType()) && 2030f398c44SChris Lattner "Implicit cast types must be compatible"); 2047a51313dSChris Lattner Visit(E->getSubExpr()); 2057a51313dSChris Lattner } 2067a51313dSChris Lattner 2070f398c44SChris Lattner void AggExprEmitter::VisitCallExpr(const CallExpr *E) { 208ddcbfe7bSAnders Carlsson if (E->getCallReturnType()->isReferenceType()) { 209ddcbfe7bSAnders Carlsson EmitAggLoadOfLValue(E); 210ddcbfe7bSAnders Carlsson return; 211ddcbfe7bSAnders Carlsson } 212ddcbfe7bSAnders Carlsson 2137a51313dSChris Lattner RValue RV = CGF.EmitCallExpr(E); 214ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 2157a51313dSChris Lattner } 2160f398c44SChris Lattner 2170f398c44SChris Lattner void AggExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) { 21897db84ceSDaniel Dunbar RValue RV = CGF.EmitObjCMessageExpr(E); 219ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 220b1d329daSChris Lattner } 2217a51313dSChris Lattner 22255310df7SDaniel Dunbar void AggExprEmitter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { 22355310df7SDaniel Dunbar RValue RV = CGF.EmitObjCPropertyGet(E); 224ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 22555310df7SDaniel Dunbar } 22655310df7SDaniel Dunbar 2279a846659SFariborz Jahanian void AggExprEmitter::VisitObjCImplicitSetterGetterRefExpr( 2289a846659SFariborz Jahanian ObjCImplicitSetterGetterRefExpr *E) { 2298a1810f0SFariborz Jahanian RValue RV = CGF.EmitObjCPropertyGet(E); 230ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 2318a1810f0SFariborz Jahanian } 2328a1810f0SFariborz Jahanian 2330f398c44SChris Lattner void AggExprEmitter::VisitBinComma(const BinaryOperator *E) { 234df0fe27bSMike Stump CGF.EmitAnyExpr(E->getLHS(), 0, false, true); 2355b106a75SAnders Carlsson CGF.EmitAggExpr(E->getRHS(), DestPtr, VolatileDest, 2365b106a75SAnders Carlsson /*IgnoreResult=*/false, IsInitializer); 2374b0e2a30SEli Friedman } 2384b0e2a30SEli Friedman 2397a51313dSChris Lattner void AggExprEmitter::VisitStmtExpr(const StmtExpr *E) { 2407a51313dSChris Lattner CGF.EmitCompoundStmt(*E->getSubStmt(), true, DestPtr, VolatileDest); 2417a51313dSChris Lattner } 2427a51313dSChris Lattner 2437a51313dSChris Lattner void AggExprEmitter::VisitBinaryOperator(const BinaryOperator *E) { 244a7c8cf62SDaniel Dunbar CGF.ErrorUnsupported(E, "aggregate binary expression"); 2457a51313dSChris Lattner } 2467a51313dSChris Lattner 2477a51313dSChris Lattner void AggExprEmitter::VisitBinAssign(const BinaryOperator *E) { 2487a51313dSChris Lattner // For an assignment to work, the value on the right has 2497a51313dSChris Lattner // to be compatible with the value on the left. 2502a69547fSEli Friedman assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(), 2512a69547fSEli Friedman E->getRHS()->getType()) 2527a51313dSChris Lattner && "Invalid assignment"); 2537a51313dSChris Lattner LValue LHS = CGF.EmitLValue(E->getLHS()); 2547a51313dSChris Lattner 2554b8c6db9SDaniel Dunbar // We have to special case property setters, otherwise we must have 2564b8c6db9SDaniel Dunbar // a simple lvalue (no aggregates inside vectors, bitfields). 2574b8c6db9SDaniel Dunbar if (LHS.isPropertyRef()) { 2584b8c6db9SDaniel Dunbar llvm::Value *AggLoc = DestPtr; 2594b8c6db9SDaniel Dunbar if (!AggLoc) 2604b8c6db9SDaniel Dunbar AggLoc = CGF.CreateTempAlloca(CGF.ConvertType(E->getRHS()->getType())); 2619afc476dSMike Stump CGF.EmitAggExpr(E->getRHS(), AggLoc, VolatileDest); 2624b8c6db9SDaniel Dunbar CGF.EmitObjCPropertySet(LHS.getPropertyRefExpr(), 2639afc476dSMike Stump RValue::getAggregate(AggLoc, VolatileDest)); 264658fe02dSMike Stump } else if (LHS.isKVCRef()) { 2659ac53516SFariborz Jahanian llvm::Value *AggLoc = DestPtr; 2669ac53516SFariborz Jahanian if (!AggLoc) 2679ac53516SFariborz Jahanian AggLoc = CGF.CreateTempAlloca(CGF.ConvertType(E->getRHS()->getType())); 268b9f25186SMike Stump CGF.EmitAggExpr(E->getRHS(), AggLoc, VolatileDest); 2699ac53516SFariborz Jahanian CGF.EmitObjCPropertySet(LHS.getKVCRefExpr(), 270b9f25186SMike Stump RValue::getAggregate(AggLoc, VolatileDest)); 2714b8c6db9SDaniel Dunbar } else { 272*879d7266SFariborz Jahanian bool RequiresGCollection = false; 2735f21d2f6SFariborz Jahanian if (CGF.getContext().getLangOptions().NeXTRuntime) { 2745f21d2f6SFariborz Jahanian QualType LHSTy = E->getLHS()->getType(); 275c23c7e6aSTed Kremenek if (const RecordType *FDTTy = LHSTy.getTypePtr()->getAs<RecordType>()) 276*879d7266SFariborz Jahanian RequiresGCollection = FDTTy->getDecl()->hasObjectMember(); 2775f21d2f6SFariborz Jahanian } 2787a51313dSChris Lattner // Codegen the RHS so that it stores directly into the LHS. 279*879d7266SFariborz Jahanian CGF.EmitAggExpr(E->getRHS(), LHS.getAddress(), LHS.isVolatileQualified(), 280*879d7266SFariborz Jahanian false, false, RequiresGCollection); 281ec3cbfe8SMike Stump EmitFinalDestCopy(E, LHS, true); 2827a51313dSChris Lattner } 2834b8c6db9SDaniel Dunbar } 2847a51313dSChris Lattner 2857a51313dSChris Lattner void AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) { 286a612e79bSDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 287a612e79bSDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 288a612e79bSDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 2897a51313dSChris Lattner 2907a51313dSChris Lattner llvm::Value *Cond = CGF.EvaluateExprAsBool(E->getCond()); 2917a51313dSChris Lattner Builder.CreateCondBr(Cond, LHSBlock, RHSBlock); 2927a51313dSChris Lattner 29343c52cdcSAnders Carlsson CGF.PushConditionalTempDestruction(); 2947a51313dSChris Lattner CGF.EmitBlock(LHSBlock); 2957a51313dSChris Lattner 2967a51313dSChris Lattner // Handle the GNU extension for missing LHS. 2977a51313dSChris Lattner assert(E->getLHS() && "Must have LHS for aggregate value"); 2987a51313dSChris Lattner 2997a51313dSChris Lattner Visit(E->getLHS()); 30043c52cdcSAnders Carlsson CGF.PopConditionalTempDestruction(); 301c56e6764SDaniel Dunbar CGF.EmitBranch(ContBlock); 3027a51313dSChris Lattner 30343c52cdcSAnders Carlsson CGF.PushConditionalTempDestruction(); 3047a51313dSChris Lattner CGF.EmitBlock(RHSBlock); 3057a51313dSChris Lattner 3067a51313dSChris Lattner Visit(E->getRHS()); 30743c52cdcSAnders Carlsson CGF.PopConditionalTempDestruction(); 308c56e6764SDaniel Dunbar CGF.EmitBranch(ContBlock); 3097a51313dSChris Lattner 3107a51313dSChris Lattner CGF.EmitBlock(ContBlock); 3117a51313dSChris Lattner } 3127a51313dSChris Lattner 3135b2095ceSAnders Carlsson void AggExprEmitter::VisitChooseExpr(const ChooseExpr *CE) { 3145b2095ceSAnders Carlsson Visit(CE->getChosenSubExpr(CGF.getContext())); 3155b2095ceSAnders Carlsson } 3165b2095ceSAnders Carlsson 31721911e89SEli Friedman void AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 318e9fcadd2SDaniel Dunbar llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); 31913abd7e9SAnders Carlsson llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); 32013abd7e9SAnders Carlsson 321020cddcfSSebastian Redl if (!ArgPtr) { 32213abd7e9SAnders Carlsson CGF.ErrorUnsupported(VE, "aggregate va_arg expression"); 323020cddcfSSebastian Redl return; 324020cddcfSSebastian Redl } 32513abd7e9SAnders Carlsson 326ca9fc09cSMike Stump EmitFinalDestCopy(VE, LValue::MakeAddr(ArgPtr, 0)); 32721911e89SEli Friedman } 32821911e89SEli Friedman 3293be22e27SAnders Carlsson void AggExprEmitter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) { 3303be22e27SAnders Carlsson llvm::Value *Val = DestPtr; 3313be22e27SAnders Carlsson 3323be22e27SAnders Carlsson if (!Val) { 3333be22e27SAnders Carlsson // Create a temporary variable. 3343be22e27SAnders Carlsson Val = CGF.CreateTempAlloca(CGF.ConvertTypeForMem(E->getType()), "tmp"); 3353be22e27SAnders Carlsson 3363be22e27SAnders Carlsson // FIXME: volatile 3373be22e27SAnders Carlsson CGF.EmitAggExpr(E->getSubExpr(), Val, false); 3383be22e27SAnders Carlsson } else 3393be22e27SAnders Carlsson Visit(E->getSubExpr()); 3403be22e27SAnders Carlsson 3415b106a75SAnders Carlsson // Don't make this a live temporary if we're emitting an initializer expr. 3425b106a75SAnders Carlsson if (!IsInitializer) 3438eb93e72SAnders Carlsson CGF.PushCXXTemporary(E->getTemporary(), Val); 3443be22e27SAnders Carlsson } 3453be22e27SAnders Carlsson 346b7f8f594SAnders Carlsson void 3471619a504SAnders Carlsson AggExprEmitter::VisitCXXConstructExpr(const CXXConstructExpr *E) { 3483be22e27SAnders Carlsson llvm::Value *Val = DestPtr; 349b7f8f594SAnders Carlsson 3503be22e27SAnders Carlsson if (!Val) { 3513be22e27SAnders Carlsson // Create a temporary variable. 3523be22e27SAnders Carlsson Val = CGF.CreateTempAlloca(CGF.ConvertTypeForMem(E->getType()), "tmp"); 3533be22e27SAnders Carlsson } 3543be22e27SAnders Carlsson 3553be22e27SAnders Carlsson CGF.EmitCXXConstructExpr(Val, E); 356c82b86dfSAnders Carlsson } 357c82b86dfSAnders Carlsson 358c82b86dfSAnders Carlsson void AggExprEmitter::VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E) { 3595b106a75SAnders Carlsson CGF.EmitCXXExprWithTemporaries(E, DestPtr, VolatileDest, IsInitializer); 360b7f8f594SAnders Carlsson } 361b7f8f594SAnders Carlsson 362579a05d7SChris Lattner void AggExprEmitter::EmitInitializationToLValue(Expr* E, LValue LV) { 363df0fe27bSMike Stump // FIXME: Ignore result? 364579a05d7SChris Lattner // FIXME: Are initializers affected by volatile? 3650202cb40SDouglas Gregor if (isa<ImplicitValueInitExpr>(E)) { 366347f7eabSDouglas Gregor EmitNullInitializationToLValue(LV, E->getType()); 3670202cb40SDouglas Gregor } else if (E->getType()->isComplexType()) { 3680202cb40SDouglas Gregor CGF.EmitComplexExprIntoAddr(E, LV.getAddress(), false); 3696e313210SEli Friedman } else if (CGF.hasAggregateLLVMType(E->getType())) { 3706e313210SEli Friedman CGF.EmitAnyExpr(E, LV.getAddress(), false); 3716e313210SEli Friedman } else { 3726e313210SEli Friedman CGF.EmitStoreThroughLValue(CGF.EmitAnyExpr(E), LV, E->getType()); 3737a51313dSChris Lattner } 374579a05d7SChris Lattner } 375579a05d7SChris Lattner 376579a05d7SChris Lattner void AggExprEmitter::EmitNullInitializationToLValue(LValue LV, QualType T) { 377579a05d7SChris Lattner if (!CGF.hasAggregateLLVMType(T)) { 378579a05d7SChris Lattner // For non-aggregates, we can store zero 3790b75f23bSOwen Anderson llvm::Value *Null = llvm::Constant::getNullValue(CGF.ConvertType(T)); 380e8bdce44SDaniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(Null), LV, T); 381579a05d7SChris Lattner } else { 382579a05d7SChris Lattner // Otherwise, just memset the whole thing to zero. This is legal 383579a05d7SChris Lattner // because in LLVM, all default initializers are guaranteed to have a 384579a05d7SChris Lattner // bit pattern of all zeros. 38520bb5e02SEli Friedman // FIXME: That isn't true for member pointers! 386579a05d7SChris Lattner // There's a potential optimization opportunity in combining 387579a05d7SChris Lattner // memsets; that would be easy for arrays, but relatively 388579a05d7SChris Lattner // difficult for structures with the current code. 3899127aa1cSEli Friedman CGF.EmitMemSetToZero(LV.getAddress(), T); 390579a05d7SChris Lattner } 391579a05d7SChris Lattner } 392579a05d7SChris Lattner 393579a05d7SChris Lattner void AggExprEmitter::VisitInitListExpr(InitListExpr *E) { 394f5d08c9eSEli Friedman #if 0 395f5d08c9eSEli Friedman // FIXME: Disabled while we figure out what to do about 396f5d08c9eSEli Friedman // test/CodeGen/bitfield.c 397f5d08c9eSEli Friedman // 39818bb9284SMike Stump // If we can, prefer a copy from a global; this is a lot less code for long 39918bb9284SMike Stump // globals, and it's easier for the current optimizers to analyze. 40018bb9284SMike Stump // FIXME: Should we really be doing this? Should we try to avoid cases where 40118bb9284SMike Stump // we emit a global with a lot of zeros? Should we try to avoid short 40218bb9284SMike Stump // globals? 4037139af42SEli Friedman if (E->isConstantInitializer(CGF.getContext(), 0)) { 404c59bb48eSEli Friedman llvm::Constant* C = CGF.CGM.EmitConstantExpr(E, &CGF); 405c59bb48eSEli Friedman llvm::GlobalVariable* GV = 406c59bb48eSEli Friedman new llvm::GlobalVariable(C->getType(), true, 407c59bb48eSEli Friedman llvm::GlobalValue::InternalLinkage, 408c59bb48eSEli Friedman C, "", &CGF.CGM.getModule(), 0); 409ca9fc09cSMike Stump EmitFinalDestCopy(E, LValue::MakeAddr(GV, 0)); 410c59bb48eSEli Friedman return; 411c59bb48eSEli Friedman } 412f5d08c9eSEli Friedman #endif 413bf7207a1SDouglas Gregor if (E->hadArrayRangeDesignator()) { 414bf7207a1SDouglas Gregor CGF.ErrorUnsupported(E, "GNU array range designator extension"); 415bf7207a1SDouglas Gregor } 416bf7207a1SDouglas Gregor 417579a05d7SChris Lattner // Handle initialization of an array. 418579a05d7SChris Lattner if (E->getType()->isArrayType()) { 419579a05d7SChris Lattner const llvm::PointerType *APType = 420579a05d7SChris Lattner cast<llvm::PointerType>(DestPtr->getType()); 421579a05d7SChris Lattner const llvm::ArrayType *AType = 422579a05d7SChris Lattner cast<llvm::ArrayType>(APType->getElementType()); 423579a05d7SChris Lattner 424579a05d7SChris Lattner uint64_t NumInitElements = E->getNumInits(); 425f23b6fa4SEli Friedman 4260f398c44SChris Lattner if (E->getNumInits() > 0) { 4270f398c44SChris Lattner QualType T1 = E->getType(); 4280f398c44SChris Lattner QualType T2 = E->getInit(0)->getType(); 4292a69547fSEli Friedman if (CGF.getContext().hasSameUnqualifiedType(T1, T2)) { 430f23b6fa4SEli Friedman EmitAggLoadOfLValue(E->getInit(0)); 431f23b6fa4SEli Friedman return; 432f23b6fa4SEli Friedman } 4330f398c44SChris Lattner } 434f23b6fa4SEli Friedman 435579a05d7SChris Lattner uint64_t NumArrayElements = AType->getNumElements(); 4367adf0760SChris Lattner QualType ElementType = CGF.getContext().getCanonicalType(E->getType()); 4377adf0760SChris Lattner ElementType = CGF.getContext().getAsArrayType(ElementType)->getElementType(); 438579a05d7SChris Lattner 4397adf0760SChris Lattner unsigned CVRqualifier = ElementType.getCVRQualifiers(); 440327944b3SEli Friedman 441579a05d7SChris Lattner for (uint64_t i = 0; i != NumArrayElements; ++i) { 442579a05d7SChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 443579a05d7SChris Lattner if (i < NumInitElements) 444327944b3SEli Friedman EmitInitializationToLValue(E->getInit(i), 445327944b3SEli Friedman LValue::MakeAddr(NextVal, CVRqualifier)); 446579a05d7SChris Lattner else 447327944b3SEli Friedman EmitNullInitializationToLValue(LValue::MakeAddr(NextVal, CVRqualifier), 448579a05d7SChris Lattner ElementType); 449579a05d7SChris Lattner } 450579a05d7SChris Lattner return; 451579a05d7SChris Lattner } 452579a05d7SChris Lattner 453579a05d7SChris Lattner assert(E->getType()->isRecordType() && "Only support structs/unions here!"); 454579a05d7SChris Lattner 455579a05d7SChris Lattner // Do struct initialization; this code just sets each individual member 456579a05d7SChris Lattner // to the approprate value. This makes bitfield support automatic; 457579a05d7SChris Lattner // the disadvantage is that the generated code is more difficult for 458579a05d7SChris Lattner // the optimizer, especially with bitfields. 459579a05d7SChris Lattner unsigned NumInitElements = E->getNumInits(); 460c23c7e6aSTed Kremenek RecordDecl *SD = E->getType()->getAs<RecordType>()->getDecl(); 461579a05d7SChris Lattner unsigned CurInitVal = 0; 4625169570eSDouglas Gregor 4635169570eSDouglas Gregor if (E->getType()->isUnionType()) { 4645169570eSDouglas Gregor // Only initialize one field of a union. The field itself is 4655169570eSDouglas Gregor // specified by the initializer list. 4665169570eSDouglas Gregor if (!E->getInitializedFieldInUnion()) { 4675169570eSDouglas Gregor // Empty union; we have nothing to do. 4685169570eSDouglas Gregor 4695169570eSDouglas Gregor #ifndef NDEBUG 4705169570eSDouglas Gregor // Make sure that it's really an empty and not a failure of 4715169570eSDouglas Gregor // semantic analysis. 472cfbfe78eSArgyrios Kyrtzidis for (RecordDecl::field_iterator Field = SD->field_begin(), 473cfbfe78eSArgyrios Kyrtzidis FieldEnd = SD->field_end(); 4745169570eSDouglas Gregor Field != FieldEnd; ++Field) 4755169570eSDouglas Gregor assert(Field->isUnnamedBitfield() && "Only unnamed bitfields allowed"); 4765169570eSDouglas Gregor #endif 4775169570eSDouglas Gregor return; 4785169570eSDouglas Gregor } 4795169570eSDouglas Gregor 4805169570eSDouglas Gregor // FIXME: volatility 4815169570eSDouglas Gregor FieldDecl *Field = E->getInitializedFieldInUnion(); 4825169570eSDouglas Gregor LValue FieldLoc = CGF.EmitLValueForField(DestPtr, Field, true, 0); 4835169570eSDouglas Gregor 4845169570eSDouglas Gregor if (NumInitElements) { 4855169570eSDouglas Gregor // Store the initializer into the field 4865169570eSDouglas Gregor EmitInitializationToLValue(E->getInit(0), FieldLoc); 4875169570eSDouglas Gregor } else { 4885169570eSDouglas Gregor // Default-initialize to null 4895169570eSDouglas Gregor EmitNullInitializationToLValue(FieldLoc, Field->getType()); 4905169570eSDouglas Gregor } 4915169570eSDouglas Gregor 4925169570eSDouglas Gregor return; 4935169570eSDouglas Gregor } 494579a05d7SChris Lattner 495579a05d7SChris Lattner // Here we iterate over the fields; this makes it simpler to both 496579a05d7SChris Lattner // default-initialize fields and skip over unnamed fields. 497cfbfe78eSArgyrios Kyrtzidis for (RecordDecl::field_iterator Field = SD->field_begin(), 498cfbfe78eSArgyrios Kyrtzidis FieldEnd = SD->field_end(); 49991f84216SDouglas Gregor Field != FieldEnd; ++Field) { 50091f84216SDouglas Gregor // We're done once we hit the flexible array member 50191f84216SDouglas Gregor if (Field->getType()->isIncompleteArrayType()) 50291f84216SDouglas Gregor break; 50391f84216SDouglas Gregor 50417bd094aSDouglas Gregor if (Field->isUnnamedBitfield()) 505579a05d7SChris Lattner continue; 50617bd094aSDouglas Gregor 507327944b3SEli Friedman // FIXME: volatility 5085169570eSDouglas Gregor LValue FieldLoc = CGF.EmitLValueForField(DestPtr, *Field, false, 0); 5097c1baf46SFariborz Jahanian // We never generate write-barries for initialized fields. 5107c1baf46SFariborz Jahanian LValue::SetObjCNonGC(FieldLoc, true); 511579a05d7SChris Lattner if (CurInitVal < NumInitElements) { 512579a05d7SChris Lattner // Store the initializer into the field 513579a05d7SChris Lattner EmitInitializationToLValue(E->getInit(CurInitVal++), FieldLoc); 514579a05d7SChris Lattner } else { 515579a05d7SChris Lattner // We're out of initalizers; default-initialize to null 51691f84216SDouglas Gregor EmitNullInitializationToLValue(FieldLoc, Field->getType()); 517579a05d7SChris Lattner } 5187a51313dSChris Lattner } 5197a51313dSChris Lattner } 5207a51313dSChris Lattner 5217a51313dSChris Lattner //===----------------------------------------------------------------------===// 5227a51313dSChris Lattner // Entry Points into this File 5237a51313dSChris Lattner //===----------------------------------------------------------------------===// 5247a51313dSChris Lattner 52525306cacSMike Stump /// EmitAggExpr - Emit the computation of the specified expression of aggregate 52625306cacSMike Stump /// type. The result is computed into DestPtr. Note that if DestPtr is null, 52725306cacSMike Stump /// the value of the aggregate expression is not needed. If VolatileDest is 52825306cacSMike Stump /// true, DestPtr cannot be 0. 5297a51313dSChris Lattner void CodeGenFunction::EmitAggExpr(const Expr *E, llvm::Value *DestPtr, 5305b106a75SAnders Carlsson bool VolatileDest, bool IgnoreResult, 531*879d7266SFariborz Jahanian bool IsInitializer, 532*879d7266SFariborz Jahanian bool RequiresGCollection) { 5337a51313dSChris Lattner assert(E && hasAggregateLLVMType(E->getType()) && 5347a51313dSChris Lattner "Invalid aggregate expression to emit"); 53525306cacSMike Stump assert ((DestPtr != 0 || VolatileDest == false) 53625306cacSMike Stump && "volatile aggregate can't be 0"); 5377a51313dSChris Lattner 538*879d7266SFariborz Jahanian AggExprEmitter(*this, DestPtr, VolatileDest, IgnoreResult, IsInitializer, 539*879d7266SFariborz Jahanian RequiresGCollection) 540ec3cbfe8SMike Stump .Visit(const_cast<Expr*>(E)); 5417a51313dSChris Lattner } 5420bc8e86dSDaniel Dunbar 5430bc8e86dSDaniel Dunbar void CodeGenFunction::EmitAggregateClear(llvm::Value *DestPtr, QualType Ty) { 5440bc8e86dSDaniel Dunbar assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex"); 5450bc8e86dSDaniel Dunbar 5460bc8e86dSDaniel Dunbar EmitMemSetToZero(DestPtr, Ty); 5470bc8e86dSDaniel Dunbar } 5480bc8e86dSDaniel Dunbar 5490bc8e86dSDaniel Dunbar void CodeGenFunction::EmitAggregateCopy(llvm::Value *DestPtr, 5505e9e61b8SMike Stump llvm::Value *SrcPtr, QualType Ty, 5515e9e61b8SMike Stump bool isVolatile) { 5520bc8e86dSDaniel Dunbar assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex"); 5530bc8e86dSDaniel Dunbar 554ca05dfefSChris Lattner // Aggregate assignment turns into llvm.memcpy. This is almost valid per 5553ef668c2SChris Lattner // C99 6.5.16.1p3, which states "If the value being stored in an object is 5563ef668c2SChris Lattner // read from another object that overlaps in anyway the storage of the first 5573ef668c2SChris Lattner // object, then the overlap shall be exact and the two objects shall have 5583ef668c2SChris Lattner // qualified or unqualified versions of a compatible type." 5593ef668c2SChris Lattner // 560ca05dfefSChris Lattner // memcpy is not defined if the source and destination pointers are exactly 5613ef668c2SChris Lattner // equal, but other compilers do this optimization, and almost every memcpy 5623ef668c2SChris Lattner // implementation handles this case safely. If there is a libc that does not 5633ef668c2SChris Lattner // safely handle this, we can add a target hook. 56441a75027SOwen Anderson const llvm::Type *BP = 56541a75027SOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 5660bc8e86dSDaniel Dunbar if (DestPtr->getType() != BP) 5670bc8e86dSDaniel Dunbar DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 5680bc8e86dSDaniel Dunbar if (SrcPtr->getType() != BP) 5690bc8e86dSDaniel Dunbar SrcPtr = Builder.CreateBitCast(SrcPtr, BP, "tmp"); 5700bc8e86dSDaniel Dunbar 5710bc8e86dSDaniel Dunbar // Get size and alignment info for this aggregate. 5720bc8e86dSDaniel Dunbar std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty); 5730bc8e86dSDaniel Dunbar 5740bc8e86dSDaniel Dunbar // FIXME: Handle variable sized types. 57541a75027SOwen Anderson const llvm::Type *IntPtr = 57641a75027SOwen Anderson llvm::IntegerType::get(VMContext, LLVMPointerWidth); 5770bc8e86dSDaniel Dunbar 57886736572SMike Stump // FIXME: If we have a volatile struct, the optimizer can remove what might 57986736572SMike Stump // appear to be `extra' memory ops: 58086736572SMike Stump // 58186736572SMike Stump // volatile struct { int i; } a, b; 58286736572SMike Stump // 58386736572SMike Stump // int main() { 58486736572SMike Stump // a = b; 58586736572SMike Stump // a = b; 58686736572SMike Stump // } 58786736572SMike Stump // 588ec3cbfe8SMike Stump // we need to use a differnt call here. We use isVolatile to indicate when 589ec3cbfe8SMike Stump // either the source or the destination is volatile. 5903ef668c2SChris Lattner Builder.CreateCall4(CGM.getMemCpyFn(), 5910bc8e86dSDaniel Dunbar DestPtr, SrcPtr, 5920bc8e86dSDaniel Dunbar // TypeInfo.first describes size in bits. 593b7a2fe6fSOwen Anderson llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 59441a75027SOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 5950bc8e86dSDaniel Dunbar TypeInfo.second/8)); 5960bc8e86dSDaniel Dunbar } 597