{"header":{"message":"test commit","description":null,"timestamp":"2022-11-01T10:54:28.189170208Z","authors":[{}]},"hash":"SL36FMAKKVKYSG4P2SQBPUKU5WRNUFYDLAPCZHO7DNFQZEKG4AIQC","authors":[{"login":"leesongun","key":"9mzSUtBiEB8x5GfC6RqedUMY6EDWtgDncaBBUj2B5YJu"}],"deps":{"hashes":[["SL36FMAKKVKYSG4P2SQBPUKU5WRNUFYDLAPCZHO7DNFQZEKG4AIQC","test commit"],["AA",null],["UYFMYDXDUMMYMZJCJUMS72M6G4D44EGTL7F6CS6XBJONOJVV5NJQC",""]],"deps":["UYFMYDXDUMMYMZJCJUMS72M6G4D44EGTL7F6CS6XBJONOJVV5NJQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"amd64","metadata":576},"context":[{"change":2,"pos":1}],"contents":[]}},{"FileAdd":{"meta":{"basename":"index.zig","metadata":0},"context":[{"change":0,"pos":17}],"contents":[{"Add":"const min = @import(\"std\").math.min;"},{"Add":"const max = @import(\"std\").math.max;"},{"Add":"pub const HELPER = [_]u9{ 0o000, 0o000, 0o200, 0o201, 0o300, 0o301, 0o401, 0o400, 0o600, 0o601, 0o700, 0o701 };"},{"Add":"pub const INDEX = @import(\"utils\").make_array([4]u9, index);"},{"Add":""},{"Add":"fn index(pos: u6) [4]u9 {"},{"Add":" const a = @truncate(u3, pos);"},{"Add":" const b = @truncate(u3, pos >> 3);"},{"Add":" const c = switch (a) {"},{"Add":" 3, 4 => a + @as(u4, if (b > 3) 7 else 5),"},{"Add":" else => switch (pos) {"},{"Add":" 2, 10, 53, 61 => a,"},{"Add":" else => min(b, max(a, 7 - a)),"},{"Add":" },"},{"Add":" };"},{"Add":" return .{"},{"Add":" HELPER[a],"},{"Add":" HELPER[b],"},{"Add":" HELPER[c],"},{"Add":" 0,"},{"Add":" };"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"main.zig","metadata":0},"context":[{"change":0,"pos":17}],"contents":[{"Add":"const pdep = @import(\"intrinsic.zig\").pdep;"},{"Add":"const pext = @import(\"intrinsic.zig\").pext;"},{"Add":""},{"Add":"const MASK = @import(\"mask.zig\").MASK;"},{"Add":"const INDEX = @import(\"index.zig\").INDEX;"},{"Add":"const RESULT = @import(\"result.zig\").RESULT;"},{"Add":""},{"Add":"pub fn flip(board: [2]u64, place: u6) u64 {"},{"Add":" var ret: u64 = 0;"},{"Add":" comptime var i = 0;"},{"Add":" inline while (i < 3) : (i += 1)"},{"Add":" ret |= pdep(RESULT["},{"Add":" @as(u64, INDEX[place][i]) * 32 + pext(board[0], MASK[place][i][0]) * 64 + pext(board[1], MASK[place][i][1])"},{"Add":" ], MASK[place][i][1]);"},{"Add":" // plan to further shave 2KiB"},{"Add":" // ret |= pdep(RESULT["},{"Add":" // @as(u64, INDEX[place][2]) * 32 | pext(board[0], MASK[place][i][0]) * 64 + pext(board[1], MASK[place][i][1])"},{"Add":" // ], MASK[place][i][1]);"},{"Add":" ret |= (((board[0] & MASK[place][3][0]) *% 0x05_0005) >> 9) & board[1] & MASK[place][3][1];"},{"Add":" return ret;"},{"Add":"}"},{"Add":""},{"Add":"pub fn prefetch() void {"},{"Add":" @prefetch(&MASK, .{});"},{"Add":" @prefetch(&INDEX, .{});"},{"Add":" @prefetch(&RESULT, .{});"},{"Add":"}"},{"Add":""},{"Add":"test {"},{"Add":" _ = @import(\"test.zig\");"},{"Add":" _ = @import(\"index.zig\");"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"mask.zig","metadata":0},"context":[{"change":0,"pos":17}],"contents":[{"Add":"pub const MASK = @import(\"utils\").make_array([4][2]u64, _mask);"},{"Add":""},{"Add":"const mul = @import(\"utils\").mul;"},{"Add":"const fill = @import(\"utils\").fill;"},{"Add":""},{"Add":"fn mask(pos: u6, comptime dir: u6) @Vector(2, u64) {"},{"Add":" const t = @as(u64, 1) << pos;"},{"Add":" const a = t | t << 8 | t >> 8;"},{"Add":" const b = a | (a << 1 & mul(0xFF, 0xFE)) | (a >> 1 & mul(0xFF, 0x7F));"},{"Add":""},{"Add":" const r = fill(t, dir);"},{"Add":" return .{ r & ~b, r & ~t & switch (dir) {"},{"Add":" 1 => mul(0xFF, 0x7E),"},{"Add":" 8 => mul(0x7E, 0xFF),"},{"Add":" 7, 9 => mul(0x7E, 0x7E),"},{"Add":" else => unreachable,"},{"Add":" } };"},{"Add":"}"},{"Add":""},{"Add":"fn _mask(pos: u6) [4][2]u64 {"},{"Add":" // we don't support this case"},{"Add":" // zero for faster error finding"},{"Add":" if (@truncate(u1, mul(0x18, 0x18) >> pos) != 0) {"},{"Add":" return [_][2]u64{.{ 0, 0 }} ** 4;"},{"Add":" }"},{"Add":""},{"Add":" const t: u64 = switch (pos) {"},{"Add":" 2, 10, 53, 61 => 0,"},{"Add":" 19, 20 => mul(0x07, 0xFF),"},{"Add":" 43, 44 => mul(0xE0, 0xFF),"},{"Add":" else => switch (pos & 7) {"},{"Add":" 2 => mul(0xFF, 0x07),"},{"Add":" 5 => mul(0xFF, 0xE0),"},{"Add":" else => 0,"},{"Add":" },"},{"Add":" };"},{"Add":" const temp = mask(pos, 7) | mask(pos, 9);"},{"Add":" const tt = @splat(2, t);"},{"Add":" return .{ mask(pos, 1), mask(pos, 8), temp & ~tt, temp & tt };"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"result.zig","metadata":0},"context":[{"change":0,"pos":17}],"contents":[{"Add":"fn res(i: u3, p: u7, n: u7) u7 {"},{"Add":" const m = (@as(u7, 1) << i) - 1;"},{"Add":""},{"Add":" return m & -%(@as(u7, 1) << (7 - @clz(~n & m)) & p) |"},{"Add":" ((n >> i) + 1 & p >> i << 1) -| 1 << i;"},{"Add":"}"},{"Add":""},{"Add":"const gen_mask = [4]u5{ 0b00101, 0b01010, 0b01010, 0b10100 };"},{"Add":""},{"Add":"fn special(i: u2, p: u5, n: u5) u5 {"},{"Add":" const mask = gen_mask[i];"},{"Add":" if (i < 2) {"},{"Add":" return gen(mask, p, n, true) | gen(~mask, p, n, true);"},{"Add":" } else {"},{"Add":" return gen(mask, p, n, false) | gen(~mask, p, n, false);"},{"Add":" }"},{"Add":"}"},{"Add":"fn gen(mask: u5, p: u5, n: u5, is_up: bool) u5 {"},{"Add":" const nn = ~n & mask;"},{"Add":" const nnn = mask & ~if (is_up)"},{"Add":" -%(nn & -%nn)"},{"Add":" else"},{"Add":" @as(u6, 31) >> @clz(nn);"},{"Add":" if (nnn & p == 0) return 0;"},{"Add":" return @intCast(u5, nnn);"},{"Add":"}"},{"Add":""},{"Add":"pub const RESULT = init: {"},{"Add":" @setEvalBranchQuota(1000000);"},{"Add":" var ret: [0x4000]u6 = undefined;"},{"Add":""},{"Add":" for (@import(\"index.zig\").HELPER) |i, index| {"},{"Add":" const range: u7 = switch (index) {"},{"Add":" 0, 7 => 64,"},{"Add":" else => 32,"},{"Add":" };"},{"Add":""},{"Add":" var j: u7 = 0;"},{"Add":" while (j < range) : (j += 1) {"},{"Add":" var k: u7 = 0;"},{"Add":" while (k < range) : (k += 1) {"},{"Add":" const ii = @as(u64, i + 2 * j) * 32 + k;"},{"Add":" if (index < 8) {"},{"Add":" const ind: u3 = @intCast(u3, index -| 1);"},{"Add":" ret[ii] = @intCast(u6, res(ind, j, k));"},{"Add":" } else {"},{"Add":" ret[ii] = special(@intCast(u2, index - 8), j, k);"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" break :init ret;"},{"Add":"};"}]}}],"owner":"leesongun","repo":"libothello","token":"Xtw84gJSg3FS9J6wRPRlKKvTwrOFV26D5JUDTru8H10=","login":null}

…

Dependencies

Change contents