fix: unmake broken
This commit is contained in:
parent
21add6fec8
commit
e4b19b8bdd
@ -1,8 +1,8 @@
|
|||||||
//! Generates moves from the FEN in the argv.
|
//! Generates moves from the FEN in the argv.
|
||||||
|
|
||||||
use chess_inator::Board;
|
|
||||||
use chess_inator::fen::FromFen;
|
use chess_inator::fen::FromFen;
|
||||||
use chess_inator::movegen::LegalMoveGen;
|
use chess_inator::movegen::LegalMoveGen;
|
||||||
|
use chess_inator::Board;
|
||||||
use std::env;
|
use std::env;
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
@ -1,8 +1,8 @@
|
|||||||
//! Runs perft at depth for a given FEN.
|
//! Runs perft at depth for a given FEN.
|
||||||
|
|
||||||
use chess_inator::Board;
|
|
||||||
use chess_inator::fen::FromFen;
|
use chess_inator::fen::FromFen;
|
||||||
use chess_inator::movegen::perft;
|
use chess_inator::movegen::perft;
|
||||||
|
use chess_inator::Board;
|
||||||
use std::env;
|
use std::env;
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
@ -301,7 +301,7 @@ mod tests {
|
|||||||
|
|
||||||
macro_rules! make_board {
|
macro_rules! make_board {
|
||||||
($fen_fmt: expr) => {
|
($fen_fmt: expr) => {
|
||||||
BoardState::from_fen(&format!($fen_fmt)).unwrap()
|
Board::from_fen(&format!($fen_fmt)).unwrap()
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
||||||
|
17
src/lib.rs
17
src/lib.rs
@ -6,7 +6,7 @@ use std::str::FromStr;
|
|||||||
pub mod fen;
|
pub mod fen;
|
||||||
pub mod movegen;
|
pub mod movegen;
|
||||||
|
|
||||||
use crate::fen::{FromFen, START_POSITION};
|
use crate::fen::{FromFen, ToFen, START_POSITION};
|
||||||
|
|
||||||
const BOARD_WIDTH: usize = 8;
|
const BOARD_WIDTH: usize = 8;
|
||||||
const BOARD_HEIGHT: usize = 8;
|
const BOARD_HEIGHT: usize = 8;
|
||||||
@ -471,10 +471,8 @@ impl Board {
|
|||||||
/// Set the piece (or no piece) in a square, and return ("pop") the existing piece.
|
/// Set the piece (or no piece) in a square, and return ("pop") the existing piece.
|
||||||
fn set_square(&mut self, idx: Square, pc: Option<ColPiece>) -> Option<ColPiece> {
|
fn set_square(&mut self, idx: Square, pc: Option<ColPiece>) -> Option<ColPiece> {
|
||||||
match pc {
|
match pc {
|
||||||
Some(pc) => {self.set_piece(idx, pc)},
|
Some(pc) => self.set_piece(idx, pc),
|
||||||
None => {
|
None => self.del_piece(idx),
|
||||||
self.del_piece(idx)
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -491,9 +489,12 @@ impl Board {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fn move_piece(&mut self, src: Square, dest: Square) {
|
fn move_piece(&mut self, src: Square, dest: Square) {
|
||||||
let pc = self
|
let pc = self.del_piece(src).unwrap_or_else(|| {
|
||||||
.del_piece(src)
|
panic!(
|
||||||
.unwrap_or_else(|| panic!("move ({src} -> {dest}) should have piece at source"));
|
"move ({src} -> {dest}) should have piece at source (pos '{}')",
|
||||||
|
self.to_fen()
|
||||||
|
)
|
||||||
|
});
|
||||||
self.set_piece(dest, pc);
|
self.set_piece(dest, pc);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -2,8 +2,8 @@
|
|||||||
|
|
||||||
use crate::fen::{FromFen, ToFen, START_POSITION};
|
use crate::fen::{FromFen, ToFen, START_POSITION};
|
||||||
use crate::{
|
use crate::{
|
||||||
Board, CastleRights, ColPiece, Color, Piece, Square, SquareError, BOARD_HEIGHT,
|
Board, CastleRights, ColPiece, Color, Piece, Square, SquareError, BOARD_HEIGHT, BOARD_WIDTH,
|
||||||
BOARD_WIDTH, N_SQUARES,
|
N_SQUARES,
|
||||||
};
|
};
|
||||||
use std::rc::Rc;
|
use std::rc::Rc;
|
||||||
|
|
||||||
@ -27,6 +27,7 @@ impl From<PromotePiece> for Piece {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[derive(Debug, Clone, Copy)]
|
||||||
enum AntiMoveType {
|
enum AntiMoveType {
|
||||||
Normal,
|
Normal,
|
||||||
/// En passant.
|
/// En passant.
|
||||||
@ -43,6 +44,7 @@ enum AntiMoveType {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/// Information used to reverse (unmake) a move.
|
/// Information used to reverse (unmake) a move.
|
||||||
|
#[derive(Debug, Clone, Copy)]
|
||||||
pub struct AntiMove {
|
pub struct AntiMove {
|
||||||
dest: Square,
|
dest: Square,
|
||||||
src: Square,
|
src: Square,
|
||||||
@ -54,7 +56,7 @@ pub struct AntiMove {
|
|||||||
/// Castling rights prior to this move.
|
/// Castling rights prior to this move.
|
||||||
castle: CastleRights,
|
castle: CastleRights,
|
||||||
/// En passant target square prior to this move.
|
/// En passant target square prior to this move.
|
||||||
ep_square: Option<Square>
|
ep_square: Option<Square>,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl AntiMove {
|
impl AntiMove {
|
||||||
@ -183,13 +185,14 @@ impl Move {
|
|||||||
anti_move.move_type = AntiMoveType::Promotion;
|
anti_move.move_type = AntiMoveType::Promotion;
|
||||||
|
|
||||||
pos.del_piece(self.src);
|
pos.del_piece(self.src);
|
||||||
pos.set_piece(
|
let cap_pc = pos.set_piece(
|
||||||
self.dest,
|
self.dest,
|
||||||
ColPiece {
|
ColPiece {
|
||||||
pc: Piece::from(to_piece),
|
pc: Piece::from(to_piece),
|
||||||
col: pc_src.col,
|
col: pc_src.col,
|
||||||
},
|
},
|
||||||
);
|
);
|
||||||
|
anti_move.cap = cap_pc.map(|pc| pc.pc);
|
||||||
}
|
}
|
||||||
MoveType::Normal => {
|
MoveType::Normal => {
|
||||||
let pc_src = pc_src!(self);
|
let pc_src = pc_src!(self);
|
||||||
@ -220,7 +223,10 @@ impl Move {
|
|||||||
} else if pc_dest.is_none() && src_col != dest_col {
|
} else if pc_dest.is_none() && src_col != dest_col {
|
||||||
// we took en passant
|
// we took en passant
|
||||||
debug_assert!(src_row.abs_diff(dest_row) == 1);
|
debug_assert!(src_row.abs_diff(dest_row) == 1);
|
||||||
assert_eq!(self.dest, ep_square.expect("ep target should exist if taking ep"));
|
assert_eq!(
|
||||||
|
self.dest,
|
||||||
|
ep_square.expect("ep target should exist if taking ep")
|
||||||
|
);
|
||||||
// square to actually capture at
|
// square to actually capture at
|
||||||
let ep_capture = Square::try_from(match pc_src.col {
|
let ep_capture = Square::try_from(match pc_src.col {
|
||||||
Color::White => self.dest.0 - BOARD_WIDTH,
|
Color::White => self.dest.0 - BOARD_WIDTH,
|
||||||
@ -228,7 +234,7 @@ impl Move {
|
|||||||
})
|
})
|
||||||
.expect("En-passant capture square should be valid");
|
.expect("En-passant capture square should be valid");
|
||||||
|
|
||||||
anti_move.move_type = AntiMoveType::EnPassant{cap: ep_capture};
|
anti_move.move_type = AntiMoveType::EnPassant { cap: ep_capture };
|
||||||
if let Some(pc_cap) = pos.del_piece(ep_capture) {
|
if let Some(pc_cap) = pos.del_piece(ep_capture) {
|
||||||
debug_assert_eq!(
|
debug_assert_eq!(
|
||||||
pc_cap.col,
|
pc_cap.col,
|
||||||
@ -723,7 +729,7 @@ fn is_check(board: &Board, pl: Color) -> bool {
|
|||||||
impl LegalMoveGen for Board {
|
impl LegalMoveGen for Board {
|
||||||
// mut required for check checking
|
// mut required for check checking
|
||||||
fn gen_moves(&self) -> impl IntoIterator<Item = Move> {
|
fn gen_moves(&self) -> impl IntoIterator<Item = Move> {
|
||||||
let mut pos = self.clone();
|
let mut pos = *self;
|
||||||
|
|
||||||
pos.gen_pseudo_moves()
|
pos.gen_pseudo_moves()
|
||||||
.into_iter()
|
.into_iter()
|
||||||
@ -793,9 +799,7 @@ mod tests {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/// Helper to produce test cases.
|
/// Helper to produce test cases.
|
||||||
fn decondense_moves(
|
fn decondense_moves(test_case: (&str, Vec<(&str, Vec<&str>, MoveType)>)) -> (Board, Vec<Move>) {
|
||||||
test_case: (&str, Vec<(&str, Vec<&str>, MoveType)>),
|
|
||||||
) -> (Board, Vec<Move>) {
|
|
||||||
let (fen, expected) = test_case;
|
let (fen, expected) = test_case;
|
||||||
let board = Board::from_fen(fen).unwrap();
|
let board = Board::from_fen(fen).unwrap();
|
||||||
|
|
||||||
@ -1306,6 +1310,14 @@ mod tests {
|
|||||||
),
|
),
|
||||||
],
|
],
|
||||||
),
|
),
|
||||||
|
// promotion unmake regression test
|
||||||
|
(
|
||||||
|
"r3k2r/Pppp1ppp/1b3nbN/nP6/BBPPP3/q4N2/Pp4PP/R2Q1RK1 b kq - 0 1",
|
||||||
|
vec![(
|
||||||
|
"b2a1q",
|
||||||
|
"r3k2r/Pppp1ppp/1b3nbN/nP6/BBPPP3/q4N2/P5PP/q2Q1RK1 w kq - 0 2",
|
||||||
|
)],
|
||||||
|
),
|
||||||
// castling rights test (kings)
|
// castling rights test (kings)
|
||||||
(
|
(
|
||||||
"rnbqkbnr/pppp1ppp/8/4p3/4P3/8/PPPP1PPP/RNBQKBNR w KQkq - 0 2",
|
"rnbqkbnr/pppp1ppp/8/4p3/4P3/8/PPPP1PPP/RNBQKBNR w KQkq - 0 2",
|
||||||
@ -1369,9 +1381,13 @@ mod tests {
|
|||||||
let anti_move = mv.make(&mut pos);
|
let anti_move = mv.make(&mut pos);
|
||||||
eprintln!("Unmaking {move_str} on {}.", pos.to_fen());
|
eprintln!("Unmaking {move_str} on {}.", pos.to_fen());
|
||||||
anti_move.unmake(&mut pos);
|
anti_move.unmake(&mut pos);
|
||||||
assert_eq!(pos.to_fen(), prior_fen.to_string());
|
assert_eq!(
|
||||||
|
pos.to_fen(),
|
||||||
|
prior_fen.to_string(),
|
||||||
|
"failed unmake with {anti_move:?}"
|
||||||
|
);
|
||||||
eprintln!("Remaking {move_str}.");
|
eprintln!("Remaking {move_str}.");
|
||||||
let anti_move = mv.make(&mut pos);
|
let _anti_move = mv.make(&mut pos);
|
||||||
assert_eq!(pos.to_fen(), expect_fen.to_string());
|
assert_eq!(pos.to_fen(), expect_fen.to_string());
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user