6 Commits

Author SHA1 Message Date
bb866cb933 Merge branch 'master' into search 2024-08-08 08:44:32 +02:00
fcd54b44ce phase update in move_do(), new phase_verify(), rewrite calc_phase() 2024-08-06 21:19:51 +02:00
aef14db3e4 Merge branch 'master' into search 2024-08-05 08:41:06 +02:00
f7fd2cb657 merge perft split 2024-08-05 08:26:33 +02:00
1ca4eb4443 Merge branch 'master' into search 2024-08-05 08:25:10 +02:00
0ff41c408b add repetition detection, root position count
- hist.c: add hist_next() - get next entry in history
- state_t: remove plycount, clock_50 -> ply50, add phase, repcount
- pos_t: add plycount, plyroot
- state_t moved to chessdefs.h
- perft-test: split perft from do_perft (todo for perft_alt)
- position.c: add pos_repcount()
- search.c: add is_draw()
- uci: set root position (after moves), adjust history moves repcount
2024-08-04 09:37:58 +02:00
20 changed files with 314 additions and 92 deletions

View File

@@ -126,13 +126,14 @@ else # ifeq ($(build),dev)
# fen.c # fen.c
#CPPFLAGS += -DDEBUG_FEN # FEN decoding #CPPFLAGS += -DDEBUG_FEN # FEN decoding
# hash / TT # hash / TT
#CPPFLAGS += -DZOBRIST_VERIFY # double chk zobrist #CPPFLAGS += -DZOBRIST_VERIFY # incr. zobrist check
#CPPFLAGS += -DPERFT_MOVE_HISTORY # perft, keep prev moves #CPPFLAGS += -DPERFT_MOVE_HISTORY # perft, keep prev moves
# attack.c # attack.c
#CPPFLAGS += -DDEBUG_ATTACK_ATTACKERS # sq_attackers #CPPFLAGS += -DDEBUG_ATTACK_ATTACKERS # sq_attackers
#CPPFLAGS += -DDEBUG_ATTACK_PINNERS # sq_pinners details #CPPFLAGS += -DDEBUG_ATTACK_PINNERS # sq_pinners details
# eval.c eval-simple.c # eval.c eval-simple.c
CPPFLAGS += -DDEBUG_EVAL # eval CPPFLAGS += -DDEBUG_EVAL # eval
CPPFLAGS += -DPHASE_VERIFY # incr. phase check
# old unused flags # old unused flags
#CPPFLAGS += -DDEBUG_POS # position.c #CPPFLAGS += -DDEBUG_POS # position.c

View File

@@ -37,10 +37,10 @@ int main(int ac, char **av)
pos_t *pos; pos_t *pos;
int opt; int opt;
printf("brchess " VERSION "\n");
init_all(); init_all();
pos = pos_new(); pos = pos_new();
hist_link(pos); printf("Engine ready.\n");
printf("\nWelcome to brchess " VERSION "\nEngine ready.\n");
// size_t len = 0; // size_t len = 0;
// char *str = NULL; // char *str = NULL;

View File

