import enum import gdb import gdb.printing def optional(constructor, val): try: return constructor(val["Some"]["__0"]) except gdb.error: return None def print_opt(val): return "(None)" if val is None else str(val) class Square(object): """ Python representation of a 'seer::board::square::Square' raw value. """ FILES = list(map(lambda n: chr(ord("A") + n), range(8))) RANKS = list(map(lambda n: str(n + 1), range(8))) def __init__(self, val): if isinstance(val, Square): val = val._val self._val = val @classmethod def from_gdb(cls, val): return cls(int(val)) @classmethod def from_file_rank(cls, file, rank): return cls(file * 8 + rank) def __str__(self): return self.FILES[self.file] + self.RANKS[self.rank] @property def rank(self): return int(self._val) % 8 @property def file(self): return int(self._val) // 8 class Bitboard(object): """ Python representation of a 'seer::board::bitboard::Bitboard' raw value. """ def __init__(self, val): if isinstance(val, Bitboard): val = val._val self._val = val @classmethod def from_gdb(cls, val): return cls(int(val["__0"])) def __str__(self): return "[" + ", ".join(map(str, self.squares)) + "]" def at(self, square): return bool(self._val & (1 << square._val)) @property def squares(self): n = self._val while n: b = n & (~n + 1) yield Square(b.bit_length() - 1) n ^= b class CastleRights(enum.IntEnum): """ Python representation of a 'seer::board::castle_rights::CastleRights' raw value. """ # Should be kept in sync with the enum in `color.rs` NO_SIDE = 0 KING_SIDE = 1 QUEEN_SIDE = 2 BOTH_SIDES = 3 @classmethod def from_gdb(cls, val): return cls(int(val)) def __str__(self): return self.name.title().replace("_", "") class Color(enum.IntEnum): """ Python representation of a 'seer::board::color::Color' raw value. """ # Should be kept in sync with the enum in `color.rs` WHITE = 0 BLACK = 1 @classmethod def from_gdb(cls, val): return cls(int(val)) def __str__(self): return self.name.title() class File(enum.IntEnum): """ Python representation of a 'seer::board::file::File' raw value. """ # Should be kept in sync with the enum in `file.rs` A = 0 B = 1 C = 2 D = 3 E = 4 F = 5 G = 6 H = 7 @classmethod def from_gdb(cls, val): return cls(int(val)) def __str__(self): return self.name.title() class Rank(enum.IntEnum): """ Python representation of a 'seer::board::rank::Rank' raw value. """ # Should be kept in sync with the enum in `rank.rs` First = 0 Second = 1 Third = 2 Fourth = 3 Fifth = 4 Sixth = 5 Seventh = 6 Eighth = 7 @classmethod def from_gdb(cls, val): return cls(int(val)) def __str__(self): return self.name.title() class Piece(enum.IntEnum): """ Python representation of a 'seer::board::piece::Piece' raw value. """ # Should be kept in sync with the enum in `piece.rs` KING = 0 QUEEN = 1 ROOK = 2 BISHOP = 3 KNIGHT = 4 PAWN = 5 @classmethod def from_gdb(cls, val): return cls(int(val)) def __str__(self): return self.name.title() class Move(object): """ Wrapper around GDB's representation of a 'seer::board::move::Move' in memory. """ def __init__(self, start, destination, promotion): self._start = Square(start) self._destination = Square(destination) self._promotion = Piece(promotion) @classmethod def from_gdb(cls, val): start = Square(int(val["start"])) destination = Square(int(val["destination"])) promotion = optional(Piece.from_gdb, val["promotion"]) cls(start, destination, promotion) @property def start(self): return self._start @property def destination(self): return self._destination @property def promotion(self): return self._promotion def __str__(self): KEYS = [ "start", "destination", "promotion", ] indent = lambda s: " " + s values = [key + ": " + print_opt(getattr(self, key)) + ",\n" for key in KEYS] return "Move{\n" + "".join(map(indent, values)) + "}" class ChessBoard(object): """ Wrapper around GDB's representation of a 'seer::board::chess_board::ChessBoard' in memory. """ def __init__( self, piece_occupancy, color_occupancy, castle_rights, half_move_clock, total_plies, side, en_passant, ): self._piece_occupancy = list(map(Bitboard, piece_occupancy)) self._color_occupancy = list(map(Bitboard, color_occupancy)) self._castle_rights = list(map(CastleRights, castle_rights)) self._half_move_clock = int(half_move_clock) self._total_plies = int(total_plies) self._side = Color(side) self._en_passant = None if en_passant is None else Square(en_passant) @classmethod def from_gdb(cls, val): return cls( [Bitboard.from_gdb(val["piece_occupancy"][p]) for p in Piece], [Bitboard.from_gdb(val["color_occupancy"][c]) for c in Color], [CastleRights.from_gdb(val["castle_rights"][c]) for c in Color], int(val["half_move_clock"]), int(val["total_plies"]), Color.from_gdb(val["side"]), optional(Square.from_gdb, val["en_passant"]), ) def at(self, square): for piece in Piece: if not self._piece_occupancy[piece].at(square): continue for color in Color: if not self._color_occupancy[color].at(square): continue return (piece, color) return None def pretty_str(self): def pretty_piece(piece, color): return [ ("♚", "♔"), ("♛", "♕"), ("♜", "♖"), ("♝", "♗"), ("♞", "♘"), ("♟", "♙"), ][piece][color] board = [ [self.at(Square.from_file_rank(file, rank)) for file in File] for rank in Rank ] res = [] res.append(" A B C D E F G H ") for n, line in reversed(list(enumerate(board, start=1))): strings = [str(n) + " "] strings.extend(" " if p is None else pretty_piece(*p) for p in line) strings.append(" " + str(n)) res.append("|".join(strings)) res.append(" A B C D E F G H ") res += [ "Half-move clock: " + str(self._half_move_clock), "Total plies: " + str(self._total_plies), "Side to play: " + str(self._side), "En passant: " + print_opt(self._en_passant), ] return "\n".join(res) class SquarePrinter(object): "Print a seer::board::square::Square" def __init__(self, val): self._val = Square.from_gdb(val) def to_string(self): return str(self._val) class BitboardPrinter(object): "Print a seer::board::bitboard::Bitboard" def __init__(self, val): self._val = Bitboard.from_gdb(val) def to_string(self): return "Bitboard{" + str(self._val)[1:-1] + "}" class CastleRightsPrinter(object): "Print a seer::board::castle_rights::CastleRights" def __init__(self, val): self._val = CastleRights.from_gdb(val) def to_string(self): return str(self._val) class ColorPrinter(object): "Print a seer::board::color::Color" def __init__(self, val): self._val = Color.from_gdb(val) def to_string(self): return str(self._val) class FilePrinter(object): "Print a seer::board::file::File" def __init__(self, val): self._val = File.from_gdb(val) def to_string(self): return str(self._val) class RankPrinter(object): "Print a seer::board::rank::Rank" def __init__(self, val): self._val = Rank.from_gdb(val) def to_string(self): return str(self._val) class PiecePrinter(object): "Print a seer::board::piece::Piece" def __init__(self, val): self._val = Piece.from_gdb(val) def to_string(self): return str(self._val) class MovePrinter(object): "Print a seer::board::move::Move" def __init__(self, val): self._val = Move.from_gdb(val) def to_string(self): return str(self._val) class PrintBoard(gdb.Command): """ Pretty-print a 'seer::board::chess_board::ChessBoard' as a 2D textual chess board. """ def __init__(self): super(PrintBoard, self).__init__( "print-board", gdb.COMMAND_USER, gdb.COMPLETE_EXPRESSION ) def invoke(self, arg, from_tty): board = ChessBoard.from_gdb(gdb.parse_and_eval(arg)) print(board.pretty_str()) def build_pretty_printer(): pp = gdb.printing.RegexpCollectionPrettyPrinter('seer') pp.add_printer('Square', '^seer::board::square::Square$', SquarePrinter) pp.add_printer('Bitboard', '^seer::board::bitboard::Bitboard$', BitboardPrinter) pp.add_printer('CastleRights', '^seer::board::castle_rights::CastleRights$', CastleRightsPrinter) pp.add_printer('Color', '^seer::board::color::Color$', ColorPrinter) pp.add_printer('File', '^seer::board::file::File$', FilePrinter) pp.add_printer('Rank', '^seer::board::rank::Rank$', RankPrinter) pp.add_printer('Piece', '^seer::board::piece::Piece$', ColorPrinter) pp.add_printer('Move', '^seer::board::move::Move$', MovePrinter) return pp def register_commands(): PrintBoard() gdb.printing.register_pretty_printer(gdb.current_objfile(), build_pretty_printer(), True) register_commands()