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
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
|
#define CO2_NEON vdupq_n_u8(0x60)
#define COCW_NEON vdupq_n_u8(0x20)
#define CP_NEON vdupq_n_u8(0x07)
#define EP_NEON vcombine_u8(vdupq_n_u8(0x0F), vdupq_n_u8(0x0F))
#define EO_NEON vcombine_u8(vdupq_n_u8(0x10), vdupq_n_u8(0x10))
STATIC_INLINE uint8x16_t compose_edges_slim(uint8x16_t, uint8x16_t);
STATIC_INLINE uint8x16_t compose_corners_slim(uint8x16_t, uint8x16_t);
STATIC void
pieces(cube_t *cube, uint8_t c[static 8], uint8_t e[static 12])
{
// First 8 bytes of the corner vector are copied from the c array
vst1_u8(c, vget_low_u8(cube->corner));
// 12 bytes of the edge vector are copied from the e array
// First 8 bytes
vst1_u8(e, vget_low_u8(cube->edge));
// Next 4 bytes
vst1_lane_u32((uint32_t *)(e + 8), vreinterpret_u32_u8(vget_high_u8(cube->edge)), 0);
}
STATIC_INLINE cube_t
cubefrompieces(
uint8_t c_ufr,
uint8_t c_ubl,
uint8_t c_dfl,
uint8_t c_dbr,
uint8_t c_ufl,
uint8_t c_ubr,
uint8_t c_dfr,
uint8_t c_dbl,
uint8_t e_uf,
uint8_t e_ub,
uint8_t e_db,
uint8_t e_df,
uint8_t e_ur,
uint8_t e_ul,
uint8_t e_dl,
uint8_t e_dr,
uint8_t e_fr,
uint8_t e_fl,
uint8_t e_bl,
uint8_t e_br
) {
cube_t ret = {
.corner = {
c_ufr, c_ubl, c_dfl, c_dbr, c_ufl, c_ubr, c_dfr, c_dbl,
0, 0, 0, 0, 0, 0, 0, 0
},
.edge = {
e_uf, e_ub, e_db, e_df, e_ur, e_ul, e_dl, e_dr, e_fr,
e_fl, e_bl, e_br, 0, 0, 0, 0
}
};
return ret;
}
STATIC_INLINE bool
equal(cube_t c1, cube_t c2)
{
uint8x16_t cmp_corner, cmp_edge;
uint64x2_t cmp_corner_u64, cmp_edge_u64;
uint64x2_t cmp_result;
// compare the corner vectors
cmp_corner = vceqq_u8(c1.corner, c2.corner);
// compare the edge vectors
cmp_edge = vceqq_u8(c1.edge, c2.edge);
// convert the comparison vectors to 64-bit vectors
cmp_corner_u64 = vreinterpretq_u64_u8(cmp_corner);
cmp_edge_u64 = vreinterpretq_u64_u8(cmp_edge);
// combine the comparison vectors
cmp_result = vandq_u64(cmp_corner_u64, cmp_edge_u64);
// check if all the bits are set
return vgetq_lane_u64(cmp_result, 0) == ~0ULL && vgetq_lane_u64(cmp_result, 1) == ~0ULL;
}
STATIC_INLINE cube_t
invertco(cube_t c)
{
cube_t ret;
uint8x16_t co, shleft, shright, summed, newco, cleanco;
co = vandq_u8(c.corner, CO2_NEON);
shleft = vshlq_n_u8(co, 1);
shright = vshrq_n_u8(co, 1);
summed = vorrq_u8(shleft, shright);
newco = vandq_u8(summed, CO2_NEON);
cleanco = veorq_u8(c.corner, co);
ret.corner = vorrq_u8(cleanco, newco);
ret.edge = c.edge;
return ret;
}
STATIC_INLINE cube_t
compose_edges(cube_t c1, cube_t c2)
{
cube_t ret = {0};
ret.edge = compose_edges_slim(c1.edge, c2.edge);
return ret;
}
STATIC_INLINE cube_t
compose_corners(cube_t c1, cube_t c2)
{
cube_t ret = {0};
ret.corner = compose_corners_slim(c1.corner, c2.corner);
return ret;
}
STATIC_INLINE uint8x16_t
compose_edges_slim(uint8x16_t edge1, uint8x16_t edge2)
{
// Masks
uint8x16_t p_bits = vdupq_n_u8(PBITS);
uint8x16_t eo_bit = vdupq_n_u8(EOBIT);
// Find the index and permutation
uint8x16_t p = vandq_u8(edge2, p_bits);
uint8x16_t piece1 = vqtbl1q_u8(edge1, p);
// Calculate the orientation through XOR
uint8x16_t orien = vandq_u8(veorq_u8(edge2, piece1), eo_bit);
// Combine the results
uint8x16_t ret = vorrq_u8(vandq_u8(piece1, p_bits), orien);
// Mask to clear the last 32 bits of the result
uint8x16_t mask_last_32 = vsetq_lane_u32(0, vreinterpretq_u32_u8(ret), 3);
ret = vreinterpretq_u8_u32(mask_last_32);
return ret;
}
STATIC_INLINE uint8x16_t
compose_corners_slim(uint8x16_t corner1, uint8x16_t corner2)
{
// Masks
uint8x16_t p_bits = vdupq_n_u8(PBITS);
uint8x16_t cobits = vdupq_n_u8(COBITS);
uint8x16_t cobits2 = vdupq_n_u8(COBITS_2);
uint8x16_t twist_cw = vdupq_n_u8(CTWIST_CW);
// Find the index and permutation
uint8x16_t p = vandq_u8(corner2, p_bits);
uint8x16_t piece1 = vqtbl1q_u8(corner1, p);
// Calculate the orientation
uint8x16_t aux = vaddq_u8(vandq_u8(corner2, cobits), vandq_u8(piece1, cobits));
uint8x16_t auy = vshrq_n_u8(vaddq_u8(aux, twist_cw), 2);
uint8x16_t orien = vandq_u8(vaddq_u8(aux, auy), cobits2);
// Combine the results
uint8x16_t ret = vorrq_u8(vandq_u8(piece1, p_bits), orien);
// Mask to clear the last 64 bits of the result
uint8x16_t mask_last_64 = vsetq_lane_u64(0, vreinterpretq_u64_u8(ret), 1);
ret = vreinterpretq_u8_u64(mask_last_64);
return ret;
}
STATIC_INLINE cube_t
compose(cube_t c1, cube_t c2)
{
cube_t ret = {0};
ret.edge = compose_edges_slim(c1.edge, c2.edge);
ret.corner = compose_corners_slim(c1.corner, c2.corner);
return ret;
}
STATIC_INLINE cube_t
inverse(cube_t cube)
{
uint8_t i, piece, orien;
cube_t ret;
// Temp arrays to store the NEON vectors
uint8_t edges[16];
uint8_t corners[16];
// Copy the NEON vectors to the arrays
vst1q_u8(edges, cube.edge);
vst1q_u8(corners, cube.corner);
uint8_t edge_result[16] = {0};
uint8_t corner_result[16] = {0};
// Process the edges
for (i = 0; i < 12; i++)
{
piece = edges[i];
orien = piece & EOBIT;
edge_result[piece & PBITS] = i | orien;
}
// Process the corners
for (i = 0; i < 8; i++)
{
piece = corners[i];
orien = ((piece << 1) | (piece >> 1)) & COBITS_2;
corner_result[piece & PBITS] = i | orien;
}
// Copy the results back to the NEON vectors
ret.edge = vld1q_u8(edge_result);
ret.corner = vld1q_u8(corner_result);
return ret;
}
STATIC_INLINE int64_t
coord_co(cube_t c)
{
// Temp array to store the NEON vector
uint8_t mem[16];
vst1q_u8(mem, c.corner);
int i, p;
int64_t ret;
for (ret = 0, i = 0, p = 1; i < 7; i++, p *= 3)
ret += p * (mem[i] >> COSHIFT);
return ret;
}
STATIC_INLINE int64_t
coord_csep(cube_t c)
{
// Temp array to store the NEON vector
uint8_t mem[16];
vst1q_u8(mem, c.corner);
int64_t ret = 0;
int i, p;
for (ret = 0, i = 0, p = 1; i < 7; i++, p *= 2)
ret += p * ((mem[i] & CSEPBIT) >> 2);
return ret;
return 0;
}
STATIC_INLINE int64_t
coord_cocsep(cube_t c)
{
return (coord_co(c) << 7) + coord_csep(c);
}
STATIC_INLINE int64_t
coord_eo(cube_t c)
{
int64_t ret = 0;
int64_t p = 1;
// Temp array to store the NEON vector
uint8_t mem[16];
vst1q_u8(mem, c.edge);
for (int i = 1; i < 12; i++, p *= 2)
{
ret += p * (mem[i] >> EOSHIFT);
}
return ret;
}
STATIC_INLINE int64_t
coord_esep(cube_t c)
{
int64_t i, j, jj, k, l, ret1, ret2, bit1, bit2, is1;
// Temp array to store the NEON vector
uint8_t mem[16];
vst1q_u8(mem, c.edge);
for (i = 0, j = 0, k = 4, l = 4, ret1 = 0, ret2 = 0; i < 12; i++)
{
bit1 = (mem[i] & ESEPBIT_1) >> 2;
bit2 = (mem[i] & ESEPBIT_2) >> 3;
is1 = (1 - bit2) * bit1;
ret1 += bit2 * binomial[11 - i][k];
k -= bit2;
jj = j < 8;
ret2 += jj * is1 * binomial[7 - (j * jj)][l];
l -= is1;
j += (1 - bit2);
}
return ret1 * 70 + ret2;
}
STATIC_INLINE void
copy_corners(cube_t *dst, cube_t src)
{
dst->corner = src.corner;
}
STATIC_INLINE void
copy_edges(cube_t *dst, cube_t src)
{
dst->edge = src.edge;
}
STATIC_INLINE void
set_eo(cube_t *cube, int64_t eo)
{
// Temp array to store the NEON vector
uint8_t mem[16];
vst1q_u8(mem, cube->edge);
uint8_t i, sum, flip;
for (sum = 0, i = 1; i < 12; i++, eo >>= 1)
{
flip = eo % 2;
sum += flip;
mem[i] = (mem[i] & ~EOBIT) | (EOBIT * flip);
}
mem[0] = (mem[0] & ~EOBIT) | (EOBIT * (sum % 2));
// Copy the results back to the NEON vector
cube->edge = vld1q_u8(mem);
return;
}
STATIC_INLINE cube_t
invcoord_esep(int64_t esep)
{
cube_t ret;
uint8_t mem[16] = {0};
invcoord_esep_array(esep % 70, esep / 70, mem);
ret = SOLVED_CUBE;
ret.edge = vld1q_u8(mem);
return ret;
}
|