From b075d8ca53f860c36bc33d66f301a15e4675cdbd Mon Sep 17 00:00:00 2001 From: Joona Kiiski Date: Sat, 8 May 2010 11:54:51 +0300 Subject: [PATCH] Unite search_pv() and search() A lot of redundant code removed: -182 lines of code No functional and speed change. Signed-off-by: Marco Costalba --- src/search.cpp | 418 ++++++++++++++----------------------------------- 1 file changed, 118 insertions(+), 300 deletions(-) diff --git a/src/search.cpp b/src/search.cpp index 7cc51c60..95aa76c4 100644 --- a/src/search.cpp +++ b/src/search.cpp @@ -194,8 +194,7 @@ namespace { Depth PassedPawnExtension[2], PawnEndgameExtension[2], MateThreatExtension[2]; // Minimum depth for use of singular extension - const Depth SingularExtensionDepthAtPVNodes = 6 * OnePly; - const Depth SingularExtensionDepthAtNonPVNodes = 8 * OnePly; + const Depth SingularExtensionDepth[2] = { 8 * OnePly /* non-PV */, 6 * OnePly /* PV */}; // If the TT move is at least SingularExtensionMargin better then the // remaining ones we will extend it. @@ -280,8 +279,10 @@ namespace { Value id_loop(const Position& pos, Move searchMoves[]); Value root_search(Position& pos, SearchStack ss[], RootMoveList& rml, Value* alphaPtr, Value* betaPtr); - Value search_pv(Position& pos, SearchStack ss[], Value alpha, Value beta, Depth depth, int ply, int threadID); - Value search(Position& pos, SearchStack ss[], Value beta, Depth depth, int ply, bool allowNullmove, int threadID, Move excludedMove = MOVE_NONE); + + template + Value search(Position& pos, SearchStack ss[], Value alpha, Value beta, Depth depth, int ply, bool allowNullmove, int threadID, Move excludedMove = MOVE_NONE); + Value qsearch(Position& pos, SearchStack ss[], Value alpha, Value beta, Depth depth, int ply, int threadID); void sp_search(SplitPoint* sp, int threadID); void sp_search_pv(SplitPoint* sp, int threadID); @@ -869,7 +870,7 @@ namespace { alpha = -VALUE_INFINITE; // Full depth PV search, done on first move or after a fail high - value = -search_pv(pos, ss, -beta, -alpha, newDepth, 1, 0); + value = -search(pos, ss, -beta, -alpha, newDepth, 1, false, 0); } else { @@ -886,7 +887,7 @@ namespace { if (ss[0].reduction) { // Reduced depth non-pv search using alpha as upperbound - value = -search(pos, ss, -alpha, newDepth-ss[0].reduction, 1, true, 0); + value = -search(pos, ss, -(alpha+1), -alpha, newDepth-ss[0].reduction, 1, true, 0); doFullDepthSearch = (value > alpha); } } @@ -896,12 +897,12 @@ namespace { { // Full depth non-pv search using alpha as upperbound ss[0].reduction = Depth(0); - value = -search(pos, ss, -alpha, newDepth, 1, true, 0); + value = -search(pos, ss, -(alpha+1), -alpha, newDepth, 1, true, 0); // If we are above alpha then research at same depth but as PV // to get a correct score or eventually a fail high above beta. if (value > alpha) - value = -search_pv(pos, ss, -beta, -alpha, newDepth, 1, 0); + value = -search(pos, ss, -beta, -alpha, newDepth, 1, false, 0); } } @@ -1023,8 +1024,10 @@ namespace { // search_pv() is the main search function for PV nodes. - Value search_pv(Position& pos, SearchStack ss[], Value alpha, Value beta, - Depth depth, int ply, int threadID) { + template + Value search(Position& pos, SearchStack ss[], Value alpha, Value beta, + Depth depth, int ply, bool allowNullmove, int threadID, Move excludedMove) { + assert(alpha >= -VALUE_INFINITE && alpha <= VALUE_INFINITE); assert(beta > alpha && beta <= VALUE_INFINITE); @@ -1038,10 +1041,12 @@ namespace { Move ttMove, move; Depth ext, newDepth; Value bestValue, value, oldAlpha; + Value refinedValue, nullValue, futilityValueScaled; // Non-PV specific bool isCheck, singleEvasion, moveIsCheck, captureOrPromotion, dangerous; bool mateThreat = false; int moveCount = 0; - bestValue = value = -VALUE_INFINITE; + refinedValue = bestValue = value = -VALUE_INFINITE; + oldAlpha = alpha; if (depth < OnePly) return qsearch(pos, ss, alpha, beta, Depth(0), ply, threadID); @@ -1058,238 +1063,11 @@ namespace { return VALUE_DRAW; // Step 3. Mate distance pruning - oldAlpha = alpha; alpha = Max(value_mated_in(ply), alpha); beta = Min(value_mate_in(ply+1), beta); if (alpha >= beta) return alpha; - // Step 4. Transposition table lookup - // At PV nodes, we don't use the TT for pruning, but only for move ordering. - // This is to avoid problems in the following areas: - // - // * Repetition draw detection - // * Fifty move rule detection - // * Searching for a mate - // * Printing of full PV line - tte = TT.retrieve(pos.get_key()); - ttMove = (tte ? tte->move() : MOVE_NONE); - - // Step 5. Evaluate the position statically - // At PV nodes we do this only to update gain statistics - isCheck = pos.is_check(); - if (!isCheck) - { - ss[ply].eval = evaluate(pos, ei, threadID); - update_gains(pos, ss[ply - 1].currentMove, ss[ply - 1].eval, ss[ply].eval); - } - - // Step 6. Razoring (is omitted in PV nodes) - // Step 7. Static null move pruning (is omitted in PV nodes) - // Step 8. Null move search with verification search (is omitted in PV nodes) - - // Step 9. Internal iterative deepening - if ( depth >= IIDDepthAtPVNodes - && ttMove == MOVE_NONE) - { - search_pv(pos, ss, alpha, beta, depth-2*OnePly, ply, threadID); - ttMove = ss[ply].pv[ply]; - tte = TT.retrieve(pos.get_key()); - } - - // Initialize a MovePicker object for the current position - mateThreat = pos.has_mate_threat(opposite_color(pos.side_to_move())); - MovePicker mp = MovePicker(pos, ttMove, depth, H, &ss[ply]); - CheckInfo ci(pos); - - // Step 10. Loop through moves - // Loop through all legal moves until no moves remain or a beta cutoff occurs - while ( alpha < beta - && (move = mp.get_next_move()) != MOVE_NONE - && !TM.thread_should_stop(threadID)) - { - assert(move_is_ok(move)); - - singleEvasion = (isCheck && mp.number_of_evasions() == 1); - moveIsCheck = pos.move_is_check(move, ci); - captureOrPromotion = pos.move_is_capture_or_promotion(move); - - // Step 11. Decide the new search depth - ext = extension(pos, move, true, captureOrPromotion, moveIsCheck, singleEvasion, mateThreat, &dangerous); - - // Singular extension search. We extend the TT move if its value is much better than - // its siblings. To verify this we do a reduced search on all the other moves but the - // ttMove, if result is lower then ttValue minus a margin then we extend ttMove. - if ( depth >= SingularExtensionDepthAtPVNodes - && tte - && move == tte->move() - && ext < OnePly - && is_lower_bound(tte->type()) - && tte->depth() >= depth - 3 * OnePly) - { - Value ttValue = value_from_tt(tte->value(), ply); - - if (abs(ttValue) < VALUE_KNOWN_WIN) - { - Value excValue = search(pos, ss, ttValue - SingularExtensionMargin, depth / 2, ply, false, threadID, move); - - if (excValue < ttValue - SingularExtensionMargin) - ext = OnePly; - } - } - - newDepth = depth - OnePly + ext; - - // Update current move (this must be done after singular extension search) - movesSearched[moveCount++] = ss[ply].currentMove = move; - - // Step 12. Futility pruning (is omitted in PV nodes) - - // Step 13. Make the move - pos.do_move(move, st, ci, moveIsCheck); - - // Step extra. pv search (only in PV nodes) - // The first move in list is the expected PV - if (moveCount == 1) - value = -search_pv(pos, ss, -beta, -alpha, newDepth, ply+1, threadID); - else - { - // Step 14. Reduced search - // if the move fails high will be re-searched at full depth. - bool doFullDepthSearch = true; - - if ( depth >= 3 * OnePly - && !dangerous - && !captureOrPromotion - && !move_is_castle(move) - && !move_is_killer(move, ss[ply])) - { - ss[ply].reduction = pv_reduction(depth, moveCount); - if (ss[ply].reduction) - { - value = -search(pos, ss, -alpha, newDepth-ss[ply].reduction, ply+1, true, threadID); - doFullDepthSearch = (value > alpha); - } - } - - // Step 15. Full depth search - if (doFullDepthSearch) - { - ss[ply].reduction = Depth(0); - value = -search(pos, ss, -alpha, newDepth, ply+1, true, threadID); - - // Step extra. pv search (only in PV nodes) - if (value > alpha && value < beta) - value = -search_pv(pos, ss, -beta, -alpha, newDepth, ply+1, threadID); - } - } - - // Step 16. Undo move - pos.undo_move(move); - - assert(value > -VALUE_INFINITE && value < VALUE_INFINITE); - - // Step 17. Check for new best move - if (value > bestValue) - { - bestValue = value; - if (value > alpha) - { - alpha = value; - update_pv(ss, ply); - if (value == value_mate_in(ply + 1)) - ss[ply].mateKiller = move; - } - } - - // Step 18. Check for split - if ( TM.active_threads() > 1 - && bestValue < beta - && depth >= MinimumSplitDepth - && Iteration <= 99 - && TM.available_thread_exists(threadID) - && !AbortSearch - && !TM.thread_should_stop(threadID) - && TM.split(pos, ss, ply, &alpha, beta, &bestValue, - depth, mateThreat, &moveCount, &mp, threadID, true)) - break; - } - - // Step 19. Check for mate and stalemate - // All legal moves have been searched and if there were - // no legal moves, it must be mate or stalemate. - if (moveCount == 0) - return (isCheck ? value_mated_in(ply) : VALUE_DRAW); - - // Step 20. Update tables - // If the search is not aborted, update the transposition table, - // history counters, and killer moves. - if (AbortSearch || TM.thread_should_stop(threadID)) - return bestValue; - - if (bestValue <= oldAlpha) - TT.store(pos.get_key(), value_to_tt(bestValue, ply), VALUE_TYPE_UPPER, depth, MOVE_NONE); - - else if (bestValue >= beta) - { - TM.incrementBetaCounter(pos.side_to_move(), depth, threadID); - move = ss[ply].pv[ply]; - if (!pos.move_is_capture_or_promotion(move)) - { - update_history(pos, move, depth, movesSearched, moveCount); - update_killers(move, ss[ply]); - } - TT.store(pos.get_key(), value_to_tt(bestValue, ply), VALUE_TYPE_LOWER, depth, move); - } - else - TT.store(pos.get_key(), value_to_tt(bestValue, ply), VALUE_TYPE_EXACT, depth, ss[ply].pv[ply]); - - return bestValue; - } - - - // search() is the search function for zero-width nodes. - - Value search(Position& pos, SearchStack ss[], Value beta, Depth depth, - int ply, bool allowNullmove, int threadID, Move excludedMove) { - - assert(beta >= -VALUE_INFINITE && beta <= VALUE_INFINITE); - assert(ply >= 0 && ply < PLY_MAX); - assert(threadID >= 0 && threadID < TM.active_threads()); - - Move movesSearched[256]; - EvalInfo ei; - StateInfo st; - const TTEntry* tte; - Move ttMove, move; - Depth ext, newDepth; - Value bestValue, refinedValue, nullValue, value, futilityValueScaled; - bool isCheck, singleEvasion, moveIsCheck, captureOrPromotion, dangerous; - bool mateThreat = false; - int moveCount = 0; - refinedValue = bestValue = value = -VALUE_INFINITE; - - if (depth < OnePly) - return qsearch(pos, ss, beta-1, beta, Depth(0), ply, threadID); - - // Step 1. Initialize node and poll - // Polling can abort search. - init_node(ss, ply, threadID); - - // Step 2. Check for aborted search and immediate draw - if (AbortSearch || TM.thread_should_stop(threadID)) - return Value(0); - - if (pos.is_draw() || ply >= PLY_MAX - 1) - return VALUE_DRAW; - - // Step 3. Mate distance pruning - if (value_mated_in(ply) >= beta) - return beta; - - if (value_mate_in(ply + 1) < beta) - return beta - 1; - // Step 4. Transposition table lookup // We don't want the score of a partial search to overwrite a previous full search @@ -1299,7 +1077,15 @@ namespace { tte = TT.retrieve(posKey); ttMove = (tte ? tte->move() : MOVE_NONE); - if (tte && ok_to_use_TT(tte, depth, beta, ply)) + // At PV nodes, we don't use the TT for pruning, but only for move ordering. + // This is to avoid problems in the following areas: + // + // * Repetition draw detection + // * Fifty move rule detection + // * Searching for a mate + // * Printing of full PV line + + if (!PvNode && tte && ok_to_use_TT(tte, depth, beta, ply)) { // Refresh tte entry to avoid aging TT.store(posKey, tte->value(), tte->type(), tte->depth(), ttMove); @@ -1309,11 +1095,11 @@ namespace { } // Step 5. Evaluate the position statically + // At PV nodes we do this only to update gain statistics isCheck = pos.is_check(); - if (!isCheck) { - if (tte && (tte->type() & VALUE_TYPE_EVAL)) + if (!PvNode && tte && (tte->type() & VALUE_TYPE_EVAL)) ss[ply].eval = value_from_tt(tte->value(), ply); else ss[ply].eval = evaluate(pos, ei, threadID); @@ -1322,8 +1108,9 @@ namespace { update_gains(pos, ss[ply - 1].currentMove, ss[ply - 1].eval, ss[ply].eval); } - // Step 6. Razoring - if ( refinedValue < beta - razor_margin(depth) + // Step 6. Razoring (is omitted in PV nodes) + if ( !PvNode + && refinedValue < beta - razor_margin(depth) && ttMove == MOVE_NONE && ss[ply - 1].currentMove != MOVE_NULL && depth < RazorDepth @@ -1339,10 +1126,11 @@ namespace { return v; } - // Step 7. Static null move pruning + // Step 7. Static null move pruning (is omitted in PV nodes) // We're betting that the opponent doesn't have a move that will reduce // the score by more than futility_margin(depth) if we do a null move. - if ( allowNullmove + if ( !PvNode + && allowNullmove && depth < RazorDepth && !isCheck && !value_is_mate(beta) @@ -1350,11 +1138,12 @@ namespace { && refinedValue >= beta + futility_margin(depth, 0)) return refinedValue - futility_margin(depth, 0); - // Step 8. Null move search with verification search + // Step 8. Null move search with verification search (is omitted in PV nodes) // When we jump directly to qsearch() we do a null move only if static value is // at least beta. Otherwise we do a null move if static value is not more than // NullMoveMargin under beta. - if ( allowNullmove + if ( !PvNode + && allowNullmove && depth > OnePly && !isCheck && !value_is_mate(beta) @@ -1372,7 +1161,7 @@ namespace { pos.do_null_move(st); - nullValue = -search(pos, ss, -(beta-1), depth-R*OnePly, ply+1, false, threadID); + nullValue = -search(pos, ss, -beta, -alpha, depth-R*OnePly, ply+1, false, threadID); pos.undo_null_move(); @@ -1386,7 +1175,7 @@ namespace { return nullValue; // Do zugzwang verification search - Value v = search(pos, ss, beta, depth-5*OnePly, ply, false, threadID); + Value v = search(pos, ss, alpha, beta, depth-5*OnePly, ply, false, threadID); if (v >= beta) return nullValue; } else { @@ -1408,18 +1197,33 @@ namespace { } // Step 9. Internal iterative deepening - if ( depth >= IIDDepthAtNonPVNodes + // We have different rules for PV nodes and non-pv nodes + if ( PvNode + && depth >= IIDDepthAtPVNodes + && ttMove == MOVE_NONE) + { + search(pos, ss, alpha, beta, depth-2*OnePly, ply, false, threadID); + ttMove = ss[ply].pv[ply]; + tte = TT.retrieve(posKey); + } + + if ( !PvNode + && depth >= IIDDepthAtNonPVNodes && ttMove == MOVE_NONE && !isCheck && ss[ply].eval >= beta - IIDMargin) { - search(pos, ss, beta, depth/2, ply, false, threadID); + search(pos, ss, alpha, beta, depth/2, ply, false, threadID); ttMove = ss[ply].pv[ply]; tte = TT.retrieve(posKey); } + // Expensive mate threat detection (only for PV nodes) + if (PvNode) + mateThreat = pos.has_mate_threat(opposite_color(pos.side_to_move())); + // Initialize a MovePicker object for the current position - MovePicker mp = MovePicker(pos, ttMove, depth, H, &ss[ply], beta); + MovePicker mp = MovePicker(pos, ttMove, depth, H, &ss[ply], (PvNode ? -VALUE_INFINITE : beta)); CheckInfo ci(pos); // Step 10. Loop through moves @@ -1433,17 +1237,17 @@ namespace { if (move == excludedMove) continue; - moveIsCheck = pos.move_is_check(move, ci); singleEvasion = (isCheck && mp.number_of_evasions() == 1); + moveIsCheck = pos.move_is_check(move, ci); captureOrPromotion = pos.move_is_capture_or_promotion(move); // Step 11. Decide the new search depth - ext = extension(pos, move, false, captureOrPromotion, moveIsCheck, singleEvasion, mateThreat, &dangerous); + ext = extension(pos, move, PvNode, captureOrPromotion, moveIsCheck, singleEvasion, mateThreat, &dangerous); // Singular extension search. We extend the TT move if its value is much better than // its siblings. To verify this we do a reduced search on all the other moves but the // ttMove, if result is lower then ttValue minus a margin then we extend ttMove. - if ( depth >= SingularExtensionDepthAtNonPVNodes + if ( depth >= SingularExtensionDepth[PvNode] && tte && move == tte->move() && !excludedMove // Do not allow recursive singular extension search @@ -1455,7 +1259,7 @@ namespace { if (abs(ttValue) < VALUE_KNOWN_WIN) { - Value excValue = search(pos, ss, ttValue - SingularExtensionMargin, depth / 2, ply, false, threadID, move); + Value excValue = search(pos, ss, ttValue - SingularExtensionMargin - 1, ttValue - SingularExtensionMargin, depth / 2, ply, false, threadID, move); if (excValue < ttValue - SingularExtensionMargin) ext = OnePly; @@ -1467,8 +1271,9 @@ namespace { // Update current move (this must be done after singular extension search) movesSearched[moveCount++] = ss[ply].currentMove = move; - // Step 12. Futility pruning - if ( !isCheck + // Step 12. Futility pruning (is omitted in PV nodes) + if ( !PvNode + && !isCheck && !dangerous && !captureOrPromotion && !move_is_castle(move) @@ -1496,29 +1301,40 @@ namespace { // Step 13. Make the move pos.do_move(move, st, ci, moveIsCheck); - // Step 14. Reduced search, if the move fails high - // will be re-searched at full depth. - bool doFullDepthSearch = true; - - if ( depth >= 3*OnePly - && !dangerous - && !captureOrPromotion - && !move_is_castle(move) - && !move_is_killer(move, ss[ply])) + // Step extra. pv search (only in PV nodes) + // The first move in list is the expected PV + if (PvNode && moveCount == 1) + value = -search(pos, ss, -beta, -alpha, newDepth, ply+1, false, threadID); + else { - ss[ply].reduction = nonpv_reduction(depth, moveCount); - if (ss[ply].reduction) - { - value = -search(pos, ss, -(beta-1), newDepth-ss[ply].reduction, ply+1, true, threadID); - doFullDepthSearch = (value >= beta); - } - } + // Step 14. Reduced search + // if the move fails high will be re-searched at full depth. + bool doFullDepthSearch = true; - // Step 15. Full depth search - if (doFullDepthSearch) - { - ss[ply].reduction = Depth(0); - value = -search(pos, ss, -(beta-1), newDepth, ply+1, true, threadID); + if ( depth >= 3 * OnePly + && !dangerous + && !captureOrPromotion + && !move_is_castle(move) + && !move_is_killer(move, ss[ply])) + { + ss[ply].reduction = (PvNode ? pv_reduction(depth, moveCount) : nonpv_reduction(depth, moveCount)); + if (ss[ply].reduction) + { + value = -search(pos, ss, -(alpha+1), -alpha, newDepth-ss[ply].reduction, ply+1, true, threadID); + doFullDepthSearch = (value > alpha); + } + } + + // Step 15. Full depth search + if (doFullDepthSearch) + { + ss[ply].reduction = Depth(0); + value = -search(pos, ss, -(alpha+1), -alpha, newDepth, ply+1, true, threadID); + + // Step extra. pv search (only in PV nodes) + if (PvNode && value > alpha && value < beta) + value = -search(pos, ss, -beta, -alpha, newDepth, ply+1, false, threadID); + } } // Step 16. Undo move @@ -1530,11 +1346,13 @@ namespace { if (value > bestValue) { bestValue = value; - if (value >= beta) + if (value > alpha) + { + alpha = value; update_pv(ss, ply); - - if (value == value_mate_in(ply + 1)) - ss[ply].mateKiller = move; + if (value == value_mate_in(ply + 1)) + ss[ply].mateKiller = move; + } } // Step 18. Check for split @@ -1545,8 +1363,8 @@ namespace { && TM.available_thread_exists(threadID) && !AbortSearch && !TM.thread_should_stop(threadID) - && TM.split(pos, ss, ply, NULL, beta, &bestValue, - depth, mateThreat, &moveCount, &mp, threadID, false)) + && TM.split(pos, ss, ply, &alpha, beta, &bestValue, + depth, mateThreat, &moveCount, &mp, threadID, PvNode)) break; } @@ -1555,7 +1373,7 @@ namespace { // no legal moves, it must be mate or stalemate. // If one move was excluded return fail low score. if (!moveCount) - return excludedMove ? beta - 1 : (isCheck ? value_mated_in(ply) : VALUE_DRAW); + return excludedMove ? oldAlpha : (isCheck ? value_mated_in(ply) : VALUE_DRAW); // Step 20. Update tables // If the search is not aborted, update the transposition table, @@ -1563,9 +1381,10 @@ namespace { if (AbortSearch || TM.thread_should_stop(threadID)) return bestValue; - if (bestValue < beta) + if (bestValue <= oldAlpha) TT.store(posKey, value_to_tt(bestValue, ply), VALUE_TYPE_UPPER, depth, MOVE_NONE); - else + + else if (bestValue >= beta) { TM.incrementBetaCounter(pos.side_to_move(), depth, threadID); move = ss[ply].pv[ply]; @@ -1575,8 +1394,9 @@ namespace { update_history(pos, move, depth, movesSearched, moveCount); update_killers(move, ss[ply]); } - } + else + TT.store(posKey, value_to_tt(bestValue, ply), VALUE_TYPE_EXACT, depth, ss[ply].pv[ply]); assert(bestValue > -VALUE_INFINITE && bestValue < VALUE_INFINITE); @@ -1868,7 +1688,7 @@ namespace { ss[sp->ply].reduction = nonpv_reduction(sp->depth, moveCount); if (ss[sp->ply].reduction) { - value = -search(pos, ss, -(sp->beta-1), newDepth-ss[sp->ply].reduction, sp->ply+1, true, threadID); + value = -search(pos, ss, -(sp->alpha+1), -(sp->alpha), newDepth-ss[sp->ply].reduction, sp->ply+1, true, threadID); doFullDepthSearch = (value >= sp->beta && !TM.thread_should_stop(threadID)); } } @@ -1877,7 +1697,7 @@ namespace { if (doFullDepthSearch) { ss[sp->ply].reduction = Depth(0); - value = -search(pos, ss, -(sp->beta - 1), newDepth, sp->ply+1, true, threadID); + value = -search(pos, ss, -(sp->alpha+1), -(sp->alpha), newDepth, sp->ply+1, true, threadID); } // Step 16. Undo move @@ -1974,7 +1794,7 @@ namespace { if (ss[sp->ply].reduction) { Value localAlpha = sp->alpha; - value = -search(pos, ss, -localAlpha, newDepth-ss[sp->ply].reduction, sp->ply+1, true, threadID); + value = -search(pos, ss, -(localAlpha+1), -localAlpha, newDepth-ss[sp->ply].reduction, sp->ply+1, true, threadID); doFullDepthSearch = (value > localAlpha && !TM.thread_should_stop(threadID)); } } @@ -1984,7 +1804,7 @@ namespace { { Value localAlpha = sp->alpha; ss[sp->ply].reduction = Depth(0); - value = -search(pos, ss, -localAlpha, newDepth, sp->ply+1, true, threadID); + value = -search(pos, ss, -(localAlpha+1), -localAlpha, newDepth, sp->ply+1, true, threadID); if (value > localAlpha && value < sp->beta && !TM.thread_should_stop(threadID)) { @@ -1992,7 +1812,7 @@ namespace { // to be higher or equal then beta, if so, avoid to start a PV search. localAlpha = sp->alpha; if (localAlpha < sp->beta) - value = -search_pv(pos, ss, -sp->beta, -localAlpha, newDepth, sp->ply+1, threadID); + value = -search(pos, ss, -sp->beta, -localAlpha, newDepth, sp->ply+1, false, threadID); } } @@ -2032,7 +1852,7 @@ namespace { // init_node() is called at the beginning of all the search functions - // (search(), search_pv(), qsearch(), and so on) and initializes the + // (search() qsearch(), and so on) and initializes the // search stack object corresponding to the current node. Once every // NodesBetweenPolls nodes, init_node() also calls poll(), which polls // for user input and checks whether it is time to stop the search. @@ -2922,7 +2742,7 @@ namespace { splitPoint->ply = ply; splitPoint->depth = depth; splitPoint->mateThreat = mateThreat; - splitPoint->alpha = pvNode ? *alpha : beta - 1; + splitPoint->alpha = *alpha; splitPoint->beta = beta; splitPoint->pvNode = pvNode; splitPoint->bestValue = *bestValue; @@ -2977,12 +2797,10 @@ namespace { idle_loop(master, splitPoint); // We have returned from the idle loop, which means that all threads are - // finished. Update alpha, beta and bestValue, and return. + // finished. Update alpha and bestValue, and return. lock_grab(&MPLock); - if (pvNode) - *alpha = splitPoint->alpha; - + *alpha = splitPoint->alpha; *bestValue = splitPoint->bestValue; threads[master].activeSplitPoints--; threads[master].splitPoint = splitPoint->parent; -- 2.39.2