From 18a2e50a9bfe4ecde57dc3913a7bd98b954ec81a Mon Sep 17 00:00:00 2001 From: Eli Friedman Date: Sat, 9 Apr 2011 09:11:09 +0000 Subject: [PATCH] Add back a couple checks removed by r129128; the fact that an intitializer is an array of structures doesn't imply it's a ConstantArray of ConstantStruct. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129207 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/IPO/GlobalOpt.cpp | 10 ++++++---- .../GlobalOpt/2011-04-09-EmptyGlobalCtors.ll | 5 +++++ 2 files changed, 11 insertions(+), 4 deletions(-) create mode 100644 test/Transforms/GlobalOpt/2011-04-09-EmptyGlobalCtors.ll diff --git a/lib/Transforms/IPO/GlobalOpt.cpp b/lib/Transforms/IPO/GlobalOpt.cpp index 5b6ed2c9869..71d13edc96f 100644 --- a/lib/Transforms/IPO/GlobalOpt.cpp +++ b/lib/Transforms/IPO/GlobalOpt.cpp @@ -1954,11 +1954,13 @@ GlobalVariable *GlobalOpt::FindGlobalCtors(Module &M) { // only allowed to optimize the initializer if it is unique. if (!GV->hasUniqueInitializer()) return 0; - ConstantArray *CA = cast(GV->getInitializer()); - + ConstantArray *CA = dyn_cast(GV->getInitializer()); + if (!CA) return 0; + for (User::op_iterator i = CA->op_begin(), e = CA->op_end(); i != e; ++i) { - ConstantStruct *CS = cast(*i); - + ConstantStruct *CS = dyn_cast(*i); + if (!CS) return 0; + if (isa(CS->getOperand(1))) continue; diff --git a/test/Transforms/GlobalOpt/2011-04-09-EmptyGlobalCtors.ll b/test/Transforms/GlobalOpt/2011-04-09-EmptyGlobalCtors.ll new file mode 100644 index 00000000000..321a487cc82 --- /dev/null +++ b/test/Transforms/GlobalOpt/2011-04-09-EmptyGlobalCtors.ll @@ -0,0 +1,5 @@ +; RUN: opt < %s -globalopt -disable-output + +%0 = type { i32, void ()* } +@llvm.global_ctors = appending global [0 x %0] zeroinitializer +