| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 1 | //===- DeadStoreElimination.cpp - Fast Dead Store Elimination -------------===// |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements a trivial dead store elimination that only considers |
| 11 | // basic-block local redundant stores. |
| 12 | // |
| 13 | // FIXME: This should eventually be extended to be a post-dominator tree |
| 14 | // traversal. Doing so would be pretty trivial. |
| 15 | // |
| 16 | //===----------------------------------------------------------------------===// |
| 17 | |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 18 | #define DEBUG_TYPE "dse" |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 19 | #include "llvm/Transforms/Scalar.h" |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 20 | #include "llvm/Constants.h" |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 21 | #include "llvm/Function.h" |
| 22 | #include "llvm/Instructions.h" |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 23 | #include "llvm/IntrinsicInst.h" |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 24 | #include "llvm/Pass.h" |
| 25 | #include "llvm/ADT/SetVector.h" |
| 26 | #include "llvm/ADT/SmallPtrSet.h" |
| 27 | #include "llvm/ADT/Statistic.h" |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 28 | #include "llvm/Analysis/AliasAnalysis.h" |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 29 | #include "llvm/Analysis/MemoryDependenceAnalysis.h" |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 30 | #include "llvm/Target/TargetData.h" |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 31 | #include "llvm/Transforms/Utils/Local.h" |
| 32 | #include "llvm/Support/Compiler.h" |
| 33 | using namespace llvm; |
| 34 | |
| 35 | STATISTIC(NumFastStores, "Number of stores deleted"); |
| 36 | STATISTIC(NumFastOther , "Number of other instrs removed"); |
| 37 | |
| 38 | namespace { |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 39 | struct VISIBILITY_HIDDEN DSE : public FunctionPass { |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 40 | static char ID; // Pass identification, replacement for typeid |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 41 | DSE() : FunctionPass((intptr_t)&ID) {} |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 42 | |
| 43 | virtual bool runOnFunction(Function &F) { |
| 44 | bool Changed = false; |
| 45 | for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I) |
| 46 | Changed |= runOnBasicBlock(*I); |
| 47 | return Changed; |
| 48 | } |
| 49 | |
| 50 | bool runOnBasicBlock(BasicBlock &BB); |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 51 | bool handleFreeWithNonTrivialDependency(FreeInst* F, |
| 52 | Instruction* dependency, |
| 53 | SetVector<Instruction*>& possiblyDead); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 54 | bool handleEndBlock(BasicBlock& BB, SetVector<Instruction*>& possiblyDead); |
| Owen Anderson | a82c993 | 2008-02-04 04:53:00 +0000 | [diff] [blame] | 55 | bool RemoveUndeadPointers(Value* pointer, uint64_t killPointerSize, |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 56 | BasicBlock::iterator& BBI, |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 57 | SmallPtrSet<Value*, 64>& deadPointers, |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 58 | SetVector<Instruction*>& possiblyDead); |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 59 | void DeleteDeadInstructionChains(Instruction *I, |
| 60 | SetVector<Instruction*> &DeadInsts); |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 61 | |
| Owen Anderson | b17ab03 | 2007-08-08 06:06:02 +0000 | [diff] [blame] | 62 | /// Find the base pointer that a pointer came from |
| 63 | /// Because this is used to find pointers that originate |
| 64 | /// from allocas, it is safe to ignore GEP indices, since |
| 65 | /// either the store will be in the alloca, and thus dead, |
| 66 | /// or beyond the end of the alloca, and thus undefined. |
| Owen Anderson | 2ed651a | 2007-11-01 05:29:16 +0000 | [diff] [blame] | 67 | void TranslatePointerBitCasts(Value*& v, bool zeroGepsOnly = false) { |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 68 | assert(isa<PointerType>(v->getType()) && |
| 69 | "Translating a non-pointer type?"); |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 70 | while (true) { |
| Owen Anderson | 09f8699 | 2007-07-16 23:34:39 +0000 | [diff] [blame] | 71 | if (BitCastInst* C = dyn_cast<BitCastInst>(v)) |
| 72 | v = C->getOperand(0); |
| 73 | else if (GetElementPtrInst* G = dyn_cast<GetElementPtrInst>(v)) |
| Owen Anderson | 2ed651a | 2007-11-01 05:29:16 +0000 | [diff] [blame] | 74 | if (!zeroGepsOnly || G->hasAllZeroIndices()) { |
| 75 | v = G->getOperand(0); |
| 76 | } else { |
| 77 | break; |
| 78 | } |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 79 | else |
| 80 | break; |
| 81 | } |
| Owen Anderson | 9c9ef21 | 2007-07-13 18:26:26 +0000 | [diff] [blame] | 82 | } |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 83 | |
| 84 | // getAnalysisUsage - We require post dominance frontiers (aka Control |
| 85 | // Dependence Graph) |
| 86 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| 87 | AU.setPreservesCFG(); |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 88 | AU.addRequired<TargetData>(); |
| 89 | AU.addRequired<AliasAnalysis>(); |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 90 | AU.addRequired<MemoryDependenceAnalysis>(); |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 91 | AU.addPreserved<AliasAnalysis>(); |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 92 | AU.addPreserved<MemoryDependenceAnalysis>(); |
| 93 | } |
| 94 | }; |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 95 | } |
| 96 | |
| Dan Gohman | d78c400 | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 97 | char DSE::ID = 0; |
| 98 | static RegisterPass<DSE> X("dse", "Dead Store Elimination"); |
| 99 | |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 100 | FunctionPass *llvm::createDeadStoreEliminationPass() { return new DSE(); } |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 101 | |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 102 | bool DSE::runOnBasicBlock(BasicBlock &BB) { |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 103 | MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>(); |
| Owen Anderson | 2ed651a | 2007-11-01 05:29:16 +0000 | [diff] [blame] | 104 | TargetData &TD = getAnalysis<TargetData>(); |
| 105 | |
| Owen Anderson | bf971aa | 2007-07-11 19:03:09 +0000 | [diff] [blame] | 106 | // Record the last-seen store to this pointer |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 107 | DenseMap<Value*, StoreInst*> lastStore; |
| Owen Anderson | bf971aa | 2007-07-11 19:03:09 +0000 | [diff] [blame] | 108 | // Record instructions possibly made dead by deleting a store |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 109 | SetVector<Instruction*> possiblyDead; |
| 110 | |
| 111 | bool MadeChange = false; |
| 112 | |
| 113 | // Do a top-down walk on the BB |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 114 | for (BasicBlock::iterator BBI = BB.begin(), BBE = BB.end(); |
| 115 | BBI != BBE; ++BBI) { |
| Owen Anderson | 1441470 | 2007-07-11 21:06:56 +0000 | [diff] [blame] | 116 | // If we find a store or a free... |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 117 | if (!isa<StoreInst>(BBI) && !isa<FreeInst>(BBI)) |
| 118 | continue; |
| Owen Anderson | 9c9ef21 | 2007-07-13 18:26:26 +0000 | [diff] [blame] | 119 | |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 120 | Value* pointer = 0; |
| Owen Anderson | 2b9ec7f | 2007-08-26 21:14:47 +0000 | [diff] [blame] | 121 | if (StoreInst* S = dyn_cast<StoreInst>(BBI)) { |
| 122 | if (!S->isVolatile()) |
| 123 | pointer = S->getPointerOperand(); |
| 124 | else |
| 125 | continue; |
| 126 | } else |
| Owen Anderson | b17ab03 | 2007-08-08 06:06:02 +0000 | [diff] [blame] | 127 | pointer = cast<FreeInst>(BBI)->getPointerOperand(); |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 128 | |
| Owen Anderson | 2ed651a | 2007-11-01 05:29:16 +0000 | [diff] [blame] | 129 | TranslatePointerBitCasts(pointer, true); |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 130 | StoreInst*& last = lastStore[pointer]; |
| 131 | bool deletedStore = false; |
| 132 | |
| 133 | // ... to a pointer that has been stored to before... |
| 134 | if (last) { |
| Owen Anderson | 9b1cc8c | 2007-08-09 04:42:44 +0000 | [diff] [blame] | 135 | Instruction* dep = MD.getDependency(BBI); |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 136 | |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 137 | // ... and no other memory dependencies are between them.... |
| 138 | while (dep != MemoryDependenceAnalysis::None && |
| 139 | dep != MemoryDependenceAnalysis::NonLocal && |
| 140 | isa<StoreInst>(dep)) { |
| Owen Anderson | 2ed651a | 2007-11-01 05:29:16 +0000 | [diff] [blame] | 141 | if (dep != last || |
| Duncan Sands | 44b8721 | 2007-11-01 20:53:16 +0000 | [diff] [blame] | 142 | TD.getTypeStoreSize(last->getOperand(0)->getType()) > |
| 143 | TD.getTypeStoreSize(BBI->getOperand(0)->getType())) { |
| Owen Anderson | 9b1cc8c | 2007-08-09 04:42:44 +0000 | [diff] [blame] | 144 | dep = MD.getDependency(BBI, dep); |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 145 | continue; |
| Owen Anderson | d4451de | 2007-07-12 18:08:51 +0000 | [diff] [blame] | 146 | } |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 147 | |
| 148 | // Remove it! |
| 149 | MD.removeInstruction(last); |
| 150 | |
| 151 | // DCE instructions only used to calculate that store |
| 152 | if (Instruction* D = dyn_cast<Instruction>(last->getOperand(0))) |
| 153 | possiblyDead.insert(D); |
| 154 | if (Instruction* D = dyn_cast<Instruction>(last->getOperand(1))) |
| 155 | possiblyDead.insert(D); |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 156 | |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 157 | last->eraseFromParent(); |
| 158 | NumFastStores++; |
| 159 | deletedStore = true; |
| 160 | MadeChange = true; |
| 161 | |
| 162 | break; |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 163 | } |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | // Handle frees whose dependencies are non-trivial. |
| 167 | if (FreeInst* F = dyn_cast<FreeInst>(BBI)) { |
| 168 | if (!deletedStore) |
| 169 | MadeChange |= handleFreeWithNonTrivialDependency(F, |
| Owen Anderson | 9b1cc8c | 2007-08-09 04:42:44 +0000 | [diff] [blame] | 170 | MD.getDependency(F), |
| Owen Anderson | 0aecf0e | 2007-08-08 04:52:29 +0000 | [diff] [blame] | 171 | possiblyDead); |
| 172 | // No known stores after the free |
| 173 | last = 0; |
| 174 | } else { |
| 175 | // Update our most-recent-store map. |
| 176 | last = cast<StoreInst>(BBI); |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 177 | } |
| 178 | } |
| 179 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 180 | // If this block ends in a return, unwind, unreachable, and eventually |
| 181 | // tailcall, then all allocas are dead at its end. |
| 182 | if (BB.getTerminator()->getNumSuccessors() == 0) |
| 183 | MadeChange |= handleEndBlock(BB, possiblyDead); |
| 184 | |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 185 | // Do a trivial DCE |
| 186 | while (!possiblyDead.empty()) { |
| 187 | Instruction *I = possiblyDead.back(); |
| 188 | possiblyDead.pop_back(); |
| 189 | DeleteDeadInstructionChains(I, possiblyDead); |
| 190 | } |
| 191 | |
| 192 | return MadeChange; |
| 193 | } |
| 194 | |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 195 | /// handleFreeWithNonTrivialDependency - Handle frees of entire structures whose |
| 196 | /// dependency is a store to a field of that structure |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 197 | bool DSE::handleFreeWithNonTrivialDependency(FreeInst* F, Instruction* dep, |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 198 | SetVector<Instruction*>& possiblyDead) { |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 199 | TargetData &TD = getAnalysis<TargetData>(); |
| 200 | AliasAnalysis &AA = getAnalysis<AliasAnalysis>(); |
| 201 | MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>(); |
| 202 | |
| Owen Anderson | d4451de | 2007-07-12 18:08:51 +0000 | [diff] [blame] | 203 | if (dep == MemoryDependenceAnalysis::None || |
| 204 | dep == MemoryDependenceAnalysis::NonLocal) |
| 205 | return false; |
| 206 | |
| 207 | StoreInst* dependency = dyn_cast<StoreInst>(dep); |
| 208 | if (!dependency) |
| 209 | return false; |
| Owen Anderson | 2b9ec7f | 2007-08-26 21:14:47 +0000 | [diff] [blame] | 210 | else if (dependency->isVolatile()) |
| 211 | return false; |
| Owen Anderson | d4451de | 2007-07-12 18:08:51 +0000 | [diff] [blame] | 212 | |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 213 | Value* depPointer = dependency->getPointerOperand(); |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 214 | const Type* depType = dependency->getOperand(0)->getType(); |
| Duncan Sands | 44b8721 | 2007-11-01 20:53:16 +0000 | [diff] [blame] | 215 | unsigned depPointerSize = TD.getTypeStoreSize(depType); |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 216 | |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 217 | // Check for aliasing |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 218 | AliasAnalysis::AliasResult A = AA.alias(F->getPointerOperand(), ~0U, |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 219 | depPointer, depPointerSize); |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 220 | |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 221 | if (A == AliasAnalysis::MustAlias) { |
| 222 | // Remove it! |
| 223 | MD.removeInstruction(dependency); |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 224 | |
| 225 | // DCE instructions only used to calculate that store |
| 226 | if (Instruction* D = dyn_cast<Instruction>(dependency->getOperand(0))) |
| 227 | possiblyDead.insert(D); |
| Owen Anderson | 9c9ef21 | 2007-07-13 18:26:26 +0000 | [diff] [blame] | 228 | if (Instruction* D = dyn_cast<Instruction>(dependency->getOperand(1))) |
| 229 | possiblyDead.insert(D); |
| Owen Anderson | aa07172 | 2007-07-11 23:19:17 +0000 | [diff] [blame] | 230 | |
| 231 | dependency->eraseFromParent(); |
| 232 | NumFastStores++; |
| 233 | return true; |
| 234 | } |
| 235 | |
| 236 | return false; |
| 237 | } |
| 238 | |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 239 | /// handleEndBlock - Remove dead stores to stack-allocated locations in the |
| Owen Anderson | 52aaabf | 2007-08-08 17:50:09 +0000 | [diff] [blame] | 240 | /// function end block. Ex: |
| 241 | /// %A = alloca i32 |
| 242 | /// ... |
| 243 | /// store i32 1, i32* %A |
| 244 | /// ret void |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 245 | bool DSE::handleEndBlock(BasicBlock& BB, |
| 246 | SetVector<Instruction*>& possiblyDead) { |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 247 | TargetData &TD = getAnalysis<TargetData>(); |
| 248 | AliasAnalysis &AA = getAnalysis<AliasAnalysis>(); |
| 249 | MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>(); |
| 250 | |
| 251 | bool MadeChange = false; |
| 252 | |
| 253 | // Pointers alloca'd in this function are dead in the end block |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 254 | SmallPtrSet<Value*, 64> deadPointers; |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 255 | |
| 256 | // Find all of the alloca'd pointers in the entry block |
| 257 | BasicBlock *Entry = BB.getParent()->begin(); |
| 258 | for (BasicBlock::iterator I = Entry->begin(), E = Entry->end(); I != E; ++I) |
| 259 | if (AllocaInst *AI = dyn_cast<AllocaInst>(I)) |
| 260 | deadPointers.insert(AI); |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 261 | for (Function::arg_iterator AI = BB.getParent()->arg_begin(), |
| 262 | AE = BB.getParent()->arg_end(); AI != AE; ++AI) |
| 263 | if (AI->hasByValAttr()) |
| 264 | deadPointers.insert(AI); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 265 | |
| 266 | // Scan the basic block backwards |
| 267 | for (BasicBlock::iterator BBI = BB.end(); BBI != BB.begin(); ){ |
| 268 | --BBI; |
| 269 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 270 | // If we find a store whose pointer is dead... |
| 271 | if (StoreInst* S = dyn_cast<StoreInst>(BBI)) { |
| Owen Anderson | 2b9ec7f | 2007-08-26 21:14:47 +0000 | [diff] [blame] | 272 | if (!S->isVolatile()) { |
| 273 | Value* pointerOperand = S->getPointerOperand(); |
| 274 | // See through pointer-to-pointer bitcasts |
| 275 | TranslatePointerBitCasts(pointerOperand); |
| Owen Anderson | 9c9ef21 | 2007-07-13 18:26:26 +0000 | [diff] [blame] | 276 | |
| Owen Anderson | 6af19fd | 2008-01-25 10:10:33 +0000 | [diff] [blame] | 277 | // Alloca'd pointers or byval arguments (which are functionally like |
| 278 | // alloca's) are valid candidates for removal. |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 279 | if (deadPointers.count(pointerOperand)) { |
| Owen Anderson | 2b9ec7f | 2007-08-26 21:14:47 +0000 | [diff] [blame] | 280 | // Remove it! |
| 281 | MD.removeInstruction(S); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 282 | |
| Owen Anderson | 2b9ec7f | 2007-08-26 21:14:47 +0000 | [diff] [blame] | 283 | // DCE instructions only used to calculate that store |
| 284 | if (Instruction* D = dyn_cast<Instruction>(S->getOperand(0))) |
| 285 | possiblyDead.insert(D); |
| 286 | if (Instruction* D = dyn_cast<Instruction>(S->getOperand(1))) |
| 287 | possiblyDead.insert(D); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 288 | |
| Owen Anderson | 2b9ec7f | 2007-08-26 21:14:47 +0000 | [diff] [blame] | 289 | BBI++; |
| 290 | S->eraseFromParent(); |
| 291 | NumFastStores++; |
| 292 | MadeChange = true; |
| 293 | } |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 294 | } |
| Owen Anderson | 52aaabf | 2007-08-08 17:50:09 +0000 | [diff] [blame] | 295 | |
| 296 | continue; |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 297 | |
| 298 | // We can also remove memcpy's to local variables at the end of a function |
| 299 | } else if (MemCpyInst* M = dyn_cast<MemCpyInst>(BBI)) { |
| 300 | Value* dest = M->getDest(); |
| 301 | TranslatePointerBitCasts(dest); |
| 302 | |
| 303 | if (deadPointers.count(dest)) { |
| 304 | MD.removeInstruction(M); |
| 305 | |
| 306 | // DCE instructions only used to calculate that memcpy |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 307 | if (Instruction* D = dyn_cast<Instruction>(M->getRawSource())) |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 308 | possiblyDead.insert(D); |
| 309 | if (Instruction* D = dyn_cast<Instruction>(M->getLength())) |
| 310 | possiblyDead.insert(D); |
| 311 | if (Instruction* D = dyn_cast<Instruction>(M->getRawDest())) |
| 312 | possiblyDead.insert(D); |
| 313 | |
| 314 | BBI++; |
| 315 | M->eraseFromParent(); |
| 316 | NumFastOther++; |
| 317 | MadeChange = true; |
| 318 | |
| 319 | continue; |
| 320 | } |
| 321 | |
| 322 | // Because a memcpy is also a load, we can't skip it if we didn't remove it |
| Owen Anderson | 52aaabf | 2007-08-08 17:50:09 +0000 | [diff] [blame] | 323 | } |
| 324 | |
| 325 | Value* killPointer = 0; |
| Owen Anderson | a82c993 | 2008-02-04 04:53:00 +0000 | [diff] [blame] | 326 | uint64_t killPointerSize = ~0UL; |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 327 | |
| 328 | // If we encounter a use of the pointer, it is no longer considered dead |
| Owen Anderson | 52aaabf | 2007-08-08 17:50:09 +0000 | [diff] [blame] | 329 | if (LoadInst* L = dyn_cast<LoadInst>(BBI)) { |
| Nate Begeman | 53c5c62 | 2008-05-13 01:48:26 +0000 | [diff] [blame] | 330 | // However, if this load is unused and not volatile, we can go ahead and |
| 331 | // remove it, and not have to worry about it making our pointer undead! |
| Dan Gohman | 8cb19d9 | 2008-04-28 19:51:27 +0000 | [diff] [blame] | 332 | if (L->use_empty() && !L->isVolatile()) { |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 333 | MD.removeInstruction(L); |
| 334 | |
| 335 | // DCE instructions only used to calculate that load |
| 336 | if (Instruction* D = dyn_cast<Instruction>(L->getPointerOperand())) |
| 337 | possiblyDead.insert(D); |
| 338 | |
| 339 | BBI++; |
| 340 | L->eraseFromParent(); |
| 341 | NumFastOther++; |
| 342 | MadeChange = true; |
| 343 | possiblyDead.remove(L); |
| 344 | |
| 345 | continue; |
| 346 | } |
| 347 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 348 | killPointer = L->getPointerOperand(); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 349 | } else if (VAArgInst* V = dyn_cast<VAArgInst>(BBI)) { |
| 350 | killPointer = V->getOperand(0); |
| Owen Anderson | a82c993 | 2008-02-04 04:53:00 +0000 | [diff] [blame] | 351 | } else if (isa<MemCpyInst>(BBI) && |
| 352 | isa<ConstantInt>(cast<MemCpyInst>(BBI)->getLength())) { |
| 353 | killPointer = cast<MemCpyInst>(BBI)->getSource(); |
| 354 | killPointerSize = cast<ConstantInt>( |
| 355 | cast<MemCpyInst>(BBI)->getLength())->getZExtValue(); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 356 | } else if (AllocaInst* A = dyn_cast<AllocaInst>(BBI)) { |
| 357 | deadPointers.erase(A); |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 358 | |
| 359 | // Dead alloca's can be DCE'd when we reach them |
| Nick Lewycky | 6b01670 | 2008-01-30 08:01:28 +0000 | [diff] [blame] | 360 | if (A->use_empty()) { |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 361 | MD.removeInstruction(A); |
| 362 | |
| 363 | // DCE instructions only used to calculate that load |
| 364 | if (Instruction* D = dyn_cast<Instruction>(A->getArraySize())) |
| 365 | possiblyDead.insert(D); |
| 366 | |
| 367 | BBI++; |
| 368 | A->eraseFromParent(); |
| 369 | NumFastOther++; |
| 370 | MadeChange = true; |
| 371 | possiblyDead.remove(A); |
| 372 | } |
| 373 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 374 | continue; |
| 375 | } else if (CallSite::get(BBI).getInstruction() != 0) { |
| Owen Anderson | 50df968 | 2007-08-08 17:58:56 +0000 | [diff] [blame] | 376 | // If this call does not access memory, it can't |
| 377 | // be undeadifying any of our pointers. |
| 378 | CallSite CS = CallSite::get(BBI); |
| Duncan Sands | 68b6f50 | 2007-12-01 07:51:45 +0000 | [diff] [blame] | 379 | if (AA.doesNotAccessMemory(CS)) |
| Owen Anderson | 50df968 | 2007-08-08 17:58:56 +0000 | [diff] [blame] | 380 | continue; |
| 381 | |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 382 | unsigned modRef = 0; |
| 383 | unsigned other = 0; |
| 384 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 385 | // Remove any pointers made undead by the call from the dead set |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 386 | std::vector<Value*> dead; |
| 387 | for (SmallPtrSet<Value*, 64>::iterator I = deadPointers.begin(), |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 388 | E = deadPointers.end(); I != E; ++I) { |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 389 | // HACK: if we detect that our AA is imprecise, it's not |
| 390 | // worth it to scan the rest of the deadPointers set. Just |
| 391 | // assume that the AA will return ModRef for everything, and |
| 392 | // go ahead and bail. |
| 393 | if (modRef >= 16 && other == 0) { |
| 394 | deadPointers.clear(); |
| 395 | return MadeChange; |
| 396 | } |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 397 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 398 | // Get size information for the alloca |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 399 | unsigned pointerSize = ~0U; |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 400 | if (AllocaInst* A = dyn_cast<AllocaInst>(*I)) { |
| 401 | if (ConstantInt* C = dyn_cast<ConstantInt>(A->getArraySize())) |
| 402 | pointerSize = C->getZExtValue() * \ |
| 403 | TD.getABITypeSize(A->getAllocatedType()); |
| 404 | } else { |
| 405 | const PointerType* PT = cast<PointerType>( |
| 406 | cast<Argument>(*I)->getType()); |
| 407 | pointerSize = TD.getABITypeSize(PT->getElementType()); |
| 408 | } |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 409 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 410 | // See if the call site touches it |
| Owen Anderson | 50df968 | 2007-08-08 17:58:56 +0000 | [diff] [blame] | 411 | AliasAnalysis::ModRefResult A = AA.getModRefInfo(CS, *I, pointerSize); |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 412 | |
| 413 | if (A == AliasAnalysis::ModRef) |
| 414 | modRef++; |
| 415 | else |
| 416 | other++; |
| 417 | |
| Owen Anderson | 9c9ef21 | 2007-07-13 18:26:26 +0000 | [diff] [blame] | 418 | if (A == AliasAnalysis::ModRef || A == AliasAnalysis::Ref) |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 419 | dead.push_back(*I); |
| 420 | } |
| 421 | |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 422 | for (std::vector<Value*>::iterator I = dead.begin(), E = dead.end(); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 423 | I != E; ++I) |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 424 | deadPointers.erase(*I); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 425 | |
| 426 | continue; |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 427 | } else { |
| 428 | // For any non-memory-affecting non-terminators, DCE them as we reach them |
| 429 | Instruction *CI = BBI; |
| Nick Lewycky | 625e89c | 2008-01-30 07:54:16 +0000 | [diff] [blame] | 430 | if (!CI->isTerminator() && CI->use_empty() && !isa<FreeInst>(CI)) { |
| Owen Anderson | 4e4b116 | 2008-01-30 01:24:47 +0000 | [diff] [blame] | 431 | |
| 432 | // DCE instructions only used to calculate that load |
| 433 | for (Instruction::op_iterator OI = CI->op_begin(), OE = CI->op_end(); |
| 434 | OI != OE; ++OI) |
| 435 | if (Instruction* D = dyn_cast<Instruction>(OI)) |
| 436 | possiblyDead.insert(D); |
| 437 | |
| 438 | BBI++; |
| 439 | CI->eraseFromParent(); |
| 440 | NumFastOther++; |
| 441 | MadeChange = true; |
| 442 | possiblyDead.remove(CI); |
| 443 | |
| 444 | continue; |
| 445 | } |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 446 | } |
| 447 | |
| 448 | if (!killPointer) |
| 449 | continue; |
| 450 | |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 451 | TranslatePointerBitCasts(killPointer); |
| 452 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 453 | // Deal with undead pointers |
| Owen Anderson | a82c993 | 2008-02-04 04:53:00 +0000 | [diff] [blame] | 454 | MadeChange |= RemoveUndeadPointers(killPointer, killPointerSize, BBI, |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 455 | deadPointers, possiblyDead); |
| 456 | } |
| 457 | |
| 458 | return MadeChange; |
| 459 | } |
| 460 | |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 461 | /// RemoveUndeadPointers - check for uses of a pointer that make it |
| 462 | /// undead when scanning for dead stores to alloca's. |
| Owen Anderson | a82c993 | 2008-02-04 04:53:00 +0000 | [diff] [blame] | 463 | bool DSE::RemoveUndeadPointers(Value* killPointer, uint64_t killPointerSize, |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 464 | BasicBlock::iterator& BBI, |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 465 | SmallPtrSet<Value*, 64>& deadPointers, |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 466 | SetVector<Instruction*>& possiblyDead) { |
| 467 | TargetData &TD = getAnalysis<TargetData>(); |
| 468 | AliasAnalysis &AA = getAnalysis<AliasAnalysis>(); |
| 469 | MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>(); |
| 470 | |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 471 | // If the kill pointer can be easily reduced to an alloca, |
| 472 | // don't bother doing extraneous AA queries |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 473 | if (deadPointers.count(killPointer)) { |
| 474 | deadPointers.erase(killPointer); |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 475 | return false; |
| Owen Anderson | 6808628 | 2007-08-08 19:12:31 +0000 | [diff] [blame] | 476 | } else if (isa<GlobalValue>(killPointer)) { |
| 477 | // A global can't be in the dead pointer set |
| 478 | return false; |
| Owen Anderson | ddf4aee | 2007-08-08 18:38:28 +0000 | [diff] [blame] | 479 | } |
| 480 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 481 | bool MadeChange = false; |
| 482 | |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 483 | std::vector<Value*> undead; |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 484 | |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 485 | for (SmallPtrSet<Value*, 64>::iterator I = deadPointers.begin(), |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 486 | E = deadPointers.end(); I != E; ++I) { |
| 487 | // Get size information for the alloca |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 488 | unsigned pointerSize = ~0U; |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 489 | if (AllocaInst* A = dyn_cast<AllocaInst>(*I)) { |
| 490 | if (ConstantInt* C = dyn_cast<ConstantInt>(A->getArraySize())) |
| 491 | pointerSize = C->getZExtValue() * \ |
| 492 | TD.getABITypeSize(A->getAllocatedType()); |
| 493 | } else { |
| 494 | const PointerType* PT = cast<PointerType>( |
| 495 | cast<Argument>(*I)->getType()); |
| 496 | pointerSize = TD.getABITypeSize(PT->getElementType()); |
| 497 | } |
| Duncan Sands | fe3bef0 | 2008-01-20 10:49:23 +0000 | [diff] [blame] | 498 | |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 499 | // See if this pointer could alias it |
| Owen Anderson | e359058 | 2007-08-02 18:11:11 +0000 | [diff] [blame] | 500 | AliasAnalysis::AliasResult A = AA.alias(*I, pointerSize, |
| Owen Anderson | a82c993 | 2008-02-04 04:53:00 +0000 | [diff] [blame] | 501 | killPointer, killPointerSize); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 502 | |
| 503 | // If it must-alias and a store, we can delete it |
| 504 | if (isa<StoreInst>(BBI) && A == AliasAnalysis::MustAlias) { |
| 505 | StoreInst* S = cast<StoreInst>(BBI); |
| 506 | |
| 507 | // Remove it! |
| 508 | MD.removeInstruction(S); |
| 509 | |
| 510 | // DCE instructions only used to calculate that store |
| 511 | if (Instruction* D = dyn_cast<Instruction>(S->getOperand(0))) |
| 512 | possiblyDead.insert(D); |
| Owen Anderson | 9c9ef21 | 2007-07-13 18:26:26 +0000 | [diff] [blame] | 513 | if (Instruction* D = dyn_cast<Instruction>(S->getOperand(1))) |
| 514 | possiblyDead.insert(D); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 515 | |
| 516 | BBI++; |
| 517 | S->eraseFromParent(); |
| 518 | NumFastStores++; |
| 519 | MadeChange = true; |
| 520 | |
| 521 | continue; |
| 522 | |
| 523 | // Otherwise, it is undead |
| 524 | } else if (A != AliasAnalysis::NoAlias) |
| 525 | undead.push_back(*I); |
| 526 | } |
| 527 | |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 528 | for (std::vector<Value*>::iterator I = undead.begin(), E = undead.end(); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 529 | I != E; ++I) |
| Owen Anderson | 48d3780 | 2008-01-29 06:18:36 +0000 | [diff] [blame] | 530 | deadPointers.erase(*I); |
| Owen Anderson | 32c4a05 | 2007-07-12 21:41:30 +0000 | [diff] [blame] | 531 | |
| 532 | return MadeChange; |
| 533 | } |
| 534 | |
| Owen Anderson | 52aaabf | 2007-08-08 17:50:09 +0000 | [diff] [blame] | 535 | /// DeleteDeadInstructionChains - takes an instruction and a setvector of |
| 536 | /// dead instructions. If I is dead, it is erased, and its operands are |
| 537 | /// checked for deadness. If they are dead, they are added to the dead |
| 538 | /// setvector. |
| Owen Anderson | 10e52ed | 2007-08-01 06:36:51 +0000 | [diff] [blame] | 539 | void DSE::DeleteDeadInstructionChains(Instruction *I, |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 540 | SetVector<Instruction*> &DeadInsts) { |
| 541 | // Instruction must be dead. |
| 542 | if (!I->use_empty() || !isInstructionTriviallyDead(I)) return; |
| 543 | |
| 544 | // Let the memory dependence know |
| 545 | getAnalysis<MemoryDependenceAnalysis>().removeInstruction(I); |
| 546 | |
| 547 | // See if this made any operands dead. We do it this way in case the |
| 548 | // instruction uses the same operand twice. We don't want to delete a |
| 549 | // value then reference it. |
| 550 | for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) { |
| Owen Anderson | bf971aa | 2007-07-11 19:03:09 +0000 | [diff] [blame] | 551 | if (I->getOperand(i)->hasOneUse()) |
| 552 | if (Instruction* Op = dyn_cast<Instruction>(I->getOperand(i))) |
| 553 | DeadInsts.insert(Op); // Attempt to nuke it later. |
| 554 | |
| Owen Anderson | 5e72db3 | 2007-07-11 00:46:18 +0000 | [diff] [blame] | 555 | I->setOperand(i, 0); // Drop from the operand list. |
| 556 | } |
| 557 | |
| 558 | I->eraseFromParent(); |
| 559 | ++NumFastOther; |
| 560 | } |