@@ -85,9 +85,9 @@ typedef struct __movelist_s movelist_t;
/* basic types /* basic types
*/ */
typedef u64 bitboard_t; typedef u64 bitboard_t;
typedef s16 eval_t; typedef s16 eval_t;
typedef s8 phase_t;
/* forward enum definition is impossible in C11. /* forward enum definition is impossible in C11.
* To simplify cross-dependancies, all important enum are moved here. * To simplify cross-dependancies, all important enum are moved here.

View File

@@ -22,6 +22,10 @@
//#include "eval-simple.h" //#include "eval-simple.h"
//#include "eval.h" //#include "eval.h"
phase_t piece_phase[PIECE_TYPE_NB] = {
0, P_PHASE, N_PHASE, B_PHASE, R_PHASE, Q_PHASE, 0
};
/* eval parameters definition. */ /* eval parameters definition. */
static const struct ev_params ev_param_def [EV_PARAMS_NB] = { static const struct ev_params ev_param_def [EV_PARAMS_NB] = {
/* type setable def min max name */ /* type setable def min max name */

View File

@@ -14,7 +14,6 @@
#ifndef EVAL_DEFS_H #ifndef EVAL_DEFS_H
#define EVAL_DEFS_H #define EVAL_DEFS_H
#include "chessdefs.h" #include "chessdefs.h"
#include "piece.h" #include "piece.h"
#include "eval.h" #include "eval.h"
@@ -26,7 +25,6 @@ enum {
ENDGAME, ENDGAME,
PHASE_NB PHASE_NB
}; };
typedef s16 phase_t;
/* pieces weight in phase calculation. /* pieces weight in phase calculation.
*/ */
@@ -38,18 +36,24 @@ enum {
Q_PHASE = 4, Q_PHASE = 4,
ALL_PHASE = P_PHASE*16 + N_PHASE*4 + B_PHASE*4 + R_PHASE*4 + Q_PHASE*2 ALL_PHASE = P_PHASE*16 + N_PHASE*4 + B_PHASE*4 + R_PHASE*4 + Q_PHASE*2
}; };
extern phase_t piece_phase[PIECE_TYPE_NB];
static inline phase_t pt_phase(piece_type_t pt)
{
return piece_phase[pt];
}
/* max pieces eval is 9*QUEEN_VALUE + 2*ROOK_VALUE + 2*BISHOP_VALUE /* max pieces eval is 9*QUEEN_VALUE + 2*ROOK_VALUE + 2*BISHOP_VALUE
* + 2*KNIGHT_VALUE which is (for a pawn valued at 100) well less than 15,000. * + 2*KNIGHT_VALUE which is (for a pawn valued at 100) well less than 15,000.
*/ */
#define EVAL_MAX (SHRT_MAX) /* 32767 */ #define EVAL_MAX (SHRT_MAX) /* 32767 */
#define EVAL_MIN (-EVAL_MAX) #define EVAL_MIN (-EVAL_MAX)
#define EVAL_DRAW 0
#define EVAL_INV EVAL_MIN #define EVAL_INV EVAL_MIN
#define EVAL_MATE 30000 #define EVAL_MATE 30000
/* eval parameters */ /* engine parameters */
enum { enum {
WT_MAT, WT_MAT,
WT_PST, WT_PST,

View File

@@ -19,6 +19,50 @@
#include "position.h" #include "position.h"
#include "eval.h" #include "eval.h"
#include "eval-simple.h" #include "eval-simple.h"
#include "hist.h"
/**
* calc_phase - calculate position phase
* @pos: &position
*
* This function should be calculated when a new position is setup, or as
* a verification of an incremental one.
* Note: phase is *not* clamped, to avoid update errors.
*
* @return: phase value
*/
phase_t calc_phase(pos_t *pos)
{
int phase = ALL_PHASE;
for (piece_type_t pt = PAWN; pt < KING; ++pt)
phase -= piece_phase[pt] * popcount64(pos->bb[WHITE][pt] | pos->bb[BLACK][pt]);
# ifdef DEBUG_PHASE
printf("calc phase:%d\n", phase);
# endif
return phase;
}
/**
* phase_verify() - verify position phase.
* @pos: &position
*
* Verify that position phase is correct (a full recalculation is performed).
* This function is inactive if PHASE_VERIFY is not set.
*
* @return: True if phase key is OK, no return otherwise.
*/
#ifdef PHASE_VERIFY
bool phase_verify(pos_t *pos)
{
phase_t verif = calc_phase(pos);
if (pos->phase != verif) {
warn(true, "warn phase=%d verif=%d\n", pos->phase, verif);
hist_print(pos);
bug_on(pos->phase != verif);
}
return true;
}
#endif
/** /**
* calc_phase - calculate position phase * calc_phase - calculate position phase
@@ -30,7 +74,7 @@
* *
* @return: * @return:
*/ */
s16 calc_phase(pos_t *pos) __unused static phase_t calc_phase2(pos_t *pos)
{ {
int phase = ALL_PHASE; int phase = ALL_PHASE;
phase -= P_PHASE * popcount64(pos->bb[WHITE][PAWN] | pos->bb[BLACK][PAWN]); phase -= P_PHASE * popcount64(pos->bb[WHITE][PAWN] | pos->bb[BLACK][PAWN]);
@@ -41,7 +85,7 @@ s16 calc_phase(pos_t *pos)
phase = max(phase, 0); phase = max(phase, 0);
# ifdef DEBUG_EVAL # ifdef DEBUG_EVAL
printf("calc phase:%d\n", phase); printf("calc phase:%d verif=%d\n", phase, calc_phase(pos));
# endif # endif
return phase; return phase;
} }

View File

@@ -19,7 +19,12 @@
#include "chessdefs.h" #include "chessdefs.h"
#include "eval-defs.h" #include "eval-defs.h"
s16 calc_phase(pos_t *pos); phase_t calc_phase(pos_t *pos);
#ifdef PHASE_VERIFY
bool phase_verify(pos_t *pos);
#else
#define phase_verify(p) true
#endif
eval_t eval_mobility(pos_t *pos, bool color); eval_t eval_mobility(pos_t *pos, bool color);
eval_t eval_square_control(pos_t *pos, bool color); eval_t eval_square_control(pos_t *pos, bool color);

View File

@@ -230,12 +230,12 @@ pos_t *fen2pos(pos_t *pos, const char *fen)
/* 5) half moves since last capture or pawn move (50 moves rule) /* 5) half moves since last capture or pawn move (50 moves rule)
*/ */
tmppos.clock_50 = 0; tmppos.ply50 = 0;
tmppos.plycount = 1; tmppos.plycount = 1;
if (sscanf(cur, "%hd%n", &tmp, &consumed) != 1) if (sscanf(cur, "%hd%n", &tmp, &consumed) != 1)
goto end; /* early end, ignore w/o err */ goto end; /* early end, ignore w/o err */
tmppos.clock_50 = tmp; tmppos.ply50 = tmp;
cur += consumed; cur += consumed;
SKIP_BLANK(cur); SKIP_BLANK(cur);
@@ -350,7 +350,7 @@ char *pos2fen(const pos_t *pos, char *fen)
/* 5) moves since last capture or pawn move (50 moves rule) /* 5) moves since last capture or pawn move (50 moves rule)
* 6) current full move number, starting with 1 * 6) current full move number, starting with 1
*/ */
sprintf(fen+cur, "%d %d", pos->clock_50, sprintf(fen+cur, "%d %d", pos->ply50,
1 + (pos->plycount - (pos->turn == BLACK)) / 2); 1 + (pos->plycount - (pos->turn == BLACK)) / 2);
return fen; return fen;
} }

