diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-11-29 21:25:10 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-11-29 21:25:10 +0000 |
| commit | b8ec75bc3546987d1b5ef3d572dcd2cd82dce9fc (patch) | |
| tree | 819d8a1d457c238f5af142e952bc97ceee7f3bc1 /llvm/lib/Analysis | |
| parent | f280b0c729f526e00ee84568639a692d9efa720c (diff) | |
| download | bcm5719-llvm-b8ec75bc3546987d1b5ef3d572dcd2cd82dce9fc.tar.gz bcm5719-llvm-b8ec75bc3546987d1b5ef3d572dcd2cd82dce9fc.zip | |
move MemoryDependenceAnalysis::verifyRemoved to the end of the file,
no functionality/code change.
llvm-svn: 60254
Diffstat (limited to 'llvm/lib/Analysis')
| -rw-r--r-- | llvm/lib/Analysis/MemoryDependenceAnalysis.cpp | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp b/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp index ce1915d8812..f59be5ec03b 100644 --- a/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp +++ b/llvm/lib/Analysis/MemoryDependenceAnalysis.cpp @@ -37,38 +37,6 @@ char MemoryDependenceAnalysis::ID = 0; static RegisterPass<MemoryDependenceAnalysis> X("memdep", "Memory Dependence Analysis", false, true); -/// verifyRemoved - Verify that the specified instruction does not occur -/// in our internal data structures. -void MemoryDependenceAnalysis::verifyRemoved(Instruction *D) const { - for (LocalDepMapType::const_iterator I = LocalDeps.begin(), - E = LocalDeps.end(); I != E; ++I) { - assert(I->first != D && "Inst occurs in data structures"); - assert(I->second.getPointer() != D && - "Inst occurs in data structures"); - } - - for (NonLocalDepMapType::const_iterator I = NonLocalDeps.begin(), - E = NonLocalDeps.end(); I != E; ++I) { - assert(I->first != D && "Inst occurs in data structures"); - for (DenseMap<BasicBlock*, DepResultTy>::iterator II = I->second.begin(), - EE = I->second.end(); II != EE; ++II) - assert(II->second.getPointer() != D && "Inst occurs in data structures"); - } - - for (ReverseDepMapType::const_iterator I = ReverseLocalDeps.begin(), - E = ReverseLocalDeps.end(); I != E; ++I) - for (SmallPtrSet<Instruction*, 4>::const_iterator II = I->second.begin(), - EE = I->second.end(); II != EE; ++II) - assert(*II != D && "Inst occurs in data structures"); - - for (ReverseDepMapType::const_iterator I = ReverseNonLocalDeps.begin(), - E = ReverseNonLocalDeps.end(); - I != E; ++I) - for (SmallPtrSet<Instruction*, 4>::const_iterator II = I->second.begin(), - EE = I->second.end(); II != EE; ++II) - assert(*II != D && "Inst occurs in data structures"); -} - /// getAnalysisUsage - Does not modify anything. It uses Alias Analysis. /// void MemoryDependenceAnalysis::getAnalysisUsage(AnalysisUsage &AU) const { @@ -484,3 +452,35 @@ void MemoryDependenceAnalysis::removeInstruction(Instruction *RemInst) { DEBUG(verifyRemoved(RemInst)); } + +/// verifyRemoved - Verify that the specified instruction does not occur +/// in our internal data structures. +void MemoryDependenceAnalysis::verifyRemoved(Instruction *D) const { + for (LocalDepMapType::const_iterator I = LocalDeps.begin(), + E = LocalDeps.end(); I != E; ++I) { + assert(I->first != D && "Inst occurs in data structures"); + assert(I->second.getPointer() != D && + "Inst occurs in data structures"); + } + + for (NonLocalDepMapType::const_iterator I = NonLocalDeps.begin(), + E = NonLocalDeps.end(); I != E; ++I) { + assert(I->first != D && "Inst occurs in data structures"); + for (DenseMap<BasicBlock*, DepResultTy>::iterator II = I->second.begin(), + EE = I->second.end(); II != EE; ++II) + assert(II->second.getPointer() != D && "Inst occurs in data structures"); + } + + for (ReverseDepMapType::const_iterator I = ReverseLocalDeps.begin(), + E = ReverseLocalDeps.end(); I != E; ++I) + for (SmallPtrSet<Instruction*, 4>::const_iterator II = I->second.begin(), + EE = I->second.end(); II != EE; ++II) + assert(*II != D && "Inst occurs in data structures"); + + for (ReverseDepMapType::const_iterator I = ReverseNonLocalDeps.begin(), + E = ReverseNonLocalDeps.end(); + I != E; ++I) + for (SmallPtrSet<Instruction*, 4>::const_iterator II = I->second.begin(), + EE = I->second.end(); II != EE; ++II) + assert(*II != D && "Inst occurs in data structures"); +} |

