X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fposition.cpp;h=9b8f779895a4337748abbc20b1e37b9dce54eaba;hp=c5d057980c55fdf4320d088b308d307a6681e42b;hb=e33c94883fb1767a8aae29e8004d0621d296e33b;hpb=95af1e28beb5257b26d1271e4c93e471f0f3c9f8 diff --git a/src/position.cpp b/src/position.cpp index c5d05798..9b8f7798 100644 --- a/src/position.cpp +++ b/src/position.cpp @@ -939,6 +939,12 @@ void Position::do_capture_move(Bitboard& key, PieceType capture, Color them, Squ pieceCount[them][capture]--; // Update piece list, move the last piece at index[capsq] position + // + // WARNING: This is a not perfectly revresible operation. When we + // will reinsert the captured piece in undo_move() we will put it + // at the end of the list and not in its original place, it means + // index[] and pieceList[] are not guaranteed to be invariant to a + // do_move() + undo_move() sequence. Square lastPieceSquare = pieceList[them][capture][pieceCount[them][capture]]; index[lastPieceSquare] = index[capsq]; pieceList[them][capture][index[lastPieceSquare]] = lastPieceSquare; @@ -1376,11 +1382,12 @@ int Position::see(Square from, Square to) const { // Locate the least valuable attacker to the destination square // and use it to initialize from square. + stmAttackers = attackers & pieces_of_color(us); PieceType pt; - for (pt = PAWN; !(attackers & pieces_of_color_and_type(us, pt)); pt++) + for (pt = PAWN; !(stmAttackers & pieces_of_type(pt)); pt++) assert(pt < KING); - from = first_1(attackers & pieces_of_color_and_type(us, pt)); + from = first_1(stmAttackers & pieces_of_type(pt)); piece = piece_on(from); } @@ -1627,7 +1634,7 @@ Value Position::compute_value() const { for (Color c = WHITE; c <= BLACK; c++) for (PieceType pt = PAWN; pt <= KING; pt++) { - b = pieces_of_color_and_type(c, pt); + b = pieces_of_color(c) & pieces_of_type(pt); while(b) { s = pop_1st_bit(&b); @@ -1653,7 +1660,7 @@ Value Position::compute_non_pawn_material(Color c) const { for (PieceType pt = KNIGHT; pt <= QUEEN; pt++) { - Bitboard b = pieces_of_color_and_type(c, pt); + Bitboard b = pieces_of_color(c) & pieces_of_type(pt); while (b) { assert(piece_on(first_1(b)) == piece_of_color_and_type(c, pt)); @@ -1696,7 +1703,7 @@ bool Position::is_mate() const { MoveStack moves[256]; - return is_check() && !generate_evasions(*this, moves, pinned_pieces(sideToMove)); + return is_check() && (generate_evasions(*this, moves, pinned_pieces(sideToMove)) == moves); } @@ -1716,20 +1723,18 @@ bool Position::has_mate_threat(Color c) { do_null_move(st1); MoveStack mlist[120]; - int count; bool result = false; Bitboard dc = discovered_check_candidates(sideToMove); Bitboard pinned = pinned_pieces(sideToMove); // Generate pseudo-legal non-capture and capture check moves - count = generate_non_capture_checks(*this, mlist, dc); - count += generate_captures(*this, mlist + count); + MoveStack* last = generate_non_capture_checks(*this, mlist, dc); + last = generate_captures(*this, last); // Loop through the moves, and see if one of them is mate - for (int i = 0; i < count; i++) + for (MoveStack* cur = mlist; cur != last; cur++) { - Move move = mlist[i].move; - + Move move = cur->move; if (!pl_move_is_legal(move, pinned)) continue; @@ -2007,7 +2012,7 @@ bool Position::is_ok(int* failedStep) const { if (debugPieceCounts) for (Color c = WHITE; c <= BLACK; c++) for (PieceType pt = PAWN; pt <= KING; pt++) - if (pieceCount[c][pt] != count_1s(pieces_of_color_and_type(c, pt))) + if (pieceCount[c][pt] != count_1s(pieces_of_color(c) & pieces_of_type(pt))) return false; if (failedStep) (*failedStep)++; @@ -2017,7 +2022,7 @@ bool Position::is_ok(int* failedStep) const { for(PieceType pt = PAWN; pt <= KING; pt++) for(int i = 0; i < pieceCount[c][pt]; i++) { - if (piece_on(piece_list(c, pt, i)) != piece_of_color_and_type(c, pt)) + if (piece_on(piece_list(c, pt, i)) != (pieces_of_color(c) & pieces_of_type(pt))) return false; if (index[piece_list(c, pt, i)] != i)