CGExprAgg.cpp revision 8fdf32822be2238aa7db62d40e75b168b637ab7d
1566b6ce741c742cc3f8cb85e2376ec4a3490ff5fChris Lattner//===--- CGExprAgg.cpp - Emit LLVM Code from Aggregate Expressions --------===// 2af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// 3af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// The LLVM Compiler Infrastructure 4af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 7af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// 8af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner//===----------------------------------------------------------------------===// 9af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// 10af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// This contains code to emit Aggregate Expr nodes as LLVM code. 11af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner// 12af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner//===----------------------------------------------------------------------===// 13af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner 14af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattner#include "CodeGenFunction.h" 15883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner#include "CodeGenModule.h" 16883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner#include "clang/AST/AST.h" 17883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner#include "llvm/Constants.h" 18883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner#include "llvm/Function.h" 19636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel#include "llvm/GlobalVariable.h" 209c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner#include "llvm/Support/Compiler.h" 21f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner#include "llvm/Intrinsics.h" 22af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattnerusing namespace clang; 23af6f528b2bd6c3ee517e02d346238addb74159ccChris Lattnerusing namespace CodeGen; 24883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 259c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner//===----------------------------------------------------------------------===// 269c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner// Aggregate Expression Emitter 279c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner//===----------------------------------------------------------------------===// 289c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 299c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnernamespace { 309c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnerclass VISIBILITY_HIDDEN AggExprEmitter : public StmtVisitor<AggExprEmitter> { 319c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CodeGenFunction &CGF; 3250b36741673258aaebcd3c7fe1260031901cae57Chris Lattner llvm::IRBuilder &Builder; 339c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner llvm::Value *DestPtr; 349c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner bool VolatileDest; 359c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnerpublic: 369c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner AggExprEmitter(CodeGenFunction &cgf, llvm::Value *destPtr, bool volatileDest) 37bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner : CGF(cgf), Builder(CGF.Builder), 38bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner DestPtr(destPtr), VolatileDest(volatileDest) { 399c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner } 409c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 41ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner //===--------------------------------------------------------------------===// 42ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner // Utilities 43ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner //===--------------------------------------------------------------------===// 44ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 459c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner /// EmitAggLoadOfLValue - Given an expression with aggregate type that 469c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner /// represents a value lvalue, this method emits the address of the lvalue, 479c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner /// then loads the result into DestPtr. 489c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner void EmitAggLoadOfLValue(const Expr *E); 499c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 50bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner void EmitAggregateCopy(llvm::Value *DestPtr, llvm::Value *SrcPtr, 51bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner QualType EltTy); 5213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 5313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio void EmitAggregateClear(llvm::Value *DestPtr, QualType Ty); 5413e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 5513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio void EmitNonConstInit(InitListExpr *E); 56922696f03ec9637449e2cba260493808b4977cd3Eli Friedman 57ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner //===--------------------------------------------------------------------===// 58ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner // Visitor Methods 59ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner //===--------------------------------------------------------------------===// 60ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 619c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner void VisitStmt(Stmt *S) { 62dc4d280136d3301fcbf3c7b4b2782c8bd804342cChris Lattner CGF.WarnUnsupported(S, "aggregate expression"); 639c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner } 649c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner void VisitParenExpr(ParenExpr *PE) { Visit(PE->getSubExpr()); } 659c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 669c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner // l-values. 679b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon void VisitDeclRefExpr(DeclRefExpr *DRE) { EmitAggLoadOfLValue(DRE); } 689b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon void VisitMemberExpr(MemberExpr *ME) { EmitAggLoadOfLValue(ME); } 699b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon void VisitUnaryDeref(UnaryOperator *E) { EmitAggLoadOfLValue(E); } 70ad6ebd6efcc30cc54540ed9d92256b410519ec0fSeo Sanghyeon void VisitStringLiteral(StringLiteral *E) { EmitAggLoadOfLValue(E); } 71b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman void VisitCompoundLiteralExpr(CompoundLiteralExpr *E) 72b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman { EmitAggLoadOfLValue(E); } 739b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon 749b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon void VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 759b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon EmitAggLoadOfLValue(E); 769b73b39f6fbf987acbbe6570d557d13f07c7e0f7Seo Sanghyeon } 779c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 789c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner // Operators. 799c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner // case Expr::UnaryOperatorClass: 809c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner // case Expr::CastExprClass: 81e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson void VisitImplicitCastExpr(ImplicitCastExpr *E); 82148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson void VisitCallExpr(const CallExpr *E); 83b2d963f527674275c9109252474948368b6e6161Chris Lattner void VisitStmtExpr(const StmtExpr *E); 849c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner void VisitBinaryOperator(const BinaryOperator *BO); 8503d6fb99224c36935c9af9f4785cb33453c99b2bChris Lattner void VisitBinAssign(const BinaryOperator *E); 86796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman void VisitOverloadExpr(const OverloadExpr *E); 8707fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman void VisitBinComma(const BinaryOperator *E); 889c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 898fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner void VisitObjCMessageExpr(ObjCMessageExpr *E); 908fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 919c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 929c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner void VisitConditionalOperator(const ConditionalOperator *CO); 93636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel void VisitInitListExpr(InitListExpr *E); 9404421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 9504421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner Visit(DAE->getExpr()); 9604421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner } 97b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman void VisitVAArgExpr(VAArgExpr *E); 98f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 99f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner void EmitInitializationToLValue(Expr *E, LValue Address); 100f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner void EmitNullInitializationToLValue(LValue Address, QualType T); 1019c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner // case Expr::ChooseExprClass: 102305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 1039c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner}; 1049c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner} // end anonymous namespace. 1059c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 106ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 107ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner// Utilities 108ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 1099c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner 11013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venanciovoid AggExprEmitter::EmitAggregateClear(llvm::Value *DestPtr, QualType Ty) { 1119b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex"); 11213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 11313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio // Aggregate assignment turns into llvm.memset. 11413e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 11513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio if (DestPtr->getType() != BP) 11613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 11713e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 11813e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio // Get size and alignment info for this aggregate. 11998be4943e8dc4f3905629a7102668960873cf863Chris Lattner std::pair<uint64_t, unsigned> TypeInfo = CGF.getContext().getTypeInfo(Ty); 12013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 12113e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio // FIXME: Handle variable sized types. 12213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::Type *IntPtr = llvm::IntegerType::get(CGF.LLVMPointerWidth); 12313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 12413e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio llvm::Value *MemSetOps[4] = { 12513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio DestPtr, 12613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio llvm::ConstantInt::getNullValue(llvm::Type::Int8Ty), 12713e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio // TypeInfo.first describes size in bits. 12813e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 12913e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio llvm::ConstantInt::get(llvm::Type::Int32Ty, TypeInfo.second/8) 13013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio }; 13113e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 13213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Builder.CreateCall(CGF.CGM.getMemSetFn(), MemSetOps, MemSetOps+4); 13313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio} 13413e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio 135bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattnervoid AggExprEmitter::EmitAggregateCopy(llvm::Value *DestPtr, 136bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner llvm::Value *SrcPtr, QualType Ty) { 1379b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner assert(!Ty->isAnyComplexType() && "Shouldn't happen for complex"); 138bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 1390c99509927a0c7a48490486b9fec287b63e5c09cEli Friedman // Aggregate assignment turns into llvm.memmove. 140ddc23f3e6fdc4f83dd46ef7e20394cfbd6063ff9Christopher Lamb const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 141bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner if (DestPtr->getType() != BP) 142bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner DestPtr = Builder.CreateBitCast(DestPtr, BP, "tmp"); 143bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner if (SrcPtr->getType() != BP) 144bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner SrcPtr = Builder.CreateBitCast(SrcPtr, BP, "tmp"); 145bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 146bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner // Get size and alignment info for this aggregate. 14798be4943e8dc4f3905629a7102668960873cf863Chris Lattner std::pair<uint64_t, unsigned> TypeInfo = CGF.getContext().getTypeInfo(Ty); 148bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 149bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner // FIXME: Handle variable sized types. 150bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner const llvm::Type *IntPtr = llvm::IntegerType::get(CGF.LLVMPointerWidth); 151bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 1520c99509927a0c7a48490486b9fec287b63e5c09cEli Friedman llvm::Value *MemMoveOps[4] = { 153bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner DestPtr, SrcPtr, 154636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel // TypeInfo.first describes size in bits. 155636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel llvm::ConstantInt::get(IntPtr, TypeInfo.first/8), 15613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio llvm::ConstantInt::get(llvm::Type::Int32Ty, TypeInfo.second/8) 157bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner }; 158bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 1590c99509927a0c7a48490486b9fec287b63e5c09cEli Friedman Builder.CreateCall(CGF.CGM.getMemMoveFn(), MemMoveOps, MemMoveOps+4); 160bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner} 161bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 162bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner 163883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner/// EmitAggLoadOfLValue - Given an expression with aggregate type that 164883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner/// represents a value lvalue, this method emits the address of the lvalue, 165883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner/// then loads the result into DestPtr. 1669c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnervoid AggExprEmitter::EmitAggLoadOfLValue(const Expr *E) { 1679c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner LValue LV = CGF.EmitLValue(E); 168883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner assert(LV.isSimple() && "Can't have aggregate bitfield, vector, etc"); 169883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner llvm::Value *SrcPtr = LV.getAddress(); 170883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 171883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // If the result is ignored, don't copy from the value. 172883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner if (DestPtr == 0) 173883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // FIXME: If the source is volatile, we must read from it. 174883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner return; 175883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 176bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner EmitAggregateCopy(DestPtr, SrcPtr, E->getType()); 177883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner} 178883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 179ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 180ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner// Visitor Methods 181ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 182ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 183e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlssonvoid AggExprEmitter::VisitImplicitCastExpr(ImplicitCastExpr *E) 184e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson{ 185e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson QualType STy = E->getSubExpr()->getType().getCanonicalType(); 186e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson QualType Ty = E->getType().getCanonicalType(); 187ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman 188ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman assert(CGF.getContext().typesAreCompatible( 189ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman STy.getUnqualifiedType(), Ty.getUnqualifiedType()) 190ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman && "Implicit cast types must be compatible"); 191e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson 192e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson Visit(E->getSubExpr()); 193e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson} 194e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson 195148fe6772733166c720e28b7bb5084af6e624b44Anders Carlssonvoid AggExprEmitter::VisitCallExpr(const CallExpr *E) 196148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson{ 197148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson RValue RV = CGF.EmitCallExpr(E); 198148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson assert(RV.isAggregate() && "Return value must be aggregate value!"); 199148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson 200148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson // If the result is ignored, don't copy from the value. 201148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson if (DestPtr == 0) 202796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman // FIXME: If the source is volatile, we must read from it. 203796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman return; 204796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman 205796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman EmitAggregateCopy(DestPtr, RV.getAggregateAddr(), E->getType()); 206796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman} 2078fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattnervoid AggExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) 2088fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner{ 2098fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner RValue RV = RValue::getAggregate(CGF.EmitObjCMessageExpr(E)); 2108fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 2118fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // If the result is ignored, don't copy from the value. 2128fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (DestPtr == 0) 2138fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner return; 2148fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 2158fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner EmitAggregateCopy(DestPtr, RV.getAggregateAddr(), E->getType()); 2168fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner} 217796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman 218796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begemanvoid AggExprEmitter::VisitOverloadExpr(const OverloadExpr *E) 219796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman{ 220796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman RValue RV = CGF.EmitCallExpr(E->getFn(), E->arg_begin(), 2215549976193e34417d4474a5f4a514268ef6666c7Ted Kremenek E->arg_end(CGF.getContext())); 2225549976193e34417d4474a5f4a514268ef6666c7Ted Kremenek 223796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman assert(RV.isAggregate() && "Return value must be aggregate value!"); 224796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman 225796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman // If the result is ignored, don't copy from the value. 226796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman if (DestPtr == 0) 227148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson // FIXME: If the source is volatile, we must read from it. 228148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson return; 229148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson 230148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson EmitAggregateCopy(DestPtr, RV.getAggregateAddr(), E->getType()); 231148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson} 232148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson 23307fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedmanvoid AggExprEmitter::VisitBinComma(const BinaryOperator *E) 23407fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman{ 23507fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman CGF.EmitAnyExpr(E->getLHS()); 23607fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman CGF.EmitAggExpr(E->getRHS(), DestPtr, false); 23707fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman} 23807fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman 239b2d963f527674275c9109252474948368b6e6161Chris Lattnervoid AggExprEmitter::VisitStmtExpr(const StmtExpr *E) { 240b2d963f527674275c9109252474948368b6e6161Chris Lattner CGF.EmitCompoundStmt(*E->getSubStmt(), true, DestPtr, VolatileDest); 241b2d963f527674275c9109252474948368b6e6161Chris Lattner} 242b2d963f527674275c9109252474948368b6e6161Chris Lattner 2439c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnervoid AggExprEmitter::VisitBinaryOperator(const BinaryOperator *E) { 244dc4d280136d3301fcbf3c7b4b2782c8bd804342cChris Lattner CGF.WarnUnsupported(E, "aggregate binary expression"); 245ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner} 246ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 24703d6fb99224c36935c9af9f4785cb33453c99b2bChris Lattnervoid AggExprEmitter::VisitBinAssign(const BinaryOperator *E) { 248ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman // For an assignment to work, the value on the right has 249ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman // to be compatible with the value on the left. 250ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman assert(CGF.getContext().typesAreCompatible( 251ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman E->getLHS()->getType().getUnqualifiedType(), 252ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman E->getRHS()->getType().getUnqualifiedType()) 253ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman && "Invalid assignment"); 2549c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner LValue LHS = CGF.EmitLValue(E->getLHS()); 255883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 256883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // Codegen the RHS so that it stores directly into the LHS. 2579c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitAggExpr(E->getRHS(), LHS.getAddress(), false /*FIXME: VOLATILE LHS*/); 258883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 259ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman if (DestPtr == 0) 260ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman return; 261ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman 262883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // If the result of the assignment is used, copy the RHS there also. 263ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman EmitAggregateCopy(DestPtr, LHS.getAddress(), E->getType()); 264883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner} 265883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2669c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnervoid AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) { 267984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::BasicBlock *LHSBlock = llvm::BasicBlock::Create("cond.?"); 268984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::BasicBlock *RHSBlock = llvm::BasicBlock::Create("cond.:"); 269984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::BasicBlock *ContBlock = llvm::BasicBlock::Create("cond.cont"); 270883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2719c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner llvm::Value *Cond = CGF.EvaluateExprAsBool(E->getCond()); 272bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner Builder.CreateCondBr(Cond, LHSBlock, RHSBlock); 273883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2749c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitBlock(LHSBlock); 275883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 276883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // Handle the GNU extension for missing LHS. 277883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner assert(E->getLHS() && "Must have LHS for aggregate value"); 278883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 279c748f27f4055f5732a3c231f31dc7325c5279020Chris Lattner Visit(E->getLHS()); 280bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner Builder.CreateBr(ContBlock); 281bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner LHSBlock = Builder.GetInsertBlock(); 282883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2839c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitBlock(RHSBlock); 284883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 285c748f27f4055f5732a3c231f31dc7325c5279020Chris Lattner Visit(E->getRHS()); 286bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner Builder.CreateBr(ContBlock); 287bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner RHSBlock = Builder.GetInsertBlock(); 288883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2899c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitBlock(ContBlock); 290883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner} 291ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 292b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedmanvoid AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 293b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman llvm::Value *ArgValue = CGF.EmitLValue(VE->getSubExpr()).getAddress(); 294b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman llvm::Value *V = Builder.CreateVAArg(ArgValue, CGF.ConvertType(VE->getType())); 295b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman if (DestPtr) 2961e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 297b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman Builder.CreateStore(V, DestPtr); 298b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman} 299b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman 30013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venanciovoid AggExprEmitter::EmitNonConstInit(InitListExpr *E) { 301305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 30213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::PointerType *APType = 30313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio cast<llvm::PointerType>(DestPtr->getType()); 30413e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::Type *DestType = APType->getElementType(); 305305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 30613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio if (const llvm::ArrayType *AType = dyn_cast<llvm::ArrayType>(DestType)) { 30713e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio unsigned NumInitElements = E->getNumInits(); 308305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 309305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio unsigned i; 310305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio for (i = 0; i != NumInitElements; ++i) { 31136b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 31213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Expr *Init = E->getInit(i); 31313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio if (isa<InitListExpr>(Init)) 31413e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio CGF.EmitAggExpr(Init, NextVal, VolatileDest); 31513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio else 3161e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 31713e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Builder.CreateStore(CGF.EmitScalarExpr(Init), NextVal); 318305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio } 319636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel 320305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio // Emit remaining default initializers 321305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio unsigned NumArrayElements = AType->getNumElements(); 32213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio QualType QType = E->getInit(0)->getType(); 32313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::Type *EType = AType->getElementType(); 324305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio for (/*Do not initialize i*/; i < NumArrayElements; ++i) { 32536b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 326d79a726dc3c8af61b486948c97a183c7fe5b0179Dan Gohman if (EType->isSingleValueType()) 3271e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 32813e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Builder.CreateStore(llvm::Constant::getNullValue(EType), NextVal); 32913e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio else 33013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio EmitAggregateClear(NextVal, QType); 331305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio } 33213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio } else 33313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio assert(false && "Invalid initializer"); 334305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio} 335636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel 336f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattnervoid AggExprEmitter::EmitInitializationToLValue(Expr* E, LValue LV) { 337f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // FIXME: Are initializers affected by volatile? 338f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->getType()->isComplexType()) { 339f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner CGF.EmitComplexExprIntoAddr(E, LV.getAddress(), false); 340c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman } else if (CGF.hasAggregateLLVMType(E->getType())) { 341c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman CGF.EmitAnyExpr(E, LV.getAddress(), false); 342c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman } else { 343c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman CGF.EmitStoreThroughLValue(CGF.EmitAnyExpr(E), LV, E->getType()); 344f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 345f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner} 346305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 347f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattnervoid AggExprEmitter::EmitNullInitializationToLValue(LValue LV, QualType T) { 348f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (!CGF.hasAggregateLLVMType(T)) { 349f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // For non-aggregates, we can store zero 350f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::Type *T = 351f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner cast<llvm::PointerType>(LV.getAddress()->getType())->getElementType(); 3521e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 353f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner Builder.CreateStore(llvm::Constant::getNullValue(T), LV.getAddress()); 354f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } else { 355f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Otherwise, just memset the whole thing to zero. This is legal 356f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // because in LLVM, all default initializers are guaranteed to have a 357f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // bit pattern of all zeros. 358f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // There's a potential optimization opportunity in combining 359f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // memsets; that would be easy for arrays, but relatively 360f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // difficult for structures with the current code. 361f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner llvm::Value *MemSet = CGF.CGM.getIntrinsic(llvm::Intrinsic::memset_i64); 362f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner uint64_t Size = CGF.getContext().getTypeSize(T); 363f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 364f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 365f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner llvm::Value* DestPtr = Builder.CreateBitCast(LV.getAddress(), BP, "tmp"); 3663eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner Builder.CreateCall4(MemSet, DestPtr, 3673eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner llvm::ConstantInt::get(llvm::Type::Int8Ty, 0), 3683eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner llvm::ConstantInt::get(llvm::Type::Int64Ty, Size/8), 3693eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner llvm::ConstantInt::get(llvm::Type::Int32Ty, 0)); 370f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 371f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner} 372305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 373f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattnervoid AggExprEmitter::VisitInitListExpr(InitListExpr *E) { 374f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->isConstantExpr(CGF.getContext(), 0)) { 375f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // FIXME: call into const expr emitter so that we can emit 376f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // a memcpy instead of storing the individual members. 377f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // This is purely for perf; both codepaths lead to equivalent 378f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // (although not necessarily identical) code. 379f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // It's worth noting that LLVM keeps on getting smarter, though, 380f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // so it might not be worth bothering. 381f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 382f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 383f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Handle initialization of an array. 384f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->getType()->isArrayType()) { 385f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::PointerType *APType = 386f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner cast<llvm::PointerType>(DestPtr->getType()); 387f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::ArrayType *AType = 388f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner cast<llvm::ArrayType>(APType->getElementType()); 389f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 390f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner uint64_t NumInitElements = E->getNumInits(); 391922696f03ec9637449e2cba260493808b4977cd3Eli Friedman 392922696f03ec9637449e2cba260493808b4977cd3Eli Friedman if (E->getNumInits() > 0 && 393922696f03ec9637449e2cba260493808b4977cd3Eli Friedman E->getType().getCanonicalType().getUnqualifiedType() == 394922696f03ec9637449e2cba260493808b4977cd3Eli Friedman E->getInit(0)->getType().getCanonicalType().getUnqualifiedType()) { 395922696f03ec9637449e2cba260493808b4977cd3Eli Friedman EmitAggLoadOfLValue(E->getInit(0)); 396922696f03ec9637449e2cba260493808b4977cd3Eli Friedman return; 397922696f03ec9637449e2cba260493808b4977cd3Eli Friedman } 398922696f03ec9637449e2cba260493808b4977cd3Eli Friedman 399f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner uint64_t NumArrayElements = AType->getNumElements(); 400f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner QualType ElementType = E->getType()->getAsArrayType()->getElementType(); 401f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 4021e692ace08959399794363e77499b73da5494af9Eli Friedman unsigned CVRqualifier = E->getType().getCanonicalType()->getAsArrayType() 4031e692ace08959399794363e77499b73da5494af9Eli Friedman ->getElementType().getCVRQualifiers(); 4041e692ace08959399794363e77499b73da5494af9Eli Friedman 405f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner for (uint64_t i = 0; i != NumArrayElements; ++i) { 406f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 407f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (i < NumInitElements) 4081e692ace08959399794363e77499b73da5494af9Eli Friedman EmitInitializationToLValue(E->getInit(i), 4091e692ace08959399794363e77499b73da5494af9Eli Friedman LValue::MakeAddr(NextVal, CVRqualifier)); 410f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner else 4111e692ace08959399794363e77499b73da5494af9Eli Friedman EmitNullInitializationToLValue(LValue::MakeAddr(NextVal, CVRqualifier), 412f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner ElementType); 413f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 414305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio return; 415f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 416f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 417f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner assert(E->getType()->isRecordType() && "Only support structs/unions here!"); 418f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 419f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Do struct initialization; this code just sets each individual member 420f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // to the approprate value. This makes bitfield support automatic; 421f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // the disadvantage is that the generated code is more difficult for 422f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // the optimizer, especially with bitfields. 423f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner unsigned NumInitElements = E->getNumInits(); 424f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner RecordDecl *SD = E->getType()->getAsRecordType()->getDecl(); 425f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner unsigned NumMembers = SD->getNumMembers() - SD->hasFlexibleArrayMember(); 426f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner unsigned CurInitVal = 0; 427f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner bool isUnion = E->getType()->isUnionType(); 428f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 429f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Here we iterate over the fields; this makes it simpler to both 430f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // default-initialize fields and skip over unnamed fields. 431f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner for (unsigned CurFieldNo = 0; CurFieldNo != NumMembers; ++CurFieldNo) { 432f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (CurInitVal >= NumInitElements) { 433f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // No more initializers; we're done. 434f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner break; 435145cd89f9233d375381aa13bd28b2d36f83e6181Lauro Ramos Venancio } 436f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 437f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner FieldDecl *CurField = SD->getMember(CurFieldNo); 438f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (CurField->getIdentifier() == 0) { 439f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Initializers can't initialize unnamed fields, e.g. "int : 20;" 440f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner continue; 441f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 4421e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 4431e692ace08959399794363e77499b73da5494af9Eli Friedman LValue FieldLoc = CGF.EmitLValueForField(DestPtr, CurField, isUnion,0); 444f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (CurInitVal < NumInitElements) { 445f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Store the initializer into the field 446f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // This will probably have to get a bit smarter when we support 447f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // designators in initializers 448f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner EmitInitializationToLValue(E->getInit(CurInitVal++), FieldLoc); 449f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } else { 450f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // We're out of initalizers; default-initialize to null 451f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner EmitNullInitializationToLValue(FieldLoc, CurField->getType()); 452f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 453f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 454f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Unions only initialize one field. 455f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // (things can get weird with designators, but they aren't 456f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // supported yet.) 457f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->getType()->isUnionType()) 458f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner break; 459145cd89f9233d375381aa13bd28b2d36f83e6181Lauro Ramos Venancio } 460636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel} 461636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel 462ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 463ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner// Entry Points into this File 464ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 465ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 466ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner/// EmitAggExpr - Emit the computation of the specified expression of 467ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner/// aggregate type. The result is computed into DestPtr. Note that if 468ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner/// DestPtr is null, the value of the aggregate expression is not needed. 469ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattnervoid CodeGenFunction::EmitAggExpr(const Expr *E, llvm::Value *DestPtr, 470ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner bool VolatileDest) { 471ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner assert(E && hasAggregateLLVMType(E->getType()) && 472ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner "Invalid aggregate expression to emit"); 473ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 474ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner AggExprEmitter(*this, DestPtr, VolatileDest).Visit(const_cast<Expr*>(E)); 475ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner} 476