diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-08-30 07:52:53 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-08-30 07:52:53 +0200 |
| commit | c548499e68e473452592c9b0bf860f76bd8b94b8 (patch) | |
| tree | 02219807113dde108e278f38f3dd5874f7e3dc18 /src/solvers/h48/map.h | |
| parent | 7e6c14a2f6e9e9cbac3431f3085c42bbe474d13d (diff) | |
| download | nissy-core-c548499e68e473452592c9b0bf860f76bd8b94b8.tar.gz nissy-core-c548499e68e473452592c9b0bf860f76bd8b94b8.zip | |
Added tool for checking new tables (and they are wrong)
Diffstat (limited to 'src/solvers/h48/map.h')
| -rw-r--r-- | src/solvers/h48/map.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/solvers/h48/map.h b/src/solvers/h48/map.h index 82e5a2c..0e9f926 100644 --- a/src/solvers/h48/map.h +++ b/src/solvers/h48/map.h | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | #define MAP_UNSET UINT64_C(0xFFFFFFFFFFFFFFFF) | 1 | #define MAP_UNSET UINT64_C(0xFFFFFFFFFFFFFFFF) |
| 2 | #define MAP_KEYMASK UINT64_C(0xFFFFFFFFFF) | 2 | #define MAP_KEYMASK UINT64_C(0xFFFFFFFFFF) |
| 3 | #define MAP_KEYSHIFT UINT64_C(40) | 3 | #define MAP_KEYSHIFT UINT64_C(40) |
| 4 | #define MAP_UNSET_VAL (MAP_UNSET >> MAP_KEYSHIFT) | ||
| 4 | 5 | ||
| 5 | typedef struct { | 6 | typedef struct { |
| 6 | uint64_t n; | 7 | uint64_t n; |
| @@ -84,8 +85,8 @@ h48map_nextkvpair(h48map_t *map, uint64_t *p) | |||
| 84 | kvpair_t kv; | 85 | kvpair_t kv; |
| 85 | uint64_t pair; | 86 | uint64_t pair; |
| 86 | 87 | ||
| 87 | kv.key = MAP_UNSET; | 88 | kv.key = MAP_KEYMASK; |
| 88 | kv.val = MAP_UNSET; | 89 | kv.val = MAP_UNSET_VAL; |
| 89 | 90 | ||
| 90 | DBG_ASSERT(*p < map->capacity, kv, | 91 | DBG_ASSERT(*p < map->capacity, kv, |
| 91 | "Error looping over map: given index %" PRIu64 " is out of " | 92 | "Error looping over map: given index %" PRIu64 " is out of " |
