CGExprAgg.cpp revision 82397139c47a41675ab337290f6dca7644e541d5
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 1839619662a1d42e2008b865d3459c0677e149dad1bChris Lattnervoid AggExprEmitter::VisitImplicitCastExpr(ImplicitCastExpr *E) { 184ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman assert(CGF.getContext().typesAreCompatible( 1859619662a1d42e2008b865d3459c0677e149dad1bChris Lattner E->getSubExpr()->getType().getUnqualifiedType(), 1869619662a1d42e2008b865d3459c0677e149dad1bChris Lattner E->getType().getUnqualifiedType()) && 1879619662a1d42e2008b865d3459c0677e149dad1bChris Lattner "Implicit cast types must be compatible"); 188e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson Visit(E->getSubExpr()); 189e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson} 190e4707ff0bb48add651c6a1ad9acfcb22609462d1Anders Carlsson 1919619662a1d42e2008b865d3459c0677e149dad1bChris Lattnervoid AggExprEmitter::VisitCallExpr(const CallExpr *E) { 192148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson RValue RV = CGF.EmitCallExpr(E); 193148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson assert(RV.isAggregate() && "Return value must be aggregate value!"); 194148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson 195148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson // If the result is ignored, don't copy from the value. 196148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson if (DestPtr == 0) 197796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman // FIXME: If the source is volatile, we must read from it. 198796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman return; 199796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman 200796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman EmitAggregateCopy(DestPtr, RV.getAggregateAddr(), E->getType()); 201796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman} 2029619662a1d42e2008b865d3459c0677e149dad1bChris Lattner 2039619662a1d42e2008b865d3459c0677e149dad1bChris Lattnervoid AggExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) { 2048fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner RValue RV = RValue::getAggregate(CGF.EmitObjCMessageExpr(E)); 2058fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 2068fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner // If the result is ignored, don't copy from the value. 2078fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner if (DestPtr == 0) 2088fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner return; 2098fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner 2108fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner EmitAggregateCopy(DestPtr, RV.getAggregateAddr(), E->getType()); 2118fdf32822be2238aa7db62d40e75b168b637ab7dChris Lattner} 212796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman 2139619662a1d42e2008b865d3459c0677e149dad1bChris Lattnervoid AggExprEmitter::VisitOverloadExpr(const OverloadExpr *E) { 214796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman RValue RV = CGF.EmitCallExpr(E->getFn(), E->arg_begin(), 2155549976193e34417d4474a5f4a514268ef6666c7Ted Kremenek E->arg_end(CGF.getContext())); 2165549976193e34417d4474a5f4a514268ef6666c7Ted Kremenek 217796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman assert(RV.isAggregate() && "Return value must be aggregate value!"); 218796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman 219796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman // If the result is ignored, don't copy from the value. 220796ef3d4a32ce8d9e76df0d5bcab07db97883064Nate Begeman if (DestPtr == 0) 221148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson // FIXME: If the source is volatile, we must read from it. 222148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson return; 223148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson 224148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson EmitAggregateCopy(DestPtr, RV.getAggregateAddr(), E->getType()); 225148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson} 226148fe6772733166c720e28b7bb5084af6e624b44Anders Carlsson 2279619662a1d42e2008b865d3459c0677e149dad1bChris Lattnervoid AggExprEmitter::VisitBinComma(const BinaryOperator *E) { 22807fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman CGF.EmitAnyExpr(E->getLHS()); 22907fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman CGF.EmitAggExpr(E->getRHS(), DestPtr, false); 23007fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman} 23107fa52ab33a75d7a5736ea5bd0d4e3134fb10c7eEli Friedman 232b2d963f527674275c9109252474948368b6e6161Chris Lattnervoid AggExprEmitter::VisitStmtExpr(const StmtExpr *E) { 233b2d963f527674275c9109252474948368b6e6161Chris Lattner CGF.EmitCompoundStmt(*E->getSubStmt(), true, DestPtr, VolatileDest); 234b2d963f527674275c9109252474948368b6e6161Chris Lattner} 235b2d963f527674275c9109252474948368b6e6161Chris Lattner 2369c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnervoid AggExprEmitter::VisitBinaryOperator(const BinaryOperator *E) { 237dc4d280136d3301fcbf3c7b4b2782c8bd804342cChris Lattner CGF.WarnUnsupported(E, "aggregate binary expression"); 238ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner} 239ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 24003d6fb99224c36935c9af9f4785cb33453c99b2bChris Lattnervoid AggExprEmitter::VisitBinAssign(const BinaryOperator *E) { 241ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman // For an assignment to work, the value on the right has 242ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman // to be compatible with the value on the left. 243ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman assert(CGF.getContext().typesAreCompatible( 244ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman E->getLHS()->getType().getUnqualifiedType(), 245ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman E->getRHS()->getType().getUnqualifiedType()) 246ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman && "Invalid assignment"); 2479c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner LValue LHS = CGF.EmitLValue(E->getLHS()); 248883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 249883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // Codegen the RHS so that it stores directly into the LHS. 2509c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitAggExpr(E->getRHS(), LHS.getAddress(), false /*FIXME: VOLATILE LHS*/); 251883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 252ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman if (DestPtr == 0) 253ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman return; 254ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman 255883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // If the result of the assignment is used, copy the RHS there also. 256ff6e2b7d31b0f5494f583419e5061c32ea4e6180Eli Friedman EmitAggregateCopy(DestPtr, LHS.getAddress(), E->getType()); 257883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner} 258883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2599c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattnervoid AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) { 260984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::BasicBlock *LHSBlock = llvm::BasicBlock::Create("cond.?"); 261984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::BasicBlock *RHSBlock = llvm::BasicBlock::Create("cond.:"); 262984d0b414bc76d3530b9bc55a5a55834ba76c607Gabor Greif llvm::BasicBlock *ContBlock = llvm::BasicBlock::Create("cond.cont"); 263883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2649c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner llvm::Value *Cond = CGF.EvaluateExprAsBool(E->getCond()); 265bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner Builder.CreateCondBr(Cond, LHSBlock, RHSBlock); 266883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2679c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitBlock(LHSBlock); 268883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 269883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner // Handle the GNU extension for missing LHS. 270883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner assert(E->getLHS() && "Must have LHS for aggregate value"); 271883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 272c748f27f4055f5732a3c231f31dc7325c5279020Chris Lattner Visit(E->getLHS()); 273bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner Builder.CreateBr(ContBlock); 274bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner LHSBlock = Builder.GetInsertBlock(); 275883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2769c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitBlock(RHSBlock); 277883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 278c748f27f4055f5732a3c231f31dc7325c5279020Chris Lattner Visit(E->getRHS()); 279bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner Builder.CreateBr(ContBlock); 280bfc0c1ae4b505b52b36f572a9641f99e76879cabChris Lattner RHSBlock = Builder.GetInsertBlock(); 281883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner 2829c03356918aee078e925c35f9854dfdf2492dfc3Chris Lattner CGF.EmitBlock(ContBlock); 283883f6a7cc7dccb1d675e27121a82614d63492a8dChris Lattner} 284ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 285b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedmanvoid AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 286b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman llvm::Value *ArgValue = CGF.EmitLValue(VE->getSubExpr()).getAddress(); 287b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman llvm::Value *V = Builder.CreateVAArg(ArgValue, CGF.ConvertType(VE->getType())); 288b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman if (DestPtr) 2891e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 290b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman Builder.CreateStore(V, DestPtr); 291b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman} 292b1851249d787f573b9e1312fff8ca4bbcf351f10Eli Friedman 29313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venanciovoid AggExprEmitter::EmitNonConstInit(InitListExpr *E) { 294305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 29513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::PointerType *APType = 29613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio cast<llvm::PointerType>(DestPtr->getType()); 29713e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::Type *DestType = APType->getElementType(); 298305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 29913e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio if (const llvm::ArrayType *AType = dyn_cast<llvm::ArrayType>(DestType)) { 30013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio unsigned NumInitElements = E->getNumInits(); 301305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 302305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio unsigned i; 303305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio for (i = 0; i != NumInitElements; ++i) { 30436b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 30513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Expr *Init = E->getInit(i); 30613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio if (isa<InitListExpr>(Init)) 30713e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio CGF.EmitAggExpr(Init, NextVal, VolatileDest); 30813e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio else 3091e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 31013e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Builder.CreateStore(CGF.EmitScalarExpr(Init), NextVal); 311305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio } 312636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel 313305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio // Emit remaining default initializers 314305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio unsigned NumArrayElements = AType->getNumElements(); 31513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio QualType QType = E->getInit(0)->getType(); 31613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio const llvm::Type *EType = AType->getElementType(); 317305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio for (/*Do not initialize i*/; i < NumArrayElements; ++i) { 31836b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 319d79a726dc3c8af61b486948c97a183c7fe5b0179Dan Gohman if (EType->isSingleValueType()) 3201e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 32113e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio Builder.CreateStore(llvm::Constant::getNullValue(EType), NextVal); 32213e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio else 32313e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio EmitAggregateClear(NextVal, QType); 324305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio } 32513e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio } else 32613e22cf1ee6ecb554e329c16edfb5bcbfaee6050Lauro Ramos Venancio assert(false && "Invalid initializer"); 327305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio} 328636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel 329f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattnervoid AggExprEmitter::EmitInitializationToLValue(Expr* E, LValue LV) { 330f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // FIXME: Are initializers affected by volatile? 331f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->getType()->isComplexType()) { 332f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner CGF.EmitComplexExprIntoAddr(E, LV.getAddress(), false); 333c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman } else if (CGF.hasAggregateLLVMType(E->getType())) { 334c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman CGF.EmitAnyExpr(E, LV.getAddress(), false); 335c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman } else { 336c8ba9614ca5469c3ae259e3ec09792f4b8969397Eli Friedman CGF.EmitStoreThroughLValue(CGF.EmitAnyExpr(E), LV, E->getType()); 337f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 338f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner} 339305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 340f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattnervoid AggExprEmitter::EmitNullInitializationToLValue(LValue LV, QualType T) { 341f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (!CGF.hasAggregateLLVMType(T)) { 342f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // For non-aggregates, we can store zero 34382397139c47a41675ab337290f6dca7644e541d5Daniel Dunbar llvm::Value *Null = llvm::Constant::getNullValue(CGF.ConvertType(T)); 34482397139c47a41675ab337290f6dca7644e541d5Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(Null), LV, T); 345f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } else { 346f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Otherwise, just memset the whole thing to zero. This is legal 347f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // because in LLVM, all default initializers are guaranteed to have a 348f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // bit pattern of all zeros. 349f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // There's a potential optimization opportunity in combining 350f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // memsets; that would be easy for arrays, but relatively 351f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // difficult for structures with the current code. 352f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner llvm::Value *MemSet = CGF.CGM.getIntrinsic(llvm::Intrinsic::memset_i64); 353f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner uint64_t Size = CGF.getContext().getTypeSize(T); 354f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 355f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::Type *BP = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 356f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner llvm::Value* DestPtr = Builder.CreateBitCast(LV.getAddress(), BP, "tmp"); 3573eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner Builder.CreateCall4(MemSet, DestPtr, 3583eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner llvm::ConstantInt::get(llvm::Type::Int8Ty, 0), 3593eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner llvm::ConstantInt::get(llvm::Type::Int64Ty, Size/8), 3603eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner llvm::ConstantInt::get(llvm::Type::Int32Ty, 0)); 361f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 362f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner} 363305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio 364f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattnervoid AggExprEmitter::VisitInitListExpr(InitListExpr *E) { 365f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->isConstantExpr(CGF.getContext(), 0)) { 366f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // FIXME: call into const expr emitter so that we can emit 367f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // a memcpy instead of storing the individual members. 368f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // This is purely for perf; both codepaths lead to equivalent 369f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // (although not necessarily identical) code. 370f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // It's worth noting that LLVM keeps on getting smarter, though, 371f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // so it might not be worth bothering. 372f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 373f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 374f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Handle initialization of an array. 375f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->getType()->isArrayType()) { 376f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::PointerType *APType = 377f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner cast<llvm::PointerType>(DestPtr->getType()); 378f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner const llvm::ArrayType *AType = 379f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner cast<llvm::ArrayType>(APType->getElementType()); 380f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 381f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner uint64_t NumInitElements = E->getNumInits(); 382922696f03ec9637449e2cba260493808b4977cd3Eli Friedman 3839619662a1d42e2008b865d3459c0677e149dad1bChris Lattner if (E->getNumInits() > 0) { 3849619662a1d42e2008b865d3459c0677e149dad1bChris Lattner QualType T1 = E->getType(); 3859619662a1d42e2008b865d3459c0677e149dad1bChris Lattner QualType T2 = E->getInit(0)->getType(); 3869619662a1d42e2008b865d3459c0677e149dad1bChris Lattner if (CGF.getContext().getCanonicalType(T1).getUnqualifiedType() == 3879619662a1d42e2008b865d3459c0677e149dad1bChris Lattner CGF.getContext().getCanonicalType(T2).getUnqualifiedType()) { 3889619662a1d42e2008b865d3459c0677e149dad1bChris Lattner EmitAggLoadOfLValue(E->getInit(0)); 3899619662a1d42e2008b865d3459c0677e149dad1bChris Lattner return; 3909619662a1d42e2008b865d3459c0677e149dad1bChris Lattner } 391922696f03ec9637449e2cba260493808b4977cd3Eli Friedman } 392922696f03ec9637449e2cba260493808b4977cd3Eli Friedman 393f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner uint64_t NumArrayElements = AType->getNumElements(); 394c63a1f276f7b324fd9a4be82098b1c8f7bf30733Chris Lattner QualType ElementType = CGF.getContext().getCanonicalType(E->getType()); 395c63a1f276f7b324fd9a4be82098b1c8f7bf30733Chris Lattner ElementType =CGF.getContext().getAsArrayType(ElementType)->getElementType(); 396f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 397c63a1f276f7b324fd9a4be82098b1c8f7bf30733Chris Lattner unsigned CVRqualifier = ElementType.getCVRQualifiers(); 3981e692ace08959399794363e77499b73da5494af9Eli Friedman 399f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner for (uint64_t i = 0; i != NumArrayElements; ++i) { 400f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner llvm::Value *NextVal = Builder.CreateStructGEP(DestPtr, i, ".array"); 401f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (i < NumInitElements) 4021e692ace08959399794363e77499b73da5494af9Eli Friedman EmitInitializationToLValue(E->getInit(i), 4031e692ace08959399794363e77499b73da5494af9Eli Friedman LValue::MakeAddr(NextVal, CVRqualifier)); 404f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner else 4051e692ace08959399794363e77499b73da5494af9Eli Friedman EmitNullInitializationToLValue(LValue::MakeAddr(NextVal, CVRqualifier), 406f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner ElementType); 407f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 408305762c08975cd6e0bebd684ca910fa208792483Lauro Ramos Venancio return; 409f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 410f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 411f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner assert(E->getType()->isRecordType() && "Only support structs/unions here!"); 412f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 413f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Do struct initialization; this code just sets each individual member 414f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // to the approprate value. This makes bitfield support automatic; 415f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // the disadvantage is that the generated code is more difficult for 416f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // the optimizer, especially with bitfields. 417f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner unsigned NumInitElements = E->getNumInits(); 418f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner RecordDecl *SD = E->getType()->getAsRecordType()->getDecl(); 419f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner unsigned NumMembers = SD->getNumMembers() - SD->hasFlexibleArrayMember(); 420f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner unsigned CurInitVal = 0; 421f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner bool isUnion = E->getType()->isUnionType(); 422f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 423f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Here we iterate over the fields; this makes it simpler to both 424f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // default-initialize fields and skip over unnamed fields. 425f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner for (unsigned CurFieldNo = 0; CurFieldNo != NumMembers; ++CurFieldNo) { 426f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner FieldDecl *CurField = SD->getMember(CurFieldNo); 427f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (CurField->getIdentifier() == 0) { 428f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Initializers can't initialize unnamed fields, e.g. "int : 20;" 429f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner continue; 430f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 4311e692ace08959399794363e77499b73da5494af9Eli Friedman // FIXME: volatility 4321e692ace08959399794363e77499b73da5494af9Eli Friedman LValue FieldLoc = CGF.EmitLValueForField(DestPtr, CurField, isUnion,0); 433f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (CurInitVal < NumInitElements) { 434f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Store the initializer into the field 435f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // This will probably have to get a bit smarter when we support 436f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // designators in initializers 437f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner EmitInitializationToLValue(E->getInit(CurInitVal++), FieldLoc); 438f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } else { 439f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // We're out of initalizers; default-initialize to null 440f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner EmitNullInitializationToLValue(FieldLoc, CurField->getType()); 441f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner } 442f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner 443f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // Unions only initialize one field. 444f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // (things can get weird with designators, but they aren't 445f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner // supported yet.) 446f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner if (E->getType()->isUnionType()) 447f81557cb719dd0d1ce3713f050fb76b0a0cb729aChris Lattner break; 448145cd89f9233d375381aa13bd28b2d36f83e6181Lauro Ramos Venancio } 449636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel} 450636c3d04673da8c8605d7e45640a2ff7aec648f1Devang Patel 451ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 452ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner// Entry Points into this File 453ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner//===----------------------------------------------------------------------===// 454ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 455ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner/// EmitAggExpr - Emit the computation of the specified expression of 456ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner/// aggregate type. The result is computed into DestPtr. Note that if 457ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner/// DestPtr is null, the value of the aggregate expression is not needed. 458ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattnervoid CodeGenFunction::EmitAggExpr(const Expr *E, llvm::Value *DestPtr, 459ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner bool VolatileDest) { 460ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner assert(E && hasAggregateLLVMType(E->getType()) && 461ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner "Invalid aggregate expression to emit"); 462ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner 463ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner AggExprEmitter(*this, DestPtr, VolatileDest).Visit(const_cast<Expr*>(E)); 464ee755f9118c4061b21e0a787d4a20484df36f603Chris Lattner} 465