1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#define OFFSET(B, K) (((uint8_t *)B) + K)
#define INFOSIZE 512
#define INFO_SOLVER_STRLEN 100
#define INFO_DISTRIBUTION_LEN 21
#define TABLETYPE_PRUNING 0
#define TABLETYPE_SPECIAL 1
#define INFO_OFFSET_DISTRIBUTION 0
#define INFO_OFFSET_TYPE (INFO_DISTRIBUTION_LEN * sizeof(uint64_t))
#define INFO_OFFSET_INFOSIZE (INFO_OFFSET_TYPE + sizeof(uint64_t))
#define INFO_OFFSET_FULLSIZE (INFO_OFFSET_INFOSIZE + sizeof(uint64_t))
#define INFO_OFFSET_HASH (INFO_OFFSET_FULLSIZE + sizeof(uint64_t))
#define INFO_OFFSET_ENTRIES (INFO_OFFSET_HASH + sizeof(uint64_t))
#define INFO_OFFSET_CLASSES (INFO_OFFSET_ENTRIES + sizeof(uint64_t))
#define INFO_OFFSET_NEXT (INFO_OFFSET_CLASSES + sizeof(uint64_t))
#define INFO_OFFSET_SOLVER (INFO_OFFSET_NEXT + sizeof(uint64_t))
#define INFO_OFFSET_H48H (INFO_OFFSET_SOLVER + INFO_SOLVER_STRLEN)
#define INFO_OFFSET_BITS (INFO_OFFSET_H48H + sizeof(uint8_t))
#define INFO_OFFSET_BASE (INFO_OFFSET_BITS + sizeof(uint8_t))
#define INFO_OFFSET_MAXVALUE (INFO_OFFSET_BASE + sizeof(uint8_t))
typedef struct {
uint64_t distribution[INFO_DISTRIBUTION_LEN];
uint64_t type;
uint64_t infosize;
uint64_t fullsize;
uint64_t hash;
uint64_t entries;
uint64_t classes; /* Used only by cocsepdata, for now */
uint64_t next;
char solver[INFO_SOLVER_STRLEN];
uint8_t h48h; /* Specific to H48 tables */
uint8_t bits;
uint8_t base;
uint8_t maxvalue;
} tableinfo_t;
STATIC bool readtableinfo(const void *, tableinfo_t *);
STATIC bool readtableinfo_n(const void *, uint8_t, tableinfo_t *);
STATIC bool writetableinfo(const tableinfo_t *, void *);
STATIC bool
readtableinfo(const void *buf, tableinfo_t *info)
{
if (buf == NULL) {
LOG("Error reading table: buffer is NULL\n");
return false;
}
if (info == NULL) {
LOG("Error reading table info: info struct is NULL\n");
return false;
}
memcpy(info->distribution, OFFSET(buf, INFO_OFFSET_DISTRIBUTION),
INFO_DISTRIBUTION_LEN * sizeof(uint64_t));
info->type = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_TYPE);
info->infosize = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_INFOSIZE);
info->fullsize = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_FULLSIZE);
info->hash = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_HASH);
info->entries = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_ENTRIES);
info->classes = *(const uint64_t *)OFFSET(buf, INFO_OFFSET_CLASSES);
info->next = *(const uint64_t* )OFFSET(buf, INFO_OFFSET_NEXT);
memcpy(info->solver, OFFSET(buf, INFO_OFFSET_SOLVER),
INFO_SOLVER_STRLEN);
info->h48h = *OFFSET(buf, INFO_OFFSET_H48H);
info->bits = *OFFSET(buf, INFO_OFFSET_BITS);
info->base = *OFFSET(buf, INFO_OFFSET_BASE);
info->maxvalue = *OFFSET(buf, INFO_OFFSET_MAXVALUE);
return true;
}
STATIC bool
readtableinfo_n(const void *buf, uint8_t n, tableinfo_t *info)
{
for ( ; n > 0; n--, buf = (char *)buf + info->next)
if (!readtableinfo(buf, info))
return false;
return true;
}
STATIC bool
writetableinfo(const tableinfo_t *info, void *buf)
{
int i;
if (buf == NULL) {
LOG("Error writing table: buffer is NULL\n");
return false;
}
if (info == NULL) {
LOG("Error writing table info: provided info is NULL\n");
return false;
}
memcpy(OFFSET(buf, INFO_OFFSET_DISTRIBUTION), info->distribution,
INFO_DISTRIBUTION_LEN * sizeof(uint64_t));
*(uint64_t *)OFFSET(buf, INFO_OFFSET_TYPE) = info->type;
*(uint64_t *)OFFSET(buf, INFO_OFFSET_INFOSIZE) = info->infosize;
*(uint64_t *)OFFSET(buf, INFO_OFFSET_FULLSIZE) = info->fullsize;
*(uint64_t *)OFFSET(buf, INFO_OFFSET_HASH) = info->hash;
*(uint64_t *)OFFSET(buf, INFO_OFFSET_ENTRIES) = info->entries;
*(uint64_t *)OFFSET(buf, INFO_OFFSET_CLASSES) = info->classes;
*(uint64_t *)OFFSET(buf, INFO_OFFSET_NEXT) = info->next;
memcpy(OFFSET(buf, INFO_OFFSET_SOLVER), info->solver,
INFO_SOLVER_STRLEN);
/* Zeroing all chars after the end of the string, for consistency */
for (i = 1; i < INFO_SOLVER_STRLEN; i++)
if (*OFFSET(buf, i) == 0)
*OFFSET(buf, i) = 0;
*OFFSET(buf, INFO_OFFSET_H48H) = info->h48h;
*OFFSET(buf, INFO_OFFSET_BITS) = info->bits;
*OFFSET(buf, INFO_OFFSET_BASE) = info->base;
*OFFSET(buf, INFO_OFFSET_MAXVALUE) = info->maxvalue;
return true;
}
|
