diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2018-01-30 13:53:59 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2018-01-30 13:53:59 +0000 |
| commit | 1aef27f5cdb0f10cff58b4a09c2574bd67dae58c (patch) | |
| tree | 6542d2abc688ca4e46aa74f3d0e6fb376c4d2df0 /llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp | |
| parent | 79d729eef511f4db3c858765be39c38879074de9 (diff) | |
| download | bcm5719-llvm-1aef27f5cdb0f10cff58b4a09c2574bd67dae58c.tar.gz bcm5719-llvm-1aef27f5cdb0f10cff58b4a09c2574bd67dae58c.zip | |
[DSE] make sure memory is not modified before partial store merging (PR36129)
We missed a critical check in D30703. We must make sure that no intermediate
store is sitting between the stores that we want to merge.
This should fix:
https://bugs.llvm.org/show_bug.cgi?id=36129
Differential Revision: https://reviews.llvm.org/D42663
llvm-svn: 323759
Diffstat (limited to 'llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp index 18cf3592556..6c7d311112a 100644 --- a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp +++ b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp @@ -1172,7 +1172,8 @@ static bool eliminateDeadStores(BasicBlock &BB, AliasAnalysis *AA, auto *Earlier = dyn_cast<StoreInst>(DepWrite); auto *Later = dyn_cast<StoreInst>(Inst); if (Earlier && isa<ConstantInt>(Earlier->getValueOperand()) && - Later && isa<ConstantInt>(Later->getValueOperand())) { + Later && isa<ConstantInt>(Later->getValueOperand()) && + memoryIsNotModifiedBetween(Earlier, Later, AA)) { // If the store we find is: // a) partially overwritten by the store to 'Loc' // b) the later store is fully contained in the earlier one and |
