X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fmovepick.cpp;h=6c3f4264dec1af0745aa575d2802f56ad39e362f;hp=e1f8e4e77f944bd5831245b81dd16c467c9935f0;hb=7c267587fc7f454182b4d527607bcf8fdbd8c41c;hpb=5dc23121215039938a9ef4e59ae934312774571c diff --git a/src/movepick.cpp b/src/movepick.cpp index e1f8e4e7..6c3f4264 100644 --- a/src/movepick.cpp +++ b/src/movepick.cpp @@ -7,12 +7,13 @@ it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - + + Stockfish is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. - + You should have received a copy of the GNU General Public License along with this program. If not, see . */ @@ -25,6 +26,7 @@ #include #include "history.h" +#include "evaluate.h" #include "movegen.h" #include "movepick.h" #include "search.h" @@ -39,7 +41,7 @@ namespace { /// Variables - MovePicker::MovegenPhase PhaseTable[32]; + MovePicker::MovegenPhase PhaseTable[32]; int MainSearchPhaseIndex; int EvasionsPhaseIndex; int QsearchWithChecksPhaseIndex; @@ -48,7 +50,6 @@ namespace { } - //// //// Functions //// @@ -61,29 +62,31 @@ namespace { /// search captures, promotions and some checks) and about how important good /// move ordering is at the current node. -MovePicker::MovePicker(const Position& p, bool pvnode, Move ttm, Move mk, - Move k1, Move k2, Depth d) : pos(p) { - pvNode = pvnode; +MovePicker::MovePicker(const Position& p, bool pv, Move ttm, + const SearchStack& ss, Depth d) : pos(p) { + pvNode = pv; ttMove = ttm; - mateKiller = (mk == ttm)? MOVE_NONE : mk; - killer1 = k1; - killer2 = k2; + mateKiller = (ss.mateKiller == ttm)? MOVE_NONE : ss.mateKiller; + killer1 = ss.killers[0]; + killer2 = ss.killers[1]; depth = d; movesPicked = 0; numOfMoves = 0; numOfBadCaptures = 0; - dc = p.discovered_check_candidates(p.side_to_move()); if (p.is_check()) - phaseIndex = EvasionsPhaseIndex; + phaseIndex = EvasionsPhaseIndex; else if (depth > Depth(0)) - phaseIndex = MainSearchPhaseIndex; + phaseIndex = MainSearchPhaseIndex; else if (depth == Depth(0)) - phaseIndex = QsearchWithChecksPhaseIndex; + phaseIndex = QsearchWithChecksPhaseIndex; else - phaseIndex = QsearchWithoutChecksPhaseIndex; + phaseIndex = QsearchWithoutChecksPhaseIndex; - pinned = p.pinned_pieces(p.side_to_move()); + Color us = pos.side_to_move(); + + dc = p.discovered_check_candidates(us); + pinned = p.pinned_pieces(us); finished = false; } @@ -116,7 +119,7 @@ Move MovePicker::get_next_move() { if (ttMove != MOVE_NONE) { assert(move_is_ok(ttMove)); - if (generate_move_if_legal(pos, ttMove, pinned) != MOVE_NONE) + if (move_is_legal(pos, ttMove, pinned)) return ttMove; } break; @@ -125,19 +128,19 @@ Move MovePicker::get_next_move() { if (mateKiller != MOVE_NONE) { assert(move_is_ok(mateKiller)); - if (generate_move_if_legal(pos, mateKiller, pinned) != MOVE_NONE) + if (move_is_legal(pos, mateKiller, pinned)) return mateKiller; } break; - case PH_GOOD_CAPTURES: + case PH_GOOD_CAPTURES: numOfMoves = generate_captures(pos, moves); score_captures(); movesPicked = 0; break; case PH_BAD_CAPTURES: - badCapturesPicked = 0; + movesPicked = 0; break; case PH_NONCAPTURES: @@ -147,20 +150,20 @@ Move MovePicker::get_next_move() { break; case PH_EVASIONS: - assert(pos.is_check()); - numOfMoves = generate_evasions(pos, moves); + assert(pos.is_check()); + numOfMoves = generate_evasions(pos, moves, pinned); score_evasions(); movesPicked = 0; break; - case PH_QCAPTURES: + case PH_QCAPTURES: numOfMoves = generate_captures(pos, moves); score_qcaptures(); movesPicked = 0; break; case PH_QCHECKS: - numOfMoves = generate_checks(pos, moves, dc); + numOfMoves = generate_non_capture_checks(pos, moves, dc); movesPicked = 0; break; @@ -172,9 +175,6 @@ Move MovePicker::get_next_move() { return MOVE_NONE; } } - assert(false); - - return MOVE_NONE; } @@ -183,62 +183,88 @@ Move MovePicker::get_next_move() { Move MovePicker::get_next_move(Lock &lock) { - lock_grab(&lock); - if (finished) - { - lock_release(&lock); - return MOVE_NONE; - } - Move m = get_next_move(); - if (m == MOVE_NONE) - finished = true; - - lock_release(&lock); - return m; + lock_grab(&lock); + if (finished) + { + lock_release(&lock); + return MOVE_NONE; + } + Move m = get_next_move(); + if (m == MOVE_NONE) + finished = true; + + lock_release(&lock); + return m; } + /// MovePicker::score_captures(), MovePicker::score_noncaptures(), /// MovePicker::score_evasions() and MovePicker::score_qcaptures() assign a /// numerical move ordering score to each move in a move list. The moves /// with highest scores will be picked first by pick_move_from_list(). void MovePicker::score_captures() { - // Winning and equal captures in the main search are ordered by MVV. + // Winning and equal captures in the main search are ordered by MVV/LVA. // Suprisingly, this appears to perform slightly better than SEE based // move ordering. The reason is probably that in a position with a winning // capture, capturing a more valuable (but sufficiently defended) piece // first usually doesn't hurt. The opponent will have to recapture, and // the hanging piece will still be hanging (except in the unusual cases - // where it is possible to recapture with the hanging piece). Exchanging + // where it is possible to recapture with the hanging piece). Exchanging // big pieces before capturing a hanging piece probably helps to reduce // the subtree size. + // While scoring captures it moves all captures with negative SEE values + // to the badCaptures[] array. + Move m; + int seeValue; + for (int i = 0; i < numOfMoves; i++) { - Move m = moves[i].move; - moves[i].score = pos.see(m); - if (moves[i].score >= 0) - moves[i].score = move_promotion(m) ? QueenValueMidgame - : pos.midgame_value_of_piece_on(move_to(m)); + m = moves[i].move; + seeValue = pos.see(m); + if (seeValue >= 0) + { + if (move_promotion(m)) + moves[i].score = QueenValueMidgame; + else + moves[i].score = int(pos.midgame_value_of_piece_on(move_to(m))) + -int(pos.type_of_piece_on(move_from(m))); + } + else + { + // Losing capture, move it to the badCaptures[] array + assert(numOfBadCaptures < 63); + moves[i].score = seeValue; + badCaptures[numOfBadCaptures++] = moves[i]; + moves[i--] = moves[--numOfMoves]; + } } } void MovePicker::score_noncaptures() { + // First score by history, when no history is available then use + // piece/square tables values. This seems to be better then a + // random choice when we don't have an history for any move. + Move m; + int hs; for (int i = 0; i < numOfMoves; i++) { - Move m = moves[i].move; + m = moves[i].move; + if (m == killer1) - moves[i].score = HistoryMax + 2; + hs = HistoryMax + 2; else if (m == killer2) - moves[i].score = HistoryMax + 1; + hs = HistoryMax + 1; else - moves[i].score = H.move_ordering_score(pos.piece_on(move_from(m)), m); + hs = H.move_ordering_score(pos.piece_on(move_from(m)), m); - // Ensure moves in history are always sorted as first - if (moves[i].score > 0) - moves[i].score += 1000; + // Ensure history is always preferred to pst + if (hs > 0) + hs += 1000; - moves[i].score += pos.mg_pst_delta(moves[i].move); + // pst based scoring + moves[i].score = hs + pos.mg_pst_delta(m); } } @@ -251,24 +277,24 @@ void MovePicker::score_evasions() { moves[i].score = 2*HistoryMax; else if (!pos.square_is_empty(move_to(m))) { - moves[i].score = pos.see(m); - if (moves[i].score >= 0) - moves[i].score += HistoryMax; - } - else + int seeScore = pos.see(m); + moves[i].score = (seeScore >= 0)? seeScore + HistoryMax : seeScore; + } else moves[i].score = H.move_ordering_score(pos.piece_on(move_from(m)), m); } - // FIXME try psqt also here } void MovePicker::score_qcaptures() { - // Use MVV ordering + // Use MVV/LVA ordering for (int i = 0; i < numOfMoves; i++) { Move m = moves[i].move; - moves[i].score = move_promotion(m) ? QueenValueMidgame - : pos.midgame_value_of_piece_on(move_to(m)); + if (move_promotion(m)) + moves[i].score = QueenValueMidgame; + else + moves[i].score = int(pos.midgame_value_of_piece_on(move_to(m))) + -int(pos.type_of_piece_on(move_from(m))); } } @@ -276,11 +302,14 @@ void MovePicker::score_qcaptures() { /// find_best_index() loops across the moves and returns index of /// the highest scored one. -int MovePicker::find_best_index() { +int MovePicker::find_best_index() const { + + assert(movesPicked < numOfMoves); - int bestScore = -10000000, bestIndex = -1; + int bestIndex = movesPicked; + int bestScore = moves[movesPicked].score; - for (int i = movesPicked; i < numOfMoves; i++) + for (int i = movesPicked + 1; i < numOfMoves; i++) if (moves[i].score > bestScore) { bestIndex = i; @@ -294,9 +323,6 @@ int MovePicker::find_best_index() { /// from a list of generated moves (moves[] or badCaptures[], depending on /// the current move generation phase). It takes care not to return the /// transposition table move if that has already been serched previously. -/// While picking captures in the PH_GOOD_CAPTURES phase (i.e. while picking -/// non-losing captures in the main search), it moves all captures with -/// negative SEE values to the badCaptures[] array. Move MovePicker::pick_move_from_list() { @@ -308,87 +334,63 @@ Move MovePicker::pick_move_from_list() { case PH_GOOD_CAPTURES: assert(!pos.is_check()); assert(movesPicked >= 0); + while (movesPicked < numOfMoves) { - int bestScore = -10000000; - bestIndex = -1; - for (int i = movesPicked; i < numOfMoves; i++) - { - if (moves[i].score < 0) - { - // Losing capture, move it to the badCaptures[] array - assert(numOfBadCaptures < 63); - badCaptures[numOfBadCaptures++] = moves[i]; - moves[i--] = moves[--numOfMoves]; - } - else if (moves[i].score > bestScore) - { - bestIndex = i; - bestScore = moves[i].score; - } - } - if (bestIndex != -1) // Found a good capture - { - move = moves[bestIndex].move; - moves[bestIndex] = moves[movesPicked++]; - if ( move != ttMove - && move != mateKiller - && pos.move_is_legal(move, pinned)) - return move; - } + bestIndex = find_best_index(); + move = moves[bestIndex].move; + moves[bestIndex] = moves[movesPicked++]; + if ( move != ttMove + && move != mateKiller + && pos.pl_move_is_legal(move, pinned)) + return move; } break; case PH_NONCAPTURES: assert(!pos.is_check()); assert(movesPicked >= 0); + while (movesPicked < numOfMoves) { // If this is a PV node or we have only picked a few moves, scan // the entire move list for the best move. If many moves have already // been searched and it is not a PV node, we are probably failing low // anyway, so we just pick the first move from the list. - bestIndex = (movesPicked < 12 || pvNode ? find_best_index() : movesPicked); - - if (bestIndex != -1) - { - move = moves[bestIndex].move; - moves[bestIndex] = moves[movesPicked++]; - if ( move != ttMove - && move != mateKiller - && pos.move_is_legal(move, pinned)) - return move; - } - } - break; + bestIndex = (pvNode || movesPicked < 12) ? find_best_index() : movesPicked; + move = moves[bestIndex].move; + moves[bestIndex] = moves[movesPicked++]; + if ( move != ttMove + && move != mateKiller + && pos.pl_move_is_legal(move, pinned)) + return move; + } + break; case PH_EVASIONS: assert(pos.is_check()); assert(movesPicked >= 0); + while (movesPicked < numOfMoves) { bestIndex = find_best_index(); - - if (bestIndex != -1) - { - move = moves[bestIndex].move; - moves[bestIndex] = moves[movesPicked++]; - return move; - } - } - break; + move = moves[bestIndex].move; + moves[bestIndex] = moves[movesPicked++]; + return move; + } + break; case PH_BAD_CAPTURES: assert(!pos.is_check()); - assert(badCapturesPicked >= 0); + assert(movesPicked >= 0); // It's probably a good idea to use SEE move ordering here, instead // of just picking the first move. FIXME - while (badCapturesPicked < numOfBadCaptures) + while (movesPicked < numOfBadCaptures) { - move = badCaptures[badCapturesPicked++].move; + move = badCaptures[movesPicked++].move; if ( move != ttMove && move != mateKiller - && pos.move_is_legal(move, pinned)) + && pos.pl_move_is_legal(move, pinned)) return move; } break; @@ -398,16 +400,13 @@ Move MovePicker::pick_move_from_list() { assert(movesPicked >= 0); while (movesPicked < numOfMoves) { - // FIXME makes sens to score qcaps? bestIndex = (movesPicked < 4 ? find_best_index() : movesPicked); - - if (bestIndex != -1) - { - move = moves[bestIndex].move; - moves[bestIndex] = moves[movesPicked++]; - if (move != ttMove && pos.move_is_legal(move, pinned)) - return move; - } + move = moves[bestIndex].move; + moves[bestIndex] = moves[movesPicked++]; + // Maybe postpone the legality check until after futility pruning? + if ( move != ttMove + && pos.pl_move_is_legal(move, pinned)) + return move; } break; @@ -418,8 +417,9 @@ Move MovePicker::pick_move_from_list() { // move here? FIXME while (movesPicked < numOfMoves) { - move = moves[movesPicked++].move; - if (move != ttMove && pos.move_is_legal(move, pinned)) + move = moves[movesPicked++].move; + if ( move != ttMove + && pos.pl_move_is_legal(move, pinned)) return move; } break; @@ -431,19 +431,10 @@ Move MovePicker::pick_move_from_list() { } -/// MovePicker::current_move_type() returns the type of the just -/// picked next move. It can be used in search to further differentiate -/// according to the current move type: capture, non capture, escape, etc. -MovePicker::MovegenPhase MovePicker::current_move_type() const { - - return PhaseTable[phaseIndex]; -} - - /// MovePicker::init_phase_table() initializes the PhaseTable[], /// MainSearchPhaseIndex, EvasionPhaseIndex, QsearchWithChecksPhaseIndex -/// and QsearchWithoutChecksPhaseIndex variables. It is only called once -/// during program startup, and never again while the program is running. +/// and QsearchWithoutChecksPhaseIndex. It is only called once during +/// program startup, and never again while the program is running. void MovePicker::init_phase_table() { @@ -468,12 +459,14 @@ void MovePicker::init_phase_table() { // Quiescence search with checks QsearchWithChecksPhaseIndex = i - 1; + PhaseTable[i++] = PH_TT_MOVE; PhaseTable[i++] = PH_QCAPTURES; PhaseTable[i++] = PH_QCHECKS; PhaseTable[i++] = PH_STOP; // Quiescence search without checks QsearchWithoutChecksPhaseIndex = i - 1; + PhaseTable[i++] = PH_TT_MOVE; PhaseTable[i++] = PH_QCAPTURES; PhaseTable[i++] = PH_STOP; }