View File

@@ -97,12 +97,11 @@ hkey_t zobrist_calc(pos_t *pos)
* @pos: &position * @pos: &position
* *
* Verify that position Zobrist key matches a full Zobrist calculation. * Verify that position Zobrist key matches a full Zobrist calculation.
* This function cannot be called if ZOBRIST_VERIFY is not set. * This function is inactive if ZOBRIST_VERIFY is not set.
* *
* @return: True if Zobrist key is OK. * @return: True if Zobrist key is OK, no return otherwise.
*/ */
#ifdef ZOBRIST_VERIFY #ifdef ZOBRIST_VERIFY
bool zobrist_verify(pos_t *pos) bool zobrist_verify(pos_t *pos)
{ {
hkey_t diff, key = zobrist_calc(pos); hkey_t diff, key = zobrist_calc(pos);

View File

@@ -37,6 +37,16 @@ void hist_init(void)
hist.state[0].prev = &hist.state[0]; hist.state[0].prev = &hist.state[0];
} }
/**
* hist_next() - get next history slot.
*
* return: @state_t next history slot.
*/
state_t *hist_next(void)
{
return hist.state + hist.nstates++;
}
/** /**
* hist_push() - add a state to hist list * hist_push() - add a state to hist list
* @st: &state_t to add * @st: &state_t to add
@@ -134,9 +144,10 @@ void hist_static_print(void)
printf("UCI state history: "); printf("UCI state history: ");
while (true) { while (true) {
printf("%s(#%lx) ", printf("%s(#%lx r=%d) ",
move_to_str(movestr, st->move, 0), move_to_str(movestr, st->move, 0),
hash_short(st->key)); hash_short(st->key),
st->repcount);
if (st == HIST_START) if (st == HIST_START)
break; break;
st = hist_prev(st); st = hist_prev(st);
@@ -154,9 +165,10 @@ void hist_print(pos_t *pos)
state_t *st = &pos->state; state_t *st = &pos->state;
printf("position states history: "); printf("position states history: ");
while (true) { while (true) {
printf("%s(#%lx) ", printf("%s(#%lx r=%d) ",
move_to_str(movestr, st->move, 0), move_to_str(movestr, st->move, 0),
hash_short(st->key)); hash_short(st->key),
st->repcount);
if (st == HIST_START) if (st == HIST_START)
break; break;
st = hist_prev(st); st = hist_prev(st);

View File

@@ -48,6 +48,7 @@ extern hist_t hist;
#define HIST_START (hist.state) #define HIST_START (hist.state)
void hist_init(void); void hist_init(void);
state_t *hist_next(void);
void hist_push(state_t *st); //, move_t *move); void hist_push(state_t *st); //, move_t *move);
void hist_link(pos_t *pos); void hist_link(pos_t *pos);
state_t *hist_pop(void); state_t *hist_pop(void);

View File

@@ -24,6 +24,7 @@
#include "position.h" #include "position.h"
#include "move-do.h" #include "move-do.h"
#include "hash.h" #include "hash.h"
#include "hist.h"
/** /**
* move_do() - do move. * move_do() - do move.
@@ -59,14 +60,16 @@ pos_t *move_do(pos_t *pos, const move_t move, state_t *state)
hkey_t key = pos->key; hkey_t key = pos->key;
*state = pos->state; /* save irreversible changes */ *state = pos->state; /* save irreversible changes */
pos->prev = state;
/* update key: switch turn, reset castling and ep */ /* update key: switch turn, reset castling and ep */
key ^= zobrist_turn; key ^= zobrist_turn;
key ^= zobrist_castling[pos->castle]; key ^= zobrist_castling[pos->castle];
key ^= zobrist_ep[EP_ZOBRIST_IDX(pos->en_passant)]; key ^= zobrist_ep[EP_ZOBRIST_IDX(pos->en_passant)];
++pos->clock_50; ++pos->ply50;
++pos->plycount; ++pos->plycount;
++pos->plyroot;
pos->en_passant = SQUARE_NONE; pos->en_passant = SQUARE_NONE;
pos->turn = them; pos->turn = them;
pos->captured = captured; pos->captured = captured;
@@ -76,16 +79,21 @@ pos_t *move_do(pos_t *pos, const move_t move, state_t *state)
if (is_promotion(move)) { if (is_promotion(move)) {
bug_on(sq_rank(to) != sq_rel_rank(RANK_8, us)); bug_on(sq_rank(to) != sq_rel_rank(RANK_8, us));
new_piece = MAKE_PIECE(move_promoted(move), us); piece_t promoted = move_promoted(move);
new_piece = MAKE_PIECE(promoted, us);
pos->phase += pt_phase(PAWN) - pt_phase(promoted);
} }
if (captured != EMPTY) { if (captured != EMPTY) {
pos->clock_50 = 0; pos->ply50 = 0;
bug_on(pos->board[to] == EMPTY || COLOR(pos->captured) != them); pos->phase += pt_phase(PIECE(captured));
bug_on(COLOR(captured) != them);
key ^= zobrist_pieces[captured][to]; key ^= zobrist_pieces[captured][to];
pos_clr_sq(pos, to); /* clear square */ pos_clr_sq(pos, to); /* clear square */
} else if (is_castle(move)) { /* handle rook move */ } else if (is_castle(move)) { /* handle rook move */
square_t rookfrom, rookto; square_t rookfrom, rookto;
if (to > from) { if (to > from) {
rookfrom = sq_rel(H1, us); rookfrom = sq_rel(H1, us);
rookto = sq_rel(F1, us); rookto = sq_rel(F1, us);
@@ -99,9 +107,10 @@ pos_t *move_do(pos_t *pos, const move_t move, state_t *state)
pos_clr_sq(pos, rookfrom); pos_clr_sq(pos, rookfrom);
pos->castle = clr_castle(pos->castle, us); pos->castle = clr_castle(pos->castle, us);
} else if (ptype == PAWN) { /* pawn non capture or e.p. */ } else if (ptype == PAWN) { /* pawn non capture or e.p. */
pos->clock_50 = 0; pos->ply50 = 0;
if (from + up + up == to) { /* if pawn double push, set e.p. */ if (from + up + up == to) { /* if pawn double push, set e.p. */
square_t ep = from + up; square_t ep = from + up;
if (bb_pawn_attacks[us][ep] & pos->bb[them][PAWN]) { if (bb_pawn_attacks[us][ep] & pos->bb[them][PAWN]) {
pos->en_passant = ep; pos->en_passant = ep;
key ^= zobrist_ep[EP_ZOBRIST_IDX(pos->en_passant)]; key ^= zobrist_ep[EP_ZOBRIST_IDX(pos->en_passant)];
@@ -109,6 +118,8 @@ pos_t *move_do(pos_t *pos, const move_t move, state_t *state)
} else if (is_enpassant(move)) { /* clear grabbed pawn */ } else if (is_enpassant(move)) { /* clear grabbed pawn */
square_t grabbed = to - up; square_t grabbed = to - up;
piece_t pc = pos->board[grabbed]; piece_t pc = pos->board[grabbed];
pos->phase += pt_phase(PAWN);
key ^= zobrist_pieces[pc][grabbed]; key ^= zobrist_pieces[pc][grabbed];
pos_clr_sq(pos, grabbed); pos_clr_sq(pos, grabbed);
} }
@@ -151,7 +162,13 @@ pos_t *move_do(pos_t *pos, const move_t move, state_t *state)
pos->key = key; pos->key = key;
pos->repcount = pos_repcount(pos);
/* consistency checks.
* Checks done only if compiled with '-DZOBRIST_VERIFY' or '-DPHASE_VERIFY'
*/
zobrist_verify(pos); zobrist_verify(pos);
phase_verify(pos);
return pos; return pos;
} }
@@ -209,6 +226,8 @@ pos_t *move_undo(pos_t *pos, const move_t move, const state_t *state)
pos->state = *state; /* restore irreversible changes */ pos->state = *state; /* restore irreversible changes */
pos->turn = us; pos->turn = us;
--pos->plycount;
--pos->plyroot;
return pos; return pos;
} }
@@ -227,14 +246,16 @@ pos_t *move_do_alt(pos_t *pos, const move_t move, state_t *state)
hkey_t key = pos->key; hkey_t key = pos->key;
*state = pos->state; /* save irreversible changes */ *state = pos->state; /* save irreversible changes */
pos->prev = state;
/* update key: switch turn, reset castling and ep */ /* update key: switch turn, reset castling and ep */
key ^= zobrist_turn; key ^= zobrist_turn;
key ^= zobrist_castling[pos->castle]; key ^= zobrist_castling[pos->castle];
key ^= zobrist_ep[EP_ZOBRIST_IDX(pos->en_passant)]; key ^= zobrist_ep[EP_ZOBRIST_IDX(pos->en_passant)];
++pos->clock_50; ++pos->ply50;
++pos->plycount; ++pos->plycount;
++pos->plyroot;
pos->en_passant = SQUARE_NONE; pos->en_passant = SQUARE_NONE;
pos->turn = them; pos->turn = them;
pos->captured = captured; pos->captured = captured;
@@ -248,8 +269,7 @@ pos_t *move_do_alt(pos_t *pos, const move_t move, state_t *state)
} }
if (captured != EMPTY) { if (captured != EMPTY) {
pos->clock_50 = 0; pos->ply50 = 0;
//pos->captured = pos->board[to]; /* save capture info */
bug_on(pos->board[to] == EMPTY || COLOR(pos->captured) != them); bug_on(pos->board[to] == EMPTY || COLOR(pos->captured) != them);
key ^= zobrist_pieces[captured][to]; key ^= zobrist_pieces[captured][to];
pos_clr_sq(pos, to); /* clear square */ pos_clr_sq(pos, to); /* clear square */
@@ -268,7 +288,7 @@ pos_t *move_do_alt(pos_t *pos, const move_t move, state_t *state)
pos_clr_sq(pos, rookfrom); pos_clr_sq(pos, rookfrom);
pos->castle = clr_castle(pos->castle, us); pos->castle = clr_castle(pos->castle, us);
} else if (ptype == PAWN) { /* pawn non capture or e.p. */ } else if (ptype == PAWN) { /* pawn non capture or e.p. */
pos->clock_50 = 0; pos->ply50 = 0;
if (from + up + up == to) { /* if pawn double push, set e.p. */ if (from + up + up == to) { /* if pawn double push, set e.p. */
square_t ep = from + up; square_t ep = from + up;
if (bb_pawn_attacks[us][ep] & pos->bb[them][PAWN]) { if (bb_pawn_attacks[us][ep] & pos->bb[them][PAWN]) {
@@ -320,6 +340,7 @@ pos_t *move_do_alt(pos_t *pos, const move_t move, state_t *state)
pos->key = key; pos->key = key;
pos->repcount = pos_repcount(pos);
zobrist_verify(pos); zobrist_verify(pos);
return pos; return pos;
@@ -361,5 +382,7 @@ pos_t *move_undo_alt(pos_t *pos, const move_t move, const state_t *state)
pos->state = *state; /* restore irreversible changes */ pos->state = *state; /* restore irreversible changes */
pos->turn = us; pos->turn = us;
--pos->plycount;
--pos->plyroot;
return pos; return pos;
} }

View File

@@ -19,6 +19,84 @@
#include "move-gen.h" #include "move-gen.h"
#include "move-do.h" #include "move-do.h"
/**
* do_perft() - perft engine
* @pos: &position to search
* @depth: Wanted depth.
*
* Run perft on a position.
*
* This version uses the algorithm:
* gen legal moves
* if last depth
* return number of legal move
* loop for legal move
* do-move
* if depth == 2
*
* do_perft (depth -1)
* undo-move
*
* @return: total moves found at @depth level.
*/
static u64 do_perft(pos_t *pos, int depth)
{
u64 nodes = 0;
movelist_t movelist;
move_t *move, *last;
state_t state;
pos_set_checkers_pinners_blockers(pos);
pos_legal(pos, pos_gen_pseudo(pos, &movelist));
//if (depth == 1)
// return movelist.nmoves;
last = movelist.move + movelist.nmoves;
switch (depth) {
case 1:
/* This case could be removed if 'case 2' is handled in perft()
*/
return movelist.nmoves;
break;
case 2:
/* For depth 2, we directly calculate the possible legal moves
* after each possible moves.
*/
for (move = movelist.move; move < last; ++move) {
move_do(pos, *move, &state);
movelist_t movelist2;
pos_set_checkers_pinners_blockers(pos);
nodes += pos_legal(pos, pos_gen_pseudo(pos, &movelist2))->nmoves;
move_undo(pos, *move, &state);
}
break;
default:
/* Default: Search in TT for same key+depth. Use it if found, create
* it otherwise.
*/
for (move = movelist.move; move < last; ++move) {
move_do(pos, *move, &state);
hentry_t *entry = tt_probe_perft(pos->key, depth);
if (entry != TT_MISS) {
nodes += HASH_PERFT_VAL(entry->data);
} else {
u64 subnodes = do_perft(pos, depth - 1);
tt_store_perft(pos->key, depth, subnodes);
nodes += subnodes;
}
move_undo(pos, *move, &state);
}
//} else {
//subnodes = do_perft(pos, depth - 1);
}
//move_undo(pos, *move, &state);
//nodes += subnodes;
//}
return nodes;
}
/** /**
* perft() - Perform perft on position * perft() - Perform perft on position
* @pos: &position to search * @pos: &position to search
@@ -40,7 +118,7 @@
* *
* @return: total moves found at @depth level. * @return: total moves found at @depth level.
*/ */
u64 perft(pos_t *pos, int depth, int ply, bool divide) u64 perft(pos_t *pos, int depth, bool divide)
{ {
u64 subnodes = 0, nodes = 0; u64 subnodes = 0, nodes = 0;
movelist_t movelist; movelist_t movelist;
@@ -56,30 +134,15 @@ u64 perft(pos_t *pos, int depth, int ply, bool divide)
subnodes = 1; subnodes = 1;
} else { } else {
move_do(pos, *move, &state); move_do(pos, *move, &state);
if (depth == 2) { subnodes = do_perft(pos, depth - 1);
movelist_t movelist2;
pos_set_checkers_pinners_blockers(pos);
subnodes = pos_legal(pos, pos_gen_pseudo(pos, &movelist2))->nmoves;
} else if (ply >= 3) {
hentry_t *entry = tt_probe_perft(pos->key, depth);
if (entry != TT_MISS) {
subnodes = HASH_PERFT_VAL(entry->data);
} else {
subnodes = perft(pos, depth - 1, ply + 1, divide);
tt_store_perft(pos->key, depth, subnodes);
}
} else {
subnodes = perft(pos, depth - 1, ply + 1, divide);
}
move_undo(pos, *move, &state); move_undo(pos, *move, &state);
} }
nodes += subnodes; if (divide) {
if (ply == 1 && divide) {
char movestr[8]; char movestr[8];
printf("%s: %lu\n", move_to_str(movestr, *move, 0), subnodes); printf("%s: %lu\n", move_to_str(movestr, *move, 0), subnodes);
} }
nodes += subnodes;
} }
return nodes; return nodes;
} }

