From: Lauro Ramos Venancio Date: Tue, 19 Feb 2008 19:27:31 +0000 (+0000) Subject: Simplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr... X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=145cd89f9233d375381aa13bd28b2d36f83e6181;p=clang Simplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr method when possible. Fix mediabench/mpeg2/mpeg2dec test. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47336 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/CodeGen/CGExprAgg.cpp b/CodeGen/CGExprAgg.cpp index 71f96aa675..0324ebf632 100644 --- a/CodeGen/CGExprAgg.cpp +++ b/CodeGen/CGExprAgg.cpp @@ -85,8 +85,6 @@ public: private: - llvm::Constant *GetConstantInit(InitListExpr *E, - const llvm::ArrayType *AType); void EmitNonConstInit(Expr *E, llvm::Value *Dest, const llvm::Type *DestType); }; } // end anonymous namespace. @@ -236,35 +234,6 @@ void AggExprEmitter::VisitConditionalOperator(const ConditionalOperator *E) { CGF.EmitBlock(ContBlock); } -llvm::Constant *AggExprEmitter::GetConstantInit(InitListExpr *E, - const llvm::ArrayType *AType) { - std::vector ArrayElts; - unsigned NumInitElements = E->getNumInits(); - const llvm::Type *ElementType = AType->getElementType(); - unsigned i; - - for (i = 0; i != NumInitElements; ++i) { - if (InitListExpr *InitList = dyn_cast(E->getInit(i))) { - assert(isa(ElementType) && "Invalid initilizer"); - llvm::Constant *C = - GetConstantInit(InitList, cast(ElementType)); - if (!C) return NULL; - ArrayElts.push_back(C); - } else if (llvm::Constant *C = - dyn_cast(CGF.EmitScalarExpr(E->getInit(i)))) - ArrayElts.push_back(C); - else - return NULL; - } - - // Remaining default initializers - unsigned NumArrayElements = AType->getNumElements(); - for (/*Do not initialize i*/; i < NumArrayElements; ++i) - ArrayElts.push_back(llvm::Constant::getNullValue(ElementType)); - - return llvm::ConstantArray::get(AType, ArrayElts); -} - void AggExprEmitter::EmitNonConstInit(Expr *E, llvm::Value *DestPtr, const llvm::Type *DestType) { @@ -309,17 +278,8 @@ void AggExprEmitter::EmitNonConstInit(Expr *E, llvm::Value *DestPtr, void AggExprEmitter::VisitInitListExpr(InitListExpr *E) { - if (!E->getType()->isArrayType()) { - CGF.WarnUnsupported(E, "aggregate init-list expression"); - return; - } - - const llvm::PointerType *APType = cast(DestPtr->getType()); - const llvm::ArrayType *AType = - cast(APType->getElementType()); - - llvm::Constant *V = GetConstantInit(E, AType); - if (V) { + if (E->isConstantExpr(CGF.CGM.getContext(), NULL)) { + llvm::Constant *V = CGF.CGM.EmitConstantExpr(E); // Create global value to hold this array. V = new llvm::GlobalVariable(V->getType(), true, llvm::GlobalValue::InternalLinkage, @@ -328,8 +288,19 @@ void AggExprEmitter::VisitInitListExpr(InitListExpr *E) { EmitAggregateCopy(DestPtr, V , E->getType()); return; - } else + } else { + if (!E->getType()->isArrayType()) { + CGF.WarnUnsupported(E, "aggregate init-list expression"); + return; + } + + const llvm::PointerType *APType = + cast(DestPtr->getType()); + const llvm::ArrayType *AType = + cast(APType->getElementType()); + EmitNonConstInit(E, DestPtr, AType); + } } //===----------------------------------------------------------------------===// diff --git a/test/CodeGen/init.c b/test/CodeGen/init.c index f773b8b8dd..fd0735b69e 100644 --- a/test/CodeGen/init.c +++ b/test/CodeGen/init.c @@ -11,4 +11,5 @@ void f2() { int *c[2] = { &a[1][1], &b[2][2] }; int *d[2][2] = { {&a[1][1], &b[2][2]}, {&a[0][0], &b[1][1]} }; int *e[3][3] = { {&a[1][1], &b[2][2]}, {&a[0][0], &b[1][1]} }; + char ext[3][3] = {".Y",".U",".V"}; }