[llvm-commits] CVS: llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
Chris Lattner
lattner at cs.uiuc.edu
Sun Nov 28 12:44:51 PST 2004
Changes in directory llvm/lib/Transforms/Scalar:
DeadStoreElimination.cpp updated: 1.7 -> 1.8
---
Log message:
Make DSE potentially more aggressive by being more specific about alloca sizes.
---
Diffs of the changes: (+10 -4)
Index: llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
diff -u llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:1.7 llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:1.8
--- llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:1.7 Sun Sep 19 23:43:14 2004
+++ llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp Sun Nov 28 14:44:37 2004
@@ -16,6 +16,7 @@
//===----------------------------------------------------------------------===//
#include "llvm/Transforms/Scalar.h"
+#include "llvm/DerivedTypes.h"
#include "llvm/Function.h"
#include "llvm/Instructions.h"
#include "llvm/Analysis/AliasAnalysis.h"
@@ -63,13 +64,18 @@
AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
AliasSetTracker KillLocs(AA);
- // If this block ends in a return, unwind, and eventually tailcall/barrier,
- // then all allocas are dead at its end.
+ // If this block ends in a return, unwind, unreachable, and eventually
+ // tailcall, then all allocas are dead at its end.
if (BB.getTerminator()->getNumSuccessors() == 0) {
BasicBlock *Entry = BB.getParent()->begin();
for (BasicBlock::iterator I = Entry->begin(), E = Entry->end(); I != E; ++I)
- if (AllocaInst *AI = dyn_cast<AllocaInst>(I))
- KillLocs.add(AI, ~0);
+ if (AllocaInst *AI = dyn_cast<AllocaInst>(I)) {
+ unsigned Size = ~0U;
+ if (!AI->isArrayAllocation() &&
+ AI->getType()->getElementType()->isSized())
+ Size = TD.getTypeSize(AI->getType()->getElementType());
+ KillLocs.add(AI, Size);
+ }
}
// PotentiallyDeadInsts - Deleting dead stores from the program can make other
More information about the llvm-commits
mailing list