dnomd343
/
klotski
mirror of https://github.com/dnomd343/klotski.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
Browse Source

update: cleanup code of RawCode mirror

master
Dnomd343 2 weeks ago
parent
f934249801
commit
64dbaf7399
1 changed files with 7 additions and 106 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 113
      src/core/raw_code/internal/mirror.inl

113
src/core/raw_code/internal/mirror.inl
View File

@ -1,85 +1,8 @@
#pragma once #pragma once
#include "utils/common.h"
namespace klotski::codec { namespace klotski::codec {
/// MASK_MIRROR_H1 | MASK_MIRROR_H2 // TODO: add `diagonal_mirror` support
/// 111 000 000 000 | 000 111 000 000
/// 111 000 000 000 | 000 111 000 000
/// 111 000 000 000 | 000 111 000 000
/// 111 000 000 000 | 000 111 000 000
/// 111 000 000 000 | 000 111 000 000
constexpr uint64_t MASK_MIRROR_H1 = 0x0'007'007'007'007'007;
constexpr uint64_t MASK_MIRROR_H2 = 0x0'038'038'038'038'038;
/// MASK_MIRROR_V1 | MASK_MIRROR_V2 | MASK_MIRROR_V3
/// 111 111 111 111 | 000 000 000 000 | 000 000 000 000
/// 000 000 000 000 | 111 111 111 111 | 000 000 000 000
/// 000 000 000 000 | 000 000 000 000 | 111 111 111 111
/// 000 000 000 000 | 000 000 000 000 | 000 000 000 000
/// 000 000 000 000 | 000 000 000 000 | 000 000 000 000
constexpr uint64_t MASK_MIRROR_V1 = 0x0'000'000'000'000'FFF;
constexpr uint64_t MASK_MIRROR_V2 = 0x0'000'000'000'FFF'000;
constexpr uint64_t MASK_MIRROR_V3 = 0x0'000'000'FFF'000'000;
static constexpr void vertical_fill(uint64_t &raw_code) {
uint64_t mask = 0;
for (int addr = 0; addr < 60; addr += 3) { // traverse every 3-bit
switch ((raw_code >> addr) & 0b111) {
case BLOCK_2x1:
case BLOCK_2x2:
mask |= (uint64_t)0b111 << (addr + 12); // generate fill mask
}
}
for (int addr = 0; addr < 60; addr += 3) { // traverse every 3-bit
switch ((raw_code | mask) >> addr & 0b111) {
case BLOCK_2x1:
raw_code &= ~(uint64_t(~BLOCK_2x1 & 0b111) << (addr + 12)); // fill vertical mirror
break;
case BLOCK_2x2:
raw_code &= ~(uint64_t(~BLOCK_2x2 & 0b111) << (addr + 12)); // fill vertical mirror
break;
}
}
}
static constexpr void horizontal_fill(uint64_t &raw_code) {
for (int addr = 0; addr < 60; addr += 3) { // traverse every 3-bit
switch ((raw_code >> addr) & 0b111) {
case BLOCK_1x2:
raw_code &= ~(uint64_t(~BLOCK_1x2 & 0b111) << (addr + 3)); // fill horizontal mirror
addr += 3; // skip next address
break;
case BLOCK_2x2:
raw_code &= ~(uint64_t(~BLOCK_2x2 & 0b111) << (addr + 3)); // fill horizontal mirror
addr += 3; // skip next address
break;
}
}
}
static constexpr void vertical_clear(uint64_t &raw_code) {
for (int addr = 0; addr < 60; addr += 3) { // traverse every 3-bit
switch ((raw_code >> addr) & 0b111) {
case BLOCK_2x1:
case BLOCK_2x2:
raw_code |= (uint64_t)0b111 << (addr + 12); // reset as original block
}
}
}
static constexpr void horizontal_clear(uint64_t &raw_code) {
for (int addr = 0; addr < 60; addr += 3) { // traverse every 3-bit
switch ((raw_code >> addr) & 0b111) {
case BLOCK_1x2:
case BLOCK_2x2:
raw_code |= (uint64_t)0b111 << (addr + 3); // reset as original block
}
}
}
constexpr uint64_t RawCode::get_vertical_mirror(const uint64_t raw_code) { constexpr uint64_t RawCode::get_vertical_mirror(const uint64_t raw_code) {
uint64_t code = ((raw_code >> 36) & 0x000'000'000'fff'fff) | ((raw_code << 36) & 0xfff'fff'000'000'000); uint64_t code = ((raw_code >> 36) & 0x000'000'000'fff'fff) | ((raw_code << 36) & 0xfff'fff'000'000'000);
@ -102,34 +25,12 @@ constexpr uint64_t RawCode::get_horizontal_mirror(const uint64_t raw_code) {
return (code | m1 | m2) & ~(m1 >> 3) & ~(m2 >> 3); return (code | m1 | m2) & ~(m1 >> 3) & ~(m2 >> 3);
} }
constexpr bool RawCode::check_mirror(uint64_t raw_code) { constexpr bool RawCode::check_mirror(const uint64_t raw_code) {
// horizontal_fill(raw_code); const uint64_t m1 = ~raw_code & (raw_code << 1) & 0x492'492'492'492'492;
// return !(MASK_MIRROR_H1 & ((raw_code >> 9) ^ raw_code)) const uint64_t m2 = raw_code & 0x924'924'924'924'924;
// && !(MASK_MIRROR_H2 & ((raw_code >> 3) ^ raw_code)); const uint64_t code = ~((m1 | (m1 << 1)) << 3) & (raw_code | (m2 >> 1) | (m2 >> 2));
return !(0x007'007'007'007'007 & ((code >> 9) ^ code))
// return raw_code == get_horizontal_mirror(raw_code); && !(0x038'038'038'038'038 & ((code >> 3) ^ code));
uint64_t kk = ~raw_code & (raw_code << 1) & 0x0492492492492492;
kk |= (kk << 1);
// uint64_t pp = ~raw_code & (raw_code >> 1) & 0x0492492492492492;
// pp |= (pp >> 1);
uint64_t pp = raw_code & 0x924924924924924;
pp = (pp >> 1) | (pp >> 2);
raw_code |= pp;
raw_code &= ~(kk << 3);
// raw_code &= ~(pp << 3);
return !(MASK_MIRROR_H1 & ((raw_code >> 9) ^ raw_code))
&& !(MASK_MIRROR_H2 & ((raw_code >> 3) ^ raw_code));
// return (((raw_code >> 9) & MASK_MIRROR_H1) == (raw_code & MASK_MIRROR_H1))
// && (((raw_code >> 3) & MASK_MIRROR_H2) == (raw_code & MASK_MIRROR_H2));
// return ((MASK_MIRROR_H1 & ((raw_code >> 9) ^ raw_code))
// | (MASK_MIRROR_H2 & ((raw_code >> 3) ^ raw_code))) == 0;
} }
} // namespace klotski::codec } // namespace klotski::codec

Write Preview
Loading…
Cancel
Save