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; 407a51313dSChris Lattner public: 413e97f3b3SMike Stump AggExprEmitter(CodeGenFunction &cgf, llvm::Value *destPtr, bool v, 425b106a75SAnders Carlsson bool ignore, bool isinit) 437a51313dSChris Lattner : CGF(cgf), Builder(CGF.Builder), 445b106a75SAnders Carlsson DestPtr(destPtr), VolatileDest(v), IgnoreResult(ignore), 455b106a75SAnders Carlsson IsInitializer(isinit) { 467a51313dSChris Lattner } 477a51313dSChris Lattner 487a51313dSChris Lattner //===--------------------------------------------------------------------===// 497a51313dSChris Lattner // Utilities 507a51313dSChris Lattner //===--------------------------------------------------------------------===// 517a51313dSChris Lattner 527a51313dSChris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that 537a51313dSChris Lattner /// represents a value lvalue, this method emits the address of the lvalue, 547a51313dSChris Lattner /// then loads the result into DestPtr. 557a51313dSChris Lattner void EmitAggLoadOfLValue(const Expr *E); 567a51313dSChris Lattner 57ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired. 58ec3cbfe8SMike Stump void EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore = false); 59ec3cbfe8SMike Stump void EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore = false); 60ca9fc09cSMike Stump 617a51313dSChris Lattner //===--------------------------------------------------------------------===// 627a51313dSChris Lattner // Visitor Methods 637a51313dSChris Lattner //===--------------------------------------------------------------------===// 647a51313dSChris Lattner 657a51313dSChris Lattner void VisitStmt(Stmt *S) { 66a7c8cf62SDaniel Dunbar CGF.ErrorUnsupported(S, "aggregate expression"); 677a51313dSChris Lattner } 687a51313dSChris Lattner void VisitParenExpr(ParenExpr *PE) { Visit(PE->getSubExpr()); } 693f66b84cSEli Friedman void VisitUnaryExtension(UnaryOperator *E) { Visit(E->getSubExpr()); } 707a51313dSChris Lattner 717a51313dSChris Lattner // l-values. 727a51313dSChris Lattner void VisitDeclRefExpr(DeclRefExpr *DRE) { EmitAggLoadOfLValue(DRE); } 737a51313dSChris Lattner void VisitMemberExpr(MemberExpr *ME) { EmitAggLoadOfLValue(ME); } 747a51313dSChris Lattner void VisitUnaryDeref(UnaryOperator *E) { EmitAggLoadOfLValue(E); } 757a51313dSChris Lattner void VisitStringLiteral(StringLiteral *E) { EmitAggLoadOfLValue(E); } 762f343dd5SChris Lattner void VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 772f343dd5SChris Lattner EmitAggLoadOfLValue(E); 782f343dd5SChris Lattner } 797a51313dSChris Lattner void VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 807a51313dSChris Lattner EmitAggLoadOfLValue(E); 817a51313dSChris Lattner } 822f343dd5SChris Lattner void VisitBlockDeclRefExpr(const BlockDeclRefExpr *E) { 832f343dd5SChris Lattner EmitAggLoadOfLValue(E); 842f343dd5SChris Lattner } 852f343dd5SChris Lattner void VisitPredefinedExpr(const PredefinedExpr *E) { 862f343dd5SChris Lattner EmitAggLoadOfLValue(E); 872f343dd5SChris Lattner } 88bc7d67ceSMike Stump 897a51313dSChris Lattner // Operators. 90ec143777SAnders Carlsson void VisitCastExpr(CastExpr *E); 917a51313dSChris Lattner void VisitCallExpr(const CallExpr *E); 927a51313dSChris Lattner void VisitStmtExpr(const StmtExpr *E); 937a51313dSChris Lattner void VisitBinaryOperator(const BinaryOperator *BO); 947a51313dSChris Lattner void VisitBinAssign(const BinaryOperator *E); 954b0e2a30SEli Friedman void VisitBinComma(const BinaryOperator *E); 967a51313dSChris Lattner 97b1d329daSChris Lattner void VisitObjCMessageExpr(ObjCMessageExpr *E); 98c8317a44SDaniel Dunbar void VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 99c8317a44SDaniel Dunbar EmitAggLoadOfLValue(E); 100c8317a44SDaniel Dunbar } 10155310df7SDaniel Dunbar void VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E); 1029a846659SFariborz Jahanian void VisitObjCImplicitSetterGetterRefExpr(ObjCImplicitSetterGetterRefExpr *E); 1037a51313dSChris Lattner 1047a51313dSChris Lattner void VisitConditionalOperator(const ConditionalOperator *CO); 1055b2095ceSAnders Carlsson void VisitChooseExpr(const ChooseExpr *CE); 1067a51313dSChris Lattner void VisitInitListExpr(InitListExpr *E); 107aa9c7aedSChris Lattner void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 108aa9c7aedSChris Lattner Visit(DAE->getExpr()); 109aa9c7aedSChris Lattner } 1103be22e27SAnders Carlsson void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E); 1111619a504SAnders Carlsson void VisitCXXConstructExpr(const CXXConstructExpr *E); 112c82b86dfSAnders Carlsson void VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E); 113c82b86dfSAnders Carlsson 11421911e89SEli Friedman void VisitVAArgExpr(VAArgExpr *E); 115579a05d7SChris Lattner 116579a05d7SChris Lattner void EmitInitializationToLValue(Expr *E, LValue Address); 117579a05d7SChris Lattner void EmitNullInitializationToLValue(LValue Address, QualType T); 1187a51313dSChris Lattner // case Expr::ChooseExprClass: 1197a51313dSChris Lattner 1207a51313dSChris Lattner }; 1217a51313dSChris Lattner } // end anonymous namespace. 1227a51313dSChris Lattner 1237a51313dSChris Lattner //===----------------------------------------------------------------------===// 1247a51313dSChris Lattner // Utilities 1257a51313dSChris Lattner //===----------------------------------------------------------------------===// 1267a51313dSChris Lattner 1277a51313dSChris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that 1287a51313dSChris Lattner /// represents a value lvalue, this method emits the address of the lvalue, 1297a51313dSChris Lattner /// then loads the result into DestPtr. 1307a51313dSChris Lattner void AggExprEmitter::EmitAggLoadOfLValue(const Expr *E) { 1317a51313dSChris Lattner LValue LV = CGF.EmitLValue(E); 132ca9fc09cSMike Stump EmitFinalDestCopy(E, LV); 133ca9fc09cSMike Stump } 134ca9fc09cSMike Stump 135ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired. 136ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, RValue Src, bool Ignore) { 137ca9fc09cSMike Stump assert(Src.isAggregate() && "value must be aggregate value!"); 1387a51313dSChris Lattner 1397a51313dSChris Lattner // If the result is ignored, don't copy from the value. 140332ec2ceSMike Stump if (DestPtr == 0) { 141ec3cbfe8SMike Stump if (!Src.isVolatileQualified() || (IgnoreResult && Ignore)) 142ec3cbfe8SMike Stump return; 143332ec2ceSMike Stump // If the source is volatile, we must read from it; to do that, we need 144332ec2ceSMike Stump // some place to put it. 145332ec2ceSMike Stump DestPtr = CGF.CreateTempAlloca(CGF.ConvertType(E->getType()), "agg.tmp"); 146332ec2ceSMike Stump } 1477a51313dSChris Lattner 148ca9fc09cSMike Stump // If the result of the assignment is used, copy the LHS there also. 149ca9fc09cSMike Stump // FIXME: Pass VolatileDest as well. I think we also need to merge volatile 150ca9fc09cSMike Stump // from the source as well, as we can't eliminate it if either operand 151ca9fc09cSMike Stump // is volatile, unless copy has volatile for both source and destination.. 1525e9e61b8SMike Stump CGF.EmitAggregateCopy(DestPtr, Src.getAggregateAddr(), E->getType(), 1535e9e61b8SMike Stump VolatileDest|Src.isVolatileQualified()); 154ca9fc09cSMike Stump } 155ca9fc09cSMike Stump 156ca9fc09cSMike Stump /// EmitFinalDestCopy - Perform the final copy to DestPtr, if desired. 157ec3cbfe8SMike Stump void AggExprEmitter::EmitFinalDestCopy(const Expr *E, LValue Src, bool Ignore) { 158ca9fc09cSMike Stump assert(Src.isSimple() && "Can't have aggregate bitfield, vector, etc"); 159ca9fc09cSMike Stump 160ca9fc09cSMike Stump EmitFinalDestCopy(E, RValue::getAggregate(Src.getAddress(), 161ec3cbfe8SMike Stump Src.isVolatileQualified()), 162ec3cbfe8SMike Stump Ignore); 1637a51313dSChris Lattner } 1647a51313dSChris Lattner 1657a51313dSChris Lattner //===----------------------------------------------------------------------===// 1667a51313dSChris Lattner // Visitor Methods 1677a51313dSChris Lattner //===----------------------------------------------------------------------===// 1687a51313dSChris Lattner 169ec143777SAnders Carlsson void AggExprEmitter::VisitCastExpr(CastExpr *E) { 170ec143777SAnders Carlsson if (E->getCastKind() == CastExpr::CK_ToUnion) { 1717ffcf93bSNuno Lopes // GCC union extension 172dd274848SEli Friedman QualType PtrTy = 173dd274848SEli Friedman CGF.getContext().getPointerType(E->getSubExpr()->getType()); 174dd274848SEli Friedman llvm::Value *CastPtr = Builder.CreateBitCast(DestPtr, 175dd274848SEli Friedman CGF.ConvertType(PtrTy)); 176acedf776SMon P Wang EmitInitializationToLValue(E->getSubExpr(), 177acedf776SMon P Wang LValue::MakeAddr(CastPtr, 0)); 1787ffcf93bSNuno Lopes return; 1797ffcf93bSNuno Lopes } 180*c71f094cSFariborz Jahanian if (E->getCastKind() == CastExpr::CK_UserDefinedConversion) { 181*c71f094cSFariborz Jahanian CXXFunctionalCastExpr *CXXFExpr = cast<CXXFunctionalCastExpr>(E); 182*c71f094cSFariborz Jahanian CGF.EmitCXXFunctionalCastExpr(CXXFExpr); 183*c71f094cSFariborz Jahanian return; 184*c71f094cSFariborz Jahanian } 1857ffcf93bSNuno Lopes 186ec143777SAnders Carlsson // FIXME: Remove the CK_Unknown check here. 187ec143777SAnders Carlsson assert((E->getCastKind() == CastExpr::CK_NoOp || 188ec143777SAnders Carlsson E->getCastKind() == CastExpr::CK_Unknown) && 189ec143777SAnders Carlsson "Only no-op casts allowed!"); 1902a69547fSEli Friedman assert(CGF.getContext().hasSameUnqualifiedType(E->getSubExpr()->getType(), 1912a69547fSEli Friedman E->getType()) && 1920f398c44SChris Lattner "Implicit cast types must be compatible"); 1937a51313dSChris Lattner Visit(E->getSubExpr()); 1947a51313dSChris Lattner } 1957a51313dSChris Lattner 1960f398c44SChris Lattner void AggExprEmitter::VisitCallExpr(const CallExpr *E) { 197ddcbfe7bSAnders Carlsson if (E->getCallReturnType()->isReferenceType()) { 198ddcbfe7bSAnders Carlsson EmitAggLoadOfLValue(E); 199ddcbfe7bSAnders Carlsson return; 200ddcbfe7bSAnders Carlsson } 201ddcbfe7bSAnders Carlsson 2027a51313dSChris Lattner RValue RV = CGF.EmitCallExpr(E); 203ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 2047a51313dSChris Lattner } 2050f398c44SChris Lattner 2060f398c44SChris Lattner void AggExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) { 20797db84ceSDaniel Dunbar RValue RV = CGF.EmitObjCMessageExpr(E); 208ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 209b1d329daSChris Lattner } 2107a51313dSChris Lattner 21155310df7SDaniel Dunbar void AggExprEmitter::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { 21255310df7SDaniel Dunbar RValue RV = CGF.EmitObjCPropertyGet(E); 213ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 21455310df7SDaniel Dunbar } 21555310df7SDaniel Dunbar 2169a846659SFariborz Jahanian void AggExprEmitter::VisitObjCImplicitSetterGetterRefExpr( 2179a846659SFariborz Jahanian ObjCImplicitSetterGetterRefExpr *E) { 2188a1810f0SFariborz Jahanian RValue RV = CGF.EmitObjCPropertyGet(E); 219ca9fc09cSMike Stump EmitFinalDestCopy(E, RV); 2208a1810f0SFariborz Jahanian } 2218a1810f0SFariborz Jahanian 2220f398c44SChris Lattner void AggExprEmitter::VisitBinComma(const BinaryOperator *E) { 223df0fe27bSMike Stump CGF.EmitAnyExpr(E->getLHS(), 0, false, true); 2245b106a75SAnders Carlsson CGF.EmitAggExpr(E->getRHS(), DestPtr, VolatileDest, 2255b106a75SAnders Carlsson /*IgnoreResult=*/false, IsInitializer); 2264b0e2a30SEli Friedman } 2274b0e2a30SEli Friedman 2287a51313dSChris Lattner void AggExprEmitter::VisitStmtExpr(const StmtExpr *E) { 2297a51313dSChris Lattner CGF.EmitCompoundStmt(*E->getSubStmt(), true, DestPtr, VolatileDest); 2307a51313dSChris Lattner } 2317a51313dSChris Lattner 2327a51313dSChris Lattner void AggExprEmitter::VisitBinaryOperator(const BinaryOperator *E) { 233a7c8cf62SDaniel Dunbar CGF.ErrorUnsupported(E, "aggregate binary expression"); 2347a51313dSChris Lattner } 2357a51313dSChris Lattner 2367a51313dSChris Lattner void AggExprEmitter::VisitBinAssign(const BinaryOperator *E) { 2377a51313dSChris Lattner // For an assignment to work, the value on the right has 2387a51313dSChris Lattner // to be compatible with the value on the left. 2392a69547fSEli Friedman assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(), 2402a69547fSEli Friedman E->getRHS()->getType()) 2417a51313dSChris Lattner && "Invalid assignment"); 2427a51313dSChris Lattner LValue LHS = CGF.EmitLValue(E->getLHS()); 2437a51313dSChris Lattner 2444b8c6db9SDaniel Dunbar // We have to special case property setters, otherwise we must have 2454b8c6db9SDaniel Dunbar // a simple lvalue (no aggregates inside vectors, bitfields). 2464b8c6db9SDaniel Dunbar if (LHS.isPropertyRef()) { 2474b8c6db9SDaniel Dunbar llvm::Value *AggLoc = DestPtr; 2484b8c6db9SDaniel Dunbar if (!AggLoc) 2494b8c6db9SDaniel Dunbar AggLoc = CGF.CreateTempAlloca(CGF.ConvertType(E->getRHS()->getType())); 2509afc476dSMike Stump CGF.EmitAggExpr(E->getRHS(), AggLoc, VolatileDest); 2514b8c6db9SDaniel Dunbar CGF.EmitObjCPropertySet(LHS.getPropertyRefExpr(), 2529afc476dSMike Stump RValue::getAggregate(AggLoc, VolatileDest)); 253658fe02dSMike Stump } else if (LHS.isKVCRef()) { 2549ac53516SFariborz Jahanian llvm::Value *AggLoc = DestPtr; 2559ac53516SFariborz Jahanian if (!AggLoc) 2569ac53516SFariborz Jahanian AggLoc = CGF.CreateTempAlloca(CGF.ConvertType(E->getRHS()->getType())); 257b9f25186SMike Stump CGF.EmitAggExpr(E->getRHS(), AggLoc, VolatileDest); 2589ac53516SFariborz Jahanian CGF.EmitObjCPropertySet(LHS.getKVCRefExpr(), 259b9f25186SMike Stump RValue::getAggregate(AggLoc, VolatileDest)); 2604b8c6db9SDaniel Dunbar } else { 2615f21d2f6SFariborz Jahanian if (CGF.getContext().getLangOptions().NeXTRuntime) { 2625f21d2f6SFariborz Jahanian QualType LHSTy = E->getLHS()->getType(); 263c23c7e6aSTed Kremenek if (const RecordType *FDTTy = LHSTy.getTypePtr()->getAs<RecordType>()) 2645f21d2f6SFariborz Jahanian if (FDTTy->getDecl()->hasObjectMember()) { 2655f21d2f6SFariborz Jahanian LValue RHS = CGF.EmitLValue(E->getRHS()); 2665f21d2f6SFariborz Jahanian CGF.CGM.getObjCRuntime().EmitGCMemmoveCollectable(CGF, LHS.getAddress(), 2675f21d2f6SFariborz Jahanian RHS.getAddress(), 2685f21d2f6SFariborz Jahanian CGF.getContext().getTypeSize(LHSTy) / 8); 2695f21d2f6SFariborz Jahanian return; 2705f21d2f6SFariborz Jahanian } 2715f21d2f6SFariborz Jahanian } 2727a51313dSChris Lattner // Codegen the RHS so that it stores directly into the LHS. 27386736572SMike Stump CGF.EmitAggExpr(E->getRHS(), LHS.getAddress(), LHS.isVolatileQualified()); 274ec3cbfe8SMike Stump EmitFinalDestCopy(E, LHS, true); 2757a51313dSChris Lattner } 2764b8c6db9SDaniel Dunbar } 2777a51313dSChris Lattner 2787a51313dSChris Lattner void AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) { 279a612e79bSDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 280a612e79bSDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 281a612e79bSDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 2827a51313dSChris Lattner 2837a51313dSChris Lattner llvm::Value *Cond = CGF.EvaluateExprAsBool(E->getCond()); 2847a51313dSChris Lattner Builder.CreateCondBr(Cond, LHSBlock, RHSBlock); 2857a51313dSChris Lattner 28643c52cdcSAnders Carlsson CGF.PushConditionalTempDestruction(); 2877a51313dSChris Lattner CGF.EmitBlock(LHSBlock); 2887a51313dSChris Lattner 2897a51313dSChris Lattner // Handle the GNU extension for missing LHS. 2907a51313dSChris Lattner assert(E->getLHS() && "Must have LHS for aggregate value"); 2917a51313dSChris Lattner 2927a51313dSChris Lattner Visit(E->getLHS()); 29343c52cdcSAnders Carlsson CGF.PopConditionalTempDestruction(); 294c56e6764SDaniel Dunbar CGF.EmitBranch(ContBlock); 2957a51313dSChris Lattner 29643c52cdcSAnders Carlsson CGF.PushConditionalTempDestruction(); 2977a51313dSChris Lattner CGF.EmitBlock(RHSBlock); 2987a51313dSChris Lattner 2997a51313dSChris Lattner Visit(E->getRHS()); 30043c52cdcSAnders Carlsson CGF.PopConditionalTempDestruction(); 301c56e6764SDaniel Dunbar CGF.EmitBranch(ContBlock); 3027a51313dSChris Lattner 3037a51313dSChris Lattner CGF.EmitBlock(ContBlock); 3047a51313dSChris Lattner } 3057a51313dSChris Lattner 3065b2095ceSAnders Carlsson void AggExprEmitter::VisitChooseExpr(const ChooseExpr *CE) { 3075b2095ceSAnders Carlsson Visit(CE->getChosenSubExpr(CGF.getContext())); 3085b2095ceSAnders Carlsson } 3095b2095ceSAnders Carlsson 31021911e89SEli Friedman void AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 311e9fcadd2SDaniel Dunbar llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); 31213abd7e9SAnders Carlsson llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); 31313abd7e9SAnders Carlsson 314020cddcfSSebastian Redl if (!ArgPtr) { 31513abd7e9SAnders Carlsson CGF.ErrorUnsupported(VE, "aggregate va_arg expression"); 316020cddcfSSebastian Redl return; 317020cddcfSSebastian Redl } 31813abd7e9SAnders Carlsson 319ca9fc09cSMike Stump EmitFinalDestCopy(VE, LValue::MakeAddr(ArgPtr, 0)); 32021911e89SEli Friedman } 32121911e89SEli Friedman 3223be22e27SAnders Carlsson void AggExprEmitter::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) { 3233be22e27SAnders Carlsson llvm::Value *Val = DestPtr; 3243be22e27SAnders Carlsson 3253be22e27SAnders Carlsson if (!Val) { 3263be22e27SAnders Carlsson // Create a temporary variable. 3273be22e27SAnders Carlsson Val = CGF.CreateTempAlloca(CGF.ConvertTypeForMem(E->getType()), "tmp"); 3283be22e27SAnders Carlsson 3293be22e27SAnders Carlsson // FIXME: volatile 3303be22e27SAnders Carlsson CGF.EmitAggExpr(E->getSubExpr(), Val, false); 3313be22e27SAnders Carlsson } else 3323be22e27SAnders Carlsson Visit(E->getSubExpr()); 3333be22e27SAnders Carlsson 3345b106a75SAnders Carlsson // Don't make this a live temporary if we're emitting an initializer expr. 3355b106a75SAnders Carlsson if (!IsInitializer) 3368eb93e72SAnders Carlsson CGF.PushCXXTemporary(E->getTemporary(), Val); 3373be22e27SAnders Carlsson } 3383be22e27SAnders Carlsson 339b7f8f594SAnders Carlsson void 3401619a504SAnders Carlsson AggExprEmitter::VisitCXXConstructExpr(const CXXConstructExpr *E) { 3413be22e27SAnders Carlsson llvm::Value *Val = DestPtr; 342b7f8f594SAnders Carlsson 3433be22e27SAnders Carlsson if (!Val) { 3443be22e27SAnders Carlsson // Create a temporary variable. 3453be22e27SAnders Carlsson Val = CGF.CreateTempAlloca(CGF.ConvertTypeForMem(E->getType()), "tmp"); 3463be22e27SAnders Carlsson } 3473be22e27SAnders Carlsson 3483be22e27SAnders Carlsson CGF.EmitCXXConstructExpr(Val, E); 349c82b86dfSAnders Carlsson } 350c82b86dfSAnders Carlsson 351c82b86dfSAnders Carlsson void AggExprEmitter::VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E) { 3525b106a75SAnders Carlsson CGF.EmitCXXExprWithTemporaries(E, DestPtr, VolatileDest, IsInitializer); 353b7f8f594SAnders Carlsson } 354b7f8f594SAnders Carlsson 355579a05d7SChris Lattner void AggExprEmitter::EmitInitializationToLValue(Expr* E, LValue LV) { 356df0fe27bSMike Stump // FIXME: Ignore result? 357579a05d7SChris Lattner // FIXME: Are initializers affected by volatile? 3580202cb40SDouglas Gregor if (isa<ImplicitValueInitExpr>(E)) { 359347f7eabSDouglas Gregor EmitNullInitializationToLValue(LV, E->getType()); 3600202cb40SDouglas Gregor } else if (E->getType()->isComplexType()) { 3610202cb40SDouglas Gregor CGF.EmitComplexExprIntoAddr(E, LV.getAddress(), false); 3626e313210SEli Friedman } else if (CGF.hasAggregateLLVMType(E->getType())) { 3636e313210SEli Friedman CGF.EmitAnyExpr(E, LV.getAddress(), false); 3646e313210SEli Friedman } else { 3656e313210SEli Friedman CGF.EmitStoreThroughLValue(CGF.EmitAnyExpr(E), LV, E->getType()); 3667a51313dSChris Lattner } 367579a05d7SChris Lattner } 368579a05d7SChris Lattner 369579a05d7SChris Lattner void AggExprEmitter::EmitNullInitializationToLValue(LValue LV, QualType T) { 370579a05d7SChris Lattner if (!CGF.hasAggregateLLVMType(T)) { 371579a05d7SChris Lattner // For non-aggregates, we can store zero 3720b75f23bSOwen Anderson llvm::Value *Null = llvm::Constant::getNullValue(CGF.ConvertType(T)); 373e8bdce44SDaniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(Null), LV, T); 374579a05d7SChris Lattner } else { 375579a05d7SChris Lattner // Otherwise, just memset the whole thing to zero. This is legal 376579a05d7SChris Lattner // because in LLVM, all default initializers are guaranteed to have a 377579a05d7SChris Lattner // bit pattern of all zeros. 37820bb5e02SEli Friedman // FIXME: That isn't true for member pointers! 379579a05d7SChris Lattner // There's a potential optimization opportunity in combining 380579a05d7SChris Lattner // memsets; that would be easy for arrays, but relatively 381579a05d7SChris Lattner // difficult for structures with the current code. 3829127aa1cSEli Friedman CGF.EmitMemSetToZero(LV.getAddress(), T); 383579a05d7SChris Lattner } 384579a05d7SChris Lattner } 385579a05d7SChris Lattner 386579a05d7SChris Lattner void AggExprEmitter::VisitInitListExpr(InitListExpr *E) { 387f5d08c9eSEli Friedman #if 0 388f5d08c9eSEli Friedman // FIXME: Disabled while we figure out what to do about 389f5d08c9eSEli Friedman // test/CodeGen/bitfield.c 390f5d08c9eSEli Friedman // 39118bb9284SMike Stump // If we can, prefer a copy from a global; this is a lot less code for long 39218bb9284SMike Stump // globals, and it's easier for the current optimizers to analyze. 39318bb9284SMike Stump // FIXME: Should we really be doing this? Should we try to avoid cases where 39418bb9284SMike Stump // we emit a global with a lot of zeros? Should we try to avoid short 39518bb9284SMike Stump // globals? 3967139af42SEli Friedman if (E->isConstantInitializer(CGF.getContext(), 0)) { 397c59bb48eSEli Friedman llvm::Constant* C = CGF.CGM.EmitConstantExpr(E, &CGF); 398c59bb48eSEli Friedman llvm::GlobalVariable* GV = 399c59bb48eSEli Friedman new llvm::GlobalVariable(C->getType(), true, 400c59bb48eSEli Friedman llvm::GlobalValue::InternalLinkage, 401c59bb48eSEli Friedman C, "", &CGF.CGM.getModule(), 0); 402ca9fc09cSMike Stump EmitFinalDestCopy(E, LValue::MakeAddr(GV, 0)); 403c59bb48eSEli Friedman return; 404c59bb48eSEli Friedman } 405f5d08c9eSEli Friedman #endif 406bf7207a1SDouglas Gregor if (E->hadArrayRangeDesignator()) { 407bf7207a1SDouglas Gregor CGF.ErrorUnsupported(E, "GNU array range designator extension"); 408bf7207a1SDouglas Gregor } 409bf7207a1SDouglas Gregor 410579a05d7SChris Lattner // Handle initialization of an array. 411579a05d7SChris Lattner if (E->getType()->isArrayType()) { 412579a05d7SChris Lattner const llvm::PointerType *APType = 413579a05d7SChris Lattner cast<llvm::PointerType>(DestPtr->getType()); 414579a05d7SChris Lattner const llvm::ArrayType *AType = 415579a05d7SChris Lattner cast<llvm::ArrayType>(APType->getElementType()); 416579a05d7SChris Lattner 417579a05d7SChris Lattner uint64_t NumInitElements = E->getNumInits(); 418f23b6fa4SEli Friedman 4190f398c44SChris Lattner if (E->getNumInits() > 0) { 4200f398c44SChris Lattner QualType T1 = E->getType(); 4210f398c44SChris Lattner QualType T2 = E->getInit(0)->getType(); 4222a69547fSEli Friedman if (CGF.getContext().hasSameUnqualifiedType(T1, T2)) { 423f23b6fa4SEli Friedman EmitAggLoadOfLValue(E->getInit(0)); 424f23b6fa4SEli Friedman return; 425f23b6fa4SEli Friedman } 4260f398c44SChris Lattner } 427f23b6fa4SEli Friedman 428579a05d7SChris Lattner uint64_t NumArrayElements = AType->getNumElements(); 4297adf0760SChris Lattner QualType ElementType = CGF.getContext().getCanonicalType(E->getType()); 4307adf0760SChris Lattner ElementType = CGF.getContext().getAsArrayType(ElementType)->getElementType(); 431579a05d7SChris Lattner 4327adf0760SChris Lattner unsigned CVRqualifier = ElementType.getCVRQualifiers(); 433327944b3SEli Friedman 434579a05d7SChris Lattner for (uint64_t i = 0; i != NumArrayElements; ++i) { 435579a05d7SChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 436579a05d7SChris Lattner if (i < NumInitElements) 437327944b3SEli Friedman EmitInitializationToLValue(E->getInit(i), 438327944b3SEli Friedman LValue::MakeAddr(NextVal, CVRqualifier)); 439579a05d7SChris Lattner else 440327944b3SEli Friedman EmitNullInitializationToLValue(LValue::MakeAddr(NextVal, CVRqualifier), 441579a05d7SChris Lattner ElementType); 442579a05d7SChris Lattner } 443579a05d7SChris Lattner return; 444579a05d7SChris Lattner } 445579a05d7SChris Lattner 446579a05d7SChris Lattner assert(E->getType()->isRecordType() && "Only support structs/unions here!"); 447579a05d7SChris Lattner 448579a05d7SChris Lattner // Do struct initialization; this code just sets each individual member 449579a05d7SChris Lattner // to the approprate value. This makes bitfield support automatic; 450579a05d7SChris Lattner // the disadvantage is that the generated code is more difficult for 451579a05d7SChris Lattner // the optimizer, especially with bitfields. 452579a05d7SChris Lattner unsigned NumInitElements = E->getNumInits(); 453c23c7e6aSTed Kremenek RecordDecl *SD = E->getType()->getAs<RecordType>()->getDecl(); 454579a05d7SChris Lattner unsigned CurInitVal = 0; 4555169570eSDouglas Gregor 4565169570eSDouglas Gregor if (E->getType()->isUnionType()) { 4575169570eSDouglas Gregor // Only initialize one field of a union. The field itself is 4585169570eSDouglas Gregor // specified by the initializer list. 4595169570eSDouglas Gregor if (!E->getInitializedFieldInUnion()) { 4605169570eSDouglas Gregor // Empty union; we have nothing to do. 4615169570eSDouglas Gregor 4625169570eSDouglas Gregor #ifndef NDEBUG 4635169570eSDouglas Gregor // Make sure that it's really an empty and not a failure of 4645169570eSDouglas Gregor // semantic analysis. 465cfbfe78eSArgyrios Kyrtzidis for (RecordDecl::field_iterator Field = SD->field_begin(), 466cfbfe78eSArgyrios Kyrtzidis FieldEnd = SD->field_end(); 4675169570eSDouglas Gregor Field != FieldEnd; ++Field) 4685169570eSDouglas Gregor assert(Field->isUnnamedBitfield() && "Only unnamed bitfields allowed"); 4695169570eSDouglas Gregor #endif 4705169570eSDouglas Gregor return; 4715169570eSDouglas Gregor } 4725169570eSDouglas Gregor 4735169570eSDouglas Gregor // FIXME: volatility 4745169570eSDouglas Gregor FieldDecl *Field = E->getInitializedFieldInUnion(); 4755169570eSDouglas Gregor LValue FieldLoc = CGF.EmitLValueForField(DestPtr, Field, true, 0); 4765169570eSDouglas Gregor 4775169570eSDouglas Gregor if (NumInitElements) { 4785169570eSDouglas Gregor // Store the initializer into the field 4795169570eSDouglas Gregor EmitInitializationToLValue(E->getInit(0), FieldLoc); 4805169570eSDouglas Gregor } else { 4815169570eSDouglas Gregor // Default-initialize to null 4825169570eSDouglas Gregor EmitNullInitializationToLValue(FieldLoc, Field->getType()); 4835169570eSDouglas Gregor } 4845169570eSDouglas Gregor 4855169570eSDouglas Gregor return; 4865169570eSDouglas Gregor } 487579a05d7SChris Lattner 488579a05d7SChris Lattner // Here we iterate over the fields; this makes it simpler to both 489579a05d7SChris Lattner // default-initialize fields and skip over unnamed fields. 490cfbfe78eSArgyrios Kyrtzidis for (RecordDecl::field_iterator Field = SD->field_begin(), 491cfbfe78eSArgyrios Kyrtzidis FieldEnd = SD->field_end(); 49291f84216SDouglas Gregor Field != FieldEnd; ++Field) { 49391f84216SDouglas Gregor // We're done once we hit the flexible array member 49491f84216SDouglas Gregor if (Field->getType()->isIncompleteArrayType()) 49591f84216SDouglas Gregor break; 49691f84216SDouglas Gregor 49717bd094aSDouglas Gregor if (Field->isUnnamedBitfield()) 498579a05d7SChris Lattner continue; 49917bd094aSDouglas Gregor 500327944b3SEli Friedman // FIXME: volatility 5015169570eSDouglas Gregor LValue FieldLoc = CGF.EmitLValueForField(DestPtr, *Field, false, 0); 5027c1baf46SFariborz Jahanian // We never generate write-barries for initialized fields. 5037c1baf46SFariborz Jahanian LValue::SetObjCNonGC(FieldLoc, true); 504579a05d7SChris Lattner if (CurInitVal < NumInitElements) { 505579a05d7SChris Lattner // Store the initializer into the field 506579a05d7SChris Lattner EmitInitializationToLValue(E->getInit(CurInitVal++), FieldLoc); 507579a05d7SChris Lattner } else { 508579a05d7SChris Lattner // We're out of initalizers; default-initialize to null 50991f84216SDouglas Gregor EmitNullInitializationToLValue(FieldLoc, Field->getType()); 510579a05d7SChris Lattner } 5117a51313dSChris Lattner } 5127a51313dSChris Lattner } 5137a51313dSChris Lattner 5147a51313dSChris Lattner //===----------------------------------------------------------------------===// 5157a51313dSChris Lattner // Entry Points into this File 5167a51313dSChris Lattner //===----------------------------------------------------------------------===// 5177a51313dSChris Lattner 51825306cacSMike Stump /// EmitAggExpr - Emit the computation of the specified expression of aggregate 51925306cacSMike Stump /// type. The result is computed into DestPtr. Note that if DestPtr is null, 52025306cacSMike Stump /// the value of the aggregate expression is not needed. If VolatileDest is 52125306cacSMike Stump /// true, DestPtr cannot be 0. 5227a51313dSChris Lattner void CodeGenFunction::EmitAggExpr(const Expr *E, llvm::Value *DestPtr, 5235b106a75SAnders Carlsson bool VolatileDest, bool IgnoreResult, 5245b106a75SAnders Carlsson bool IsInitializer) { 5257a51313dSChris Lattner assert(E && hasAggregateLLVMType(E->getType()) && 5267a51313dSChris Lattner "Invalid aggregate expression to emit"); 52725306cacSMike Stump assert ((DestPtr != 0 || VolatileDest == false) 52825306cacSMike Stump && "volatile aggregate can't be 0"); 5297a51313dSChris Lattner 5305b106a75SAnders Carlsson AggExprEmitter(*this, DestPtr, VolatileDest, IgnoreResult, IsInitializer) 531ec3cbfe8SMike Stump .Visit(const_cast<Expr*>(E)); 5327a51313dSChris Lattner } 5330bc8e86dSDaniel Dunbar 5340bc8e86dSDaniel Dunbar void CodeGenFunction::EmitAggregateClear(llvm::Value *DestPtr, QualType Ty) { 5350bc8e86dSDaniel Dunbar assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex"); 5360bc8e86dSDaniel Dunbar 5370bc8e86dSDaniel Dunbar EmitMemSetToZero(DestPtr, Ty); 5380bc8e86dSDaniel Dunbar } 5390bc8e86dSDaniel Dunbar 5400bc8e86dSDaniel Dunbar void CodeGenFunction::EmitAggregateCopy(llvm::Value *DestPtr, 5415e9e61b8SMike Stump llvm::Value *SrcPtr, QualType Ty, 5425e9e61b8SMike Stump bool isVolatile) { 5430bc8e86dSDaniel Dunbar assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex"); 5440bc8e86dSDaniel Dunbar 545ca05dfefSChris Lattner // Aggregate assignment turns into llvm.memcpy. This is almost valid per 5463ef668c2SChris Lattner // C99 6.5.16.1p3, which states "If the value being stored in an object is 5473ef668c2SChris Lattner // read from another object that overlaps in anyway the storage of the first 5483ef668c2SChris Lattner // object, then the overlap shall be exact and the two objects shall have 5493ef668c2SChris Lattner // qualified or unqualified versions of a compatible type." 5503ef668c2SChris Lattner // 551ca05dfefSChris Lattner // memcpy is not defined if the source and destination pointers are exactly 5523ef668c2SChris Lattner // equal, but other compilers do this optimization, and almost every memcpy 5533ef668c2SChris Lattner // implementation handles this case safely. If there is a libc that does not 5543ef668c2SChris Lattner // safely handle this, we can add a target hook. 55541a75027SOwen Anderson const llvm::Type *BP = 55641a75027SOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 5570bc8e86dSDaniel Dunbar if (DestPtr->getType() != BP) 5580bc8e86dSDaniel Dunbar DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 5590bc8e86dSDaniel Dunbar if (SrcPtr->getType() != BP) 5600bc8e86dSDaniel Dunbar SrcPtr = Builder.CreateBitCast(SrcPtr, BP, "tmp"); 5610bc8e86dSDaniel Dunbar 5620bc8e86dSDaniel Dunbar // Get size and alignment info for this aggregate. 5630bc8e86dSDaniel Dunbar std::pair<uint64_t, unsigned> TypeInfo = getContext().getTypeInfo(Ty); 5640bc8e86dSDaniel Dunbar 5650bc8e86dSDaniel Dunbar // FIXME: Handle variable sized types. 56641a75027SOwen Anderson const llvm::Type *IntPtr = 56741a75027SOwen Anderson llvm::IntegerType::get(VMContext, LLVMPointerWidth); 5680bc8e86dSDaniel Dunbar 56986736572SMike Stump // FIXME: If we have a volatile struct, the optimizer can remove what might 57086736572SMike Stump // appear to be `extra' memory ops: 57186736572SMike Stump // 57286736572SMike Stump // volatile struct { int i; } a, b; 57386736572SMike Stump // 57486736572SMike Stump // int main() { 57586736572SMike Stump // a = b; 57686736572SMike Stump // a = b; 57786736572SMike Stump // } 57886736572SMike Stump // 579ec3cbfe8SMike Stump // we need to use a differnt call here. We use isVolatile to indicate when 580ec3cbfe8SMike Stump // either the source or the destination is volatile. 5813ef668c2SChris Lattner Builder.CreateCall4(CGM.getMemCpyFn(), 5820bc8e86dSDaniel Dunbar DestPtr, SrcPtr, 5830bc8e86dSDaniel Dunbar // TypeInfo.first describes size in bits. 584b7a2fe6fSOwen Anderson llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 58541a75027SOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 5860bc8e86dSDaniel Dunbar TypeInfo.second/8)); 5870bc8e86dSDaniel Dunbar } 588