CBMC
|
irep hash functions More...
#include <climits>
#include <cstddef>
#include <stdint.h>
Go to the source code of this file.
Macros | |
#define | IREP_HASH_BASIC |
#define | FORCE_INLINE inline __attribute__((always_inline)) |
#define | BIG_CONSTANT(x) (x##LLU) |
#define | hash_combine(h1, h2) basic_hash_combine<sizeof(std::size_t) * CHAR_BIT>(h1, h2) |
#define | hash_finalize(h1, len) basic_hash_finalize(h1, len) |
Functions | |
static | __attribute__ ((always_inline)) uint32_t ROTL32(uint32_t x |
template<int > | |
std::size_t | basic_hash_combine (std::size_t h1, std::size_t h2) |
template<> | |
std::size_t | basic_hash_combine< 32 > (std::size_t h1, std::size_t h2) |
template<> | |
std::size_t | basic_hash_combine< 64 > (std::size_t h1, std::size_t h2) |
std::size_t | basic_hash_finalize (std::size_t h1, std::size_t len) |
Variables | |
static int8_t | r |
irep hash functions
Definition in file irep_hash.h.
#define BIG_CONSTANT | ( | x | ) | (x##LLU) |
Definition at line 69 of file irep_hash.h.
#define FORCE_INLINE inline __attribute__((always_inline)) |
Definition at line 55 of file irep_hash.h.
#define hash_combine | ( | h1, | |
h2 | |||
) | basic_hash_combine<sizeof(std::size_t) * CHAR_BIT>(h1, h2) |
Definition at line 121 of file irep_hash.h.
#define hash_finalize | ( | h1, | |
len | |||
) | basic_hash_finalize(h1, len) |
Definition at line 123 of file irep_hash.h.
#define IREP_HASH_BASIC |
Definition at line 17 of file irep_hash.h.
|
inlinestatic |
std::size_t basic_hash_combine | ( | std::size_t | h1, |
std::size_t | h2 | ||
) |
|
inline |
Definition at line 82 of file irep_hash.h.
|
inline |
Definition at line 90 of file irep_hash.h.
|
inline |
Definition at line 110 of file irep_hash.h.
static int8_t r |
Definition at line 59 of file irep_hash.h.