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
|
uint64_t expected_cocsep[21] = {
[0] = 1,
[1] = 6,
[2] = 63,
[3] = 468,
[4] = 3068,
[5] = 15438,
[6] = 53814,
[7] = 71352,
[8] = 8784,
[9] = 96
};
uint64_t expected_h48[12][9][21] = {
[0] = {
[2] = {
[0] = 5473562,
[1] = 34776317,
[2] = 68566704,
[3] = 8750867,
},
[4] = {
[0] = 1,
[1] = 1,
[2] = 4,
[3] = 34,
[4] = 331,
[5] = 3612,
[6] = 41605,
[7] = 474128,
[8] = 4953846,
[9] = 34776317,
[10] = 68566704,
[11] = 8749194,
[12] = 1673,
},
},
[1] = {
[2] = {
[0] = 6012079,
[1] = 45822302,
[2] = 142018732,
[3] = 41281787,
},
},
};
static bool
distribution_equal(const uint64_t *expected, const uint64_t *actual, int n)
{
bool equal;
int i;
for (i = 0, equal = true; i <= n; i++) {
if (expected[i] != actual[i]) {
equal = false;
printf("Wrong value for %d: expected %" PRIu64
", actual %" PRIu64 "\n",
i, expected[i], actual[i]);
}
}
return equal;
}
static bool
check_cocsep(const void *data)
{
tableinfo_t info;
readtableinfo(data, &info);
return distribution_equal(
expected_cocsep, info.distribution, info.maxvalue);
}
static bool
unknown_h48(uint8_t h, uint8_t k)
{
if (k != 2 && k != 4)
return true;
if (k == 4 && h != 0)
return true;
return k == 2 && h > 1;
}
STATIC bool
check_distribution(const char *solver, const void *data)
{
tableinfo_t info = {0};
if (!strcmp(solver, "h48")) {
readtableinfo(data, &info);
if (!distribution_equal(
expected_cocsep, info.distribution, info.maxvalue)) {
printf("ERROR! cocsep distribution is incorrect\n");
return false;
}
printf("cocsep distribution is correct\n");
readtableinfo_n(data, 2, &info);
if (unknown_h48(info.h48h, info.bits))
goto check_distribution_unknown;
if (!distribution_equal(expected_h48[info.h48h][info.bits],
info.distribution, info.maxvalue)) {
printf("ERROR! h48 distribution is incorrect\n");
return false;
}
printf("h48 distribution is correct\n");
return true;
}
check_distribution_unknown:
printf("Distribution unknown, not checked\n");
return true;
}
|
