123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188 |
- /* A hash map traits.
- Copyright (C) 2015-2019 Free Software Foundation, Inc.
- This file is part of GCC.
- GCC is free software; you can redistribute it and/or modify it under
- the terms of the GNU General Public License as published by the Free
- Software Foundation; either version 3, or (at your option) any later
- version.
- GCC is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or
- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- for more details.
- You should have received a copy of the GNU General Public License
- along with GCC; see the file COPYING3. If not see
- <http://www.gnu.org/licenses/>. */
- #ifndef HASH_MAP_TRAITS_H
- #define HASH_MAP_TRAITS_H
- /* Bacause mem-stats.h uses default hashmap traits, we have to
- put the class to this separate header file. */
- #include "hash-traits.h"
- /* Implement hash_map traits for a key with hash traits H. Empty and
- deleted map entries are represented as empty and deleted keys. */
- template <typename H, typename Value>
- struct simple_hashmap_traits
- {
- typedef typename H::value_type key_type;
- static const bool maybe_mx = true;
- static inline hashval_t hash (const key_type &);
- static inline bool equal_keys (const key_type &, const key_type &);
- template <typename T> static inline void remove (T &);
- template <typename T> static inline bool is_empty (const T &);
- template <typename T> static inline bool is_deleted (const T &);
- template <typename T> static inline void mark_empty (T &);
- template <typename T> static inline void mark_deleted (T &);
- };
- template <typename H, typename Value>
- inline hashval_t
- simple_hashmap_traits <H, Value>::hash (const key_type &h)
- {
- return H::hash (h);
- }
- template <typename H, typename Value>
- inline bool
- simple_hashmap_traits <H, Value>::equal_keys (const key_type &k1,
- const key_type &k2)
- {
- return H::equal (k1, k2);
- }
- template <typename H, typename Value>
- template <typename T>
- inline void
- simple_hashmap_traits <H, Value>::remove (T &entry)
- {
- H::remove (entry.m_key);
- entry.m_value.~Value ();
- }
- template <typename H, typename Value>
- template <typename T>
- inline bool
- simple_hashmap_traits <H, Value>::is_empty (const T &entry)
- {
- return H::is_empty (entry.m_key);
- }
- template <typename H, typename Value>
- template <typename T>
- inline bool
- simple_hashmap_traits <H, Value>::is_deleted (const T &entry)
- {
- return H::is_deleted (entry.m_key);
- }
- template <typename H, typename Value>
- template <typename T>
- inline void
- simple_hashmap_traits <H, Value>::mark_empty (T &entry)
- {
- H::mark_empty (entry.m_key);
- }
- template <typename H, typename Value>
- template <typename T>
- inline void
- simple_hashmap_traits <H, Value>::mark_deleted (T &entry)
- {
- H::mark_deleted (entry.m_key);
- }
- template <typename H, typename Value>
- struct simple_cache_map_traits: public simple_hashmap_traits<H,Value>
- {
- static const bool maybe_mx = false;
- };
- /* Implement traits for a hash_map with values of type Value for cases
- in which the key cannot represent empty and deleted slots. Instead
- record empty and deleted entries in Value. Derived classes must
- implement the hash and equal_keys functions. */
- template <typename Value>
- struct unbounded_hashmap_traits
- {
- template <typename T> static inline void remove (T &);
- template <typename T> static inline bool is_empty (const T &);
- template <typename T> static inline bool is_deleted (const T &);
- template <typename T> static inline void mark_empty (T &);
- template <typename T> static inline void mark_deleted (T &);
- };
- template <typename Value>
- template <typename T>
- inline void
- unbounded_hashmap_traits <Value>::remove (T &entry)
- {
- default_hash_traits <Value>::remove (entry.m_value);
- }
- template <typename Value>
- template <typename T>
- inline bool
- unbounded_hashmap_traits <Value>::is_empty (const T &entry)
- {
- return default_hash_traits <Value>::is_empty (entry.m_value);
- }
- template <typename Value>
- template <typename T>
- inline bool
- unbounded_hashmap_traits <Value>::is_deleted (const T &entry)
- {
- return default_hash_traits <Value>::is_deleted (entry.m_value);
- }
- template <typename Value>
- template <typename T>
- inline void
- unbounded_hashmap_traits <Value>::mark_empty (T &entry)
- {
- default_hash_traits <Value>::mark_empty (entry.m_value);
- }
- template <typename Value>
- template <typename T>
- inline void
- unbounded_hashmap_traits <Value>::mark_deleted (T &entry)
- {
- default_hash_traits <Value>::mark_deleted (entry.m_value);
- }
- /* Implement traits for a hash_map from integer type Key to Value in
- cases where Key has no spare values for recording empty and deleted
- slots. */
- template <typename Key, typename Value>
- struct unbounded_int_hashmap_traits : unbounded_hashmap_traits <Value>
- {
- typedef Key key_type;
- static inline hashval_t hash (Key);
- static inline bool equal_keys (Key, Key);
- };
- template <typename Key, typename Value>
- inline hashval_t
- unbounded_int_hashmap_traits <Key, Value>::hash (Key k)
- {
- return k;
- }
- template <typename Key, typename Value>
- inline bool
- unbounded_int_hashmap_traits <Key, Value>::equal_keys (Key k1, Key k2)
- {
- return k1 == k2;
- }
- #endif // HASH_MAP_TRAITS_H
|