diff options
| -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 +} + |