blob: f9d1205ada558e2a6feef90bcdf9ce703a409069 [file] [log] [blame]
Owen Andersone3590582007-08-02 18:11:11 +00001//===- DeadStoreElimination.cpp - Fast Dead Store Elimination -------------===//
Owen Anderson5e72db32007-07-11 00:46:18 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Owen Anderson5e72db32007-07-11 00:46:18 +00007//
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 Anderson10e52ed2007-08-01 06:36:51 +000018#define DEBUG_TYPE "dse"
Owen Anderson5e72db32007-07-11 00:46:18 +000019#include "llvm/Transforms/Scalar.h"
Owen Anderson32c4a052007-07-12 21:41:30 +000020#include "llvm/Constants.h"
Owen Anderson5e72db32007-07-11 00:46:18 +000021#include "llvm/Function.h"
22#include "llvm/Instructions.h"
Owen Anderson48d37802008-01-29 06:18:36 +000023#include "llvm/IntrinsicInst.h"
Owen Anderson5e72db32007-07-11 00:46:18 +000024#include "llvm/Pass.h"
25#include "llvm/ADT/SetVector.h"
26#include "llvm/ADT/SmallPtrSet.h"
27#include "llvm/ADT/Statistic.h"
Owen Andersonaa071722007-07-11 23:19:17 +000028#include "llvm/Analysis/AliasAnalysis.h"
Owen Anderson5e72db32007-07-11 00:46:18 +000029#include "llvm/Analysis/MemoryDependenceAnalysis.h"
Owen Andersonaa071722007-07-11 23:19:17 +000030#include "llvm/Target/TargetData.h"
Owen Anderson5e72db32007-07-11 00:46:18 +000031#include "llvm/Transforms/Utils/Local.h"
32#include "llvm/Support/Compiler.h"
33using namespace llvm;
34
35STATISTIC(NumFastStores, "Number of stores deleted");
36STATISTIC(NumFastOther , "Number of other instrs removed");
37
38namespace {
Owen Anderson10e52ed2007-08-01 06:36:51 +000039 struct VISIBILITY_HIDDEN DSE : public FunctionPass {
Owen Anderson5e72db32007-07-11 00:46:18 +000040 static char ID; // Pass identification, replacement for typeid
Owen Anderson10e52ed2007-08-01 06:36:51 +000041 DSE() : FunctionPass((intptr_t)&ID) {}
Owen Anderson5e72db32007-07-11 00:46:18 +000042
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 Andersone3590582007-08-02 18:11:11 +000051 bool handleFreeWithNonTrivialDependency(FreeInst* F,
52 Instruction* dependency,
53 SetVector<Instruction*>& possiblyDead);
Owen Anderson32c4a052007-07-12 21:41:30 +000054 bool handleEndBlock(BasicBlock& BB, SetVector<Instruction*>& possiblyDead);
Owen Andersona82c9932008-02-04 04:53:00 +000055 bool RemoveUndeadPointers(Value* pointer, uint64_t killPointerSize,
Owen Anderson32c4a052007-07-12 21:41:30 +000056 BasicBlock::iterator& BBI,
Owen Anderson48d37802008-01-29 06:18:36 +000057 SmallPtrSet<Value*, 64>& deadPointers,
Owen Anderson32c4a052007-07-12 21:41:30 +000058 SetVector<Instruction*>& possiblyDead);
Owen Anderson5e72db32007-07-11 00:46:18 +000059 void DeleteDeadInstructionChains(Instruction *I,
60 SetVector<Instruction*> &DeadInsts);
Owen Anderson0aecf0e2007-08-08 04:52:29 +000061
Owen Andersonb17ab032007-08-08 06:06:02 +000062 /// 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 Anderson2ed651a2007-11-01 05:29:16 +000067 void TranslatePointerBitCasts(Value*& v, bool zeroGepsOnly = false) {
Owen Andersone3590582007-08-02 18:11:11 +000068 assert(isa<PointerType>(v->getType()) &&
69 "Translating a non-pointer type?");
Owen Anderson0aecf0e2007-08-08 04:52:29 +000070 while (true) {
Owen Anderson09f86992007-07-16 23:34:39 +000071 if (BitCastInst* C = dyn_cast<BitCastInst>(v))
72 v = C->getOperand(0);
73 else if (GetElementPtrInst* G = dyn_cast<GetElementPtrInst>(v))
Owen Anderson2ed651a2007-11-01 05:29:16 +000074 if (!zeroGepsOnly || G->hasAllZeroIndices()) {
75 v = G->getOperand(0);
76 } else {
77 break;
78 }
Owen Anderson0aecf0e2007-08-08 04:52:29 +000079 else
80 break;
81 }
Owen Anderson9c9ef212007-07-13 18:26:26 +000082 }
Owen Anderson5e72db32007-07-11 00:46:18 +000083
84 // getAnalysisUsage - We require post dominance frontiers (aka Control
85 // Dependence Graph)
86 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
87 AU.setPreservesCFG();
Owen Andersonaa071722007-07-11 23:19:17 +000088 AU.addRequired<TargetData>();
89 AU.addRequired<AliasAnalysis>();
Owen Anderson5e72db32007-07-11 00:46:18 +000090 AU.addRequired<MemoryDependenceAnalysis>();
Owen Andersonaa071722007-07-11 23:19:17 +000091 AU.addPreserved<AliasAnalysis>();
Owen Anderson5e72db32007-07-11 00:46:18 +000092 AU.addPreserved<MemoryDependenceAnalysis>();
93 }
94 };
Owen Anderson10e52ed2007-08-01 06:36:51 +000095 char DSE::ID = 0;
96 RegisterPass<DSE> X("dse", "Dead Store Elimination");
Owen Anderson5e72db32007-07-11 00:46:18 +000097}
98
Owen Anderson10e52ed2007-08-01 06:36:51 +000099FunctionPass *llvm::createDeadStoreEliminationPass() { return new DSE(); }
Owen Anderson5e72db32007-07-11 00:46:18 +0000100
Owen Anderson10e52ed2007-08-01 06:36:51 +0000101bool DSE::runOnBasicBlock(BasicBlock &BB) {
Owen Anderson5e72db32007-07-11 00:46:18 +0000102 MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>();
Owen Anderson2ed651a2007-11-01 05:29:16 +0000103 TargetData &TD = getAnalysis<TargetData>();
104
Owen Andersonbf971aa2007-07-11 19:03:09 +0000105 // Record the last-seen store to this pointer
Owen Anderson5e72db32007-07-11 00:46:18 +0000106 DenseMap<Value*, StoreInst*> lastStore;
Owen Andersonbf971aa2007-07-11 19:03:09 +0000107 // Record instructions possibly made dead by deleting a store
Owen Anderson5e72db32007-07-11 00:46:18 +0000108 SetVector<Instruction*> possiblyDead;
109
110 bool MadeChange = false;
111
112 // Do a top-down walk on the BB
Owen Andersone3590582007-08-02 18:11:11 +0000113 for (BasicBlock::iterator BBI = BB.begin(), BBE = BB.end();
114 BBI != BBE; ++BBI) {
Owen Anderson14414702007-07-11 21:06:56 +0000115 // If we find a store or a free...
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000116 if (!isa<StoreInst>(BBI) && !isa<FreeInst>(BBI))
117 continue;
Owen Anderson9c9ef212007-07-13 18:26:26 +0000118
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000119 Value* pointer = 0;
Owen Anderson2b9ec7f2007-08-26 21:14:47 +0000120 if (StoreInst* S = dyn_cast<StoreInst>(BBI)) {
121 if (!S->isVolatile())
122 pointer = S->getPointerOperand();
123 else
124 continue;
125 } else
Owen Andersonb17ab032007-08-08 06:06:02 +0000126 pointer = cast<FreeInst>(BBI)->getPointerOperand();
Owen Anderson5e72db32007-07-11 00:46:18 +0000127
Owen Anderson2ed651a2007-11-01 05:29:16 +0000128 TranslatePointerBitCasts(pointer, true);
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000129 StoreInst*& last = lastStore[pointer];
130 bool deletedStore = false;
131
132 // ... to a pointer that has been stored to before...
133 if (last) {
Owen Anderson9b1cc8c2007-08-09 04:42:44 +0000134 Instruction* dep = MD.getDependency(BBI);
Owen Anderson5e72db32007-07-11 00:46:18 +0000135
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000136 // ... and no other memory dependencies are between them....
137 while (dep != MemoryDependenceAnalysis::None &&
138 dep != MemoryDependenceAnalysis::NonLocal &&
139 isa<StoreInst>(dep)) {
Owen Anderson2ed651a2007-11-01 05:29:16 +0000140 if (dep != last ||
Duncan Sands44b87212007-11-01 20:53:16 +0000141 TD.getTypeStoreSize(last->getOperand(0)->getType()) >
142 TD.getTypeStoreSize(BBI->getOperand(0)->getType())) {
Owen Anderson9b1cc8c2007-08-09 04:42:44 +0000143 dep = MD.getDependency(BBI, dep);
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000144 continue;
Owen Andersond4451de2007-07-12 18:08:51 +0000145 }
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000146
147 // Remove it!
148 MD.removeInstruction(last);
149
150 // DCE instructions only used to calculate that store
151 if (Instruction* D = dyn_cast<Instruction>(last->getOperand(0)))
152 possiblyDead.insert(D);
153 if (Instruction* D = dyn_cast<Instruction>(last->getOperand(1)))
154 possiblyDead.insert(D);
Owen Anderson4e4b1162008-01-30 01:24:47 +0000155
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000156 last->eraseFromParent();
157 NumFastStores++;
158 deletedStore = true;
159 MadeChange = true;
160
161 break;
Owen Anderson5e72db32007-07-11 00:46:18 +0000162 }
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000163 }
164
165 // Handle frees whose dependencies are non-trivial.
166 if (FreeInst* F = dyn_cast<FreeInst>(BBI)) {
167 if (!deletedStore)
168 MadeChange |= handleFreeWithNonTrivialDependency(F,
Owen Anderson9b1cc8c2007-08-09 04:42:44 +0000169 MD.getDependency(F),
Owen Anderson0aecf0e2007-08-08 04:52:29 +0000170 possiblyDead);
171 // No known stores after the free
172 last = 0;
173 } else {
174 // Update our most-recent-store map.
175 last = cast<StoreInst>(BBI);
Owen Anderson5e72db32007-07-11 00:46:18 +0000176 }
177 }
178
Owen Anderson32c4a052007-07-12 21:41:30 +0000179 // If this block ends in a return, unwind, unreachable, and eventually
180 // tailcall, then all allocas are dead at its end.
181 if (BB.getTerminator()->getNumSuccessors() == 0)
182 MadeChange |= handleEndBlock(BB, possiblyDead);
183
Owen Anderson5e72db32007-07-11 00:46:18 +0000184 // Do a trivial DCE
185 while (!possiblyDead.empty()) {
186 Instruction *I = possiblyDead.back();
187 possiblyDead.pop_back();
188 DeleteDeadInstructionChains(I, possiblyDead);
189 }
190
191 return MadeChange;
192}
193
Owen Andersonaa071722007-07-11 23:19:17 +0000194/// handleFreeWithNonTrivialDependency - Handle frees of entire structures whose
195/// dependency is a store to a field of that structure
Owen Anderson10e52ed2007-08-01 06:36:51 +0000196bool DSE::handleFreeWithNonTrivialDependency(FreeInst* F, Instruction* dep,
Owen Andersone3590582007-08-02 18:11:11 +0000197 SetVector<Instruction*>& possiblyDead) {
Owen Andersonaa071722007-07-11 23:19:17 +0000198 TargetData &TD = getAnalysis<TargetData>();
199 AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
200 MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>();
201
Owen Andersond4451de2007-07-12 18:08:51 +0000202 if (dep == MemoryDependenceAnalysis::None ||
203 dep == MemoryDependenceAnalysis::NonLocal)
204 return false;
205
206 StoreInst* dependency = dyn_cast<StoreInst>(dep);
207 if (!dependency)
208 return false;
Owen Anderson2b9ec7f2007-08-26 21:14:47 +0000209 else if (dependency->isVolatile())
210 return false;
Owen Andersond4451de2007-07-12 18:08:51 +0000211
Owen Andersonaa071722007-07-11 23:19:17 +0000212 Value* depPointer = dependency->getPointerOperand();
Owen Andersone3590582007-08-02 18:11:11 +0000213 const Type* depType = dependency->getOperand(0)->getType();
Duncan Sands44b87212007-11-01 20:53:16 +0000214 unsigned depPointerSize = TD.getTypeStoreSize(depType);
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000215
Owen Andersonaa071722007-07-11 23:19:17 +0000216 // Check for aliasing
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000217 AliasAnalysis::AliasResult A = AA.alias(F->getPointerOperand(), ~0U,
Owen Andersonaa071722007-07-11 23:19:17 +0000218 depPointer, depPointerSize);
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000219
Owen Andersonaa071722007-07-11 23:19:17 +0000220 if (A == AliasAnalysis::MustAlias) {
221 // Remove it!
222 MD.removeInstruction(dependency);
Owen Andersonaa071722007-07-11 23:19:17 +0000223
224 // DCE instructions only used to calculate that store
225 if (Instruction* D = dyn_cast<Instruction>(dependency->getOperand(0)))
226 possiblyDead.insert(D);
Owen Anderson9c9ef212007-07-13 18:26:26 +0000227 if (Instruction* D = dyn_cast<Instruction>(dependency->getOperand(1)))
228 possiblyDead.insert(D);
Owen Andersonaa071722007-07-11 23:19:17 +0000229
230 dependency->eraseFromParent();
231 NumFastStores++;
232 return true;
233 }
234
235 return false;
236}
237
Owen Andersone3590582007-08-02 18:11:11 +0000238/// handleEndBlock - Remove dead stores to stack-allocated locations in the
Owen Anderson52aaabf2007-08-08 17:50:09 +0000239/// function end block. Ex:
240/// %A = alloca i32
241/// ...
242/// store i32 1, i32* %A
243/// ret void
Owen Andersone3590582007-08-02 18:11:11 +0000244bool DSE::handleEndBlock(BasicBlock& BB,
245 SetVector<Instruction*>& possiblyDead) {
Owen Anderson32c4a052007-07-12 21:41:30 +0000246 TargetData &TD = getAnalysis<TargetData>();
247 AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
248 MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>();
249
250 bool MadeChange = false;
251
252 // Pointers alloca'd in this function are dead in the end block
Owen Anderson48d37802008-01-29 06:18:36 +0000253 SmallPtrSet<Value*, 64> deadPointers;
Owen Anderson32c4a052007-07-12 21:41:30 +0000254
255 // Find all of the alloca'd pointers in the entry block
256 BasicBlock *Entry = BB.getParent()->begin();
257 for (BasicBlock::iterator I = Entry->begin(), E = Entry->end(); I != E; ++I)
258 if (AllocaInst *AI = dyn_cast<AllocaInst>(I))
259 deadPointers.insert(AI);
Owen Anderson48d37802008-01-29 06:18:36 +0000260 for (Function::arg_iterator AI = BB.getParent()->arg_begin(),
261 AE = BB.getParent()->arg_end(); AI != AE; ++AI)
262 if (AI->hasByValAttr())
263 deadPointers.insert(AI);
Owen Anderson32c4a052007-07-12 21:41:30 +0000264
265 // Scan the basic block backwards
266 for (BasicBlock::iterator BBI = BB.end(); BBI != BB.begin(); ){
267 --BBI;
268
Owen Anderson32c4a052007-07-12 21:41:30 +0000269 // If we find a store whose pointer is dead...
270 if (StoreInst* S = dyn_cast<StoreInst>(BBI)) {
Owen Anderson2b9ec7f2007-08-26 21:14:47 +0000271 if (!S->isVolatile()) {
272 Value* pointerOperand = S->getPointerOperand();
273 // See through pointer-to-pointer bitcasts
274 TranslatePointerBitCasts(pointerOperand);
Owen Anderson9c9ef212007-07-13 18:26:26 +0000275
Owen Anderson6af19fd2008-01-25 10:10:33 +0000276 // Alloca'd pointers or byval arguments (which are functionally like
277 // alloca's) are valid candidates for removal.
Owen Anderson48d37802008-01-29 06:18:36 +0000278 if (deadPointers.count(pointerOperand)) {
Owen Anderson2b9ec7f2007-08-26 21:14:47 +0000279 // Remove it!
280 MD.removeInstruction(S);
Owen Anderson32c4a052007-07-12 21:41:30 +0000281
Owen Anderson2b9ec7f2007-08-26 21:14:47 +0000282 // DCE instructions only used to calculate that store
283 if (Instruction* D = dyn_cast<Instruction>(S->getOperand(0)))
284 possiblyDead.insert(D);
285 if (Instruction* D = dyn_cast<Instruction>(S->getOperand(1)))
286 possiblyDead.insert(D);
Owen Anderson32c4a052007-07-12 21:41:30 +0000287
Owen Anderson2b9ec7f2007-08-26 21:14:47 +0000288 BBI++;
289 S->eraseFromParent();
290 NumFastStores++;
291 MadeChange = true;
292 }
Owen Anderson32c4a052007-07-12 21:41:30 +0000293 }
Owen Anderson52aaabf2007-08-08 17:50:09 +0000294
295 continue;
Owen Anderson48d37802008-01-29 06:18:36 +0000296
297 // We can also remove memcpy's to local variables at the end of a function
298 } else if (MemCpyInst* M = dyn_cast<MemCpyInst>(BBI)) {
299 Value* dest = M->getDest();
300 TranslatePointerBitCasts(dest);
301
302 if (deadPointers.count(dest)) {
303 MD.removeInstruction(M);
304
305 // DCE instructions only used to calculate that memcpy
Owen Anderson4e4b1162008-01-30 01:24:47 +0000306 if (Instruction* D = dyn_cast<Instruction>(M->getRawSource()))
Owen Anderson48d37802008-01-29 06:18:36 +0000307 possiblyDead.insert(D);
308 if (Instruction* D = dyn_cast<Instruction>(M->getLength()))
309 possiblyDead.insert(D);
310 if (Instruction* D = dyn_cast<Instruction>(M->getRawDest()))
311 possiblyDead.insert(D);
312
313 BBI++;
314 M->eraseFromParent();
315 NumFastOther++;
316 MadeChange = true;
317
318 continue;
319 }
320
321 // Because a memcpy is also a load, we can't skip it if we didn't remove it
Owen Anderson52aaabf2007-08-08 17:50:09 +0000322 }
323
324 Value* killPointer = 0;
Owen Andersona82c9932008-02-04 04:53:00 +0000325 uint64_t killPointerSize = ~0UL;
Owen Anderson32c4a052007-07-12 21:41:30 +0000326
327 // If we encounter a use of the pointer, it is no longer considered dead
Owen Anderson52aaabf2007-08-08 17:50:09 +0000328 if (LoadInst* L = dyn_cast<LoadInst>(BBI)) {
Owen Anderson4e4b1162008-01-30 01:24:47 +0000329 // However, if this load is unused, we can go ahead and remove it, and
330 // not have to worry about it making our pointer undead!
Nick Lewycky6b016702008-01-30 08:01:28 +0000331 if (L->use_empty()) {
Owen Anderson4e4b1162008-01-30 01:24:47 +0000332 MD.removeInstruction(L);
333
334 // DCE instructions only used to calculate that load
335 if (Instruction* D = dyn_cast<Instruction>(L->getPointerOperand()))
336 possiblyDead.insert(D);
337
338 BBI++;
339 L->eraseFromParent();
340 NumFastOther++;
341 MadeChange = true;
342 possiblyDead.remove(L);
343
344 continue;
345 }
346
Owen Anderson32c4a052007-07-12 21:41:30 +0000347 killPointer = L->getPointerOperand();
Owen Anderson32c4a052007-07-12 21:41:30 +0000348 } else if (VAArgInst* V = dyn_cast<VAArgInst>(BBI)) {
349 killPointer = V->getOperand(0);
Owen Andersona82c9932008-02-04 04:53:00 +0000350 } else if (isa<MemCpyInst>(BBI) &&
351 isa<ConstantInt>(cast<MemCpyInst>(BBI)->getLength())) {
352 killPointer = cast<MemCpyInst>(BBI)->getSource();
353 killPointerSize = cast<ConstantInt>(
354 cast<MemCpyInst>(BBI)->getLength())->getZExtValue();
Owen Anderson32c4a052007-07-12 21:41:30 +0000355 } else if (AllocaInst* A = dyn_cast<AllocaInst>(BBI)) {
356 deadPointers.erase(A);
Owen Anderson4e4b1162008-01-30 01:24:47 +0000357
358 // Dead alloca's can be DCE'd when we reach them
Nick Lewycky6b016702008-01-30 08:01:28 +0000359 if (A->use_empty()) {
Owen Anderson4e4b1162008-01-30 01:24:47 +0000360 MD.removeInstruction(A);
361
362 // DCE instructions only used to calculate that load
363 if (Instruction* D = dyn_cast<Instruction>(A->getArraySize()))
364 possiblyDead.insert(D);
365
366 BBI++;
367 A->eraseFromParent();
368 NumFastOther++;
369 MadeChange = true;
370 possiblyDead.remove(A);
371 }
372
Owen Anderson32c4a052007-07-12 21:41:30 +0000373 continue;
374 } else if (CallSite::get(BBI).getInstruction() != 0) {
Owen Anderson50df9682007-08-08 17:58:56 +0000375 // If this call does not access memory, it can't
376 // be undeadifying any of our pointers.
377 CallSite CS = CallSite::get(BBI);
Duncan Sands68b6f502007-12-01 07:51:45 +0000378 if (AA.doesNotAccessMemory(CS))
Owen Anderson50df9682007-08-08 17:58:56 +0000379 continue;
380
Owen Andersonddf4aee2007-08-08 18:38:28 +0000381 unsigned modRef = 0;
382 unsigned other = 0;
383
Owen Anderson32c4a052007-07-12 21:41:30 +0000384 // Remove any pointers made undead by the call from the dead set
Owen Anderson48d37802008-01-29 06:18:36 +0000385 std::vector<Value*> dead;
386 for (SmallPtrSet<Value*, 64>::iterator I = deadPointers.begin(),
Owen Anderson32c4a052007-07-12 21:41:30 +0000387 E = deadPointers.end(); I != E; ++I) {
Owen Andersonddf4aee2007-08-08 18:38:28 +0000388 // HACK: if we detect that our AA is imprecise, it's not
389 // worth it to scan the rest of the deadPointers set. Just
390 // assume that the AA will return ModRef for everything, and
391 // go ahead and bail.
392 if (modRef >= 16 && other == 0) {
393 deadPointers.clear();
394 return MadeChange;
395 }
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000396
Owen Anderson32c4a052007-07-12 21:41:30 +0000397 // Get size information for the alloca
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000398 unsigned pointerSize = ~0U;
Owen Anderson48d37802008-01-29 06:18:36 +0000399 if (AllocaInst* A = dyn_cast<AllocaInst>(*I)) {
400 if (ConstantInt* C = dyn_cast<ConstantInt>(A->getArraySize()))
401 pointerSize = C->getZExtValue() * \
402 TD.getABITypeSize(A->getAllocatedType());
403 } else {
404 const PointerType* PT = cast<PointerType>(
405 cast<Argument>(*I)->getType());
406 pointerSize = TD.getABITypeSize(PT->getElementType());
407 }
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000408
Owen Anderson32c4a052007-07-12 21:41:30 +0000409 // See if the call site touches it
Owen Anderson50df9682007-08-08 17:58:56 +0000410 AliasAnalysis::ModRefResult A = AA.getModRefInfo(CS, *I, pointerSize);
Owen Andersonddf4aee2007-08-08 18:38:28 +0000411
412 if (A == AliasAnalysis::ModRef)
413 modRef++;
414 else
415 other++;
416
Owen Anderson9c9ef212007-07-13 18:26:26 +0000417 if (A == AliasAnalysis::ModRef || A == AliasAnalysis::Ref)
Owen Anderson32c4a052007-07-12 21:41:30 +0000418 dead.push_back(*I);
419 }
420
Owen Anderson48d37802008-01-29 06:18:36 +0000421 for (std::vector<Value*>::iterator I = dead.begin(), E = dead.end();
Owen Anderson32c4a052007-07-12 21:41:30 +0000422 I != E; ++I)
Owen Anderson48d37802008-01-29 06:18:36 +0000423 deadPointers.erase(*I);
Owen Anderson32c4a052007-07-12 21:41:30 +0000424
425 continue;
Owen Anderson4e4b1162008-01-30 01:24:47 +0000426 } else {
427 // For any non-memory-affecting non-terminators, DCE them as we reach them
428 Instruction *CI = BBI;
Nick Lewycky625e89c2008-01-30 07:54:16 +0000429 if (!CI->isTerminator() && CI->use_empty() && !isa<FreeInst>(CI)) {
Owen Anderson4e4b1162008-01-30 01:24:47 +0000430
431 // DCE instructions only used to calculate that load
432 for (Instruction::op_iterator OI = CI->op_begin(), OE = CI->op_end();
433 OI != OE; ++OI)
434 if (Instruction* D = dyn_cast<Instruction>(OI))
435 possiblyDead.insert(D);
436
437 BBI++;
438 CI->eraseFromParent();
439 NumFastOther++;
440 MadeChange = true;
441 possiblyDead.remove(CI);
442
443 continue;
444 }
Owen Anderson32c4a052007-07-12 21:41:30 +0000445 }
446
447 if (!killPointer)
448 continue;
449
Owen Andersonddf4aee2007-08-08 18:38:28 +0000450 TranslatePointerBitCasts(killPointer);
451
Owen Anderson32c4a052007-07-12 21:41:30 +0000452 // Deal with undead pointers
Owen Andersona82c9932008-02-04 04:53:00 +0000453 MadeChange |= RemoveUndeadPointers(killPointer, killPointerSize, BBI,
Owen Anderson32c4a052007-07-12 21:41:30 +0000454 deadPointers, possiblyDead);
455 }
456
457 return MadeChange;
458}
459
Owen Andersonddf4aee2007-08-08 18:38:28 +0000460/// RemoveUndeadPointers - check for uses of a pointer that make it
461/// undead when scanning for dead stores to alloca's.
Owen Andersona82c9932008-02-04 04:53:00 +0000462bool DSE::RemoveUndeadPointers(Value* killPointer, uint64_t killPointerSize,
Owen Anderson32c4a052007-07-12 21:41:30 +0000463 BasicBlock::iterator& BBI,
Owen Anderson48d37802008-01-29 06:18:36 +0000464 SmallPtrSet<Value*, 64>& deadPointers,
Owen Anderson32c4a052007-07-12 21:41:30 +0000465 SetVector<Instruction*>& possiblyDead) {
466 TargetData &TD = getAnalysis<TargetData>();
467 AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
468 MemoryDependenceAnalysis& MD = getAnalysis<MemoryDependenceAnalysis>();
469
Owen Andersonddf4aee2007-08-08 18:38:28 +0000470 // If the kill pointer can be easily reduced to an alloca,
471 // don't bother doing extraneous AA queries
Owen Anderson48d37802008-01-29 06:18:36 +0000472 if (deadPointers.count(killPointer)) {
473 deadPointers.erase(killPointer);
Owen Andersonddf4aee2007-08-08 18:38:28 +0000474 return false;
Owen Anderson68086282007-08-08 19:12:31 +0000475 } else if (isa<GlobalValue>(killPointer)) {
476 // A global can't be in the dead pointer set
477 return false;
Owen Andersonddf4aee2007-08-08 18:38:28 +0000478 }
479
Owen Anderson32c4a052007-07-12 21:41:30 +0000480 bool MadeChange = false;
481
Owen Anderson48d37802008-01-29 06:18:36 +0000482 std::vector<Value*> undead;
Owen Anderson32c4a052007-07-12 21:41:30 +0000483
Owen Anderson48d37802008-01-29 06:18:36 +0000484 for (SmallPtrSet<Value*, 64>::iterator I = deadPointers.begin(),
Owen Anderson32c4a052007-07-12 21:41:30 +0000485 E = deadPointers.end(); I != E; ++I) {
486 // Get size information for the alloca
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000487 unsigned pointerSize = ~0U;
Owen Anderson48d37802008-01-29 06:18:36 +0000488 if (AllocaInst* A = dyn_cast<AllocaInst>(*I)) {
489 if (ConstantInt* C = dyn_cast<ConstantInt>(A->getArraySize()))
490 pointerSize = C->getZExtValue() * \
491 TD.getABITypeSize(A->getAllocatedType());
492 } else {
493 const PointerType* PT = cast<PointerType>(
494 cast<Argument>(*I)->getType());
495 pointerSize = TD.getABITypeSize(PT->getElementType());
496 }
Duncan Sandsfe3bef02008-01-20 10:49:23 +0000497
Owen Anderson32c4a052007-07-12 21:41:30 +0000498 // See if this pointer could alias it
Owen Andersone3590582007-08-02 18:11:11 +0000499 AliasAnalysis::AliasResult A = AA.alias(*I, pointerSize,
Owen Andersona82c9932008-02-04 04:53:00 +0000500 killPointer, killPointerSize);
Owen Anderson32c4a052007-07-12 21:41:30 +0000501
502 // If it must-alias and a store, we can delete it
503 if (isa<StoreInst>(BBI) && A == AliasAnalysis::MustAlias) {
504 StoreInst* S = cast<StoreInst>(BBI);
505
506 // Remove it!
507 MD.removeInstruction(S);
508
509 // DCE instructions only used to calculate that store
510 if (Instruction* D = dyn_cast<Instruction>(S->getOperand(0)))
511 possiblyDead.insert(D);
Owen Anderson9c9ef212007-07-13 18:26:26 +0000512 if (Instruction* D = dyn_cast<Instruction>(S->getOperand(1)))
513 possiblyDead.insert(D);
Owen Anderson32c4a052007-07-12 21:41:30 +0000514
515 BBI++;
516 S->eraseFromParent();
517 NumFastStores++;
518 MadeChange = true;
519
520 continue;
521
522 // Otherwise, it is undead
523 } else if (A != AliasAnalysis::NoAlias)
524 undead.push_back(*I);
525 }
526
Owen Anderson48d37802008-01-29 06:18:36 +0000527 for (std::vector<Value*>::iterator I = undead.begin(), E = undead.end();
Owen Anderson32c4a052007-07-12 21:41:30 +0000528 I != E; ++I)
Owen Anderson48d37802008-01-29 06:18:36 +0000529 deadPointers.erase(*I);
Owen Anderson32c4a052007-07-12 21:41:30 +0000530
531 return MadeChange;
532}
533
Owen Anderson52aaabf2007-08-08 17:50:09 +0000534/// DeleteDeadInstructionChains - takes an instruction and a setvector of
535/// dead instructions. If I is dead, it is erased, and its operands are
536/// checked for deadness. If they are dead, they are added to the dead
537/// setvector.
Owen Anderson10e52ed2007-08-01 06:36:51 +0000538void DSE::DeleteDeadInstructionChains(Instruction *I,
Owen Anderson5e72db32007-07-11 00:46:18 +0000539 SetVector<Instruction*> &DeadInsts) {
540 // Instruction must be dead.
541 if (!I->use_empty() || !isInstructionTriviallyDead(I)) return;
542
543 // Let the memory dependence know
544 getAnalysis<MemoryDependenceAnalysis>().removeInstruction(I);
545
546 // See if this made any operands dead. We do it this way in case the
547 // instruction uses the same operand twice. We don't want to delete a
548 // value then reference it.
549 for (unsigned i = 0, e = I->getNumOperands(); i != e; ++i) {
Owen Andersonbf971aa2007-07-11 19:03:09 +0000550 if (I->getOperand(i)->hasOneUse())
551 if (Instruction* Op = dyn_cast<Instruction>(I->getOperand(i)))
552 DeadInsts.insert(Op); // Attempt to nuke it later.
553
Owen Anderson5e72db32007-07-11 00:46:18 +0000554 I->setOperand(i, 0); // Drop from the operand list.
555 }
556
557 I->eraseFromParent();
558 ++NumFastOther;
559}