View File

@@ -16,7 +16,7 @@
#include "position.h" #include "position.h"
u64 perft(pos_t *pos, int depth, int ply, bool output); u64 perft(pos_t *pos, int depth,/* int ply,*/ bool divide);
u64 perft_alt(pos_t *pos, int depth, int ply, bool output); u64 perft_alt(pos_t *pos, int depth, int ply, bool output);
#endif /* PERFT_H */ #endif /* PERFT_H */

View File

@@ -108,6 +108,7 @@ pos_t *pos_clear(pos_t *pos)
pos->king[WHITE] = SQUARE_NONE; pos->king[WHITE] = SQUARE_NONE;
pos->king[BLACK] = SQUARE_NONE; pos->king[BLACK] = SQUARE_NONE;
pos->prev = HIST_START;
return pos; return pos;
} }
@@ -130,7 +131,7 @@ bool pos_cmp(const pos_t *pos1, const pos_t *pos2)
/* move_do/undo position state */ /* move_do/undo position state */
if (_cmpf(key) || _cmpf(en_passant) || _cmpf(castle) || if (_cmpf(key) || _cmpf(en_passant) || _cmpf(castle) ||
_cmpf(clock_50) || _cmpf(plycount) || _cmpf(captured)) _cmpf(ply50) || _cmpf(plycount) || _cmpf(captured))
goto end; goto end;
if (_cmpf(checkers) || _cmpf(pinners) || _cmpf(blockers)) if (_cmpf(checkers) || _cmpf(pinners) || _cmpf(blockers))
@@ -180,6 +181,36 @@ bitboard_t pos_checkers(const pos_t *pos, const color_t color)
return sq_attackers(pos, occ, pos->king[color], OPPONENT(color)); return sq_attackers(pos, occ, pos->king[color], OPPONENT(color));
} }
/**
* pos_repcount() - return position repetition count.
* @pos: &position to search
*
* Attention: positions before (and including) root position repcount are
* already decreased by one. See do_moves() in uci.c.
*
* @return: The number of repetitions in history, zero otherwise.
*/
u8 pos_repcount(pos_t *pos)
{
int c50 = pos->ply50;
state_t *st = &pos->state;
hkey_t key = pos->key;
st = hist_prev4(st);
//printf("is rep: START=%p ", HIST_START);
//printf("state=%p diff=%zd c50=%d k1=%#lx k2=%#lx\n",
// st, st - HIST_START, c50, hash_short(pos->key), hash_short(st->key));
/* attention, what about root position ? Isn't it dangerous to compare with
* its key ? like: st->prev != HIST_START
*/
for (; c50 >= 0 && st != HIST_START; st = hist_prev2(st), c50 -= 2) {
if (key == st->key)
return st->repcount + 1;
}
return false;
}
/** /**
* pos_set_checkers_pinners_blockers() - calculate checkers, pinners and blockers. * pos_set_checkers_pinners_blockers() - calculate checkers, pinners and blockers.
* @pos: &position * @pos: &position

View File

@@ -27,6 +27,7 @@
#include "piece.h" #include "piece.h"
#include "move.h" #include "move.h"
#include "board.h" #include "board.h"
#include "eval-defs.h"
typedef struct __pos_s { typedef struct __pos_s {
u64 node_count; /* evaluated nodes */ u64 node_count; /* evaluated nodes */
@@ -50,14 +51,14 @@ typedef struct __pos_s {
/* 16 bits */ /* 16 bits */
move_t move; move_t move;
u16 plycount; /* plies so far, start from 1 */
s16 phase;
/* 8 bits */ /* 8 bits */
square_t en_passant; square_t en_passant;
castle_rights_t castle; castle_rights_t castle;
piece_t captured; /* only used in move_undo */ piece_t captured; /* only used in move_undo */
u8 clock_50; phase_t phase;
u8 ply50;
u8 repcount; /* repetition count */
); );
eval_t eval; eval_t eval;
bitboard_t checkers; /* opponent checkers */ bitboard_t checkers; /* opponent checkers */
@@ -66,6 +67,8 @@ typedef struct __pos_s {
piece_t board[BOARDSIZE]; piece_t board[BOARDSIZE];
bitboard_t bb[2][PT_NB]; /* bb[0][PAWN], bb[1][ALL_PIECES] */ bitboard_t bb[2][PT_NB]; /* bb[0][PAWN], bb[1][ALL_PIECES] */
square_t king[2]; /* dup with bb, faster retrieval */ square_t king[2]; /* dup with bb, faster retrieval */
u16 plycount; /* plies in game, start from 1 */
u8 plyroot; /* plies since search root. root=0 */
} pos_t; } pos_t;
typedef struct state_s state_t; typedef struct state_s state_t;
@@ -183,6 +186,7 @@ void pos_del(pos_t *pos);
pos_t *pos_clear(pos_t *pos); pos_t *pos_clear(pos_t *pos);
bool pos_cmp(const pos_t *pos1, const pos_t *pos2); bool pos_cmp(const pos_t *pos1, const pos_t *pos2);
u8 pos_repcount(pos_t *pos);
void pos_set_checkers_pinners_blockers(pos_t *pos); void pos_set_checkers_pinners_blockers(pos_t *pos);
void pos_set_pinners_blockers(pos_t *pos); void pos_set_pinners_blockers(pos_t *pos);
bitboard_t pos_checkers(const pos_t *pos, const color_t color); bitboard_t pos_checkers(const pos_t *pos, const color_t color);

