diff options
author | Chris Lattner <sabre@nondot.org> | 2005-10-03 21:26:53 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2005-10-03 21:26:53 +0000 |
commit | eebac5fee6374f3ad10ff1c9ff710411673e8c89 (patch) | |
tree | 31ef59e6785780bb7ab781511917f01c7a6aabb1 /lib/Bytecode | |
parent | 8ba732bb1c21059153215a1cbe664a1db9293e1f (diff) |
Use a map to cache the ModuleType information, so we can do logarithmic
lookups instead of linear time lookups. This speeds up bc parsing of a
large file from
137.834u 118.256s 4:27.96
to
132.611u 114.436s 4:08.53
with a release build.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@23611 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Bytecode')
-rw-r--r-- | lib/Bytecode/Reader/Reader.cpp | 49 | ||||
-rw-r--r-- | lib/Bytecode/Reader/Reader.h | 6 |
2 files changed, 47 insertions, 8 deletions
diff --git a/lib/Bytecode/Reader/Reader.cpp b/lib/Bytecode/Reader/Reader.cpp index 6bb06c3ce4..ba9c6ca97f 100644 --- a/lib/Bytecode/Reader/Reader.cpp +++ b/lib/Bytecode/Reader/Reader.cpp @@ -347,11 +347,25 @@ unsigned BytecodeReader::getTypeSlot(const Type *Ty) { return Type::FirstDerivedTyID + ModuleTypes.size() + (&*I - &FunctionTypes[0]); - // Check the module level types now... - I = std::find(ModuleTypes.begin(), ModuleTypes.end(), Ty); - if (I == ModuleTypes.end()) + // If we don't have our cache yet, build it now. + if (ModuleTypeIDCache.empty()) { + unsigned N = 0; + ModuleTypeIDCache.reserve(ModuleTypes.size()); + for (TypeListTy::iterator I = ModuleTypes.begin(), E = ModuleTypes.end(); + I != E; ++I, ++N) + ModuleTypeIDCache.push_back(std::make_pair(*I, N)); + + std::sort(ModuleTypeIDCache.begin(), ModuleTypeIDCache.end()); + } + + // Binary search the cache for the entry. + std::vector<std::pair<const Type*, unsigned> >::iterator IT = + std::lower_bound(ModuleTypeIDCache.begin(), ModuleTypeIDCache.end(), + std::make_pair(Ty, 0U)); + if (IT == ModuleTypeIDCache.end() || IT->first != Ty) error("Didn't find type in ModuleTypes."); - return Type::FirstDerivedTyID + (&*I - &ModuleTypes[0]); + + return Type::FirstDerivedTyID + IT->second; } /// This is just like getType, but when a compaction table is in use, it is @@ -375,11 +389,26 @@ const Type *BytecodeReader::getGlobalTableType(unsigned Slot) { unsigned BytecodeReader::getGlobalTableTypeSlot(const Type *Ty) { if (Ty->isPrimitiveType()) return Ty->getTypeID(); - TypeListTy::iterator I = std::find(ModuleTypes.begin(), - ModuleTypes.end(), Ty); - if (I == ModuleTypes.end()) + + // If we don't have our cache yet, build it now. + if (ModuleTypeIDCache.empty()) { + unsigned N = 0; + ModuleTypeIDCache.reserve(ModuleTypes.size()); + for (TypeListTy::iterator I = ModuleTypes.begin(), E = ModuleTypes.end(); + I != E; ++I, ++N) + ModuleTypeIDCache.push_back(std::make_pair(*I, N)); + + std::sort(ModuleTypeIDCache.begin(), ModuleTypeIDCache.end()); + } + + // Binary search the cache for the entry. + std::vector<std::pair<const Type*, unsigned> >::iterator IT = + std::lower_bound(ModuleTypeIDCache.begin(), ModuleTypeIDCache.end(), + std::make_pair(Ty, 0U)); + if (IT == ModuleTypeIDCache.end() || IT->first != Ty) error("Didn't find type in ModuleTypes."); - return Type::FirstDerivedTyID + (&*I - &ModuleTypes[0]); + + return Type::FirstDerivedTyID + IT->second; } /// Retrieve a value of a given type and slot number, possibly creating @@ -1309,6 +1338,10 @@ void BytecodeReader::ParseTypes(TypeListTy &Tab, unsigned NumEntries){ if (Handler) Handler->handleTypeList(NumEntries); + // If we are about to resolve types, make sure the type cache is clear. + if (NumEntries) + ModuleTypeIDCache.clear(); + // Loop through reading all of the types. Forward types will make use of the // opaque types just inserted. // diff --git a/lib/Bytecode/Reader/Reader.h b/lib/Bytecode/Reader/Reader.h index eec5de9849..df0ddca747 100644 --- a/lib/Bytecode/Reader/Reader.h +++ b/lib/Bytecode/Reader/Reader.h @@ -333,6 +333,12 @@ private: /// @brief This vector is used to deal with forward references to types in /// a module. TypeListTy ModuleTypes; + + /// @brief This is an inverse mapping of ModuleTypes from the type to an + /// index. Because refining types causes the index of this map to be + /// invalidated, any time we refine a type, we clear this cache and recompute + /// it next time we need it. These entries are ordered by the pointer value. + std::vector<std::pair<const Type*, unsigned> > ModuleTypeIDCache; /// @brief This vector is used to deal with forward references to types in /// a function. |