diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-04-29 04:58:38 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-04-29 04:58:38 +0000 |
| commit | cea1fdd1748e06455940d3aa8a258ab65f232840 (patch) | |
| tree | 68a0f1888b2e0fffa856906ef57254e4291645c0 | |
| parent | 3fb2968f2febbcd8e05270270858b6f2afd4b342 (diff) | |
don't delete the last store to an alloca if the store is volatile.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@50390 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/Scalar/InstructionCombining.cpp | 2 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/2008-04-28-VolatileStore.ll | 8 |
2 files changed, 9 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index 655ab10259..c707e6ee67 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -10311,7 +10311,7 @@ Instruction *InstCombiner::visitStoreInst(StoreInst &SI) { // If the RHS is an alloca with a single use, zapify the store, making the // alloca dead. - if (Ptr->hasOneUse()) { + if (Ptr->hasOneUse() && !SI.isVolatile()) { if (isa<AllocaInst>(Ptr)) { EraseInstFromFunction(SI); ++NumCombined; diff --git a/test/Transforms/InstCombine/2008-04-28-VolatileStore.ll b/test/Transforms/InstCombine/2008-04-28-VolatileStore.ll new file mode 100644 index 0000000000..9bfe7aa141 --- /dev/null +++ b/test/Transforms/InstCombine/2008-04-28-VolatileStore.ll @@ -0,0 +1,8 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {volatile store} + +define void @test() { + %votf = alloca <4 x float> ; <<4 x float>*> [#uses=1] + volatile store <4 x float> zeroinitializer, <4 x float>* %votf, align 16 + ret void +} + |