diff options
author | Dan Gohman <gohman@apple.com> | 2008-08-13 21:22:48 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2008-08-13 21:22:48 +0000 |
commit | 2edeb63eced945bfa2af7d5c6a6bb0fe3503a070 (patch) | |
tree | e6e521e7d2eb32531c718bc8b244c9dbd49b8965 | |
parent | 38db6ccb474f22e6cf842331416f80e092f36761 (diff) | |
download | llvm-2edeb63eced945bfa2af7d5c6a6bb0fe3503a070.tar.gz llvm-2edeb63eced945bfa2af7d5c6a6bb0fe3503a070.tar.bz2 llvm-2edeb63eced945bfa2af7d5c6a6bb0fe3503a070.tar.xz |
Fix SCCP's handling of struct value loads and stores. SCCP doesn't
track individual leaf values in such cases, so it needs to treat
struct values as normal values in this case.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54760 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Transforms/Scalar/SCCP.cpp | 2 | ||||
-rw-r--r-- | test/Transforms/SCCP/empty-struct.ll | 20 |
2 files changed, 20 insertions, 2 deletions
diff --git a/lib/Transforms/Scalar/SCCP.cpp b/lib/Transforms/Scalar/SCCP.cpp index d52cef607c..8c64d8ff7c 100644 --- a/lib/Transforms/Scalar/SCCP.cpp +++ b/lib/Transforms/Scalar/SCCP.cpp @@ -1583,7 +1583,6 @@ bool SCCP::runOnFunction(Function &F) { for (BasicBlock::iterator BI = BB->begin(), E = BB->end(); BI != E; ) { Instruction *Inst = BI++; if (Inst->getType() == Type::VoidTy || - isa<StructType>(Inst->getType()) || isa<TerminatorInst>(Inst)) continue; @@ -1760,7 +1759,6 @@ bool IPSCCP::runOnModule(Module &M) { for (BasicBlock::iterator BI = BB->begin(), E = BB->end(); BI != E; ) { Instruction *Inst = BI++; if (Inst->getType() == Type::VoidTy || - isa<StructType>(Inst->getType()) || isa<TerminatorInst>(Inst)) continue; diff --git a/test/Transforms/SCCP/empty-struct.ll b/test/Transforms/SCCP/empty-struct.ll new file mode 100644 index 0000000000..4e3dc69514 --- /dev/null +++ b/test/Transforms/SCCP/empty-struct.ll @@ -0,0 +1,20 @@ +; RUN: llvm-as < %s > %t.bc +; RUN: llvm-ld %t.bc -o %t.sh +; PR2612 + +@current_foo = internal global { } zeroinitializer + +define i32 @main(...) { +entry: + %retval = alloca i32 ; <i32*> [#uses=2] + store i32 0, i32* %retval + %local_foo = alloca { } ; <{ }*> [#uses=1] + load { }* @current_foo ; <{ }>:0 [#uses=1] + store { } %0, { }* %local_foo + br label %return + +return: ; preds = %entry + load i32* %retval ; <i32>:1 [#uses=1] + ret i32 %1 +} + |