From a9e2f3d0ab721d6a46dc3a6962d834b3e1c51494 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 25 Jul 2004 07:58:38 +0000 Subject: [PATCH] Free instructions kill values too. This implements DeadStoreElim/free.llx git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15199 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/Scalar/DeadStoreElimination.cpp | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/lib/Transforms/Scalar/DeadStoreElimination.cpp b/lib/Transforms/Scalar/DeadStoreElimination.cpp index 9498f1273c0..c38ef38e64d 100644 --- a/lib/Transforms/Scalar/DeadStoreElimination.cpp +++ b/lib/Transforms/Scalar/DeadStoreElimination.cpp @@ -79,7 +79,8 @@ bool DSE::runOnBasicBlock(BasicBlock &BB) { } #endif - if (!isa(I) || cast(I)->isVolatile()) { + if (!isa(I) && + (!isa(I) || cast(I)->isVolatile())) { // If this is a non-store instruction, it makes everything referenced no // longer killed. Remove anything aliased from the alias set tracker. KillLocs.remove(I); @@ -90,8 +91,16 @@ bool DSE::runOnBasicBlock(BasicBlock &BB) { // the stored location is already in the tracker, then this is a dead // store. We can just delete it here, but while we're at it, we also // delete any trivially dead expression chains. - unsigned ValSize = TD.getTypeSize(I->getOperand(0)->getType()); - Value *Ptr = I->getOperand(1); + unsigned ValSize; + Value *Ptr; + if (isa(I)) { + Ptr = I->getOperand(1); + ValSize = TD.getTypeSize(I->getOperand(0)->getType()); + } else { + Ptr = I->getOperand(0); + ValSize = ~0; + } + 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) @@ -110,7 +119,7 @@ bool DSE::runOnBasicBlock(BasicBlock &BB) { // Otherwise, this is a non-dead store just add it to the set of dead // locations. - KillLocs.add(cast(I)); + KillLocs.add(I); BigContinue:; } return MadeChange; -- 2.34.1