1
0
Fork 0
mirror of https://github.com/sockspls/badfish synced 2025-07-11 19:49:14 +00:00

Base work for exclusion search

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
This commit is contained in:
Joona Kiiski 2009-11-21 14:44:50 +02:00 committed by Marco Costalba
parent bc35f4c42d
commit 77eec9f9cb
3 changed files with 21 additions and 6 deletions

View file

@ -51,6 +51,7 @@ Key Position::zobEp[64];
Key Position::zobCastle[16];
Key Position::zobMaterial[2][8][16];
Key Position::zobSideToMove;
Key Position::zobExclusion;
Score Position::PieceSquareTable[16][64];
@ -1736,6 +1737,8 @@ void Position::init_zobrist() {
for (int i = 0; i < 16; i++)
zobMaterial[0][KING][i] = zobMaterial[1][KING][i] = Key(0ULL);
zobExclusion = genrand_int64();
}

View file

@ -281,6 +281,9 @@ public:
static void init_zobrist();
static void init_piece_square_tables();
// Public zobs
static Key zobExclusion;
private:
// Initialization helper functions (used while setting up a position)

View file

@ -277,7 +277,7 @@ namespace {
Value id_loop(const Position& pos, Move searchMoves[]);
Value root_search(Position& pos, SearchStack ss[], RootMoveList& rml, Value alpha, Value beta);
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);
Value search(Position& pos, SearchStack ss[], Value beta, Depth depth, int ply, bool allowNullmove, int threadID, Move forbiddenMove = 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);
@ -1251,7 +1251,7 @@ namespace {
// 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) {
int ply, bool allowNullmove, int threadID, Move forbiddenMove) {
assert(beta >= -VALUE_INFINITE && beta <= VALUE_INFINITE);
assert(ply >= 0 && ply < PLY_MAX);
@ -1293,8 +1293,14 @@ namespace {
if (value_mate_in(ply + 1) < beta)
return beta - 1;
// Position key calculation
Key posKey = pos.get_key();
if (forbiddenMove != MOVE_NONE)
posKey ^= Position::zobExclusion;
// Transposition table lookup
tte = TT.retrieve(pos.get_key());
tte = TT.retrieve(posKey);
ttMove = (tte ? tte->move() : MOVE_NONE);
if (tte && ok_to_use_TT(tte, depth, beta, ply))
@ -1399,6 +1405,9 @@ namespace {
{
assert(move_is_ok(move));
if (move == forbiddenMove)
continue;
singleReply = (isCheck && mp.number_of_evasions() == 1);
moveIsCheck = pos.move_is_check(move, ci);
captureOrPromotion = pos.move_is_capture_or_promotion(move);
@ -1540,7 +1549,7 @@ namespace {
// All legal moves have been searched. A special case: If there were
// no legal moves, it must be mate or stalemate.
if (moveCount == 0)
return (pos.is_check() ? value_mated_in(ply) : VALUE_DRAW);
return (forbiddenMove == MOVE_NONE ? (pos.is_check() ? value_mated_in(ply) : VALUE_DRAW) : beta - 1);
// If the search is not aborted, update the transposition table,
// history counters, and killer moves.
@ -1548,7 +1557,7 @@ namespace {
return bestValue;
if (bestValue < beta)
TT.store(pos.get_key(), value_to_tt(bestValue, ply), VALUE_TYPE_UPPER, depth, MOVE_NONE);
TT.store(posKey, value_to_tt(bestValue, ply), VALUE_TYPE_UPPER, depth, MOVE_NONE);
else
{
BetaCounter.add(pos.side_to_move(), depth, threadID);
@ -1558,7 +1567,7 @@ namespace {
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);
TT.store(posKey, value_to_tt(bestValue, ply), VALUE_TYPE_LOWER, depth, move);
}
assert(bestValue > -VALUE_INFINITE && bestValue < VALUE_INFINITE);