aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/_moves_arr.c264
-rw-r--r--src/_moves_avx2.c197
-rw-r--r--src/_trans_arr.c952
-rw-r--r--src/_trans_avx2.c1000
-rw-r--r--src/cube.c1195
-rw-r--r--src/cube.h34
6 files changed, 0 insertions, 3642 deletions
diff --git a/src/_moves_arr.c b/src/_moves_arr.c
deleted file mode 100644
index bea0fee..0000000
--- a/src/_moves_arr.c
+++ /dev/null
@@ -1,264 +0,0 @@
1#define PERM4(r, i, j, k, l) \
2 aux = r[i]; \
3 r[i] = r[l]; \
4 r[l] = r[k]; \
5 r[k] = r[j]; \
6 r[j] = aux;
7#define PERM22(r, i, j, k, l) \
8 aux = r[i]; \
9 r[i] = r[j]; \
10 r[j] = aux; \
11 aux = r[k]; \
12 r[k] = r[l]; \
13 r[l] = aux;
14#define CO(a, b) \
15 aux = (a & _cobits) + (b & _cobits); \
16 auy = (aux + _ctwist_cw) >> 2U; \
17 auz = (aux + auy) & _cobits2; \
18 a = (a & _pbits) | auz;
19#define CO4(r, i, j, k, l) \
20 CO(r[i], _ctwist_cw) \
21 CO(r[j], _ctwist_cw) \
22 CO(r[k], _ctwist_ccw) \
23 CO(r[l], _ctwist_ccw)
24#define EO4(r, i, j, k, l) \
25 r[i] ^= _eobit; \
26 r[j] ^= _eobit; \
27 r[k] ^= _eobit; \
28 r[l] ^= _eobit;
29
30static inline cube_t
31inline_move_U(cube_t c)
32{
33 uint8_t aux;
34 cube_t ret = c;
35
36 PERM4(ret.e, _e_uf, _e_ul, _e_ub, _e_ur)
37 PERM4(ret.c, _c_ufr, _c_ufl, _c_ubl, _c_ubr)
38
39 return ret;
40}
41
42static inline cube_t
43inline_move_U2(cube_t c)
44{
45 uint8_t aux;
46 cube_t ret = c;
47
48 PERM22(ret.e, _e_uf, _e_ub, _e_ul, _e_ur)
49 PERM22(ret.c, _c_ufr, _c_ubl, _c_ufl, _c_ubr)
50
51 return ret;
52}
53
54static inline cube_t
55inline_move_U3(cube_t c)
56{
57 uint8_t aux;
58 cube_t ret = c;
59
60 PERM4(ret.e, _e_uf, _e_ur, _e_ub, _e_ul)
61 PERM4(ret.c, _c_ufr, _c_ubr, _c_ubl, _c_ufl)
62
63 return ret;
64}
65
66static inline cube_t
67inline_move_D(cube_t c)
68{
69 uint8_t aux;
70 cube_t ret = c;
71
72 PERM4(ret.e, _e_df, _e_dr, _e_db, _e_dl)
73 PERM4(ret.c, _c_dfr, _c_dbr, _c_dbl, _c_dfl)
74
75 return ret;
76}
77
78static inline cube_t
79inline_move_D2(cube_t c)
80{
81 uint8_t aux;
82 cube_t ret = c;
83
84 PERM22(ret.e, _e_df, _e_db, _e_dr, _e_dl)
85 PERM22(ret.c, _c_dfr, _c_dbl, _c_dbr, _c_dfl)
86
87 return ret;
88}
89
90static inline cube_t
91inline_move_D3(cube_t c)
92{
93 uint8_t aux;
94 cube_t ret = c;
95
96 PERM4(ret.e, _e_df, _e_dl, _e_db, _e_dr)
97 PERM4(ret.c, _c_dfr, _c_dfl, _c_dbl, _c_dbr)
98
99 return ret;
100}
101
102static inline cube_t
103inline_move_R(cube_t c)
104{
105 uint8_t aux, auy, auz;
106 cube_t ret = c;
107
108 PERM4(ret.e, _e_ur, _e_br, _e_dr, _e_fr)
109 PERM4(ret.c, _c_ufr, _c_ubr, _c_dbr, _c_dfr)
110
111 CO4(ret.c, _c_ubr, _c_dfr, _c_ufr, _c_dbr)
112
113 return ret;
114}
115
116static inline cube_t
117inline_move_R2(cube_t c)
118{
119 uint8_t aux;
120 cube_t ret = c;
121
122 PERM22(ret.e, _e_ur, _e_dr, _e_fr, _e_br)
123 PERM22(ret.c, _c_ufr, _c_dbr, _c_ubr, _c_dfr)
124
125 return ret;
126}
127
128static inline cube_t
129inline_move_R3(cube_t c)
130{
131 uint8_t aux, auy, auz;
132 cube_t ret = c;
133
134 PERM4(ret.e, _e_ur, _e_fr, _e_dr, _e_br)
135 PERM4(ret.c, _c_ufr, _c_dfr, _c_dbr, _c_ubr)
136
137 CO4(ret.c, _c_ubr, _c_dfr, _c_ufr, _c_dbr)
138
139 return ret;
140}
141
142static inline cube_t
143inline_move_L(cube_t c)
144{
145 uint8_t aux, auy, auz;
146 cube_t ret = c;
147
148 PERM4(ret.e, _e_ul, _e_fl, _e_dl, _e_bl)
149 PERM4(ret.c, _c_ufl, _c_dfl, _c_dbl, _c_ubl)
150
151 CO4(ret.c, _c_ufl, _c_dbl, _c_dfl, _c_ubl)
152
153 return ret;
154}
155
156static inline cube_t
157inline_move_L2(cube_t c)
158{
159 uint8_t aux;
160 cube_t ret = c;
161
162 PERM22(ret.e, _e_ul, _e_dl, _e_fl, _e_bl)
163 PERM22(ret.c, _c_ufl, _c_dbl, _c_ubl, _c_dfl)
164
165 return ret;
166}
167
168static inline cube_t
169inline_move_L3(cube_t c)
170{
171 uint8_t aux, auy, auz;
172 cube_t ret = c;
173
174 PERM4(ret.e, _e_ul, _e_bl, _e_dl, _e_fl)
175 PERM4(ret.c, _c_ufl, _c_ubl, _c_dbl, _c_dfl)
176
177 CO4(ret.c, _c_ufl, _c_dbl, _c_dfl, _c_ubl)
178
179 return ret;
180}
181
182static inline cube_t
183inline_move_F(cube_t c)
184{
185 uint8_t aux, auy, auz;
186 cube_t ret = c;
187
188 PERM4(ret.e, _e_uf, _e_fr, _e_df, _e_fl)
189 PERM4(ret.c, _c_ufr, _c_dfr, _c_dfl, _c_ufl)
190
191 EO4(ret.e, _e_uf, _e_fr, _e_df, _e_fl)
192 CO4(ret.c, _c_ufr, _c_dfl, _c_dfr, _c_ufl)
193
194 return ret;
195}
196
197static inline cube_t
198inline_move_F2(cube_t c)
199{
200 uint8_t aux;
201 cube_t ret = c;
202
203 PERM22(ret.e, _e_uf, _e_df, _e_fr, _e_fl)
204 PERM22(ret.c, _c_ufr, _c_dfl, _c_ufl, _c_dfr)
205
206 return ret;
207}
208
209static inline cube_t
210inline_move_F3(cube_t c)
211{
212 uint8_t aux, auy, auz;
213 cube_t ret = c;
214
215 PERM4(ret.e, _e_uf, _e_fl, _e_df, _e_fr)
216 PERM4(ret.c, _c_ufr, _c_ufl, _c_dfl, _c_dfr)
217
218 EO4(ret.e, _e_uf, _e_fr, _e_df, _e_fl)
219 CO4(ret.c, _c_ufr, _c_dfl, _c_dfr, _c_ufl)
220
221 return ret;
222}
223
224static inline cube_t
225inline_move_B(cube_t c)
226{
227 uint8_t aux, auy, auz;
228 cube_t ret = c;
229
230 PERM4(ret.e, _e_ub, _e_bl, _e_db, _e_br)
231 PERM4(ret.c, _c_ubr, _c_ubl, _c_dbl, _c_dbr)
232
233 EO4(ret.e, _e_ub, _e_br, _e_db, _e_bl)
234 CO4(ret.c, _c_ubl, _c_dbr, _c_dbl, _c_ubr)
235
236 return ret;
237}
238
239static inline cube_t
240inline_move_B2(cube_t c)
241{
242 uint8_t aux;
243 cube_t ret = c;
244
245 PERM22(ret.e, _e_ub, _e_db, _e_br, _e_bl)
246 PERM22(ret.c, _c_ubr, _c_dbl, _c_ubl, _c_dbr)
247
248 return ret;
249}
250
251static inline cube_t
252inline_move_B3(cube_t c)
253{
254 uint8_t aux, auy, auz;
255 cube_t ret = c;
256
257 PERM4(ret.e, _e_ub, _e_br, _e_db, _e_bl)
258 PERM4(ret.c, _c_ubr, _c_dbr, _c_dbl, _c_ubl)
259
260 EO4(ret.e, _e_ub, _e_br, _e_db, _e_bl)
261 CO4(ret.c, _c_ubl, _c_dbr, _c_dbl, _c_ubr)
262
263 return ret;
264}
diff --git a/src/_moves_avx2.c b/src/_moves_avx2.c
deleted file mode 100644
index 0c1f6a3..0000000
--- a/src/_moves_avx2.c
+++ /dev/null
@@ -1,197 +0,0 @@
1static inline cube_t
2inline_move_U(cube_t c)
3{
4 cube_t m = _mm256_set_epi8(
5 0, 0, 0, 0, 11, 10, 9, 8, 7, 6, 0, 1, 3, 2, 5, 4,
6 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 1, 0, 3, 2, 4, 5
7 );
8
9 return _mm256_shuffle_epi8(c, m);
10}
11
12static inline cube_t
13inline_move_U2(cube_t c)
14{
15 cube_t m = _mm256_set_epi8(
16 0, 0, 0, 0, 11, 10, 9, 8, 7, 6, 4, 5, 3, 2, 0, 1,
17 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 4, 5, 3, 2, 0, 1
18 );
19
20 return _mm256_shuffle_epi8(c, m);
21}
22
23static inline cube_t
24inline_move_U3(cube_t c)
25{
26 cube_t m = _mm256_set_epi8(
27 0, 0, 0, 0, 11, 10, 9, 8, 7, 6, 1, 0, 3, 2, 4, 5,
28 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 0, 1, 3, 2, 5, 4
29 );
30
31 return _mm256_shuffle_epi8(c, m);
32}
33
34static inline cube_t
35inline_move_D(cube_t c)
36{
37 cube_t m = _mm256_set_epi8(
38 0, 0, 0, 0, 11, 10, 9, 8, 3, 2, 5, 4, 6, 7, 1, 0,
39 0, 0, 0, 0, 0, 0, 0, 0, 3, 2, 5, 4, 6, 7, 1, 0
40 );
41
42 return _mm256_shuffle_epi8(c, m);
43}
44
45static inline cube_t
46inline_move_D2(cube_t c)
47{
48 cube_t m = _mm256_set_epi8(
49 0, 0, 0, 0, 11, 10, 9, 8, 6, 7, 5, 4, 2, 3, 1, 0,
50 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 5, 4, 2, 3, 1, 0
51 );
52
53 return _mm256_shuffle_epi8(c, m);
54}
55
56static inline cube_t
57inline_move_D3(cube_t c)
58{
59 cube_t m = _mm256_set_epi8(
60 0, 0, 0, 0, 11, 10, 9, 8, 2, 3, 5, 4, 7, 6, 1, 0,
61 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 5, 4, 7, 6, 1, 0
62 );
63
64 return _mm256_shuffle_epi8(c, m);
65}
66
67static inline cube_t
68inline_move_R(cube_t c)
69{
70 cube_t m = _mm256_set_epi8(
71 0, 0, 0, 0, 4, 10, 9, 7, 11, 6, 5, 8, 3, 2, 1, 0,
72 0, 0, 0, 0, 0, 0, 0, 0, 7, 35, 32, 4, 69, 2, 1, 70
73 );
74
75 return compose(c, m);
76}
77
78static inline cube_t
79inline_move_R2(cube_t c)
80{
81 cube_t m = _mm256_set_epi8(
82 0, 0, 0, 0, 8, 10, 9, 11, 4, 6, 5, 7, 3, 2, 1, 0,
83 0, 0, 0, 0, 0, 0, 0, 0, 7, 5, 6, 4, 0, 2, 1, 3
84 );
85
86 return _mm256_shuffle_epi8(c, m);
87}
88
89static inline cube_t
90inline_move_R3(cube_t c)
91{
92 cube_t m = _mm256_set_epi8(
93 0, 0, 0, 0, 7, 10, 9, 4, 8, 6, 5, 11, 3, 2, 1, 0,
94 0, 0, 0, 0, 0, 0, 0, 0, 7, 32, 35, 4, 70, 2, 1, 69
95 );
96
97 return compose(c, m);
98}
99
100static inline cube_t
101inline_move_L(cube_t c)
102{
103 cube_t m = _mm256_set_epi8(
104 0, 0, 0, 0, 11, 6, 5, 8, 7, 9, 10, 4, 3, 2, 1, 0,
105 0, 0, 0, 0, 0, 0, 0, 0, 34, 6, 5, 33, 3, 68, 71, 0
106 );
107
108 return compose(c, m);
109}
110
111static inline cube_t
112inline_move_L2(cube_t c)
113{
114 cube_t m = _mm256_set_epi8(
115 0, 0, 0, 0, 11, 9, 10, 8, 7, 5, 6, 4, 3, 2, 1, 0,
116 0, 0, 0, 0, 0, 0, 0, 0, 4, 6, 5, 7, 3, 1, 2, 0
117 );
118
119 return _mm256_shuffle_epi8(c, m);
120}
121
122static inline cube_t
123inline_move_L3(cube_t c)
124{
125 cube_t m = _mm256_set_epi8(
126 0, 0, 0, 0, 11, 5, 6, 8, 7, 10, 9, 4, 3, 2, 1, 0,
127 0, 0, 0, 0, 0, 0, 0, 0, 33, 6, 5, 34, 3, 71, 68, 0
128 );
129
130 return compose(c, m);
131}
132
133static inline cube_t
134inline_move_F(cube_t c)
135{
136 cube_t m = _mm256_set_epi8(
137 0, 0, 0, 0, 11, 10, 19, 16, 7, 6, 5, 4, 24, 2, 1, 25,
138 0, 0, 0, 0, 0, 0, 0, 0, 7, 64, 5, 66, 3, 38, 1, 36
139 );
140
141 return compose(c, m);
142}
143
144static inline cube_t
145inline_move_F2(cube_t c)
146{
147 cube_t m = _mm256_set_epi8(
148 0, 0, 0, 0, 11, 10, 8, 9, 7, 6, 5, 4, 0, 2, 1, 3,
149 0, 0, 0, 0, 0, 0, 0, 0, 7, 4, 5, 6, 3, 0, 1, 2
150 );
151
152 return _mm256_shuffle_epi8(c, m);
153}
154
155static inline cube_t
156inline_move_F3(cube_t c)
157{
158 cube_t m = _mm256_set_epi8(
159 0, 0, 0, 0, 11, 10, 16, 19, 7, 6, 5, 4, 25, 2, 1, 24,
160 0, 0, 0, 0, 0, 0, 0, 0, 7, 66, 5, 64, 3, 36, 1, 38
161 );
162
163 return compose(c, m);
164}
165
166static inline cube_t
167inline_move_B(cube_t c)
168{
169 cube_t m = _mm256_set_epi8(
170 0, 0, 0, 0, 18, 17, 9, 8, 7, 6, 5, 4, 3, 26, 27, 0,
171 0, 0, 0, 0, 0, 0, 0, 0, 65, 6, 67, 4, 39, 2, 37, 0
172 );
173
174 return compose(c, m);
175}
176
177static inline cube_t
178inline_move_B2(cube_t c)
179{
180 cube_t m = _mm256_set_epi8(
181 0, 0, 0, 0, 10, 11, 9, 8, 7, 6, 5, 4, 3, 1, 2, 0,
182 0, 0, 0, 0, 0, 0, 0, 0, 5, 6, 7, 4, 1, 2, 3, 0
183 );
184
185 return _mm256_shuffle_epi8(c, m);
186}
187
188static inline cube_t
189inline_move_B3(cube_t c)
190{
191 cube_t m = _mm256_set_epi8(
192 0, 0, 0, 0, 17, 18, 9, 8, 7, 6, 5, 4, 3, 27, 26, 0,
193 0, 0, 0, 0, 0, 0, 0, 0, 67, 6, 65, 4, 37, 2, 39, 0
194 );
195
196 return compose(c, m);
197}
diff --git a/src/_trans_arr.c b/src/_trans_arr.c
deleted file mode 100644
index 3a7c843..0000000
--- a/src/_trans_arr.c
+++ /dev/null
@@ -1,952 +0,0 @@
1static inline cube_t
2flipallcorners(cube_t c)
3{
4 uint8_t i, piece, orien;
5 cube_t ret;
6
7 ret = c;
8 for (i = 0; i < 8; i++) {
9 piece = get_corner(c, i);
10 orien = ((piece << 1) | (piece >> 1)) & _cobits2;
11 set_corner(ret, i, (piece & _pbits) | orien);
12 }
13
14 return ret;
15}
16
17static inline cube_t
18inline_trans_UFr(cube_t c)
19{
20 cube_t ret;
21 cube_t tn = {
22 .c = {0, 1, 2, 3, 4, 5, 6, 7},
23 .e = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
24 };
25 cube_t ti = {
26 .c = {0, 1, 2, 3, 4, 5, 6, 7},
27 .e = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
28 };
29
30 ret = compose(tn, c);
31 ret = compose(ret, ti);
32
33 return ret;
34}
35
36static inline cube_t
37inline_trans_ULr(cube_t c)
38{
39 cube_t ret;
40 cube_t tn = {
41 .c = {4, 5, 7, 6, 1, 0, 2, 3},
42 .e = {5, 4, 7, 6, 0, 1, 2, 3, 25, 26, 27, 24}
43 };
44 cube_t ti = {
45 .c = {5, 4, 6, 7, 0, 1, 3, 2},
46 .e = {4, 5, 6, 7, 1, 0, 3, 2, 27, 24, 25, 26}
47 };
48
49 ret = compose(tn, c);
50 ret = compose(ret, ti);
51
52 return ret;
53}
54
55static inline cube_t
56inline_trans_UBr(cube_t c)
57{
58 cube_t ret;
59 cube_t tn = {
60 .c = {1, 0, 3, 2, 5, 4, 7, 6},
61 .e = {1, 0, 3, 2, 5, 4, 7, 6, 10, 11, 8, 9}
62 };
63 cube_t ti = {
64 .c = {1, 0, 3, 2, 5, 4, 7, 6},
65 .e = {1, 0, 3, 2, 5, 4, 7, 6, 10, 11, 8, 9}
66 };
67
68 ret = compose(tn, c);
69 ret = compose(ret, ti);
70
71 return ret;
72}
73
74static inline cube_t
75inline_trans_URr(cube_t c)
76{
77 cube_t ret;
78 cube_t tn = {
79 .c = {5, 4, 6, 7, 0, 1, 3, 2},
80 .e = {4, 5, 6, 7, 1, 0, 3, 2, 27, 24, 25, 26}
81 };
82 cube_t ti = {
83 .c = {4, 5, 7, 6, 1, 0, 2, 3},
84 .e = {5, 4, 7, 6, 0, 1, 2, 3, 25, 26, 27, 24}
85 };
86
87 ret = compose(tn, c);
88 ret = compose(ret, ti);
89
90 return ret;
91}
92
93static inline cube_t
94inline_trans_DFr(cube_t c)
95{
96 cube_t ret;
97 cube_t tn = {
98 .c = {2, 3, 0, 1, 6, 7, 4, 5},
99 .e = {3, 2, 1, 0, 6, 7, 4, 5, 9, 8, 11, 10}
100 };
101 cube_t ti = {
102 .c = {2, 3, 0, 1, 6, 7, 4, 5},
103 .e = {3, 2, 1, 0, 6, 7, 4, 5, 9, 8, 11, 10}
104 };
105
106 ret = compose(tn, c);
107 ret = compose(ret, ti);
108
109 return ret;
110}
111
112static inline cube_t
113inline_trans_DLr(cube_t c)
114{
115 cube_t ret;
116 cube_t tn = {
117 .c = {7, 6, 4, 5, 2, 3, 1, 0},
118 .e = {6, 7, 4, 5, 2, 3, 0, 1, 26, 25, 24, 27}
119 };
120 cube_t ti = {
121 .c = {7, 6, 4, 5, 2, 3, 1, 0},
122 .e = {6, 7, 4, 5, 2, 3, 0, 1, 26, 25, 24, 27}
123 };
124
125 ret = compose(tn, c);
126 ret = compose(ret, ti);
127
128 return ret;
129}
130
131static inline cube_t
132inline_trans_DBr(cube_t c)
133{
134 cube_t ret;
135 cube_t tn = {
136 .c = {3, 2, 1, 0, 7, 6, 5, 4},
137 .e = {2, 3, 0, 1, 7, 6, 5, 4, 11, 10, 9, 8}
138 };
139 cube_t ti = {
140 .c = {3, 2, 1, 0, 7, 6, 5, 4},
141 .e = {2, 3, 0, 1, 7, 6, 5, 4, 11, 10, 9, 8}
142 };
143
144 ret = compose(tn, c);
145 ret = compose(ret, ti);
146
147 return ret;
148}
149
150static inline cube_t
151inline_trans_DRr(cube_t c)
152{
153 cube_t ret;
154 cube_t tn = {
155 .c = {6, 7, 5, 4, 3, 2, 0, 1},
156 .e = {7, 6, 5, 4, 3, 2, 1, 0, 24, 27, 26, 25}
157 };
158 cube_t ti = {
159 .c = {6, 7, 5, 4, 3, 2, 0, 1},
160 .e = {7, 6, 5, 4, 3, 2, 1, 0, 24, 27, 26, 25}
161 };
162
163 ret = compose(tn, c);
164 ret = compose(ret, ti);
165
166 return ret;
167}
168
169static inline cube_t
170inline_trans_RUr(cube_t c)
171{
172 cube_t ret;
173 cube_t tn = {
174 .c = {64, 67, 65, 66, 37, 38, 36, 39},
175 .e = {20, 23, 22, 21, 24, 27, 26, 25, 0, 1, 2, 3}
176 };
177 cube_t ti = {
178 .c = {32, 34, 35, 33, 70, 68, 69, 71},
179 .e = {8, 9, 10, 11, 16, 19, 18, 17, 20, 23, 22, 21}
180 };
181
182 ret = compose(tn, c);
183 ret = compose(ret, ti);
184
185 return ret;
186}
187
188static inline cube_t
189inline_trans_RFr(cube_t c)
190{
191 cube_t ret;
192 cube_t tn = {
193 .c = {38, 37, 36, 39, 64, 67, 66, 65},
194 .e = {24, 27, 26, 25, 23, 20, 21, 22, 19, 16, 17, 18}
195 };
196 cube_t ti = {
197 .c = {36, 39, 38, 37, 66, 65, 64, 67},
198 .e = {25, 26, 27, 24, 21, 22, 23, 20, 16, 19, 18, 17}
199 };
200
201 ret = compose(tn, c);
202 ret = compose(ret, ti);
203
204 return ret;
205}
206
207static inline cube_t
208inline_trans_RDr(cube_t c)
209{
210 cube_t ret;
211 cube_t tn = {
212 .c = {67, 64, 66, 65, 38, 37, 39, 36},
213 .e = {23, 20, 21, 22, 27, 24, 25, 26, 2, 3, 0, 1}
214 };
215 cube_t ti = {
216 .c = {33, 35, 34, 32, 71, 69, 68, 70},
217 .e = {10, 11, 8, 9, 17, 18, 19, 16, 21, 22, 23, 20}
218 };
219
220 ret = compose(tn, c);
221 ret = compose(ret, ti);
222
223 return ret;
224}
225
226static inline cube_t
227inline_trans_RBr(cube_t c)
228{
229 cube_t ret;
230 cube_t tn = {
231 .c = {37, 38, 39, 36, 67, 64, 65, 66},
232 .e = {27, 24, 25, 26, 20, 23, 22, 21, 17, 18, 19, 16}
233 };
234 cube_t ti = {
235 .c = {37, 38, 39, 36, 67, 64, 65, 66},
236 .e = {27, 24, 25, 26, 20, 23, 22, 21, 17, 18, 19, 16}
237 };
238
239 ret = compose(tn, c);
240 ret = compose(ret, ti);
241
242 return ret;
243}
244
245static inline cube_t
246inline_trans_LUr(cube_t c)
247{
248 cube_t ret;
249 cube_t tn = {
250 .c = {65, 66, 64, 67, 36, 39, 37, 38},
251 .e = {21, 22, 23, 20, 26, 25, 24, 27, 1, 0, 3, 2}
252 };
253 cube_t ti = {
254 .c = {34, 32, 33, 35, 68, 70, 71, 69},
255 .e = {9, 8, 11, 10, 19, 16, 17, 18, 22, 21, 20, 23}
256 };
257
258 ret = compose(tn, c);
259 ret = compose(ret, ti);
260
261 return ret;
262}
263
264static inline cube_t
265inline_trans_LFr(cube_t c)
266{
267 cube_t ret;
268 cube_t tn = {
269 .c = {36, 39, 38, 37, 66, 65, 64, 67},
270 .e = {25, 26, 27, 24, 21, 22, 23, 20, 16, 19, 18, 17}
271 };
272 cube_t ti = {
273 .c = {38, 37, 36, 39, 64, 67, 66, 65},
274 .e = {24, 27, 26, 25, 23, 20, 21, 22, 19, 16, 17, 18}
275 };
276
277 ret = compose(tn, c);
278 ret = compose(ret, ti);
279
280 return ret;
281}
282
283static inline cube_t
284inline_trans_LDr(cube_t c)
285{
286 cube_t ret;
287 cube_t tn = {
288 .c = {66, 65, 67, 64, 39, 36, 38, 37},
289 .e = {22, 21, 20, 23, 25, 26, 27, 24, 3, 2, 1, 0}
290 };
291 cube_t ti = {
292 .c = {35, 33, 32, 34, 69, 71, 70, 68},
293 .e = {11, 10, 9, 8, 18, 17, 16, 19, 23, 20, 21, 22}
294 };
295
296 ret = compose(tn, c);
297 ret = compose(ret, ti);
298
299 return ret;
300}
301
302static inline cube_t
303inline_trans_LBr(cube_t c)
304{
305 cube_t ret;
306 cube_t tn = {
307 .c = {39, 36, 37, 38, 65, 66, 67, 64},
308 .e = {26, 25, 24, 27, 22, 21, 20, 23, 18, 17, 16, 19}
309 };
310 cube_t ti = {
311 .c = {39, 36, 37, 38, 65, 66, 67, 64},
312 .e = {26, 25, 24, 27, 22, 21, 20, 23, 18, 17, 16, 19}
313 };
314
315 ret = compose(tn, c);
316 ret = compose(ret, ti);
317
318 return ret;
319}
320
321static inline cube_t
322inline_trans_FUr(cube_t c)
323{
324 cube_t ret;
325 cube_t tn = {
326 .c = {68, 70, 69, 71, 32, 34, 33, 35},
327 .e = {16, 19, 18, 17, 9, 8, 11, 10, 5, 4, 7, 6}
328 };
329 cube_t ti = {
330 .c = {68, 70, 69, 71, 32, 34, 33, 35},
331 .e = {16, 19, 18, 17, 9, 8, 11, 10, 5, 4, 7, 6}
332 };
333
334 ret = compose(tn, c);
335 ret = compose(ret, ti);
336
337 return ret;
338}
339
340static inline cube_t
341inline_trans_FRr(cube_t c)
342{
343 cube_t ret;
344 cube_t tn = {
345 .c = {32, 34, 35, 33, 70, 68, 69, 71},
346 .e = {8, 9, 10, 11, 16, 19, 18, 17, 20, 23, 22, 21}
347 };
348 cube_t ti = {
349 .c = {64, 67, 65, 66, 37, 38, 36, 39},
350 .e = {20, 23, 22, 21, 24, 27, 26, 25, 0, 1, 2, 3}
351 };
352
353 ret = compose(tn, c);
354 ret = compose(ret, ti);
355
356 return ret;
357}
358
359static inline cube_t
360inline_trans_FDr(cube_t c)
361{
362 cube_t ret;
363 cube_t tn = {
364 .c = {70, 68, 71, 69, 34, 32, 35, 33},
365 .e = {19, 16, 17, 18, 8, 9, 10, 11, 7, 6, 5, 4}
366 };
367 cube_t ti = {
368 .c = {69, 71, 68, 70, 33, 35, 32, 34},
369 .e = {17, 18, 19, 16, 11, 10, 9, 8, 4, 5, 6, 7}
370 };
371
372 ret = compose(tn, c);
373 ret = compose(ret, ti);
374
375 return ret;
376}
377
378static inline cube_t
379inline_trans_FLr(cube_t c)
380{
381 cube_t ret;
382 cube_t tn = {
383 .c = {34, 32, 33, 35, 68, 70, 71, 69},
384 .e = {9, 8, 11, 10, 19, 16, 17, 18, 22, 21, 20, 23}
385 };
386 cube_t ti = {
387 .c = {65, 66, 64, 67, 36, 39, 37, 38},
388 .e = {21, 22, 23, 20, 26, 25, 24, 27, 1, 0, 3, 2}
389 };
390
391 ret = compose(tn, c);
392 ret = compose(ret, ti);
393
394 return ret;
395}
396
397static inline cube_t
398inline_trans_BUr(cube_t c)
399{
400 cube_t ret;
401 cube_t tn = {
402 .c = {69, 71, 68, 70, 33, 35, 32, 34},
403 .e = {17, 18, 19, 16, 11, 10, 9, 8, 4, 5, 6, 7}
404 };
405 cube_t ti = {
406 .c = {70, 68, 71, 69, 34, 32, 35, 33},
407 .e = {19, 16, 17, 18, 8, 9, 10, 11, 7, 6, 5, 4}
408 };
409
410 ret = compose(tn, c);
411 ret = compose(ret, ti);
412
413 return ret;
414}
415
416static inline cube_t
417inline_trans_BRr(cube_t c)
418{
419 cube_t ret;
420 cube_t tn = {
421 .c = {35, 33, 32, 34, 69, 71, 70, 68},
422 .e = {11, 10, 9, 8, 18, 17, 16, 19, 23, 20, 21, 22}
423 };
424 cube_t ti = {
425 .c = {66, 65, 67, 64, 39, 36, 38, 37},
426 .e = {22, 21, 20, 23, 25, 26, 27, 24, 3, 2, 1, 0}
427 };
428
429 ret = compose(tn, c);
430 ret = compose(ret, ti);
431
432 return ret;
433}
434
435static inline cube_t
436inline_trans_BDr(cube_t c)
437{
438 cube_t ret;
439 cube_t tn = {
440 .c = {71, 69, 70, 68, 35, 33, 34, 32},
441 .e = {18, 17, 16, 19, 10, 11, 8, 9, 6, 7, 4, 5}
442 };
443 cube_t ti = {
444 .c = {71, 69, 70, 68, 35, 33, 34, 32},
445 .e = {18, 17, 16, 19, 10, 11, 8, 9, 6, 7, 4, 5}
446 };
447
448 ret = compose(tn, c);
449 ret = compose(ret, ti);
450
451 return ret;
452}
453
454static inline cube_t
455inline_trans_BLr(cube_t c)
456{
457 cube_t ret;
458 cube_t tn = {
459 .c = {33, 35, 34, 32, 71, 69, 68, 70},
460 .e = {10, 11, 8, 9, 17, 18, 19, 16, 21, 22, 23, 20}
461 };
462 cube_t ti = {
463 .c = {67, 64, 66, 65, 38, 37, 39, 36},
464 .e = {23, 20, 21, 22, 27, 24, 25, 26, 2, 3, 0, 1}
465 };
466
467 ret = compose(tn, c);
468 ret = compose(ret, ti);
469
470 return ret;
471}
472
473static inline cube_t
474inline_trans_UFm(cube_t c)
475{
476 cube_t ret;
477 cube_t tn = {
478 .c = {4, 5, 6, 7, 0, 1, 2, 3},
479 .e = {0, 1, 2, 3, 5, 4, 7, 6, 9, 8, 11, 10}
480 };
481 cube_t ti = {
482 .c = {4, 5, 6, 7, 0, 1, 2, 3},
483 .e = {0, 1, 2, 3, 5, 4, 7, 6, 9, 8, 11, 10}
484 };
485
486 ret = compose(tn, c);
487 ret = compose(ret, ti);
488 ret = flipallcorners(ret);
489
490 return ret;
491}
492
493static inline cube_t
494inline_trans_ULm(cube_t c)
495{
496 cube_t ret;
497 cube_t tn = {
498 .c = {0, 1, 3, 2, 5, 4, 6, 7},
499 .e = {4, 5, 6, 7, 0, 1, 2, 3, 24, 27, 26, 25}
500 };
501 cube_t ti = {
502 .c = {0, 1, 3, 2, 5, 4, 6, 7},
503 .e = {4, 5, 6, 7, 0, 1, 2, 3, 24, 27, 26, 25}
504 };
505
506 ret = compose(tn, c);
507 ret = compose(ret, ti);
508 ret = flipallcorners(ret);
509
510 return ret;
511}
512
513static inline cube_t
514inline_trans_UBm(cube_t c)
515{
516 cube_t ret;
517 cube_t tn = {
518 .c = {5, 4, 7, 6, 1, 0, 3, 2},
519 .e = {1, 0, 3, 2, 4, 5, 6, 7, 11, 10, 9, 8}
520 };
521 cube_t ti = {
522 .c = {5, 4, 7, 6, 1, 0, 3, 2},
523 .e = {1, 0, 3, 2, 4, 5, 6, 7, 11, 10, 9, 8}
524 };
525
526 ret = compose(tn, c);
527 ret = compose(ret, ti);
528 ret = flipallcorners(ret);
529
530 return ret;
531}
532
533static inline cube_t
534inline_trans_URm(cube_t c)
535{
536 cube_t ret;
537 cube_t tn = {
538 .c = {1, 0, 2, 3, 4, 5, 7, 6},
539 .e = {5, 4, 7, 6, 1, 0, 3, 2, 26, 25, 24, 27}
540 };
541 cube_t ti = {
542 .c = {1, 0, 2, 3, 4, 5, 7, 6},
543 .e = {5, 4, 7, 6, 1, 0, 3, 2, 26, 25, 24, 27}
544 };
545
546 ret = compose(tn, c);
547 ret = compose(ret, ti);
548 ret = flipallcorners(ret);
549
550 return ret;
551}
552
553static inline cube_t
554inline_trans_DFm(cube_t c)
555{
556 cube_t ret;
557 cube_t tn = {
558 .c = {6, 7, 4, 5, 2, 3, 0, 1},
559 .e = {3, 2, 1, 0, 7, 6, 5, 4, 8, 9, 10, 11}
560 };
561 cube_t ti = {
562 .c = {6, 7, 4, 5, 2, 3, 0, 1},
563 .e = {3, 2, 1, 0, 7, 6, 5, 4, 8, 9, 10, 11}
564 };
565
566 ret = compose(tn, c);
567 ret = compose(ret, ti);
568 ret = flipallcorners(ret);
569
570 return ret;
571}
572
573static inline cube_t
574inline_trans_DLm(cube_t c)
575{
576 cube_t ret;
577 cube_t tn = {
578 .c = {3, 2, 0, 1, 6, 7, 5, 4},
579 .e = {7, 6, 5, 4, 2, 3, 0, 1, 27, 24, 25, 26}
580 };
581 cube_t ti = {
582 .c = {2, 3, 1, 0, 7, 6, 4, 5},
583 .e = {6, 7, 4, 5, 3, 2, 1, 0, 25, 26, 27, 24}
584 };
585
586 ret = compose(tn, c);
587 ret = compose(ret, ti);
588 ret = flipallcorners(ret);
589
590 return ret;
591}
592
593static inline cube_t
594inline_trans_DBm(cube_t c)
595{
596 cube_t ret;
597 cube_t tn = {
598 .c = {7, 6, 5, 4, 3, 2, 1, 0},
599 .e = {2, 3, 0, 1, 6, 7, 4, 5, 10, 11, 8, 9}
600 };
601 cube_t ti = {
602 .c = {7, 6, 5, 4, 3, 2, 1, 0},
603 .e = {2, 3, 0, 1, 6, 7, 4, 5, 10, 11, 8, 9}
604 };
605
606 ret = compose(tn, c);
607 ret = compose(ret, ti);
608 ret = flipallcorners(ret);
609
610 return ret;
611}
612
613static inline cube_t
614inline_trans_DRm(cube_t c)
615{
616 cube_t ret;
617 cube_t tn = {
618 .c = {2, 3, 1, 0, 7, 6, 4, 5},
619 .e = {6, 7, 4, 5, 3, 2, 1, 0, 25, 26, 27, 24}
620 };
621 cube_t ti = {
622 .c = {3, 2, 0, 1, 6, 7, 5, 4},
623 .e = {7, 6, 5, 4, 2, 3, 0, 1, 27, 24, 25, 26}
624 };
625
626 ret = compose(tn, c);
627 ret = compose(ret, ti);
628 ret = flipallcorners(ret);
629
630 return ret;
631}
632
633static inline cube_t
634inline_trans_RUm(cube_t c)
635{
636 cube_t ret;
637 cube_t tn = {
638 .c = {68, 71, 69, 70, 33, 34, 32, 35},
639 .e = {21, 22, 23, 20, 25, 26, 27, 24, 0, 1, 2, 3}
640 };
641 cube_t ti = {
642 .c = {70, 68, 69, 71, 32, 34, 35, 33},
643 .e = {8, 9, 10, 11, 19, 16, 17, 18, 23, 20, 21, 22}
644 };
645
646 ret = compose(tn, c);
647 ret = compose(ret, ti);
648 ret = flipallcorners(ret);
649
650 return ret;
651}
652
653static inline cube_t
654inline_trans_RFm(cube_t c)
655{
656 cube_t ret;
657 cube_t tn = {
658 .c = {34, 33, 32, 35, 68, 71, 70, 69},
659 .e = {25, 26, 27, 24, 22, 21, 20, 23, 19, 16, 17, 18}
660 };
661 cube_t ti = {
662 .c = {66, 65, 64, 67, 36, 39, 38, 37},
663 .e = {25, 26, 27, 24, 22, 21, 20, 23, 19, 16, 17, 18}
664 };
665
666 ret = compose(tn, c);
667 ret = compose(ret, ti);
668 ret = flipallcorners(ret);
669
670 return ret;
671}
672
673static inline cube_t
674inline_trans_RDm(cube_t c)
675{
676 cube_t ret;
677 cube_t tn = {
678 .c = {71, 68, 70, 69, 34, 33, 35, 32},
679 .e = {22, 21, 20, 23, 26, 25, 24, 27, 2, 3, 0, 1}
680 };
681 cube_t ti = {
682 .c = {71, 69, 68, 70, 33, 35, 34, 32},
683 .e = {10, 11, 8, 9, 18, 17, 16, 19, 22, 21, 20, 23}
684 };
685
686 ret = compose(tn, c);
687 ret = compose(ret, ti);
688 ret = flipallcorners(ret);
689
690 return ret;
691}
692
693static inline cube_t
694inline_trans_RBm(cube_t c)
695{
696 cube_t ret;
697 cube_t tn = {
698 .c = {33, 34, 35, 32, 71, 68, 69, 70},
699 .e = {26, 25, 24, 27, 21, 22, 23, 20, 17, 18, 19, 16}
700 };
701 cube_t ti = {
702 .c = {67, 64, 65, 66, 37, 38, 39, 36},
703 .e = {27, 24, 25, 26, 23, 20, 21, 22, 18, 17, 16, 19}
704 };
705
706 ret = compose(tn, c);
707 ret = compose(ret, ti);
708 ret = flipallcorners(ret);
709
710 return ret;
711}
712
713static inline cube_t
714inline_trans_LUm(cube_t c)
715{
716 cube_t ret;
717 cube_t tn = {
718 .c = {69, 70, 68, 71, 32, 35, 33, 34},
719 .e = {20, 23, 22, 21, 27, 24, 25, 26, 1, 0, 3, 2}
720 };
721 cube_t ti = {
722 .c = {68, 70, 71, 69, 34, 32, 33, 35},
723 .e = {9, 8, 11, 10, 16, 19, 18, 17, 21, 22, 23, 20}
724 };
725
726 ret = compose(tn, c);
727 ret = compose(ret, ti);
728 ret = flipallcorners(ret);
729
730 return ret;
731}
732
733static inline cube_t
734inline_trans_LFm(cube_t c)
735{
736 cube_t ret;
737 cube_t tn = {
738 .c = {32, 35, 34, 33, 70, 69, 68, 71},
739 .e = {24, 27, 26, 25, 20, 23, 22, 21, 16, 19, 18, 17}
740 };
741 cube_t ti = {
742 .c = {64, 67, 66, 65, 38, 37, 36, 39},
743 .e = {24, 27, 26, 25, 20, 23, 22, 21, 16, 19, 18, 17}
744 };
745
746 ret = compose(tn, c);
747 ret = compose(ret, ti);
748 ret = flipallcorners(ret);
749
750 return ret;
751}
752
753static inline cube_t
754inline_trans_LDm(cube_t c)
755{
756 cube_t ret;
757 cube_t tn = {
758 .c = {70, 69, 71, 68, 35, 32, 34, 33},
759 .e = {23, 20, 21, 22, 24, 27, 26, 25, 3, 2, 1, 0}
760 };
761 cube_t ti = {
762 .c = {69, 71, 70, 68, 35, 33, 32, 34},
763 .e = {11, 10, 9, 8, 17, 18, 19, 16, 20, 23, 22, 21}
764 };
765
766 ret = compose(tn, c);
767 ret = compose(ret, ti);
768 ret = flipallcorners(ret);
769
770 return ret;
771}
772
773static inline cube_t
774inline_trans_LBm(cube_t c)
775{
776 cube_t ret;
777 cube_t tn = {
778 .c = {35, 32, 33, 34, 69, 70, 71, 68},
779 .e = {27, 24, 25, 26, 23, 20, 21, 22, 18, 17, 16, 19}
780 };
781 cube_t ti = {
782 .c = {65, 66, 67, 64, 39, 36, 37, 38},
783 .e = {26, 25, 24, 27, 21, 22, 23, 20, 17, 18, 19, 16}
784 };
785
786 ret = compose(tn, c);
787 ret = compose(ret, ti);
788 ret = flipallcorners(ret);
789
790 return ret;
791}
792
793static inline cube_t
794inline_trans_FUm(cube_t c)
795{
796 cube_t ret;
797 cube_t tn = {
798 .c = {64, 66, 65, 67, 36, 38, 37, 39},
799 .e = {16, 19, 18, 17, 8, 9, 10, 11, 4, 5, 6, 7}
800 };
801 cube_t ti = {
802 .c = {32, 34, 33, 35, 68, 70, 69, 71},
803 .e = {16, 19, 18, 17, 8, 9, 10, 11, 4, 5, 6, 7}
804 };
805
806 ret = compose(tn, c);
807 ret = compose(ret, ti);
808 ret = flipallcorners(ret);
809
810 return ret;
811}
812
813static inline cube_t
814inline_trans_FRm(cube_t c)
815{
816 cube_t ret;
817 cube_t tn = {
818 .c = {36, 38, 39, 37, 66, 64, 65, 67},
819 .e = {9, 8, 11, 10, 16, 19, 18, 17, 21, 22, 23, 20}
820 };
821 cube_t ti = {
822 .c = {37, 38, 36, 39, 64, 67, 65, 66},
823 .e = {20, 23, 22, 21, 27, 24, 25, 26, 1, 0, 3, 2}
824 };
825
826 ret = compose(tn, c);
827 ret = compose(ret, ti);
828 ret = flipallcorners(ret);
829
830 return ret;
831}
832
833static inline cube_t
834inline_trans_FDm(cube_t c)
835{
836 cube_t ret;
837 cube_t tn = {
838 .c = {66, 64, 67, 65, 38, 36, 39, 37},
839 .e = {19, 16, 17, 18, 9, 8, 11, 10, 6, 7, 4, 5}
840 };
841 cube_t ti = {
842 .c = {33, 35, 32, 34, 69, 71, 68, 70},
843 .e = {17, 18, 19, 16, 10, 11, 8, 9, 5, 4, 7, 6}
844 };
845
846 ret = compose(tn, c);
847 ret = compose(ret, ti);
848 ret = flipallcorners(ret);
849
850 return ret;
851}
852
853static inline cube_t
854inline_trans_FLm(cube_t c)
855{
856 cube_t ret;
857 cube_t tn = {
858 .c = {38, 36, 37, 39, 64, 66, 67, 65},
859 .e = {8, 9, 10, 11, 19, 16, 17, 18, 23, 20, 21, 22}
860 };
861 cube_t ti = {
862 .c = {36, 39, 37, 38, 65, 66, 64, 67},
863 .e = {21, 22, 23, 20, 25, 26, 27, 24, 0, 1, 2, 3}
864 };
865
866 ret = compose(tn, c);
867 ret = compose(ret, ti);
868 ret = flipallcorners(ret);
869
870 return ret;
871}
872
873static inline cube_t
874inline_trans_BUm(cube_t c)
875{
876 cube_t ret;
877 cube_t tn = {
878 .c = {65, 67, 64, 66, 37, 39, 36, 38},
879 .e = {17, 18, 19, 16, 10, 11, 8, 9, 5, 4, 7, 6}
880 };
881 cube_t ti = {
882 .c = {34, 32, 35, 33, 70, 68, 71, 69},
883 .e = {19, 16, 17, 18, 9, 8, 11, 10, 6, 7, 4, 5}
884 };
885
886 ret = compose(tn, c);
887 ret = compose(ret, ti);
888 ret = flipallcorners(ret);
889
890 return ret;
891}
892
893static inline cube_t
894inline_trans_BRm(cube_t c)
895{
896 cube_t ret;
897 cube_t tn = {
898 .c = {39, 37, 36, 38, 65, 67, 66, 64},
899 .e = {10, 11, 8, 9, 18, 17, 16, 19, 22, 21, 20, 23}
900 };
901 cube_t ti = {
902 .c = {39, 36, 38, 37, 66, 65, 67, 64},
903 .e = {22, 21, 20, 23, 26, 25, 24, 27, 2, 3, 0, 1}
904 };
905
906 ret = compose(tn, c);
907 ret = compose(ret, ti);
908 ret = flipallcorners(ret);
909
910 return ret;
911}
912
913static inline cube_t
914inline_trans_BDm(cube_t c)
915{
916 cube_t ret;
917 cube_t tn = {
918 .c = {67, 65, 66, 64, 39, 37, 38, 36},
919 .e = {18, 17, 16, 19, 11, 10, 9, 8, 7, 6, 5, 4}
920 };
921 cube_t ti = {
922 .c = {35, 33, 34, 32, 71, 69, 70, 68},
923 .e = {18, 17, 16, 19, 11, 10, 9, 8, 7, 6, 5, 4}
924 };
925
926 ret = compose(tn, c);
927 ret = compose(ret, ti);
928 ret = flipallcorners(ret);
929
930 return ret;
931}
932
933static inline cube_t
934inline_trans_BLm(cube_t c)
935{
936 cube_t ret;
937 cube_t tn = {
938 .c = {37, 39, 38, 36, 67, 65, 64, 66},
939 .e = {11, 10, 9, 8, 17, 18, 19, 16, 20, 23, 22, 21}
940 };
941 cube_t ti = {
942 .c = {38, 37, 39, 36, 67, 64, 66, 65},
943 .e = {23, 20, 21, 22, 24, 27, 26, 25, 3, 2, 1, 0}
944 };
945
946 ret = compose(tn, c);
947 ret = compose(ret, ti);
948 ret = flipallcorners(ret);
949
950 return ret;
951}
952
diff --git a/src/_trans_avx2.c b/src/_trans_avx2.c
deleted file mode 100644
index c296f6d..0000000
--- a/src/_trans_avx2.c
+++ /dev/null
@@ -1,1000 +0,0 @@
1static inline cube_t
2flipallcorners(cube_t c)
3{
4 cube_t co, shleft, shright, summed, newco, cleanco, ret;
5
6 co = _mm256_and_si256(c, _co2_avx2);
7 shleft = _mm256_slli_epi32(co, 1);
8 shright = _mm256_srli_epi32(co, 1);
9 summed = _mm256_or_si256(shleft, shright);
10 newco = _mm256_and_si256(summed, _co2_avx2);
11 cleanco = _mm256_xor_si256(c, co);
12 ret = _mm256_or_si256(cleanco, newco);
13
14 return ret;
15}
16
17static inline cube_t
18inline_trans_UFr(cube_t c)
19{
20 cube_t ret;
21
22 cube_t tn = _mm256_set_epi8(
23 0, 0, 0, 0, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0,
24 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 5, 4, 3, 2, 1, 0
25 );
26 cube_t ti = _mm256_set_epi8(
27 0, 0, 0, 0, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0,
28 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 5, 4, 3, 2, 1, 0
29 );
30
31 ret = compose(tn, c);
32 ret = compose(ret, ti);
33
34 return ret;
35}
36
37static inline cube_t
38inline_trans_ULr(cube_t c)
39{
40 cube_t ret;
41
42 cube_t tn = _mm256_set_epi8(
43 0, 0, 0, 0, 24, 27, 26, 25, 3, 2, 1, 0, 6, 7, 4, 5,
44 0, 0, 0, 0, 0, 0, 0, 0, 3, 2, 0, 1, 6, 7, 5, 4
45 );
46 cube_t ti = _mm256_set_epi8(
47 0, 0, 0, 0, 26, 25, 24, 27, 2, 3, 0, 1, 7, 6, 5, 4,
48 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 1, 0, 7, 6, 4, 5
49 );
50
51 ret = compose(tn, c);
52 ret = compose(ret, ti);
53
54 return ret;
55}
56
57static inline cube_t
58inline_trans_UBr(cube_t c)
59{
60 cube_t ret;
61
62 cube_t tn = _mm256_set_epi8(
63 0, 0, 0, 0, 9, 8, 11, 10, 6, 7, 4, 5, 2, 3, 0, 1,
64 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 4, 5, 2, 3, 0, 1
65 );
66 cube_t ti = _mm256_set_epi8(
67 0, 0, 0, 0, 9, 8, 11, 10, 6, 7, 4, 5, 2, 3, 0, 1,
68 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 4, 5, 2, 3, 0, 1
69 );
70
71 ret = compose(tn, c);
72 ret = compose(ret, ti);
73
74 return ret;
75}
76
77static inline cube_t
78inline_trans_URr(cube_t c)
79{
80 cube_t ret;
81
82 cube_t tn = _mm256_set_epi8(
83 0, 0, 0, 0, 26, 25, 24, 27, 2, 3, 0, 1, 7, 6, 5, 4,
84 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 1, 0, 7, 6, 4, 5
85 );
86 cube_t ti = _mm256_set_epi8(
87 0, 0, 0, 0, 24, 27, 26, 25, 3, 2, 1, 0, 6, 7, 4, 5,
88 0, 0, 0, 0, 0, 0, 0, 0, 3, 2, 0, 1, 6, 7, 5, 4
89 );
90
91 ret = compose(tn, c);
92 ret = compose(ret, ti);
93
94 return ret;
95}
96
97static inline cube_t
98inline_trans_DFr(cube_t c)
99{
100 cube_t ret;
101
102 cube_t tn = _mm256_set_epi8(
103 0, 0, 0, 0, 10, 11, 8, 9, 5, 4, 7, 6, 0, 1, 2, 3,
104 0, 0, 0, 0, 0, 0, 0, 0, 5, 4, 7, 6, 1, 0, 3, 2
105 );
106 cube_t ti = _mm256_set_epi8(
107 0, 0, 0, 0, 10, 11, 8, 9, 5, 4, 7, 6, 0, 1, 2, 3,
108 0, 0, 0, 0, 0, 0, 0, 0, 5, 4, 7, 6, 1, 0, 3, 2
109 );
110
111 ret = compose(tn, c);
112 ret = compose(ret, ti);
113
114 return ret;
115}
116
117static inline cube_t
118inline_trans_DLr(cube_t c)
119{
120 cube_t ret;
121
122 cube_t tn = _mm256_set_epi8(
123 0, 0, 0, 0, 27, 24, 25, 26, 1, 0, 3, 2, 5, 4, 7, 6,
124 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 2, 5, 4, 6, 7
125 );
126 cube_t ti = _mm256_set_epi8(
127 0, 0, 0, 0, 27, 24, 25, 26, 1, 0, 3, 2, 5, 4, 7, 6,
128 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 2, 5, 4, 6, 7
129 );
130
131 ret = compose(tn, c);
132 ret = compose(ret, ti);
133
134 return ret;
135}
136
137static inline cube_t
138inline_trans_DBr(cube_t c)
139{
140 cube_t ret;
141
142 cube_t tn = _mm256_set_epi8(
143 0, 0, 0, 0, 8, 9, 10, 11, 4, 5, 6, 7, 1, 0, 3, 2,
144 0, 0, 0, 0, 0, 0, 0, 0, 4, 5, 6, 7, 0, 1, 2, 3
145 );
146 cube_t ti = _mm256_set_epi8(
147 0, 0, 0, 0, 8, 9, 10, 11, 4, 5, 6, 7, 1, 0, 3, 2,
148 0, 0, 0, 0, 0, 0, 0, 0, 4, 5, 6, 7, 0, 1, 2, 3
149 );
150
151 ret = compose(tn, c);
152 ret = compose(ret, ti);
153
154 return ret;
155}
156
157static inline cube_t
158inline_trans_DRr(cube_t c)
159{
160 cube_t ret;
161
162 cube_t tn = _mm256_set_epi8(
163 0, 0, 0, 0, 25, 26, 27, 24, 0, 1, 2, 3, 4, 5, 6, 7,
164 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 4, 5, 7, 6
165 );
166 cube_t ti = _mm256_set_epi8(
167 0, 0, 0, 0, 25, 26, 27, 24, 0, 1, 2, 3, 4, 5, 6, 7,
168 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 4, 5, 7, 6
169 );
170
171 ret = compose(tn, c);
172 ret = compose(ret, ti);
173
174 return ret;
175}
176
177static inline cube_t
178inline_trans_RUr(cube_t c)
179{
180 cube_t ret;
181
182 cube_t tn = _mm256_set_epi8(
183 0, 0, 0, 0, 3, 2, 1, 0, 25, 26, 27, 24, 21, 22, 23, 20,
184 0, 0, 0, 0, 0, 0, 0, 0, 39, 36, 38, 37, 66, 65, 67, 64
185 );
186 cube_t ti = _mm256_set_epi8(
187 0, 0, 0, 0, 21, 22, 23, 20, 17, 18, 19, 16, 11, 10, 9, 8,
188 0, 0, 0, 0, 0, 0, 0, 0, 71, 69, 68, 70, 33, 35, 34, 32
189 );
190
191 ret = compose(tn, c);
192 ret = compose(ret, ti);
193
194 return ret;
195}
196
197static inline cube_t
198inline_trans_RFr(cube_t c)
199{
200 cube_t ret;
201
202 cube_t tn = _mm256_set_epi8(
203 0, 0, 0, 0, 18, 17, 16, 19, 22, 21, 20, 23, 25, 26, 27, 24,
204 0, 0, 0, 0, 0, 0, 0, 0, 65, 66, 67, 64, 39, 36, 37, 38
205 );
206 cube_t ti = _mm256_set_epi8(
207 0, 0, 0, 0, 17, 18, 19, 16, 20, 23, 22, 21, 24, 27, 26, 25,
208 0, 0, 0, 0, 0, 0, 0, 0, 67, 64, 65, 66, 37, 38, 39, 36
209 );
210
211 ret = compose(tn, c);
212 ret = compose(ret, ti);
213
214 return ret;
215}
216
217static inline cube_t
218inline_trans_RDr(cube_t c)
219{
220 cube_t ret;
221
222 cube_t tn = _mm256_set_epi8(
223 0, 0, 0, 0, 1, 0, 3, 2, 26, 25, 24, 27, 22, 21, 20, 23,
224 0, 0, 0, 0, 0, 0, 0, 0, 36, 39, 37, 38, 65, 66, 64, 67
225 );
226 cube_t ti = _mm256_set_epi8(
227 0, 0, 0, 0, 20, 23, 22, 21, 16, 19, 18, 17, 9, 8, 11, 10,
228 0, 0, 0, 0, 0, 0, 0, 0, 70, 68, 69, 71, 32, 34, 35, 33
229 );
230
231 ret = compose(tn, c);
232 ret = compose(ret, ti);
233
234 return ret;
235}
236
237static inline cube_t
238inline_trans_RBr(cube_t c)
239{
240 cube_t ret;
241
242 cube_t tn = _mm256_set_epi8(
243 0, 0, 0, 0, 16, 19, 18, 17, 21, 22, 23, 20, 26, 25, 24, 27,
244 0, 0, 0, 0, 0, 0, 0, 0, 66, 65, 64, 67, 36, 39, 38, 37
245 );
246 cube_t ti = _mm256_set_epi8(
247 0, 0, 0, 0, 16, 19, 18, 17, 21, 22, 23, 20, 26, 25, 24, 27,
248 0, 0, 0, 0, 0, 0, 0, 0, 66, 65, 64, 67, 36, 39, 38, 37
249 );
250
251 ret = compose(tn, c);
252 ret = compose(ret, ti);
253
254 return ret;
255}
256
257static inline cube_t
258inline_trans_LUr(cube_t c)
259{
260 cube_t ret;
261
262 cube_t tn = _mm256_set_epi8(
263 0, 0, 0, 0, 2, 3, 0, 1, 27, 24, 25, 26, 20, 23, 22, 21,
264 0, 0, 0, 0, 0, 0, 0, 0, 38, 37, 39, 36, 67, 64, 66, 65
265 );
266 cube_t ti = _mm256_set_epi8(
267 0, 0, 0, 0, 23, 20, 21, 22, 18, 17, 16, 19, 10, 11, 8, 9,
268 0, 0, 0, 0, 0, 0, 0, 0, 69, 71, 70, 68, 35, 33, 32, 34
269 );
270
271 ret = compose(tn, c);
272 ret = compose(ret, ti);
273
274 return ret;
275}
276
277static inline cube_t
278inline_trans_LFr(cube_t c)
279{
280 cube_t ret;
281
282 cube_t tn = _mm256_set_epi8(
283 0, 0, 0, 0, 17, 18, 19, 16, 20, 23, 22, 21, 24, 27, 26, 25,
284 0, 0, 0, 0, 0, 0, 0, 0, 67, 64, 65, 66, 37, 38, 39, 36
285 );
286 cube_t ti = _mm256_set_epi8(
287 0, 0, 0, 0, 18, 17, 16, 19, 22, 21, 20, 23, 25, 26, 27, 24,
288 0, 0, 0, 0, 0, 0, 0, 0, 65, 66, 67, 64, 39, 36, 37, 38
289 );
290
291 ret = compose(tn, c);
292 ret = compose(ret, ti);
293
294 return ret;
295}
296
297static inline cube_t
298inline_trans_LDr(cube_t c)
299{
300 cube_t ret;
301
302 cube_t tn = _mm256_set_epi8(
303 0, 0, 0, 0, 0, 1, 2, 3, 24, 27, 26, 25, 23, 20, 21, 22,
304 0, 0, 0, 0, 0, 0, 0, 0, 37, 38, 36, 39, 64, 67, 65, 66
305 );
306 cube_t ti = _mm256_set_epi8(
307 0, 0, 0, 0, 22, 21, 20, 23, 19, 16, 17, 18, 8, 9, 10, 11,
308 0, 0, 0, 0, 0, 0, 0, 0, 68, 70, 71, 69, 34, 32, 33, 35
309 );
310
311 ret = compose(tn, c);
312 ret = compose(ret, ti);
313
314 return ret;
315}
316
317static inline cube_t
318inline_trans_LBr(cube_t c)
319{
320 cube_t ret;
321
322 cube_t tn = _mm256_set_epi8(
323 0, 0, 0, 0, 19, 16, 17, 18, 23, 20, 21, 22, 27, 24, 25, 26,
324 0, 0, 0, 0, 0, 0, 0, 0, 64, 67, 66, 65, 38, 37, 36, 39
325 );
326 cube_t ti = _mm256_set_epi8(
327 0, 0, 0, 0, 19, 16, 17, 18, 23, 20, 21, 22, 27, 24, 25, 26,
328 0, 0, 0, 0, 0, 0, 0, 0, 64, 67, 66, 65, 38, 37, 36, 39
329 );
330
331 ret = compose(tn, c);
332 ret = compose(ret, ti);
333
334 return ret;
335}
336
337static inline cube_t
338inline_trans_FUr(cube_t c)
339{
340 cube_t ret;
341
342 cube_t tn = _mm256_set_epi8(
343 0, 0, 0, 0, 6, 7, 4, 5, 10, 11, 8, 9, 17, 18, 19, 16,
344 0, 0, 0, 0, 0, 0, 0, 0, 35, 33, 34, 32, 71, 69, 70, 68
345 );
346 cube_t ti = _mm256_set_epi8(
347 0, 0, 0, 0, 6, 7, 4, 5, 10, 11, 8, 9, 17, 18, 19, 16,
348 0, 0, 0, 0, 0, 0, 0, 0, 35, 33, 34, 32, 71, 69, 70, 68
349 );
350
351 ret = compose(tn, c);
352 ret = compose(ret, ti);
353
354 return ret;
355}
356
357static inline cube_t
358inline_trans_FRr(cube_t c)
359{
360 cube_t ret;
361
362 cube_t tn = _mm256_set_epi8(
363 0, 0, 0, 0, 21, 22, 23, 20, 17, 18, 19, 16, 11, 10, 9, 8,
364 0, 0, 0, 0, 0, 0, 0, 0, 71, 69, 68, 70, 33, 35, 34, 32
365 );
366 cube_t ti = _mm256_set_epi8(
367 0, 0, 0, 0, 3, 2, 1, 0, 25, 26, 27, 24, 21, 22, 23, 20,
368 0, 0, 0, 0, 0, 0, 0, 0, 39, 36, 38, 37, 66, 65, 67, 64
369 );
370
371 ret = compose(tn, c);
372 ret = compose(ret, ti);
373
374 return ret;
375}
376
377static inline cube_t
378inline_trans_FDr(cube_t c)
379{
380 cube_t ret;
381
382 cube_t tn = _mm256_set_epi8(
383 0, 0, 0, 0, 4, 5, 6, 7, 11, 10, 9, 8, 18, 17, 16, 19,
384 0, 0, 0, 0, 0, 0, 0, 0, 33, 35, 32, 34, 69, 71, 68, 70
385 );
386 cube_t ti = _mm256_set_epi8(
387 0, 0, 0, 0, 7, 6, 5, 4, 8, 9, 10, 11, 16, 19, 18, 17,
388 0, 0, 0, 0, 0, 0, 0, 0, 34, 32, 35, 33, 70, 68, 71, 69
389 );
390
391 ret = compose(tn, c);
392 ret = compose(ret, ti);
393
394 return ret;
395}
396
397static inline cube_t
398inline_trans_FLr(cube_t c)
399{
400 cube_t ret;
401
402 cube_t tn = _mm256_set_epi8(
403 0, 0, 0, 0, 23, 20, 21, 22, 18, 17, 16, 19, 10, 11, 8, 9,
404 0, 0, 0, 0, 0, 0, 0, 0, 69, 71, 70, 68, 35, 33, 32, 34
405 );
406 cube_t ti = _mm256_set_epi8(
407 0, 0, 0, 0, 2, 3, 0, 1, 27, 24, 25, 26, 20, 23, 22, 21,
408 0, 0, 0, 0, 0, 0, 0, 0, 38, 37, 39, 36, 67, 64, 66, 65
409 );
410
411 ret = compose(tn, c);
412 ret = compose(ret, ti);
413
414 return ret;
415}
416
417static inline cube_t
418inline_trans_BUr(cube_t c)
419{
420 cube_t ret;
421
422 cube_t tn = _mm256_set_epi8(
423 0, 0, 0, 0, 7, 6, 5, 4, 8, 9, 10, 11, 16, 19, 18, 17,
424 0, 0, 0, 0, 0, 0, 0, 0, 34, 32, 35, 33, 70, 68, 71, 69
425 );
426 cube_t ti = _mm256_set_epi8(
427 0, 0, 0, 0, 4, 5, 6, 7, 11, 10, 9, 8, 18, 17, 16, 19,
428 0, 0, 0, 0, 0, 0, 0, 0, 33, 35, 32, 34, 69, 71, 68, 70
429 );
430
431 ret = compose(tn, c);
432 ret = compose(ret, ti);
433
434 return ret;
435}
436
437static inline cube_t
438inline_trans_BRr(cube_t c)
439{
440 cube_t ret;
441
442 cube_t tn = _mm256_set_epi8(
443 0, 0, 0, 0, 22, 21, 20, 23, 19, 16, 17, 18, 8, 9, 10, 11,
444 0, 0, 0, 0, 0, 0, 0, 0, 68, 70, 71, 69, 34, 32, 33, 35
445 );
446 cube_t ti = _mm256_set_epi8(
447 0, 0, 0, 0, 0, 1, 2, 3, 24, 27, 26, 25, 23, 20, 21, 22,
448 0, 0, 0, 0, 0, 0, 0, 0, 37, 38, 36, 39, 64, 67, 65, 66
449 );
450
451 ret = compose(tn, c);
452 ret = compose(ret, ti);
453
454 return ret;
455}
456
457static inline cube_t
458inline_trans_BDr(cube_t c)
459{
460 cube_t ret;
461
462 cube_t tn = _mm256_set_epi8(
463 0, 0, 0, 0, 5, 4, 7, 6, 9, 8, 11, 10, 19, 16, 17, 18,
464 0, 0, 0, 0, 0, 0, 0, 0, 32, 34, 33, 35, 68, 70, 69, 71
465 );
466 cube_t ti = _mm256_set_epi8(
467 0, 0, 0, 0, 5, 4, 7, 6, 9, 8, 11, 10, 19, 16, 17, 18,
468 0, 0, 0, 0, 0, 0, 0, 0, 32, 34, 33, 35, 68, 70, 69, 71
469 );
470
471 ret = compose(tn, c);
472 ret = compose(ret, ti);
473
474 return ret;
475}
476
477static inline cube_t
478inline_trans_BLr(cube_t c)
479{
480 cube_t ret;
481
482 cube_t tn = _mm256_set_epi8(
483 0, 0, 0, 0, 20, 23, 22, 21, 16, 19, 18, 17, 9, 8, 11, 10,
484 0, 0, 0, 0, 0, 0, 0, 0, 70, 68, 69, 71, 32, 34, 35, 33
485 );
486 cube_t ti = _mm256_set_epi8(
487 0, 0, 0, 0, 1, 0, 3, 2, 26, 25, 24, 27, 22, 21, 20, 23,
488 0, 0, 0, 0, 0, 0, 0, 0, 36, 39, 37, 38, 65, 66, 64, 67
489 );
490
491 ret = compose(tn, c);
492 ret = compose(ret, ti);
493
494 return ret;
495}
496
497static inline cube_t
498inline_trans_UFm(cube_t c)
499{
500 cube_t ret;
501
502 cube_t tn = _mm256_set_epi8(
503 0, 0, 0, 0, 10, 11, 8, 9, 6, 7, 4, 5, 3, 2, 1, 0,
504 0, 0, 0, 0, 0, 0, 0, 0, 3, 2, 1, 0, 7, 6, 5, 4
505 );
506 cube_t ti = _mm256_set_epi8(
507 0, 0, 0, 0, 10, 11, 8, 9, 6, 7, 4, 5, 3, 2, 1, 0,
508 0, 0, 0, 0, 0, 0, 0, 0, 3, 2, 1, 0, 7, 6, 5, 4
509 );
510
511 ret = compose(tn, c);
512 ret = compose(ret, ti);
513 ret = flipallcorners(ret);
514
515 return ret;
516}
517
518static inline cube_t
519inline_trans_ULm(cube_t c)
520{
521 cube_t ret;
522
523 cube_t tn = _mm256_set_epi8(
524 0, 0, 0, 0, 25, 26, 27, 24, 3, 2, 1, 0, 7, 6, 5, 4,
525 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 4, 5, 2, 3, 1, 0
526 );
527 cube_t ti = _mm256_set_epi8(
528 0, 0, 0, 0, 25, 26, 27, 24, 3, 2, 1, 0, 7, 6, 5, 4,
529 0, 0, 0, 0, 0, 0, 0, 0, 7, 6, 4, 5, 2, 3, 1, 0
530 );
531
532 ret = compose(tn, c);
533 ret = compose(ret, ti);
534 ret = flipallcorners(ret);
535
536 return ret;
537}
538
539static inline cube_t
540inline_trans_UBm(cube_t c)
541{
542 cube_t ret;
543
544 cube_t tn = _mm256_set_epi8(
545 0, 0, 0, 0, 8, 9, 10, 11, 7, 6, 5, 4, 2, 3, 0, 1,
546 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 0, 1, 6, 7, 4, 5
547 );
548 cube_t ti = _mm256_set_epi8(
549 0, 0, 0, 0, 8, 9, 10, 11, 7, 6, 5, 4, 2, 3, 0, 1,
550 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 0, 1, 6, 7, 4, 5
551 );
552
553 ret = compose(tn, c);
554 ret = compose(ret, ti);
555 ret = flipallcorners(ret);
556
557 return ret;
558}
559
560static inline cube_t
561inline_trans_URm(cube_t c)
562{
563 cube_t ret;
564
565 cube_t tn = _mm256_set_epi8(
566 0, 0, 0, 0, 27, 24, 25, 26, 2, 3, 0, 1, 6, 7, 4, 5,
567 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 5, 4, 3, 2, 0, 1
568 );
569 cube_t ti = _mm256_set_epi8(
570 0, 0, 0, 0, 27, 24, 25, 26, 2, 3, 0, 1, 6, 7, 4, 5,
571 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 5, 4, 3, 2, 0, 1
572 );
573
574 ret = compose(tn, c);
575 ret = compose(ret, ti);
576 ret = flipallcorners(ret);
577
578 return ret;
579}
580
581static inline cube_t
582inline_trans_DFm(cube_t c)
583{
584 cube_t ret;
585
586 cube_t tn = _mm256_set_epi8(
587 0, 0, 0, 0, 11, 10, 9, 8, 4, 5, 6, 7, 0, 1, 2, 3,
588 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 2, 5, 4, 7, 6
589 );
590 cube_t ti = _mm256_set_epi8(
591 0, 0, 0, 0, 11, 10, 9, 8, 4, 5, 6, 7, 0, 1, 2, 3,
592 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 2, 5, 4, 7, 6
593 );
594
595 ret = compose(tn, c);
596 ret = compose(ret, ti);
597 ret = flipallcorners(ret);
598
599 return ret;
600}
601
602static inline cube_t
603inline_trans_DLm(cube_t c)
604{
605 cube_t ret;
606
607 cube_t tn = _mm256_set_epi8(
608 0, 0, 0, 0, 26, 25, 24, 27, 1, 0, 3, 2, 4, 5, 6, 7,
609 0, 0, 0, 0, 0, 0, 0, 0, 4, 5, 7, 6, 1, 0, 2, 3
610 );
611 cube_t ti = _mm256_set_epi8(
612 0, 0, 0, 0, 24, 27, 26, 25, 0, 1, 2, 3, 5, 4, 7, 6,
613 0, 0, 0, 0, 0, 0, 0, 0, 5, 4, 6, 7, 0, 1, 3, 2
614 );
615
616 ret = compose(tn, c);
617 ret = compose(ret, ti);
618 ret = flipallcorners(ret);
619
620 return ret;
621}
622
623static inline cube_t
624inline_trans_DBm(cube_t c)
625{
626 cube_t ret;
627
628 cube_t tn = _mm256_set_epi8(
629 0, 0, 0, 0, 9, 8, 11, 10, 5, 4, 7, 6, 1, 0, 3, 2,
630 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7
631 );
632 cube_t ti = _mm256_set_epi8(
633 0, 0, 0, 0, 9, 8, 11, 10, 5, 4, 7, 6, 1, 0, 3, 2,
634 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, 7
635 );
636
637 ret = compose(tn, c);
638 ret = compose(ret, ti);
639 ret = flipallcorners(ret);
640
641 return ret;
642}
643
644static inline cube_t
645inline_trans_DRm(cube_t c)
646{
647 cube_t ret;
648
649 cube_t tn = _mm256_set_epi8(
650 0, 0, 0, 0, 24, 27, 26, 25, 0, 1, 2, 3, 5, 4, 7, 6,
651 0, 0, 0, 0, 0, 0, 0, 0, 5, 4, 6, 7, 0, 1, 3, 2
652 );
653 cube_t ti = _mm256_set_epi8(
654 0, 0, 0, 0, 26, 25, 24, 27, 1, 0, 3, 2, 4, 5, 6, 7,
655 0, 0, 0, 0, 0, 0, 0, 0, 4, 5, 7, 6, 1, 0, 2, 3
656 );
657
658 ret = compose(tn, c);
659 ret = compose(ret, ti);
660 ret = flipallcorners(ret);
661
662 return ret;
663}
664
665static inline cube_t
666inline_trans_RUm(cube_t c)
667{
668 cube_t ret;
669
670 cube_t tn = _mm256_set_epi8(
671 0, 0, 0, 0, 3, 2, 1, 0, 24, 27, 26, 25, 20, 23, 22, 21,
672 0, 0, 0, 0, 0, 0, 0, 0, 35, 32, 34, 33, 70, 69, 71, 68
673 );
674 cube_t ti = _mm256_set_epi8(
675 0, 0, 0, 0, 22, 21, 20, 23, 18, 17, 16, 19, 11, 10, 9, 8,
676 0, 0, 0, 0, 0, 0, 0, 0, 33, 35, 34, 32, 71, 69, 68, 70
677 );
678
679 ret = compose(tn, c);
680 ret = compose(ret, ti);
681 ret = flipallcorners(ret);
682
683 return ret;
684}
685
686static inline cube_t
687inline_trans_RFm(cube_t c)
688{
689 cube_t ret;
690
691 cube_t tn = _mm256_set_epi8(
692 0, 0, 0, 0, 18, 17, 16, 19, 23, 20, 21, 22, 24, 27, 26, 25,
693 0, 0, 0, 0, 0, 0, 0, 0, 69, 70, 71, 68, 35, 32, 33, 34
694 );
695 cube_t ti = _mm256_set_epi8(
696 0, 0, 0, 0, 18, 17, 16, 19, 23, 20, 21, 22, 24, 27, 26, 25,
697 0, 0, 0, 0, 0, 0, 0, 0, 37, 38, 39, 36, 67, 64, 65, 66
698 );
699
700 ret = compose(tn, c);
701 ret = compose(ret, ti);
702 ret = flipallcorners(ret);
703
704 return ret;
705}
706
707static inline cube_t
708inline_trans_RDm(cube_t c)
709{
710 cube_t ret;
711
712 cube_t tn = _mm256_set_epi8(
713 0, 0, 0, 0, 1, 0, 3, 2, 27, 24, 25, 26, 23, 20, 21, 22,
714 0, 0, 0, 0, 0, 0, 0, 0, 32, 35, 33, 34, 69, 70, 68, 71
715 );
716 cube_t ti = _mm256_set_epi8(
717 0, 0, 0, 0, 23, 20, 21, 22, 19, 16, 17, 18, 9, 8, 11, 10,
718 0, 0, 0, 0, 0, 0, 0, 0, 32, 34, 35, 33, 70, 68, 69, 71
719 );
720
721 ret = compose(tn, c);
722 ret = compose(ret, ti);
723 ret = flipallcorners(ret);
724
725 return ret;
726}
727
728static inline cube_t
729inline_trans_RBm(cube_t c)
730{
731 cube_t ret;
732
733 cube_t tn = _mm256_set_epi8(
734 0, 0, 0, 0, 16, 19, 18, 17, 20, 23, 22, 21, 27, 24, 25, 26,
735 0, 0, 0, 0, 0, 0, 0, 0, 70, 69, 68, 71, 32, 35, 34, 33
736 );
737 cube_t ti = _mm256_set_epi8(
738 0, 0, 0, 0, 19, 16, 17, 18, 22, 21, 20, 23, 26, 25, 24, 27,
739 0, 0, 0, 0, 0, 0, 0, 0, 36, 39, 38, 37, 66, 65, 64, 67
740 );
741
742 ret = compose(tn, c);
743 ret = compose(ret, ti);
744 ret = flipallcorners(ret);
745
746 return ret;
747}
748
749static inline cube_t
750inline_trans_LUm(cube_t c)
751{
752 cube_t ret;
753
754 cube_t tn = _mm256_set_epi8(
755 0, 0, 0, 0, 2, 3, 0, 1, 26, 25, 24, 27, 21, 22, 23, 20,
756 0, 0, 0, 0, 0, 0, 0, 0, 34, 33, 35, 32, 71, 68, 70, 69
757 );
758 cube_t ti = _mm256_set_epi8(
759 0, 0, 0, 0, 20, 23, 22, 21, 17, 18, 19, 16, 10, 11, 8, 9,
760 0, 0, 0, 0, 0, 0, 0, 0, 35, 33, 32, 34, 69, 71, 70, 68
761 );
762
763 ret = compose(tn, c);
764 ret = compose(ret, ti);
765 ret = flipallcorners(ret);
766
767 return ret;
768}
769
770static inline cube_t
771inline_trans_LFm(cube_t c)
772{
773 cube_t ret;
774
775 cube_t tn = _mm256_set_epi8(
776 0, 0, 0, 0, 17, 18, 19, 16, 21, 22, 23, 20, 25, 26, 27, 24,
777 0, 0, 0, 0, 0, 0, 0, 0, 71, 68, 69, 70, 33, 34, 35, 32
778 );
779 cube_t ti = _mm256_set_epi8(
780 0, 0, 0, 0, 17, 18, 19, 16, 21, 22, 23, 20, 25, 26, 27, 24,
781 0, 0, 0, 0, 0, 0, 0, 0, 39, 36, 37, 38, 65, 66, 67, 64
782 );
783
784 ret = compose(tn, c);
785 ret = compose(ret, ti);
786 ret = flipallcorners(ret);
787
788 return ret;
789}
790
791static inline cube_t
792inline_trans_LDm(cube_t c)
793{
794 cube_t ret;
795
796 cube_t tn = _mm256_set_epi8(
797 0, 0, 0, 0, 0, 1, 2, 3, 25, 26, 27, 24, 22, 21, 20, 23,
798 0, 0, 0, 0, 0, 0, 0, 0, 33, 34, 32, 35, 68, 71, 69, 70
799 );
800 cube_t ti = _mm256_set_epi8(
801 0, 0, 0, 0, 21, 22, 23, 20, 16, 19, 18, 17, 8, 9, 10, 11,
802 0, 0, 0, 0, 0, 0, 0, 0, 34, 32, 33, 35, 68, 70, 71, 69
803 );
804
805 ret = compose(tn, c);
806 ret = compose(ret, ti);
807 ret = flipallcorners(ret);
808
809 return ret;
810}
811
812static inline cube_t
813inline_trans_LBm(cube_t c)
814{
815 cube_t ret;
816
817 cube_t tn = _mm256_set_epi8(
818 0, 0, 0, 0, 19, 16, 17, 18, 22, 21, 20, 23, 26, 25, 24, 27,
819 0, 0, 0, 0, 0, 0, 0, 0, 68, 71, 70, 69, 34, 33, 32, 35
820 );
821 cube_t ti = _mm256_set_epi8(
822 0, 0, 0, 0, 16, 19, 18, 17, 20, 23, 22, 21, 27, 24, 25, 26,
823 0, 0, 0, 0, 0, 0, 0, 0, 38, 37, 36, 39, 64, 67, 66, 65
824 );
825
826 ret = compose(tn, c);
827 ret = compose(ret, ti);
828 ret = flipallcorners(ret);
829
830 return ret;
831}
832
833static inline cube_t
834inline_trans_FUm(cube_t c)
835{
836 cube_t ret;
837
838 cube_t tn = _mm256_set_epi8(
839 0, 0, 0, 0, 7, 6, 5, 4, 11, 10, 9, 8, 17, 18, 19, 16,
840 0, 0, 0, 0, 0, 0, 0, 0, 39, 37, 38, 36, 67, 65, 66, 64
841 );
842 cube_t ti = _mm256_set_epi8(
843 0, 0, 0, 0, 7, 6, 5, 4, 11, 10, 9, 8, 17, 18, 19, 16,
844 0, 0, 0, 0, 0, 0, 0, 0, 71, 69, 70, 68, 35, 33, 34, 32
845 );
846
847 ret = compose(tn, c);
848 ret = compose(ret, ti);
849 ret = flipallcorners(ret);
850
851 return ret;
852}
853
854static inline cube_t
855inline_trans_FRm(cube_t c)
856{
857 cube_t ret;
858
859 cube_t tn = _mm256_set_epi8(
860 0, 0, 0, 0, 20, 23, 22, 21, 17, 18, 19, 16, 10, 11, 8, 9,
861 0, 0, 0, 0, 0, 0, 0, 0, 67, 65, 64, 66, 37, 39, 38, 36
862 );
863 cube_t ti = _mm256_set_epi8(
864 0, 0, 0, 0, 2, 3, 0, 1, 26, 25, 24, 27, 21, 22, 23, 20,
865 0, 0, 0, 0, 0, 0, 0, 0, 66, 65, 67, 64, 39, 36, 38, 37
866 );
867
868 ret = compose(tn, c);
869 ret = compose(ret, ti);
870 ret = flipallcorners(ret);
871
872 return ret;
873}
874
875static inline cube_t
876inline_trans_FDm(cube_t c)
877{
878 cube_t ret;
879
880 cube_t tn = _mm256_set_epi8(
881 0, 0, 0, 0, 5, 4, 7, 6, 10, 11, 8, 9, 18, 17, 16, 19,
882 0, 0, 0, 0, 0, 0, 0, 0, 37, 39, 36, 38, 65, 67, 64, 66
883 );
884 cube_t ti = _mm256_set_epi8(
885 0, 0, 0, 0, 6, 7, 4, 5, 9, 8, 11, 10, 16, 19, 18, 17,
886 0, 0, 0, 0, 0, 0, 0, 0, 70, 68, 71, 69, 34, 32, 35, 33
887 );
888
889 ret = compose(tn, c);
890 ret = compose(ret, ti);
891 ret = flipallcorners(ret);
892
893 return ret;
894}
895
896static inline cube_t
897inline_trans_FLm(cube_t c)
898{
899 cube_t ret;
900
901 cube_t tn = _mm256_set_epi8(
902 0, 0, 0, 0, 22, 21, 20, 23, 18, 17, 16, 19, 11, 10, 9, 8,
903 0, 0, 0, 0, 0, 0, 0, 0, 65, 67, 66, 64, 39, 37, 36, 38
904 );
905 cube_t ti = _mm256_set_epi8(
906 0, 0, 0, 0, 3, 2, 1, 0, 24, 27, 26, 25, 20, 23, 22, 21,
907 0, 0, 0, 0, 0, 0, 0, 0, 67, 64, 66, 65, 38, 37, 39, 36
908 );
909
910 ret = compose(tn, c);
911 ret = compose(ret, ti);
912 ret = flipallcorners(ret);
913
914 return ret;
915}
916
917static inline cube_t
918inline_trans_BUm(cube_t c)
919{
920 cube_t ret;
921
922 cube_t tn = _mm256_set_epi8(
923 0, 0, 0, 0, 6, 7, 4, 5, 9, 8, 11, 10, 16, 19, 18, 17,
924 0, 0, 0, 0, 0, 0, 0, 0, 38, 36, 39, 37, 66, 64, 67, 65
925 );
926 cube_t ti = _mm256_set_epi8(
927 0, 0, 0, 0, 5, 4, 7, 6, 10, 11, 8, 9, 18, 17, 16, 19,
928 0, 0, 0, 0, 0, 0, 0, 0, 69, 71, 68, 70, 33, 35, 32, 34
929 );
930
931 ret = compose(tn, c);
932 ret = compose(ret, ti);
933 ret = flipallcorners(ret);
934
935 return ret;
936}
937
938static inline cube_t
939inline_trans_BRm(cube_t c)
940{
941 cube_t ret;
942
943 cube_t tn = _mm256_set_epi8(
944 0, 0, 0, 0, 23, 20, 21, 22, 19, 16, 17, 18, 9, 8, 11, 10,
945 0, 0, 0, 0, 0, 0, 0, 0, 64, 66, 67, 65, 38, 36, 37, 39
946 );
947 cube_t ti = _mm256_set_epi8(
948 0, 0, 0, 0, 1, 0, 3, 2, 27, 24, 25, 26, 23, 20, 21, 22,
949 0, 0, 0, 0, 0, 0, 0, 0, 64, 67, 65, 66, 37, 38, 36, 39
950 );
951
952 ret = compose(tn, c);
953 ret = compose(ret, ti);
954 ret = flipallcorners(ret);
955
956 return ret;
957}
958
959static inline cube_t
960inline_trans_BDm(cube_t c)
961{
962 cube_t ret;
963
964 cube_t tn = _mm256_set_epi8(
965 0, 0, 0, 0, 4, 5, 6, 7, 8, 9, 10, 11, 19, 16, 17, 18,
966 0, 0, 0, 0, 0, 0, 0, 0, 36, 38, 37, 39, 64, 66, 65, 67
967 );
968 cube_t ti = _mm256_set_epi8(
969 0, 0, 0, 0, 4, 5, 6, 7, 8, 9, 10, 11, 19, 16, 17, 18,
970 0, 0, 0, 0, 0, 0, 0, 0, 68, 70, 69, 71, 32, 34, 33, 35
971 );
972
973 ret = compose(tn, c);
974 ret = compose(ret, ti);
975 ret = flipallcorners(ret);
976
977 return ret;
978}
979
980static inline cube_t
981inline_trans_BLm(cube_t c)
982{
983 cube_t ret;
984
985 cube_t tn = _mm256_set_epi8(
986 0, 0, 0, 0, 21, 22, 23, 20, 16, 19, 18, 17, 8, 9, 10, 11,
987 0, 0, 0, 0, 0, 0, 0, 0, 66, 64, 65, 67, 36, 38, 39, 37
988 );
989 cube_t ti = _mm256_set_epi8(
990 0, 0, 0, 0, 0, 1, 2, 3, 25, 26, 27, 24, 22, 21, 20, 23,
991 0, 0, 0, 0, 0, 0, 0, 0, 65, 66, 64, 67, 36, 39, 37, 38
992 );
993
994 ret = compose(tn, c);
995 ret = compose(ret, ti);
996 ret = flipallcorners(ret);
997
998 return ret;
999}
1000
diff --git a/src/cube.c b/src/cube.c
deleted file mode 100644
index 4f92ea7..0000000
--- a/src/cube.c
+++ /dev/null
@@ -1,1195 +0,0 @@
1#include <inttypes.h>
2#include <stdbool.h>
3#include <string.h>
4
5#ifdef DEBUG
6#include <stdio.h>
7#endif
8
9#include "cube.h"
10
11#define U 0U
12#define U2 1U
13#define U3 2U
14#define D 3U
15#define D2 4U
16#define D3 5U
17#define R 6U
18#define R2 7U
19#define R3 8U
20#define L 9U
21#define L2 10U
22#define L3 11U
23#define F 12U
24#define F2 13U
25#define F3 14U
26#define B 15U
27#define B2 16U
28#define B3 17U
29
30#define UFr 0
31#define ULr 1
32#define UBr 2
33#define URr 3
34#define DFr 4
35#define DLr 5
36#define DBr 6
37#define DRr 7
38#define RUr 8
39#define RFr 9
40#define RDr 10
41#define RBr 11
42#define LUr 12
43#define LFr 13
44#define LDr 14
45#define LBr 15
46#define FUr 16
47#define FRr 17
48#define FDr 18
49#define FLr 19
50#define BUr 20
51#define BRr 21
52#define BDr 22
53#define BLr 23
54
55#define UFm 24
56#define ULm 25
57#define UBm 26
58#define URm 27
59#define DFm 28
60#define DLm 29
61#define DBm 30
62#define DRm 31
63#define RUm 32
64#define RFm 33
65#define RDm 34
66#define RBm 35
67#define LUm 36
68#define LFm 37
69#define LDm 38
70#define LBm 39
71#define FUm 40
72#define FRm 41
73#define FDm 42
74#define FLm 43
75#define BUm 44
76#define BRm 45
77#define BDm 46
78#define BLm 47
79
80#define errormove 99U
81#define errortrans 99U
82
83#define _c_ufr 0U
84#define _c_ubl 1U
85#define _c_dfl 2U
86#define _c_dbr 3U
87#define _c_ufl 4U
88#define _c_ubr 5U
89#define _c_dfr 6U
90#define _c_dbl 7U
91
92#define _e_uf 0U
93#define _e_ub 1U
94#define _e_db 2U
95#define _e_df 3U
96#define _e_ur 4U
97#define _e_ul 5U
98#define _e_dl 6U
99#define _e_dr 7U
100#define _e_fr 8U
101#define _e_fl 9U
102#define _e_bl 10U
103#define _e_br 11U
104
105#define _eoshift 4U
106#define _coshift 5U
107
108#define _pbits 0xFU
109#define _eobit 0x10U
110#define _cobits 0xF0U
111#define _cobits2 0x60U
112#define _ctwist_cw 0x20U
113#define _ctwist_ccw 0x40U
114#define _eflip 0x10U
115#define _error 0xFFU
116
117#define get_edge(cube, i) (cube).e[(i)]
118#define get_corner(cube, i) (cube).c[(i)]
119#define set_edge(cube, i, p) (cube).e[(i)] = (p)
120#define set_corner(cube, i, p) (cube).c[(i)] = (p)
121
122cube_arr_t solvedcube_arr = {
123 .c = {0, 1, 2, 3, 4, 5, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0},
124 .e = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 0, 0, 0, 0}
125};
126cube_arr_t zerocube_arr = { .e = {0}, .c = {0} };
127
128#ifdef CUBE_AVX2
129
130#define _co_avx2 _mm256_set_epi8( \
131 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
132 0, 0, 0, 0, 0, 0, 0, 0, \
133 0xF0, 0xF0, 0xF0, 0xF0, 0xF0, 0xF0, 0xF0, 0xF0)
134#define _co2_avx2 _mm256_set_epi8( \
135 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, \
136 0, 0, 0, 0, 0, 0, 0, 0, \
137 0x60, 0x60, 0x60, 0x60, 0x60, 0x60, 0x60, 0x60)
138#define _eo_avx2 _mm256_set_epi8( \
139 0, 0, 0, 0, 0x10, 0x10, 0x10, 0x10, \
140 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, \
141 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
142#define setsolved(cube) cube = _mm256_loadu_si256((__m256i_u *)&solvedcube_arr)
143#define setzero(cube) cube = _mm256_setzero_si256()
144
145#include "_moves_avx2.c"
146#include "_trans_avx2.c"
147
148static cube_t
149arrtocube(cube_arr_t a)
150{
151 return _mm256_loadu_si256((__m256i_u *)&a);
152}
153
154static void
155cubetoarr(cube_t c, cube_arr_t *a)
156{
157 _mm256_storeu_si256((__m256i_u *)a, c);
158}
159
160#else
161
162#define setsolved(cube) cube = solvedcube_arr
163#define setzero(cube) cube = zerocube_arr
164
165static cube_t
166arrtocube(cube_arr_t a)
167{
168 return a;
169}
170
171static void
172cubetoarr(cube_t c, cube_arr_t *a)
173{
174 memcpy(a, &c, sizeof(cube_t));
175}
176
177#include "_moves_arr.c"
178#include "_trans_arr.c"
179
180#endif
181
182static char *cornerstr[] = {
183 [_c_ufr] = "UFR",
184 [_c_ubl] = "UBL",
185 [_c_dfl] = "DFL",
186 [_c_dbr] = "DBR",
187 [_c_ufl] = "UFL",
188 [_c_ubr] = "UBR",
189 [_c_dfr] = "DFR",
190 [_c_dbl] = "DBL"
191};
192
193static char *cornerstralt[] = {
194 [_c_ufr] = "URF",
195 [_c_ubl] = "ULB",
196 [_c_dfl] = "DLF",
197 [_c_dbr] = "DRB",
198 [_c_ufl] = "ULF",
199 [_c_ubr] = "URB",
200 [_c_dfr] = "DRF",
201 [_c_dbl] = "DLB"
202};
203
204static char *edgestr[] = {
205 [_e_uf] = "UF",
206 [_e_ub] = "UB",
207 [_e_db] = "DB",
208 [_e_df] = "DF",
209 [_e_ur] = "UR",
210 [_e_ul] = "UL",
211 [_e_dl] = "DL",
212 [_e_dr] = "DR",
213 [_e_fr] = "FR",
214 [_e_fl] = "FL",
215 [_e_bl] = "BL",
216 [_e_br] = "BR"
217};
218
219static char *movestr[] = {
220 [U] = "U",
221 [U2] = "U2",
222 [U3] = "U'",
223 [D] = "D",
224 [D2] = "D2",
225 [D3] = "D'",
226 [R] = "R",
227 [R2] = "R2",
228 [R3] = "R'",
229 [L] = "L",
230 [L2] = "L2",
231 [L3] = "L'",
232 [F] = "F",
233 [F2] = "F2",
234 [F3] = "F'",
235 [B] = "B",
236 [B2] = "B2",
237 [B3] = "B'",
238};
239
240static char *transstr[] = {
241 [UFr] = "rotation UF",
242 [UFm] = "mirrored UF",
243 [ULr] = "rotation UL",
244 [ULm] = "mirrored UL",
245 [UBr] = "rotation UB",
246 [UBm] = "mirrored UB",
247 [URr] = "rotation UR",
248 [URm] = "mirrored UR",
249 [DFr] = "rotation DF",
250 [DFm] = "mirrored DF",
251 [DLr] = "rotation DL",
252 [DLm] = "mirrored DL",
253 [DBr] = "rotation DB",
254 [DBm] = "mirrored DB",
255 [DRr] = "rotation DR",
256 [DRm] = "mirrored DR",
257 [RUr] = "rotation RU",
258 [RUm] = "mirrored RU",
259 [RFr] = "rotation RF",
260 [RFm] = "mirrored RF",
261 [RDr] = "rotation RD",
262 [RDm] = "mirrored RD",
263 [RBr] = "rotation RB",
264 [RBm] = "mirrored RB",
265 [LUr] = "rotation LU",
266 [LUm] = "mirrored LU",
267 [LFr] = "rotation LF",
268 [LFm] = "mirrored LF",
269 [LDr] = "rotation LD",
270 [LDm] = "mirrored LD",
271 [LBr] = "rotation LB",
272 [LBm] = "mirrored LB",
273 [FUr] = "rotation FU",
274 [FUm] = "mirrored FU",
275 [FRr] = "rotation FR",
276 [FRm] = "mirrored FR",
277 [FDr] = "rotation FD",
278 [FDm] = "mirrored FD",
279 [FLr] = "rotation FL",
280 [FLm] = "mirrored FL",
281 [BUr] = "rotation BU",
282 [BUm] = "mirrored BU",
283 [BRr] = "rotation BR",
284 [BRm] = "mirrored BR",
285 [BDr] = "rotation BD",
286 [BDm] = "mirrored BD",
287 [BLr] = "rotation BL",
288 [BLm] = "mirrored BL",
289};
290
291static inline cube_t inline_compose(cube_t, cube_t);
292static bool isconsistent(cube_t);
293static cube_t flipallcorners(cube_t);
294static uint8_t readco(char *);
295static uint8_t readcp(char *);
296static uint8_t readeo(char *);
297static uint8_t readep(char *);
298static uint8_t readmove(char);
299static uint8_t readmodifier(char);
300static cube_t readcube_H48(char *);
301static void writecube_AVX(cube_arr_t, char *);
302static void writecube_H48(cube_arr_t, char *);
303static int writepiece_SRC(uint8_t, char *);
304static void writecube_SRC(cube_arr_t, char *);
305static int permsign(uint8_t *, int);
306
307cube_t
308solvedcube(void)
309{
310 cube_t solved;
311 setsolved(solved);
312 return solved;
313}
314
315cube_t
316zerocube(void)
317{
318 cube_t solved;
319 setzero(solved);
320 return solved;
321}
322
323static uint8_t
324readco(char *str)
325{
326 if (*str == '0')
327 return 0;
328 if (*str == '1')
329 return _ctwist_cw;
330 if (*str == '2')
331 return _ctwist_ccw;
332
333#ifdef DEBUG
334 fprintf(stderr, "Error reading CO\n");
335#endif
336 return _error;
337}
338
339static uint8_t
340readcp(char *str)
341{
342 uint8_t c;
343
344 for (c = 0; c < 8; c++)
345 if (!strncmp(str, cornerstr[c], 3) ||
346 !strncmp(str, cornerstralt[c], 3))
347 return c;
348
349#ifdef DEBUG
350 fprintf(stderr, "Error reading CP\n");
351#endif
352 return _error;
353}
354
355static uint8_t
356readeo(char *str)
357{
358 if (*str == '0')
359 return 0;
360 if (*str == '1')
361 return _eflip;
362
363#ifdef DEBUG
364 fprintf(stderr, "Error reading EO\n");
365#endif
366 return _error;
367}
368
369static uint8_t
370readep(char *str)
371{
372 uint8_t e;
373
374 for (e = 0; e < 12; e++)
375 if (!strncmp(str, edgestr[e], 2))
376 return e;
377
378#ifdef DEBUG
379 fprintf(stderr, "Error reading EP\n");
380#endif
381 return _error;
382}
383
384static cube_t
385readcube_H48(char *buf)
386{
387 int i;
388 uint8_t piece, orient;
389 cube_arr_t ret = {0};
390 cube_t err;
391 char *b;
392
393 setzero(err);
394 b = buf;
395
396 for (i = 0; i < 12; i++) {
397 while (*b == ' ' || *b == '\t' || *b == '\n')
398 b++;
399 if ((piece = readep(b)) == _error)
400 return err;
401 b += 2;
402 if ((orient = readeo(b)) == _error)
403 return err;
404 b++;
405 set_edge(ret, i, piece | orient);
406 }
407 for (i = 0; i < 8; i++) {
408 while (*b == ' ' || *b == '\t' || *b == '\n')
409 b++;
410 if ((piece = readcp(b)) == _error)
411 return err;
412 b += 3;
413 if ((orient = readco(b)) == _error)
414 return err;
415 b++;
416 set_corner(ret, i, piece | orient);
417 }
418
419 return arrtocube(ret);
420}
421
422cube_t
423readcube(format_t format, char *buf)
424{
425 cube_t ret;
426
427 switch (format) {
428 case H48:
429 ret = readcube_H48(buf);
430 break;
431 default:
432#ifdef DEBUG
433 fprintf(stderr, "Cannot read cube in the given format\n");
434#endif
435 setzero(ret);
436 }
437
438#ifdef DEBUG
439 if (iserror(ret))
440 fprintf(stderr, "readcube error\n");
441#endif
442 return ret;
443}
444
445static void
446writecube_AVX(cube_arr_t cube, char *buf)
447{
448 int i, ptr;
449 uint8_t piece;
450
451 memcpy(buf, "_mm256_set_epi8(\n\t0, 0, 0, 0, ", 30);
452 ptr = 30;
453
454 for (i = 11; i >= 0; i--) {
455 piece = get_edge(cube, i);
456 ptr += writepiece_SRC(piece, buf + ptr);
457 }
458
459 memcpy(buf+ptr-2, ",\n\t0, 0, 0, 0, 0, 0, 0, 0, ", 27);
460 ptr += 25;
461
462 for (i = 7; i >= 0; i--) {
463 piece = get_corner(cube, i);
464 ptr += writepiece_SRC(piece, buf + ptr);
465 }
466
467 memcpy(buf+ptr-2, "\n)\0", 3);
468}
469
470static void
471writecube_H48(cube_arr_t cube, char *buf)
472{
473 uint8_t piece, perm, orient;
474 int i;
475
476 for (i = 0; i < 12; i++) {
477 piece = get_edge(cube, i);
478 perm = piece & _pbits;
479 orient = (piece & _eobit) >> _eoshift;
480 buf[4*i ] = edgestr[perm][0];
481 buf[4*i + 1] = edgestr[perm][1];
482 buf[4*i + 2] = orient + '0';
483 buf[4*i + 3] = ' ';
484 }
485 for (i = 0; i < 8; i++) {
486 piece = get_corner(cube, i);
487 perm = piece & _pbits;
488 orient = (piece & _cobits) >> _coshift;
489 buf[48 + 5*i ] = cornerstr[perm][0];
490 buf[48 + 5*i + 1] = cornerstr[perm][1];
491 buf[48 + 5*i + 2] = cornerstr[perm][2];
492 buf[48 + 5*i + 3] = orient + '0';
493 buf[48 + 5*i + 4] = ' ';
494 }
495
496 buf[48+39] = '\0';
497}
498
499static int
500writepiece_SRC(uint8_t piece, char *buf)
501{
502 char digits[3];
503 int i, len = 0;
504
505 while (piece != 0) {
506 digits[len++] = (piece % 10) + '0';
507 piece /= 10;
508 }
509
510 if (len == 0)
511 digits[len++] = '0';
512
513 for (i = 0; i < len; i++)
514 buf[i] = digits[len-i-1];
515
516 buf[len] = ',';
517 buf[len+1] = ' ';
518
519 return len+2;
520}
521
522static void
523writecube_SRC(cube_arr_t cube, char *buf)
524{
525 int i, ptr;
526 uint8_t piece;
527
528 memcpy(buf, "{\n\t.c = {", 9);
529 ptr = 9;
530
531 for (i = 0; i < 8; i++) {
532 piece = get_corner(cube, i);
533 ptr += writepiece_SRC(piece, buf + ptr);
534 }
535
536 memcpy(buf+ptr-2, "},\n\t.e = {", 10);
537 ptr += 8;
538
539 for (i = 0; i < 12; i++) {
540 piece = get_edge(cube, i);
541 ptr += writepiece_SRC(piece, buf + ptr);
542 }
543
544 memcpy(buf+ptr-2, "}\n}\0", 4);
545}
546
547void
548writecube(format_t format, cube_t cube, char *buf)
549{
550 cube_arr_t a;
551 char *errormsg;
552 size_t len;
553
554 if (!isconsistent(cube)) {
555 errormsg = "ERROR: cannot write inconsistent cube";
556 goto writecube_error;
557 }
558
559 cubetoarr(cube, &a);
560
561 switch (format) {
562 case AVX:
563 writecube_AVX(a, buf);
564 break;
565 case H48:
566 writecube_H48(a, buf);
567 break;
568 case SRC:
569 writecube_SRC(a, buf);
570 break;
571 default:
572 errormsg = "ERROR: cannot write cube in the given format";
573 goto writecube_error;
574 }
575
576 return;
577
578writecube_error:
579#ifdef DEBUG
580 fprintf(stderr, "writecube error, see stdout for details\n");
581#endif
582 len = strlen(errormsg);
583 memcpy(buf, errormsg, len);
584 buf[len] = '\n';
585 buf[len+1] = '\0';
586}
587
588static uint8_t
589readmove(char c)
590{
591 switch (c) {
592 case 'U':
593 return U;
594 case 'D':
595 return D;
596 case 'R':
597 return R;
598 case 'L':
599 return L;
600 case 'F':
601 return F;
602 case 'B':
603 return B;
604 default:
605 return _error;
606 }
607}
608
609static uint8_t
610readmodifier(char c)
611{
612 switch (c) {
613 case '1': /* Fallthrough */
614 case '2': /* Fallthrough */
615 case '3':
616 return c - '0' - 1;
617 case '\'':
618 return 2;
619 default:
620 return 0;
621 }
622}
623
624int
625readmoves(char *buf, move_t *m)
626{
627 int n;
628 uint64_t r;
629 char *b;
630
631 for (b = buf, n = 0; *b != '\0'; b++) {
632 while (*b == ' ' || *b == '\t' || *b == '\n')
633 b++;
634 if (*b == '\0')
635 return n;
636 if ((r = readmove(*b)) == _error)
637 goto readmoves_error;
638 m[n] = (move_t)r;
639 if ((r = readmodifier(*(b+1))) != 0) {
640 b++;
641 m[n] += r;
642 }
643 n++;
644 }
645
646 return n;
647
648readmoves_error:
649#ifdef DEBUG
650 fprintf(stderr, "readmoves error\n");
651#endif
652 return -1;
653}
654
655trans_t
656readtrans(char *buf)
657{
658 uint8_t t;
659
660 for (t = 0; t < 48; t++)
661 if (!strncmp(buf, transstr[t], 11))
662 return t;
663
664#ifdef DEBUG
665 fprintf(stderr, "readtrans error\n");
666#endif
667 return errortrans;
668}
669
670void
671writemoves(move_t *m, int n, char *buf)
672{
673 int i;
674 size_t len;
675 char *b, *s;
676
677 for (i = 0, b = buf; i < n; i++, b++) {
678 s = movestr[m[i]];
679 len = strlen(s);
680 memcpy(b, s, len);
681 b += len;
682 *b = ' ';
683 }
684 *b = '\0';
685}
686
687void
688writetrans(trans_t t, char *buf)
689{
690 if (t >= 48)
691 memcpy(buf, "error trans", 11);
692 else
693 memcpy(buf, transstr[t], 11);
694 buf[11] = '\0';
695}
696
697static int
698permsign(uint8_t *a, int n)
699{
700 int i, j;
701 uint8_t ret = 0;
702
703 for (i = 0; i < n; i++)
704 for (j = i+1; j < n; j++)
705 ret += a[i] > a[j] ? 1 : 0;
706
707 return ret % 2;
708}
709
710static bool
711isconsistent(cube_t cube)
712{
713 cube_arr_t c;
714 uint8_t i, p, e, piece;
715 bool found[12];
716
717 cubetoarr(cube, &c);
718
719 for (i = 0; i < 12; i++)
720 found[i] = false;
721 for (i = 0; i < 12; i++) {
722 piece = get_edge(c, i);
723 p = piece & _pbits;
724 e = piece & _eobit;
725 if (p >= 12)
726 goto inconsistent_ep;
727 if (e != 0 && e != _eobit)
728 goto inconsistent_eo;
729 found[p] = true;
730 }
731 for (i = 0; i < 12; i++)
732 if (!found[i])
733 goto inconsistent_ep;
734
735 for (i = 0; i < 8; i++)
736 found[i] = false;
737 for (i = 0; i < 8; i++) {
738 piece = get_corner(c, i);
739 p = piece & _pbits;
740 e = piece & _cobits;
741 if (p >= 8)
742 goto inconsistent_cp;
743 if (e != 0 && e != _ctwist_cw && e != _ctwist_ccw)
744 goto inconsistent_co;
745 found[p] = true;
746 }
747 for (i = 0; i < 8; i++)
748 if (!found[i])
749 goto inconsistent_co;
750
751 return true;
752
753inconsistent_ep:
754#ifdef DEBUG
755 fprintf(stderr, "Inconsistent EP\n");
756#endif
757 return false;
758inconsistent_cp:
759#ifdef DEBUG
760 fprintf(stderr, "Inconsistent CP\n");
761#endif
762 return false;
763inconsistent_eo:
764#ifdef DEBUG
765 fprintf(stderr, "Inconsistent EO\n");
766#endif
767 return false;
768inconsistent_co:
769#ifdef DEBUG
770 fprintf(stderr, "Inconsistent CO\n");
771#endif
772 return false;
773}
774
775bool
776issolvable(cube_t cube)
777{
778 cube_arr_t c;
779 uint8_t i, eo, co, piece, edges[12], corners[8];
780
781#ifdef DEBUG
782 if (!isconsistent(cube)) {
783 fprintf(stderr, "issolvable: cube is inconsistent\n");
784 return false;
785 }
786#endif
787
788 cubetoarr(cube, &c);
789
790 for (i = 0; i < 12; i++)
791 edges[i] = get_edge(c, i) & _pbits;
792 for (i = 0; i < 8; i++)
793 corners[i] = get_corner(c, i) & _pbits;
794
795 if (permsign(edges, 12) != permsign(corners, 8))
796 goto issolvable_parity;
797
798 eo = 0;
799 for (i = 0; i < 12; i++) {
800 piece = get_edge(c, i);
801 eo += (piece & _eobit) >> _eoshift;
802 }
803 if (eo % 2 != 0)
804 goto issolvable_eo;
805
806 co = 0;
807 for (i = 0; i < 8; i++) {
808 piece = get_corner(c, i);
809 co += (piece & _cobits) >> _coshift;
810 }
811 if (co % 3 != 0)
812 goto issolvable_co;
813
814 return true;
815
816issolvable_parity:
817#ifdef DEBUG
818 fprintf(stderr, "EP and CP parities are different\n");
819#endif
820 return false;
821issolvable_eo:
822#ifdef DEBUG
823 fprintf(stderr, "Odd number of flipped edges\n");
824#endif
825 return false;
826issolvable_co:
827#ifdef DEBUG
828 fprintf(stderr, "Sum of corner orientation is not multiple of 3\n");
829#endif
830 return false;
831}
832
833bool
834equal(cube_t cube1, cube_t cube2)
835{
836#ifdef CUBE_AVX2
837 uint32_t mask;
838 __m256i cmp;
839
840 cmp = _mm256_cmpeq_epi8(cube1, cube2);
841 mask = _mm256_movemask_epi8(cmp);
842
843 return mask == 0xffffffffU;
844#else
845 uint8_t i;
846
847 for (i = 0; i < 12; i++)
848 if (cube1.e[i] != cube2.e[i])
849 return false;
850
851 for (i = 0; i < 8; i++)
852 if (cube1.c[i] != cube2.c[i])
853 return false;
854
855 return true;
856#endif
857}
858
859bool
860issolved(cube_t cube)
861{
862 cube_t solved;
863 setsolved(solved);
864 return equal(cube, solved);
865}
866
867bool
868iserror(cube_t cube)
869{
870 cube_t err;
871 setzero(err);
872 return equal(cube, err);
873}
874
875cube_t
876move(cube_t c, move_t m)
877{
878 cube_t err;
879
880#ifdef DEBUG
881 if (!isconsistent(c)) {
882 fprintf(stderr, "move error, inconsistent cube\n");
883 goto move_error;
884 }
885#endif
886
887 switch (m) {
888 case U:
889 return inline_move_U(c);
890 case U2:
891 return inline_move_U2(c);
892 case U3:
893 return inline_move_U3(c);
894 case D:
895 return inline_move_D(c);
896 case D2:
897 return inline_move_D2(c);
898 case D3:
899 return inline_move_D3(c);
900 case R:
901 return inline_move_R(c);
902 case R2:
903 return inline_move_R2(c);
904 case R3:
905 return inline_move_R3(c);
906 case L:
907 return inline_move_L(c);
908 case L2:
909 return inline_move_L2(c);
910 case L3:
911 return inline_move_L3(c);
912 case F:
913 return inline_move_F(c);
914 case F2:
915 return inline_move_F2(c);
916 case F3:
917 return inline_move_F3(c);
918 case B:
919 return inline_move_B(c);
920 case B2:
921 return inline_move_B2(c);
922 case B3:
923 return inline_move_B3(c);
924 default:
925#ifdef DEBUG
926 fprintf(stderr, "mover error, unknown move\n");
927#endif
928 goto move_error;
929 }
930
931move_error:
932 setzero(err);
933 return err;
934}
935
936cube_t
937inverse(cube_t c)
938{
939 cube_t ret;
940
941#ifdef DEBUG
942 if (!isconsistent(c)) {
943 fprintf(stderr, "inverse error, inconsistent cube\n");
944 setzero(ret);
945 return ret;
946 }
947#endif
948
949#ifdef CUBE_AVX2
950 /* Method taken from Andrew Skalski's vcube[1]. The addition sequence
951 * was generated using [2].
952 * [1] https://github.com/Voltara/vcube
953 * [2] http://wwwhomes.uni-bielefeld.de/achim/addition_chain.html
954 */
955 cube_t v3, vi, vo, vp;
956
957 v3 = _mm256_shuffle_epi8(c, c);
958 v3 = _mm256_shuffle_epi8(v3, c);
959 vi = _mm256_shuffle_epi8(v3, v3);
960 vi = _mm256_shuffle_epi8(vi, vi);
961 vi = _mm256_shuffle_epi8(vi, vi);
962 vi = _mm256_shuffle_epi8(vi, v3);
963 vi = _mm256_shuffle_epi8(vi, vi);
964 vi = _mm256_shuffle_epi8(vi, vi);
965 vi = _mm256_shuffle_epi8(vi, vi);
966 vi = _mm256_shuffle_epi8(vi, vi);
967 vi = _mm256_shuffle_epi8(vi, c);
968 vi = _mm256_shuffle_epi8(vi, vi);
969 vi = _mm256_shuffle_epi8(vi, vi);
970 vi = _mm256_shuffle_epi8(vi, vi);
971 vi = _mm256_shuffle_epi8(vi, vi);
972 vi = _mm256_shuffle_epi8(vi, vi);
973 vi = _mm256_shuffle_epi8(vi, v3);
974 vi = _mm256_shuffle_epi8(vi, vi);
975 vi = _mm256_shuffle_epi8(vi, c);
976
977 vo = _mm256_and_si256(c, _mm256_or_si256(_eo_avx2, _co2_avx2));
978 vo = _mm256_shuffle_epi8(vo, vi);
979 vp = _mm256_andnot_si256(_mm256_or_si256(_eo_avx2, _co2_avx2), vi);
980 ret = _mm256_or_si256(vp, vo);
981
982 return flipallcorners(ret);
983#else
984 uint8_t i, piece, orien;
985
986 setzero(ret);
987
988 for (i = 0; i < 12; i++) {
989 piece = get_edge(c, i);
990 orien = piece & _eobit;
991 set_edge(ret, piece & _pbits, i | orien);
992 }
993
994 for (i = 0; i < 8; i++) {
995 piece = get_corner(c, i);
996 orien = ((piece << 1) | (piece >> 1)) & _cobits2;
997 set_corner(ret, piece & _pbits, i | orien);
998 }
999#endif
1000
1001 return ret;
1002}
1003
1004static inline cube_t
1005inline_compose(cube_t c1, cube_t c2)
1006{
1007 cube_t ret;
1008
1009#ifdef DEBUG
1010 if (!isconsistent(c1) || !isconsistent(c2)) {
1011 fprintf(stderr, "compose error, inconsistent cube\n");
1012 setzero(ret);
1013 return ret;
1014 }
1015#endif
1016
1017#ifdef CUBE_AVX2
1018 cube_t s, eo2, ed, co1, co2, aux, auy1, auy2, cw, cwccw, auz1, auz2,
1019 coclean;
1020
1021 eo2 = _mm256_and_si256(c2, _eo_avx2);
1022 s = _mm256_shuffle_epi8(c1, c2);
1023 ed = _mm256_xor_si256(s, eo2);
1024 co1 = _mm256_and_si256(s, _co2_avx2);
1025 co2 = _mm256_and_si256(c2, _co2_avx2);
1026 aux = _mm256_add_epi8(co1, co2);
1027 cw = _mm256_set_epi8(
1028 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1029 0, 0, 0, 0, 0, 0, 0, 0,
1030 0x20, 0x20, 0x20, 0x20, 0x20, 0x20, 0x20, 0x20
1031 );
1032 auy1 = _mm256_add_epi8(aux, cw);
1033 auy2 = _mm256_srli_epi32(auy1, 2);
1034 auz1 = _mm256_add_epi8(aux, auy2);
1035 cwccw = _mm256_set_epi8(
1036 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1037 0, 0, 0, 0, 0, 0, 0, 0,
1038 0x60, 0x60, 0x60, 0x60, 0x60, 0x60, 0x60, 0x60
1039 );
1040 auz2 = _mm256_and_si256(auz1, cwccw);
1041 coclean = _mm256_andnot_si256(_co2_avx2, ed);
1042 ret = _mm256_or_si256(coclean, auz2);
1043#else
1044 uint8_t i, piece1, piece2, p, orien, aux, auy;
1045
1046 setzero(ret);
1047
1048 for (i = 0; i < 12; i++) {
1049 piece2 = get_edge(c2, i);
1050 p = piece2 & _pbits;
1051 piece1 = get_edge(c1, p);
1052 orien = (piece2 ^ piece1) & _eobit;
1053 set_edge(ret, i, (piece1 & _pbits) | orien);
1054 }
1055
1056 for (i = 0; i < 8; i++) {
1057 piece2 = get_corner(c2, i);
1058 p = piece2 & _pbits;
1059 piece1 = get_corner(c1, p);
1060 aux = (piece2 & _cobits) + (piece1 & _cobits);
1061 auy = (aux + _ctwist_cw) >> 2U;
1062 orien = (aux + auy) & _cobits2;
1063 set_corner(ret, i, (piece1 & _pbits) | orien);
1064 }
1065#endif
1066
1067 return ret;
1068}
1069
1070cube_t
1071compose(cube_t c1, cube_t c2)
1072{
1073 return inline_compose(c1, c2);
1074}
1075
1076cube_t
1077transform(cube_t c, trans_t t)
1078{
1079 cube_t ret;
1080
1081#ifdef DEBUG
1082 if (!isconsistent(c)) {
1083 fprintf(stderr, "transform error, inconsistent cube\n");
1084 goto trans_error;
1085 }
1086#endif
1087
1088 switch (t) {
1089 case UFr:
1090 return inline_trans_UFr(c);
1091 case ULr:
1092 return inline_trans_ULr(c);
1093 case UBr:
1094 return inline_trans_UBr(c);
1095 case URr:
1096 return inline_trans_URr(c);
1097 case DFr:
1098 return inline_trans_DFr(c);
1099 case DLr:
1100 return inline_trans_DLr(c);
1101 case DBr:
1102 return inline_trans_DBr(c);
1103 case DRr:
1104 return inline_trans_DRr(c);
1105 case RUr:
1106 return inline_trans_RUr(c);
1107 case RFr:
1108 return inline_trans_RFr(c);
1109 case RDr:
1110 return inline_trans_RDr(c);
1111 case RBr:
1112 return inline_trans_RBr(c);
1113 case LUr:
1114 return inline_trans_LUr(c);
1115 case LFr:
1116 return inline_trans_LFr(c);
1117 case LDr:
1118 return inline_trans_LDr(c);
1119 case LBr:
1120 return inline_trans_LBr(c);
1121 case FUr:
1122 return inline_trans_FUr(c);
1123 case FRr:
1124 return inline_trans_FRr(c);
1125 case FDr:
1126 return inline_trans_FDr(c);
1127 case FLr:
1128 return inline_trans_FLr(c);
1129 case BUr:
1130 return inline_trans_BUr(c);
1131 case BRr:
1132 return inline_trans_BRr(c);
1133 case BDr:
1134 return inline_trans_BDr(c);
1135 case BLr:
1136 return inline_trans_BLr(c);
1137 case UFm:
1138 return inline_trans_UFm(c);
1139 case ULm:
1140 return inline_trans_ULm(c);
1141 case UBm:
1142 return inline_trans_UBm(c);
1143 case URm:
1144 return inline_trans_URm(c);
1145 case DFm:
1146 return inline_trans_DFm(c);
1147 case DLm:
1148 return inline_trans_DLm(c);
1149 case DBm:
1150 return inline_trans_DBm(c);
1151 case DRm:
1152 return inline_trans_DRm(c);
1153 case RUm:
1154 return inline_trans_RUm(c);
1155 case RFm:
1156 return inline_trans_RFm(c);
1157 case RDm:
1158 return inline_trans_RDm(c);
1159 case RBm:
1160 return inline_trans_RBm(c);
1161 case LUm:
1162 return inline_trans_LUm(c);
1163 case LFm:
1164 return inline_trans_LFm(c);
1165 case LDm:
1166 return inline_trans_LDm(c);
1167 case LBm:
1168 return inline_trans_LBm(c);
1169 case FUm:
1170 return inline_trans_FUm(c);
1171 case FRm:
1172 return inline_trans_FRm(c);
1173 case FDm:
1174 return inline_trans_FDm(c);
1175 case FLm:
1176 return inline_trans_FLm(c);
1177 case BUm:
1178 return inline_trans_BUm(c);
1179 case BRm:
1180 return inline_trans_BRm(c);
1181 case BDm:
1182 return inline_trans_BDm(c);
1183 case BLm:
1184 return inline_trans_BLm(c);
1185 default:
1186#ifdef DEBUG
1187 fprintf(stderr, "transform error, unknown transformation\n");
1188#endif
1189 goto trans_error;
1190 }
1191
1192trans_error:
1193 setzero(ret);
1194 return ret;
1195}
diff --git a/src/cube.h b/src/cube.h
deleted file mode 100644
index 468b0ca..0000000
--- a/src/cube.h
+++ /dev/null
@@ -1,34 +0,0 @@
1typedef struct {
2 uint8_t c[16];
3 uint8_t e[16];
4} cube_arr_t;
5#ifdef CUBE_AVX2
6#include <immintrin.h>
7typedef __m256i cube_t;
8#else
9typedef cube_arr_t cube_t;
10#endif
11
12typedef uint8_t move_t;
13typedef uint8_t trans_t;
14
15int readmoves(char *, move_t *);
16void writemoves(move_t *, int, char *);
17trans_t readtrans(char *);
18void writetrans(trans_t, char *);
19
20typedef enum {AVX, H48, SRC} format_t;
21cube_t readcube(format_t, char *); /* Supports: H48 */
22void writecube(format_t, cube_t, char *); /* Supports: AVX, H48, SRC */
23
24cube_t solvedcube(void);
25cube_t zerocube(void);
26bool issolvable(cube_t);
27bool equal(cube_t, cube_t);
28bool issolved(cube_t);
29bool iserror(cube_t);
30
31cube_t move(cube_t, move_t);
32cube_t inverse(cube_t);
33cube_t compose(cube_t, cube_t);
34cube_t transform(cube_t, trans_t);

Generated with cgit - Back to sebastiano.tronto.net