aboutsummaryrefslogtreecommitdiff
path: root/src/pruning_tables.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2021-11-11 21:37:34 +0100
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2021-11-11 21:37:34 +0100
commit3568412f8f230774d0d11d7ed1c897424f95d3ef (patch)
tree77223792d8c925a9b1fc32b3f4341e943b5f8209 /src/pruning_tables.h
parent67e1b5e6e6a2c917a2fe58a37a1382c982b1e5c5 (diff)
downloadnissy-3568412f8f230774d0d11d7ed1c897424f95d3ef.tar.gz
nissy-3568412f8f230774d0d11d7ed1c897424f95d3ef.zip
Rewritten from scratch. Welocme nissy 2.0!
Diffstat (limited to 'src/pruning_tables.h')
-rw-r--r--src/pruning_tables.h66
1 files changed, 0 insertions, 66 deletions
diff --git a/src/pruning_tables.h b/src/pruning_tables.h
deleted file mode 100644
index 7921e97..0000000
--- a/src/pruning_tables.h
+++ /dev/null
@@ -1,66 +0,0 @@
1#include <stdint.h>
2#include "utils.h"
3
4extern int eofb_pruning_table[pow2to11];
5extern int eorl_pruning_table[pow2to11];
6extern int eoud_pruning_table[pow2to11];
7extern int coud_pruning_table[pow3to7];
8extern int cofb_pruning_table[pow3to7];
9extern int corl_pruning_table[pow3to7];
10extern int cp_pruning_table[factorial8];
11
12extern int eorl_from_eofb_pruning_table[pow2to11];
13extern int eoud_from_eofb_pruning_table[pow2to11];
14extern int eoud_from_eorl_pruning_table[pow2to11];
15extern int eofb_from_eorl_pruning_table[pow2to11];
16extern int eofb_from_eoud_pruning_table[pow2to11];
17extern int eorl_from_eoud_pruning_table[pow2to11];
18
19extern int coud_from_eofb_pruning_table[pow3to7];
20extern int coud_from_eorl_pruning_table[pow3to7];
21extern int cofb_from_eorl_pruning_table[pow3to7];
22extern int cofb_from_eoud_pruning_table[pow3to7];
23extern int corl_from_eoud_pruning_table[pow3to7];
24extern int corl_from_eofb_pruning_table[pow3to7];
25
26extern int cp_drud_pruning_table[factorial8];
27extern int cp_drfb_pruning_table[factorial8];
28extern int cp_drrl_pruning_table[factorial8];
29extern int epud_pruning_table[factorial8];
30extern int epfb_pruning_table[factorial8];
31extern int eprl_pruning_table[factorial8];
32
33extern int cp_htr_pruning_table[factorial8];
34extern int cpud_to_htr_pruning_table[factorial8];
35extern int cpfb_to_htr_pruning_table[factorial8];
36extern int cprl_to_htr_pruning_table[factorial8];
37
38/* About 1Mb each */
39extern int8_t eofb_epose_pruning_table[pow2to11][binom12on4];
40extern int8_t eorl_eposs_pruning_table[pow2to11][binom12on4];
41extern int8_t eoud_eposm_pruning_table[pow2to11][binom12on4];
42
43/* About 4.5Mb each */
44extern int8_t eofb_coud_pruning_table[pow2to11][pow3to7];
45extern int8_t eofb_corl_pruning_table[pow2to11][pow3to7];
46extern int8_t eorl_coud_pruning_table[pow2to11][pow3to7];
47extern int8_t eorl_cofb_pruning_table[pow2to11][pow3to7];
48extern int8_t eoud_cofb_pruning_table[pow2to11][pow3to7];
49extern int8_t eoud_corl_pruning_table[pow2to11][pow3to7];
50
51/* About 1Mb each */
52extern int8_t coud_epose_from_eofb_pruning_table[pow3to7][binom12on4];
53extern int8_t cofb_eposs_from_eorl_pruning_table[pow3to7][binom12on4];
54extern int8_t corl_eposm_from_eoud_pruning_table[pow3to7][binom12on4];
55extern int8_t coud_epose_from_eorl_pruning_table[pow3to7][binom12on4];
56extern int8_t cofb_eposs_from_eoud_pruning_table[pow3to7][binom12on4];
57extern int8_t corl_eposm_from_eofb_pruning_table[pow3to7][binom12on4];
58
59/* First one 88Mb, second one 21Mb */
60extern int8_t cp_co_pruning_table[factorial8][pow3to7];
61extern int8_t triple_eo_pruning_table[pow2to11][binom12on4*binom8on4];
62
63void init_small_pruning_tables();
64void init_directdr_pruning_tables();
65void init_drfromeo_pruning_tables();
66void init_huge_pruning_tables();

Generated with cgit - Back to sebastiano.tronto.net