From 13516fe2e7cc828bbeec6282413bb08bcd7fce2b Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 29 Dec 2004 04:36:02 +0000 Subject: [PATCH] Fix PR491 and testcase Transforms/DeadStoreElimination/2004-12-28-PartialStore.ll llvm-svn: 19180 --- llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp index 27a0b0a881f3..e29bad53c19c 100644 --- a/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp +++ b/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp @@ -111,7 +111,8 @@ bool DSE::runOnBasicBlock(BasicBlock &BB) { if (AliasSet *AS = KillLocs.getAliasSetForPointerIfExists(Ptr, ValSize)) for (AliasSet::iterator ASI = AS->begin(), E = AS->end(); ASI != E; ++ASI) - if (AA.alias(ASI.getPointer(), ASI.getSize(), Ptr, ValSize) + if (ASI.getSize() >= ValSize && // Overwriting all of this store. + AA.alias(ASI.getPointer(), ASI.getSize(), Ptr, ValSize) == AliasAnalysis::MustAlias) { // If we found a must alias in the killed set, then this store really // is dead. Remember that the various operands of the store now have