diff options
| author | Owen Anderson <resistor@mac.com> | 2011-08-30 18:51:55 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2011-08-30 18:51:55 +0000 |
| commit | 6e4be237b076168167ad21d7cb46a70c17c59f5f (patch) | |
| tree | f6d437eb1614d00723bffb7aecac8462390a79eb | |
| parent | 9942acab0a42755637a682308c8262b88cbbb9e9 (diff) | |
| download | llvm-6e4be237b076168167ad21d7cb46a70c17c59f5f.tar.gz llvm-6e4be237b076168167ad21d7cb46a70c17c59f5f.tar.bz2 llvm-6e4be237b076168167ad21d7cb46a70c17c59f5f.tar.xz | |
When walking backwards to eliminate final stores to allocas at the end of a function, encountering an unrelated store should not cause us to give up like encountering a load does.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@138809 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/Scalar/DeadStoreElimination.cpp | 3 | ||||
| -rw-r--r-- | test/Transforms/DeadStoreElimination/2011-08-30-EndOfFunction.ll | 27 |
2 files changed, 29 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/DeadStoreElimination.cpp b/lib/Transforms/Scalar/DeadStoreElimination.cpp index 8559147b71..d575a63a51 100644 --- a/lib/Transforms/Scalar/DeadStoreElimination.cpp +++ b/lib/Transforms/Scalar/DeadStoreElimination.cpp @@ -617,8 +617,9 @@ bool DSE::handleEndBlock(BasicBlock &BB) { DeleteDeadInstruction(Dead, *MD, &DeadStackObjects); ++NumFastStores; MadeChange = true; - continue; } + + continue; } // Remove any dead non-memory-mutating instructions. diff --git a/test/Transforms/DeadStoreElimination/2011-08-30-EndOfFunction.ll b/test/Transforms/DeadStoreElimination/2011-08-30-EndOfFunction.ll new file mode 100644 index 0000000000..c5cc101a5f --- /dev/null +++ b/test/Transforms/DeadStoreElimination/2011-08-30-EndOfFunction.ll @@ -0,0 +1,27 @@ +; RUN: opt -dse -S < %s | FileCheck %s + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" +target triple = "x86_64-apple-darwin" + +%"class.std::auto_ptr" = type { i32* } + +; CHECK: @_Z3foov +define void @_Z3foov(%"class.std::auto_ptr"* noalias nocapture sret %agg.result) uwtable ssp { +_ZNSt8auto_ptrIiED1Ev.exit: + %temp.lvalue = alloca %"class.std::auto_ptr", align 8 + call void @_Z3barv(%"class.std::auto_ptr"* sret %temp.lvalue) + %_M_ptr.i.i = getelementptr inbounds %"class.std::auto_ptr"* %temp.lvalue, i64 0, i32 0 + %tmp.i.i = load i32** %_M_ptr.i.i, align 8, !tbaa !0 +; CHECK-NOT: store i32* null + store i32* null, i32** %_M_ptr.i.i, align 8, !tbaa !0 + %_M_ptr.i.i4 = getelementptr inbounds %"class.std::auto_ptr"* %agg.result, i64 0, i32 0 + store i32* %tmp.i.i, i32** %_M_ptr.i.i4, align 8, !tbaa !0 +; CHECK: ret void + ret void +} + +declare void @_Z3barv(%"class.std::auto_ptr"* sret) + +!0 = metadata !{metadata !"any pointer", metadata !1} +!1 = metadata !{metadata !"omnipotent char", metadata !2} +!2 = metadata !{metadata !"Simple C/C++ TBAA", null} |