blob: 168e5ba76f6596e8f4442f56d2baf73e438f1bc9 [file] [log] [blame]
Owen Anderson78e02f72007-07-06 23:14:35 +00001//===- MemoryDependenceAnalysis.cpp - Mem Deps Implementation --*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the Owen Anderson and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements an analysis that determines, for a given memory
11// operation, what preceding memory operations it depends on. It builds on
Owen Anderson80b1f092007-08-08 22:01:54 +000012// alias analysis information, and tries to provide a lazy, caching interface to
Owen Anderson78e02f72007-07-06 23:14:35 +000013// a common kind of alias information query.
14//
15//===----------------------------------------------------------------------===//
16
17#include "llvm/Analysis/MemoryDependenceAnalysis.h"
Owen Anderson7a616a12007-07-10 17:25:03 +000018#include "llvm/Constants.h"
Owen Anderson78e02f72007-07-06 23:14:35 +000019#include "llvm/Instructions.h"
20#include "llvm/Function.h"
21#include "llvm/Analysis/AliasAnalysis.h"
Owen Anderson4beedbd2007-07-24 21:52:37 +000022#include "llvm/Support/CFG.h"
Owen Anderson78e02f72007-07-06 23:14:35 +000023#include "llvm/Target/TargetData.h"
24
25using namespace llvm;
26
27char MemoryDependenceAnalysis::ID = 0;
28
Owen Anderson8cad4232007-08-08 21:39:39 +000029const Instruction* MemoryDependenceAnalysis::NonLocal = (Instruction*)-3;
30const Instruction* MemoryDependenceAnalysis::None = (Instruction*)-4;
Owen Anderson78e02f72007-07-06 23:14:35 +000031
32// Register this pass...
Owen Anderson776ee1f2007-07-10 20:21:08 +000033static RegisterPass<MemoryDependenceAnalysis> X("memdep",
34 "Memory Dependence Analysis");
Owen Anderson78e02f72007-07-06 23:14:35 +000035
36/// getAnalysisUsage - Does not modify anything. It uses Alias Analysis.
37///
38void MemoryDependenceAnalysis::getAnalysisUsage(AnalysisUsage &AU) const {
39 AU.setPreservesAll();
40 AU.addRequiredTransitive<AliasAnalysis>();
41 AU.addRequiredTransitive<TargetData>();
42}
43
Owen Anderson642a9e32007-08-08 22:26:03 +000044/// getCallSiteDependency - Private helper for finding the local dependencies
45/// of a call site.
Owen Anderson80b1f092007-08-08 22:01:54 +000046const Instruction* MemoryDependenceAnalysis::getCallSiteDependency(CallSite C,
47 Instruction* start,
48 BasicBlock* block) {
Owen Anderson5f323202007-07-10 17:59:22 +000049
50 AliasAnalysis& AA = getAnalysis<AliasAnalysis>();
51 TargetData& TD = getAnalysis<TargetData>();
52 BasicBlock::iterator blockBegin = C.getInstruction()->getParent()->begin();
53 BasicBlock::iterator QI = C.getInstruction();
54
Owen Anderson642a9e32007-08-08 22:26:03 +000055 // If the starting point was specifiy, use it
Owen Andersondbbe8162007-08-07 00:33:45 +000056 if (start) {
57 QI = start;
58 blockBegin = start->getParent()->end();
Owen Anderson642a9e32007-08-08 22:26:03 +000059 // If the starting point wasn't specified, but the block was, use it
Owen Andersondbbe8162007-08-07 00:33:45 +000060 } else if (!start && block) {
61 QI = block->end();
62 blockBegin = block->end();
63 }
64
Owen Anderson642a9e32007-08-08 22:26:03 +000065 // Walk backwards through the block, looking for dependencies
Owen Anderson5f323202007-07-10 17:59:22 +000066 while (QI != blockBegin) {
67 --QI;
68
69 // If this inst is a memory op, get the pointer it accessed
70 Value* pointer = 0;
71 uint64_t pointerSize = 0;
72 if (StoreInst* S = dyn_cast<StoreInst>(QI)) {
73 pointer = S->getPointerOperand();
74 pointerSize = TD.getTypeSize(S->getOperand(0)->getType());
75 } else if (LoadInst* L = dyn_cast<LoadInst>(QI)) {
76 pointer = L->getPointerOperand();
77 pointerSize = TD.getTypeSize(L->getType());
78 } else if (AllocationInst* AI = dyn_cast<AllocationInst>(QI)) {
79 pointer = AI;
80 if (ConstantInt* C = dyn_cast<ConstantInt>(AI->getArraySize()))
Owen Anderson80b1f092007-08-08 22:01:54 +000081 pointerSize = C->getZExtValue() * \
82 TD.getTypeSize(AI->getAllocatedType());
Owen Anderson5f323202007-07-10 17:59:22 +000083 else
84 pointerSize = ~0UL;
Owen Anderson06b6e822007-07-10 18:43:15 +000085 } else if (VAArgInst* V = dyn_cast<VAArgInst>(QI)) {
86 pointer = V->getOperand(0);
87 pointerSize = TD.getTypeSize(V->getType());
Owen Anderson5f323202007-07-10 17:59:22 +000088 } else if (FreeInst* F = dyn_cast<FreeInst>(QI)) {
89 pointer = F->getPointerOperand();
90
91 // FreeInsts erase the entire structure
92 pointerSize = ~0UL;
93 } else if (CallSite::get(QI).getInstruction() != 0) {
94 if (AA.getModRefInfo(C, CallSite::get(QI)) != AliasAnalysis::NoModRef) {
Owen Andersondbbe8162007-08-07 00:33:45 +000095 if (!start && !block) {
96 depGraphLocal.insert(std::make_pair(C.getInstruction(),
97 std::make_pair(QI, true)));
98 reverseDep[QI].insert(C.getInstruction());
99 }
Owen Anderson5f323202007-07-10 17:59:22 +0000100 return QI;
101 } else {
102 continue;
103 }
Owen Anderson202da142007-07-10 20:39:07 +0000104 } else
105 continue;
Owen Anderson5f323202007-07-10 17:59:22 +0000106
107 if (AA.getModRefInfo(C, pointer, pointerSize) != AliasAnalysis::NoModRef) {
Owen Andersondbbe8162007-08-07 00:33:45 +0000108 if (!start && !block) {
109 depGraphLocal.insert(std::make_pair(C.getInstruction(),
110 std::make_pair(QI, true)));
111 reverseDep[QI].insert(C.getInstruction());
112 }
Owen Anderson5f323202007-07-10 17:59:22 +0000113 return QI;
114 }
115 }
116
117 // No dependence found
Owen Anderson80b1f092007-08-08 22:01:54 +0000118 depGraphLocal.insert(std::make_pair(C.getInstruction(),
119 std::make_pair(NonLocal, true)));
Owen Andersondbbe8162007-08-07 00:33:45 +0000120 reverseDep[NonLocal].insert(C.getInstruction());
Owen Anderson5f323202007-07-10 17:59:22 +0000121 return NonLocal;
122}
123
Owen Anderson642a9e32007-08-08 22:26:03 +0000124/// nonLocalHelper - Private helper used to calculate non-local dependencies
125/// by doing DFS on the predecessors of a block to find its dependencies
Owen Anderson90660202007-08-01 22:01:54 +0000126void MemoryDependenceAnalysis::nonLocalHelper(Instruction* query,
Owen Anderson0cd32032007-07-25 19:57:03 +0000127 BasicBlock* block,
Owen Anderson80b1f092007-08-08 22:01:54 +0000128 DenseMap<BasicBlock*, Value*>& resp) {
Owen Anderson642a9e32007-08-08 22:26:03 +0000129 // Set of blocks that we've already visited in our DFS
Owen Anderson90660202007-08-01 22:01:54 +0000130 SmallPtrSet<BasicBlock*, 4> visited;
Owen Anderson642a9e32007-08-08 22:26:03 +0000131 // Current stack of the DFS
Owen Anderson90660202007-08-01 22:01:54 +0000132 SmallVector<BasicBlock*, 4> stack;
133 stack.push_back(block);
Owen Anderson4beedbd2007-07-24 21:52:37 +0000134
Owen Anderson642a9e32007-08-08 22:26:03 +0000135 // Do a basic DFS
Owen Anderson90660202007-08-01 22:01:54 +0000136 while (!stack.empty()) {
137 BasicBlock* BB = stack.back();
138
Owen Anderson642a9e32007-08-08 22:26:03 +0000139 // If we've already visited this block, no need to revist
Owen Anderson1c2763d2007-08-02 17:56:05 +0000140 if (visited.count(BB)) {
Owen Anderson90660202007-08-01 22:01:54 +0000141 stack.pop_back();
142 continue;
143 }
144
Owen Anderson642a9e32007-08-08 22:26:03 +0000145 // If we find a new block with a local dependency for query,
146 // then we insert the new dependency and backtrack.
Owen Anderson90660202007-08-01 22:01:54 +0000147 if (BB != block) {
Owen Anderson1c2763d2007-08-02 17:56:05 +0000148 visited.insert(BB);
149
Owen Anderson8cad4232007-08-08 21:39:39 +0000150 const Instruction* localDep = getDependency(query, 0, BB);
Owen Anderson90660202007-08-01 22:01:54 +0000151 if (localDep != NonLocal) {
Owen Anderson8cad4232007-08-08 21:39:39 +0000152 resp.insert(std::make_pair(BB, const_cast<Instruction*>(localDep)));
Owen Anderson1c2763d2007-08-02 17:56:05 +0000153 stack.pop_back();
154
Owen Anderson90660202007-08-01 22:01:54 +0000155 continue;
156 }
Owen Anderson642a9e32007-08-08 22:26:03 +0000157 // If we re-encounter the starting block, we still need to search it
158 // because there might be a dependency in the starting block AFTER
159 // the position of the query. This is necessary to get loops right.
Owen Anderson1c2763d2007-08-02 17:56:05 +0000160 } else if (BB == block && stack.size() > 1) {
161 visited.insert(BB);
162
Owen Anderson8cad4232007-08-08 21:39:39 +0000163 const Instruction* localDep = getDependency(query, 0, BB);
Owen Anderson1c2763d2007-08-02 17:56:05 +0000164 if (localDep != query)
Owen Anderson8cad4232007-08-08 21:39:39 +0000165 resp.insert(std::make_pair(BB, const_cast<Instruction*>(localDep)));
Owen Anderson1c2763d2007-08-02 17:56:05 +0000166
167 stack.pop_back();
168
169 continue;
Owen Anderson90660202007-08-01 22:01:54 +0000170 }
171
Owen Anderson642a9e32007-08-08 22:26:03 +0000172 // If we didn't find anything, recurse on the precessors of this block
Owen Anderson90660202007-08-01 22:01:54 +0000173 bool predOnStack = false;
174 bool inserted = false;
175 for (pred_iterator PI = pred_begin(BB), PE = pred_end(BB);
176 PI != PE; ++PI)
177 if (!visited.count(*PI)) {
178 stack.push_back(*PI);
179 inserted = true;
180 } else
181 predOnStack = true;
182
Owen Anderson642a9e32007-08-08 22:26:03 +0000183 // If we inserted a new predecessor, then we'll come back to this block
Owen Anderson90660202007-08-01 22:01:54 +0000184 if (inserted)
185 continue;
Owen Anderson642a9e32007-08-08 22:26:03 +0000186 // If we didn't insert because we have no predecessors, then this
187 // query has no dependency at all.
Owen Anderson90660202007-08-01 22:01:54 +0000188 else if (!inserted && !predOnStack) {
Owen Anderson8cad4232007-08-08 21:39:39 +0000189 resp.insert(std::make_pair(BB, const_cast<Instruction*>(None)));
Owen Anderson642a9e32007-08-08 22:26:03 +0000190 // If we didn't insert because our predecessors are already on the stack,
191 // then we might still have a dependency, but it will be discovered during
192 // backtracking.
Owen Anderson90660202007-08-01 22:01:54 +0000193 } else if (!inserted && predOnStack){
Owen Anderson8cad4232007-08-08 21:39:39 +0000194 resp.insert(std::make_pair(BB, const_cast<Instruction*>(NonLocal)));
Owen Anderson90660202007-08-01 22:01:54 +0000195 }
196
197 stack.pop_back();
Owen Anderson4beedbd2007-07-24 21:52:37 +0000198 }
Owen Anderson4beedbd2007-07-24 21:52:37 +0000199}
200
Owen Anderson80b1f092007-08-08 22:01:54 +0000201/// getNonLocalDependency - Fills the passed-in map with the non-local
202/// dependencies of the queries. The map will contain NonLocal for
203/// blocks between the query and its dependencies.
Owen Anderson90660202007-08-01 22:01:54 +0000204void MemoryDependenceAnalysis::getNonLocalDependency(Instruction* query,
Owen Anderson80b1f092007-08-08 22:01:54 +0000205 DenseMap<BasicBlock*, Value*>& resp) {
Owen Anderson642a9e32007-08-08 22:26:03 +0000206 // First check that we don't actually have a local dependency.
Owen Anderson8cad4232007-08-08 21:39:39 +0000207 const Instruction* localDep = getDependency(query);
Owen Anderson4beedbd2007-07-24 21:52:37 +0000208 if (localDep != NonLocal) {
Owen Anderson80b1f092007-08-08 22:01:54 +0000209 resp.insert(std::make_pair(query->getParent(),
210 const_cast<Instruction*>(localDep)));
Owen Anderson90660202007-08-01 22:01:54 +0000211 return;
Owen Anderson4beedbd2007-07-24 21:52:37 +0000212 }
213
Owen Anderson642a9e32007-08-08 22:26:03 +0000214 // If not, go ahead and search for non-local ones.
Owen Anderson90660202007-08-01 22:01:54 +0000215 nonLocalHelper(query, query->getParent(), resp);
Owen Anderson4beedbd2007-07-24 21:52:37 +0000216}
217
Owen Anderson78e02f72007-07-06 23:14:35 +0000218/// getDependency - Return the instruction on which a memory operation
Owen Anderson6b278fc2007-07-10 17:08:11 +0000219/// depends. The local paramter indicates if the query should only
220/// evaluate dependencies within the same basic block.
Owen Anderson8cad4232007-08-08 21:39:39 +0000221const Instruction* MemoryDependenceAnalysis::getDependency(Instruction* query,
Owen Andersonfaac5182007-07-16 21:52:50 +0000222 Instruction* start,
Owen Anderson4beedbd2007-07-24 21:52:37 +0000223 BasicBlock* block) {
Owen Anderson78e02f72007-07-06 23:14:35 +0000224 // Start looking for dependencies with the queried inst
225 BasicBlock::iterator QI = query;
226
227 // Check for a cached result
Owen Anderson8cad4232007-08-08 21:39:39 +0000228 std::pair<const Instruction*, bool> cachedResult = depGraphLocal[query];
Owen Anderson78e02f72007-07-06 23:14:35 +0000229 // If we have a _confirmed_ cached entry, return it
230 if (cachedResult.second)
231 return cachedResult.first;
Owen Anderson0cd32032007-07-25 19:57:03 +0000232 else if (cachedResult.first && cachedResult.first != NonLocal)
Owen Anderson78e02f72007-07-06 23:14:35 +0000233 // If we have an unconfirmed cached entry, we can start our search from there
Owen Anderson8cad4232007-08-08 21:39:39 +0000234 QI = const_cast<Instruction*>(cachedResult.first);
Owen Anderson78e02f72007-07-06 23:14:35 +0000235
Owen Andersonfaac5182007-07-16 21:52:50 +0000236 if (start)
237 QI = start;
Owen Anderson0cd32032007-07-25 19:57:03 +0000238 else if (!start && block)
239 QI = block->end();
Owen Andersonfaac5182007-07-16 21:52:50 +0000240
Owen Anderson78e02f72007-07-06 23:14:35 +0000241 AliasAnalysis& AA = getAnalysis<AliasAnalysis>();
Owen Anderson6b278fc2007-07-10 17:08:11 +0000242 TargetData& TD = getAnalysis<TargetData>();
Owen Anderson78e02f72007-07-06 23:14:35 +0000243
244 // Get the pointer value for which dependence will be determined
245 Value* dependee = 0;
Owen Anderson6b278fc2007-07-10 17:08:11 +0000246 uint64_t dependeeSize = 0;
Owen Andersone314eb32007-07-10 18:11:42 +0000247 bool queryIsVolatile = false;
Owen Andersonfaac5182007-07-16 21:52:50 +0000248 if (StoreInst* S = dyn_cast<StoreInst>(query)) {
Owen Anderson78e02f72007-07-06 23:14:35 +0000249 dependee = S->getPointerOperand();
Owen Anderson7a616a12007-07-10 17:25:03 +0000250 dependeeSize = TD.getTypeSize(S->getOperand(0)->getType());
Owen Andersone314eb32007-07-10 18:11:42 +0000251 queryIsVolatile = S->isVolatile();
Owen Andersonfaac5182007-07-16 21:52:50 +0000252 } else if (LoadInst* L = dyn_cast<LoadInst>(query)) {
Owen Anderson78e02f72007-07-06 23:14:35 +0000253 dependee = L->getPointerOperand();
Owen Anderson7a616a12007-07-10 17:25:03 +0000254 dependeeSize = TD.getTypeSize(L->getType());
Owen Andersone314eb32007-07-10 18:11:42 +0000255 queryIsVolatile = L->isVolatile();
Owen Andersonfaac5182007-07-16 21:52:50 +0000256 } else if (VAArgInst* V = dyn_cast<VAArgInst>(query)) {
Owen Anderson06b6e822007-07-10 18:43:15 +0000257 dependee = V->getOperand(0);
258 dependeeSize = TD.getTypeSize(V->getType());
Owen Andersonfaac5182007-07-16 21:52:50 +0000259 } else if (FreeInst* F = dyn_cast<FreeInst>(query)) {
Owen Anderson78e02f72007-07-06 23:14:35 +0000260 dependee = F->getPointerOperand();
Owen Anderson6b278fc2007-07-10 17:08:11 +0000261
262 // FreeInsts erase the entire structure, not just a field
263 dependeeSize = ~0UL;
Owen Andersonfaac5182007-07-16 21:52:50 +0000264 } else if (CallSite::get(query).getInstruction() != 0)
Owen Andersondbbe8162007-08-07 00:33:45 +0000265 return getCallSiteDependency(CallSite::get(query), start, block);
Owen Anderson5f323202007-07-10 17:59:22 +0000266 else if (isa<AllocationInst>(query))
Owen Anderson78e02f72007-07-06 23:14:35 +0000267 return None;
Owen Anderson7a616a12007-07-10 17:25:03 +0000268 else
Owen Anderson6b278fc2007-07-10 17:08:11 +0000269 return None;
Owen Anderson78e02f72007-07-06 23:14:35 +0000270
Owen Anderson4beedbd2007-07-24 21:52:37 +0000271 BasicBlock::iterator blockBegin = block ? block->begin()
272 : query->getParent()->begin();
Owen Anderson78e02f72007-07-06 23:14:35 +0000273
Owen Anderson642a9e32007-08-08 22:26:03 +0000274 // Walk backwards through the basic block, looking for dependencies
Owen Anderson78e02f72007-07-06 23:14:35 +0000275 while (QI != blockBegin) {
Owen Anderson6b278fc2007-07-10 17:08:11 +0000276 --QI;
277
Owen Anderson78e02f72007-07-06 23:14:35 +0000278 // If this inst is a memory op, get the pointer it accessed
279 Value* pointer = 0;
Owen Anderson6b278fc2007-07-10 17:08:11 +0000280 uint64_t pointerSize = 0;
281 if (StoreInst* S = dyn_cast<StoreInst>(QI)) {
Owen Andersone314eb32007-07-10 18:11:42 +0000282 // All volatile loads/stores depend on each other
283 if (queryIsVolatile && S->isVolatile()) {
Owen Andersondbbe8162007-08-07 00:33:45 +0000284 if (!start && !block) {
Owen Andersonfaac5182007-07-16 21:52:50 +0000285 depGraphLocal.insert(std::make_pair(query, std::make_pair(S, true)));
Owen Andersondbbe8162007-08-07 00:33:45 +0000286 reverseDep[S].insert(query);
Owen Andersonfaac5182007-07-16 21:52:50 +0000287 }
288
Owen Andersone314eb32007-07-10 18:11:42 +0000289 return S;
290 }
291
Owen Anderson78e02f72007-07-06 23:14:35 +0000292 pointer = S->getPointerOperand();
Owen Anderson7a616a12007-07-10 17:25:03 +0000293 pointerSize = TD.getTypeSize(S->getOperand(0)->getType());
Owen Anderson6b278fc2007-07-10 17:08:11 +0000294 } else if (LoadInst* L = dyn_cast<LoadInst>(QI)) {
Owen Andersone314eb32007-07-10 18:11:42 +0000295 // All volatile loads/stores depend on each other
296 if (queryIsVolatile && L->isVolatile()) {
Owen Andersondbbe8162007-08-07 00:33:45 +0000297 if (!start && !block) {
Owen Andersonfaac5182007-07-16 21:52:50 +0000298 depGraphLocal.insert(std::make_pair(query, std::make_pair(L, true)));
Owen Andersondbbe8162007-08-07 00:33:45 +0000299 reverseDep[L].insert(query);
Owen Andersonfaac5182007-07-16 21:52:50 +0000300 }
301
Owen Andersone314eb32007-07-10 18:11:42 +0000302 return L;
303 }
304
Owen Anderson78e02f72007-07-06 23:14:35 +0000305 pointer = L->getPointerOperand();
Owen Anderson7a616a12007-07-10 17:25:03 +0000306 pointerSize = TD.getTypeSize(L->getType());
Owen Anderson6b278fc2007-07-10 17:08:11 +0000307 } else if (AllocationInst* AI = dyn_cast<AllocationInst>(QI)) {
308 pointer = AI;
Owen Anderson7a616a12007-07-10 17:25:03 +0000309 if (ConstantInt* C = dyn_cast<ConstantInt>(AI->getArraySize()))
Owen Anderson80b1f092007-08-08 22:01:54 +0000310 pointerSize = C->getZExtValue() * \
311 TD.getTypeSize(AI->getAllocatedType());
Owen Anderson6b278fc2007-07-10 17:08:11 +0000312 else
313 pointerSize = ~0UL;
Owen Anderson06b6e822007-07-10 18:43:15 +0000314 } else if (VAArgInst* V = dyn_cast<VAArgInst>(QI)) {
315 pointer = V->getOperand(0);
316 pointerSize = TD.getTypeSize(V->getType());
Owen Anderson6b278fc2007-07-10 17:08:11 +0000317 } else if (FreeInst* F = dyn_cast<FreeInst>(QI)) {
Owen Anderson78e02f72007-07-06 23:14:35 +0000318 pointer = F->getPointerOperand();
Owen Anderson6b278fc2007-07-10 17:08:11 +0000319
320 // FreeInsts erase the entire structure
321 pointerSize = ~0UL;
Owen Anderson5f323202007-07-10 17:59:22 +0000322 } else if (CallSite::get(QI).getInstruction() != 0) {
Owen Anderson80b1f092007-08-08 22:01:54 +0000323 // Call insts need special handling. Check if they can modify our pointer
Owen Anderson8f353152007-08-06 23:26:03 +0000324 AliasAnalysis::ModRefResult MR = AA.getModRefInfo(CallSite::get(QI),
325 dependee, dependeeSize);
326
327 if (MR != AliasAnalysis::NoModRef) {
328 // Loads don't depend on read-only calls
329 if (isa<LoadInst>(query) && MR == AliasAnalysis::Ref)
330 continue;
331
Owen Andersondbbe8162007-08-07 00:33:45 +0000332 if (!start && !block) {
Owen Anderson80b1f092007-08-08 22:01:54 +0000333 depGraphLocal.insert(std::make_pair(query,
334 std::make_pair(QI, true)));
Owen Andersondbbe8162007-08-07 00:33:45 +0000335 reverseDep[QI].insert(query);
Owen Andersonfaac5182007-07-16 21:52:50 +0000336 }
337
Owen Anderson5f323202007-07-10 17:59:22 +0000338 return QI;
Owen Anderson7a616a12007-07-10 17:25:03 +0000339 } else {
340 continue;
341 }
Owen Anderson78e02f72007-07-06 23:14:35 +0000342 }
343
344 // If we found a pointer, check if it could be the same as our pointer
345 if (pointer) {
Owen Anderson6b278fc2007-07-10 17:08:11 +0000346 AliasAnalysis::AliasResult R = AA.alias(pointer, pointerSize,
347 dependee, dependeeSize);
Owen Anderson78e02f72007-07-06 23:14:35 +0000348
349 if (R != AliasAnalysis::NoAlias) {
Owen Anderson8f353152007-08-06 23:26:03 +0000350 // May-alias loads don't depend on each other
351 if (isa<LoadInst>(query) && isa<LoadInst>(QI) &&
352 R == AliasAnalysis::MayAlias)
353 continue;
354
Owen Andersondbbe8162007-08-07 00:33:45 +0000355 if (!start && !block) {
Owen Anderson80b1f092007-08-08 22:01:54 +0000356 depGraphLocal.insert(std::make_pair(query,
357 std::make_pair(QI, true)));
Owen Andersondbbe8162007-08-07 00:33:45 +0000358 reverseDep[QI].insert(query);
Owen Andersonfaac5182007-07-16 21:52:50 +0000359 }
360
Owen Anderson78e02f72007-07-06 23:14:35 +0000361 return QI;
362 }
363 }
Owen Anderson78e02f72007-07-06 23:14:35 +0000364 }
365
366 // If we found nothing, return the non-local flag
Owen Andersondbbe8162007-08-07 00:33:45 +0000367 if (!start && !block) {
Owen Andersonfaac5182007-07-16 21:52:50 +0000368 depGraphLocal.insert(std::make_pair(query,
369 std::make_pair(NonLocal, true)));
Owen Andersondbbe8162007-08-07 00:33:45 +0000370 reverseDep[NonLocal].insert(query);
Owen Andersonfaac5182007-07-16 21:52:50 +0000371 }
Owen Anderson78e02f72007-07-06 23:14:35 +0000372
373 return NonLocal;
374}
375
376/// removeInstruction - Remove an instruction from the dependence analysis,
377/// updating the dependence of instructions that previously depended on it.
Owen Anderson642a9e32007-08-08 22:26:03 +0000378/// This method attempts to keep the cache coherent using the reverse map.
Owen Anderson78e02f72007-07-06 23:14:35 +0000379void MemoryDependenceAnalysis::removeInstruction(Instruction* rem) {
380 // Figure out the new dep for things that currently depend on rem
Owen Anderson8cad4232007-08-08 21:39:39 +0000381 const Instruction* newDep = NonLocal;
David Greenedf464192007-07-31 20:01:27 +0000382
383 depMapType::iterator depGraphEntry = depGraphLocal.find(rem);
384 // We assume here that it's not in the reverse map if it's not in
385 // the dep map. Checking it could be expensive, so don't do it.
386
387 if (depGraphEntry != depGraphLocal.end()) {
388 if (depGraphEntry->second.first != NonLocal &&
389 depGraphEntry->second.second) {
390 // If we have dep info for rem, set them to it
Owen Anderson80b1f092007-08-08 22:01:54 +0000391 BasicBlock::iterator RI =
392 const_cast<Instruction*>(depGraphEntry->second.first);
David Greenedf464192007-07-31 20:01:27 +0000393 RI++;
394 newDep = RI;
395 } else if (depGraphEntry->second.first == NonLocal &&
396 depGraphEntry->second.second ) {
397 // If we have a confirmed non-local flag, use it
398 newDep = NonLocal;
399 } else {
400 // Otherwise, use the immediate successor of rem
Owen Anderson80b1f092007-08-08 22:01:54 +0000401 // NOTE: This is because, when getDependence is called, it will first
402 // check the immediate predecessor of what is in the cache.
David Greenedf464192007-07-31 20:01:27 +0000403 BasicBlock::iterator RI = rem;
404 RI++;
405 newDep = RI;
406 }
407
Owen Andersondbbe8162007-08-07 00:33:45 +0000408 SmallPtrSet<Instruction*, 4>& set = reverseDep[rem];
409 for (SmallPtrSet<Instruction*, 4>::iterator I = set.begin(), E = set.end();
410 I != E; ++I) {
David Greenedf464192007-07-31 20:01:27 +0000411 // Insert the new dependencies
412 // Mark it as unconfirmed as long as it is not the non-local flag
Owen Andersondbbe8162007-08-07 00:33:45 +0000413 depGraphLocal[*I] = std::make_pair(newDep, !newDep);
David Greenedf464192007-07-31 20:01:27 +0000414 }
Owen Andersondbbe8162007-08-07 00:33:45 +0000415 reverseDep.erase(rem);
Owen Anderson78e02f72007-07-06 23:14:35 +0000416 }
417
Owen Anderson1cb960a2007-07-12 00:06:21 +0000418 getAnalysis<AliasAnalysis>().deleteValue(rem);
Owen Anderson78e02f72007-07-06 23:14:35 +0000419}