h48

A prototype for an optimal Rubik's cube solver, work in progress.
git clone https://git.tronto.net/h48
Download | Log | Files | Refs | README | LICENSE

common.h (1635B)


      1 STATIC_INLINE int popcount_u32(uint32_t);
      2 
      3 STATIC void pieces(cube_t *, uint8_t [static 8], uint8_t [static 12]);
      4 STATIC_INLINE bool equal(cube_t, cube_t);
      5 STATIC_INLINE cube_t invertco(cube_t);
      6 STATIC_INLINE cube_t compose_edges(cube_t, cube_t);
      7 STATIC_INLINE cube_t compose_corners(cube_t, cube_t);
      8 STATIC_INLINE cube_t compose(cube_t, cube_t);
      9 STATIC_INLINE cube_t inverse(cube_t);
     10 
     11 STATIC_INLINE int64_t coord_co(cube_t);
     12 STATIC_INLINE int64_t coord_csep(cube_t);
     13 STATIC_INLINE int64_t coord_cocsep(cube_t);
     14 STATIC_INLINE int64_t coord_eo(cube_t);
     15 STATIC_INLINE int64_t coord_esep(cube_t);
     16 
     17 STATIC_INLINE void copy_corners(cube_t *, cube_t);
     18 STATIC_INLINE void copy_edges(cube_t *, cube_t);
     19 STATIC_INLINE void set_eo(cube_t *, int64_t);
     20 STATIC_INLINE cube_t invcoord_esep(int64_t);
     21 
     22 STATIC_INLINE void invcoord_esep_array(int64_t, int64_t, uint8_t[static 12]);
     23 STATIC_INLINE cube_t invcoord_eoesep(int64_t);
     24 
     25 STATIC_INLINE void
     26 invcoord_esep_array(int64_t set1, int64_t set2, uint8_t mem[static 12])
     27 {
     28 	int64_t bit1, bit2, i, j, jj, k, l, s, v, w, is1;
     29 	uint8_t slice[3] = {0};
     30 
     31 	for (i = 0, j = 0, k = 4, l = 4; i < 12; i++)
     32 	{
     33 		v = binomial[11 - i][k];
     34 		jj = j < 8;
     35 		w = jj * binomial[7 - (j * jj)][l];
     36 		bit2 = set2 >= v;
     37 		bit1 = set1 >= w;
     38 		is1 = (1 - bit2) * bit1;
     39 
     40 		set2 -= bit2 * v;
     41 		k -= bit2;
     42 		set1 -= is1 * w;
     43 		l -= is1;
     44 		j += (1 - bit2);
     45 		s = 2 * bit2 + (1 - bit2) * bit1;
     46 
     47 		mem[i] = (slice[s]++) | (uint8_t)(s << 2);
     48 	}
     49 }
     50 
     51 STATIC_INLINE cube_t
     52 invcoord_eoesep(int64_t i)
     53 {
     54 	cube_t c;
     55 	int64_t esep, eo;
     56 
     57 	esep = i >> INT64_C(11);
     58 	eo = i % POW_2_11;
     59 	c = invcoord_esep(esep);
     60 	set_eo(&c, eo);
     61 
     62 	return c;
     63 }