6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-07-24 08:29:39 +00:00
Code Issues Projects Releases Wiki Activity

Document the new GVN number table structure.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119865 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson 2010-11-19 22:48:40 +00:00
parent 7b6ab402fe
commit 68c26396c0
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/Transforms/Scalar/GVN.cpp
View File

@ -677,8 +677,13 @@ namespace {
ValueTable VN;
/// NumberTable - A mapping from value numers to lists of Value*'s that
/// have that value number. Use lookupNumber to query it.
DenseMap<uint32_t, std::pair<Value*, void*> > NumberTable;
BumpPtrAllocator TableAllocator;
/// insert_table - Push a new Value to the NumberTable onto the list for
/// its value number.
void insert_table(uint32_t N, Value *V) {
std::pair<Value*, void*>& Curr = NumberTable[N];
if (!Curr.first) {
@ -693,6 +698,8 @@ namespace {
Curr.second = Node;
}
/// erase_table - Scan the list of values corresponding to a given value
/// number, and remove the given value if encountered.
void erase_table(uint32_t N, Value *V) {
std::pair<Value*, void*>* Prev = 0;
std::pair<Value*, void*>* Curr = &NumberTable[N];
@ -1886,6 +1893,11 @@ bool GVN::processLoad(LoadInst *L, SmallVectorImpl<Instruction*> &toErase) {
return false;
}
// lookupNumber - In order to find a leader for a given value number at a
// specific basic block, we first obtain the list of all Values for that number,
// and then scan the list to find one whose block dominates the block in
// question. This is fast because dominator tree queries consist of only
// a few comparisons of DFS numbers.
Value *GVN::lookupNumber(BasicBlock *BB, uint32_t num) {
std::pair<Value*, void*> Vals = NumberTable[num];
if (!Vals.first) return 0;