View File

@@ -20,6 +20,21 @@
#include "move-do.h" #include "move-do.h"
#include "search.h" #include "search.h"
#include "attack.h" #include "attack.h"
#include "hist.h"
/**
* is_draw() - check if position is draw by 50 or repetition rule.
* @pos: &position to search
*
* Note that states before (and including) root position state have
* their repcount decreased by one.
*
* @return: The @pos negamax evaluation.
*/
bool is_draw(pos_t *pos)
{
return (pos->ply50 > 100 || pos->repcount);
}
/** /**
* negamax() - search position negamax. * negamax() - search position negamax.
@@ -32,34 +47,36 @@
* *
* @return: The @pos negamax evaluation. * @return: The @pos negamax evaluation.
*/ */
/* eval_t negamax(pos_t *pos, int depth, int color)
* eval_t negamax(pos_t *pos, int depth, int color) {
* { move_t *move, *last;
* move_t *move; state_t state;
* pos_t *newpos; eval_t best = EVAL_MIN, score;
* eval_t best = EVAL_MIN, score; movelist_t movelist;
*
* pos->node_count++; pos->node_count++;
* if (depth == 0) { if (depth == 0) {
* moves_gen_all_nomoves(pos); score = eval(pos) * color;
* score = eval(pos) * color; return score;
* return score; }
* } pos_set_checkers_pinners_blockers(pos);
* moves_gen_all(pos); pos_gen_legal(pos, &movelist);
* list_for_each_entry(move, &pos->moves[pos->turn], list) { last = movelist.move + movelist.nmoves;
* newpos = move_do(pos, move); //moves_gen_all(pos);
* score = -negamax(newpos, depth - 1, -color); for (move = movelist.move; move < last; ++move) {
* pos->node_count += newpos->node_count; //list_for_each_entry(move, &pos->moves[pos->turn], list) {
* move->negamax = score; move_do(pos, *move, &state);
* if (score > best) { score = -negamax(pos, depth - 1, -color);
* best = score; pos->node_count += pos->node_count;
* pos->bestmove = move; //move->negamax = score;
* } if (score > best) {
* move_undo(newpos, move); best = score;
* } pos->eval = best;
* return best; }
* } move_undo(pos, *move, &state);
*/ }
return best;
}
/** /**

View File

@@ -16,6 +16,7 @@
#include "position.h" #include "position.h"
bool is_draw(pos_t *pos);
//eval_t negamax(pos_t *pos, int depth, int color); //eval_t negamax(pos_t *pos, int depth, int color);
//eval_t pvs(pos_t *pos, int depth, int alpha, int beta, int color); //eval_t pvs(pos_t *pos, int depth, int alpha, int beta, int color);

View File

@@ -370,7 +370,7 @@ int do_position(pos_t *pos, char *arg)
} }
/* link last position t history */ /* link last position t history */
//hist_pop(); //hist_pop();
hist_link(pos); //hist_link(pos);
return 1; return 1;
} }
@@ -378,8 +378,8 @@ int do_moves(__unused pos_t *pos, char *arg)
{ {
char *saveptr = NULL, *token, check[8]; char *saveptr = NULL, *token, check[8];
move_t move; move_t move;
state_t state;
movelist_t movelist; movelist_t movelist;
saveptr = NULL; saveptr = NULL;
token = strtok_r(arg, " ", &saveptr); token = strtok_r(arg, " ", &saveptr);
while (token) { while (token) {
@@ -395,13 +395,26 @@ int do_moves(__unused pos_t *pos, char *arg)
return 1; return 1;
} }
//printf("move: %s\n", move_to_str(check, move, 0)); //printf("move: %s\n", move_to_str(check, move, 0));
hist_push(&pos->state); /* push previous state */ //hist_push(&pos->state); /* push previous state */
move_do(pos, move, &state); move_do(pos, move, hist_next());
pos_print(pos); printf("repet=%d\n", pos->repcount);
//if (is_repetition(pos))
// printf("rep detected\n");
//else if(is_draw(pos))
// printf("draw detected\n");
hist_static_print(); hist_static_print();
token = strtok_r(NULL, " ", &saveptr); token = strtok_r(NULL, " ", &saveptr);
} }
//hist_static_print(); /* reset position root, and decrease history moves repcounts.
* TODO: Maybe use "ucinewgame" to decide when to perform this decrease ?
*/
pos->plyroot = 0;
for (state_t *st = &pos->state; st != HIST_START; st = hist_prev(st)) {
//printf("adjust rep=%d->\n");
st->repcount = max(0, st->repcount - 1);
}
pos_print(pos);
hist_print(pos);
return 1; return 1;
} }
@@ -429,7 +442,7 @@ int do_perft(__unused pos_t *pos, __unused char *arg)
printf("perft: divide=%d alt=%d depth=%d\n", divide, alt, depth); printf("perft: divide=%d alt=%d depth=%d\n", divide, alt, depth);
if (depth > 0) { if (depth > 0) {
if (!alt) if (!alt)
perft(pos, depth, 1, divide); perft(pos, depth, divide);
else else
perft_alt(pos, depth, 1, divide); perft_alt(pos, depth, 1, divide);
} }
@@ -438,7 +451,7 @@ int do_perft(__unused pos_t *pos, __unused char *arg)
int do_hist(__unused pos_t *pos, __unused char *arg) int do_hist(__unused pos_t *pos, __unused char *arg)
{ {
hist_static_print(); hist_print(pos);
return 0; return 0;
} }

View File

@@ -364,7 +364,7 @@ int main(int ac, char**av)
if (run & 1) { if (run & 1) {
clock_start(&clock); clock_start(&clock);
my_count = perft(pos, depth, 1, divide); my_count = perft(pos, depth, divide);
ms = clock_elapsed_ms(&clock); ms = clock_elapsed_ms(&clock);
if (!ms) { if (!ms) {
res[0].skipped++; res[0].skipped++;