From: Clifford Wolf Date: Fri, 26 Dec 2014 22:21:23 +0000 (+0100) Subject: Some cleanups in dict/pool hashtable implementation X-Git-Tag: yosys-0.5~212 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=88d08e8f24cb2d43907a9d28d65fedc9638554ca;p=yosys.git Some cleanups in dict/pool hashtable implementation --- diff --git a/kernel/hashmap.h b/kernel/hashmap.h index 50098ac35..91df68a71 100644 --- a/kernel/hashmap.h +++ b/kernel/hashmap.h @@ -65,7 +65,7 @@ struct hash_cstr_ops { return true; } unsigned int hash(const char *a) const { - size_t hash = 5381; + unsigned int hash = 5381; while (*a) hash = mkhash(hash, *(a++)); return hash; @@ -81,6 +81,34 @@ struct hash_ptr_ops { } }; +inline int hashtable_size(int old_size) +{ + if (old_size < 53) return 53; + if (old_size < 113) return 113; + if (old_size < 251) return 251; + if (old_size < 503) return 503; + if (old_size < 1129) return 1129; + if (old_size < 2503) return 2503; + if (old_size < 5023) return 5023; + if (old_size < 11299) return 11299; + if (old_size < 25097) return 25097; + if (old_size < 50291) return 50291; + if (old_size < 112997) return 112997; + if (old_size < 251003) return 251003; + if (old_size < 503003) return 503003; + if (old_size < 1129991) return 1129991; + if (old_size < 2509993) return 2509993; + if (old_size < 5029991) return 5029991; + if (old_size < 11299997) return 11299997; + if (old_size < 25099999) return 25099999; + if (old_size < 50299999) return 50299999; + if (old_size < 113000009) return 113000009; + if (old_size < 250999999) return 250999999; + if (old_size < 503000009) return 503000009; + if (old_size < 1129999999) return 1129999999; + throw std::length_error("hash table exceeded maximum size"); +} + template> class dict { @@ -116,7 +144,7 @@ class dict entries.clear(); counter = other.size(); - int new_size = grow_size(counter); + int new_size = hashtable_size(counter); entries.reserve(new_size); for (auto &it : other) @@ -125,34 +153,6 @@ class dict rehash(); } - size_t grow_size(size_t old_size) - { - if (old_size < 53) return 53; - if (old_size < 113) return 113; - if (old_size < 251) return 251; - if (old_size < 503) return 503; - if (old_size < 1130) return 1130; - if (old_size < 2510) return 2510; - if (old_size < 5030) return 5030; - if (old_size < 11300) return 11300; - if (old_size < 25100) return 25100; - if (old_size < 50300) return 50300; - if (old_size < 113000) return 113000; - if (old_size < 251000) return 251000; - if (old_size < 503000) return 503000; - if (old_size < 1130000) return 1130000; - if (old_size < 2510000) return 2510000; - if (old_size < 5030000) return 5030000; - if (old_size < 11300000) return 11300000; - if (old_size < 25100000) return 25100000; - if (old_size < 50300000) return 50300000; - if (old_size < 113000000) return 113000000; - if (old_size < 251000000) return 251000000; - if (old_size < 503000000) return 503000000; - if (old_size < 1130000000) return 1130000000; - throw std::length_error("maximum size for dict reached"); - } - int mkhash(const K &key) const { unsigned int hash = 0; @@ -221,7 +221,7 @@ class dict if (free_list < 0) { int i = entries.size(); - entries.resize(grow_size(i)); + entries.resize(hashtable_size(i)); entries[i].udata = value; entries[i].set_next_used(0); counter++; @@ -473,7 +473,7 @@ class pool entries.clear(); counter = other.size(); - int new_size = grow_size(counter); + int new_size = hashtable_size(counter); entries.reserve(new_size); for (auto &it : other) @@ -482,34 +482,6 @@ class pool rehash(); } - size_t grow_size(size_t old_size) - { - if (old_size < 53) return 53; - if (old_size < 113) return 113; - if (old_size < 251) return 251; - if (old_size < 503) return 503; - if (old_size < 1130) return 1130; - if (old_size < 2510) return 2510; - if (old_size < 5030) return 5030; - if (old_size < 11300) return 11300; - if (old_size < 25100) return 25100; - if (old_size < 50300) return 50300; - if (old_size < 113000) return 113000; - if (old_size < 251000) return 251000; - if (old_size < 503000) return 503000; - if (old_size < 1130000) return 1130000; - if (old_size < 2510000) return 2510000; - if (old_size < 5030000) return 5030000; - if (old_size < 11300000) return 11300000; - if (old_size < 25100000) return 25100000; - if (old_size < 50300000) return 50300000; - if (old_size < 113000000) return 113000000; - if (old_size < 251000000) return 251000000; - if (old_size < 503000000) return 503000000; - if (old_size < 1130000000) return 1130000000; - throw std::length_error("maximum size for pool reached"); - } - int mkhash(const K &key) const { unsigned int hash = 0; @@ -578,7 +550,7 @@ class pool if (free_list < 0) { int i = entries.size(); - entries.resize(grow_size(i)); + entries.resize(hashtable_size(i)); entries[i].key = key; entries[i].set_next_used(0); counter++;