const int PushClose[8] = { 0, 0, 100, 80, 60, 40, 20, 10 };
const int PushAway [8] = { 0, 5, 20, 40, 60, 80, 90, 100 };
+#ifndef NDEBUG
+ bool verify_material(const Position& pos, Color c, Value npm, int num_pawns) {
+ return pos.non_pawn_material(c) == npm && pos.count<PAWN>(c) == num_pawns;
+ }
+#endif
+
// Get the material key of a Position out of the given endgame key code
// like "KBPKN". The trick here is to first forge an ad-hoc fen string
// and then let a Position object to do the work for us. Note that the
template<>
Value Endgame<KXK>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(weakerSide) == VALUE_ZERO);
- assert(!pos.count<PAWN>(weakerSide));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 0));
assert(!pos.checkers()); // Eval is never called when in check
// Stalemate detection with lone king
Square loserKSq = pos.king_square(weakerSide);
Value result = pos.non_pawn_material(strongerSide)
- + pos.count<PAWN>(strongerSide) * PawnValueEg
- + PushToEdges[loserKSq]
- + PushClose[square_distance(winnerKSq, loserKSq)];
+ + pos.count<PAWN>(strongerSide) * PawnValueEg
+ + PushToEdges[loserKSq]
+ + PushClose[square_distance(winnerKSq, loserKSq)];
if ( pos.count<QUEEN>(strongerSide)
|| pos.count<ROOK>(strongerSide)
template<>
Value Endgame<KBNK>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == KnightValueMg + BishopValueMg);
- assert(pos.non_pawn_material(weakerSide) == VALUE_ZERO);
- assert(pos.count<BISHOP>(strongerSide) == 1);
- assert(pos.count<KNIGHT>(strongerSide) == 1);
- assert(pos.count< PAWN>(strongerSide) == 0);
- assert(pos.count< PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, KnightValueMg + BishopValueMg, 0));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 0));
Square winnerKSq = pos.king_square(strongerSide);
Square loserKSq = pos.king_square(weakerSide);
template<>
Value Endgame<KPK>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == VALUE_ZERO);
- assert(pos.non_pawn_material(weakerSide) == VALUE_ZERO);
- assert(pos.count<PAWN>(strongerSide) == 1);
- assert(pos.count<PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, VALUE_ZERO, 1));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 0));
Square wksq = pos.king_square(strongerSide);
Square bksq = pos.king_square(weakerSide);
template<>
Value Endgame<KRKP>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == RookValueMg);
- assert(pos.non_pawn_material(weakerSide) == 0);
- assert(pos.count<PAWN>(strongerSide) == 0);
- assert(pos.count<PAWN>(weakerSide ) == 1);
+ assert(verify_material(pos, strongerSide, RookValueMg, 0));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 1));
Square wksq = pos.king_square(strongerSide);
Square bksq = pos.king_square(weakerSide);
template<>
Value Endgame<KRKB>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == RookValueMg);
- assert(pos.non_pawn_material(weakerSide ) == BishopValueMg);
- assert(pos.count<BISHOP>(weakerSide ) == 1);
- assert(pos.count< PAWN>(weakerSide ) == 0);
- assert(pos.count< PAWN>(strongerSide) == 0);
+ assert(verify_material(pos, strongerSide, RookValueMg, 0));
+ assert(verify_material(pos, weakerSide, BishopValueMg, 0));
Value result = Value(PushToEdges[pos.king_square(weakerSide)]);
return strongerSide == pos.side_to_move() ? result : -result;
template<>
Value Endgame<KRKN>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == RookValueMg);
- assert(pos.non_pawn_material(weakerSide ) == KnightValueMg);
- assert(pos.count<KNIGHT>(weakerSide ) == 1);
- assert(pos.count< PAWN>(weakerSide ) == 0);
- assert(pos.count< PAWN>(strongerSide) == 0);
+ assert(verify_material(pos, strongerSide, RookValueMg, 0));
+ assert(verify_material(pos, weakerSide, KnightValueMg, 0));
Square bksq = pos.king_square(weakerSide);
Square bnsq = pos.list<KNIGHT>(weakerSide)[0];
template<>
Value Endgame<KQKP>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == QueenValueMg);
- assert(pos.non_pawn_material(weakerSide ) == VALUE_ZERO);
- assert(pos.count<PAWN>(strongerSide) == 0);
- assert(pos.count<PAWN>(weakerSide ) == 1);
+ assert(verify_material(pos, strongerSide, QueenValueMg, 0));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 1));
Square winnerKSq = pos.king_square(strongerSide);
Square loserKSq = pos.king_square(weakerSide);
template<>
Value Endgame<KQKR>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == QueenValueMg);
- assert(pos.non_pawn_material(weakerSide ) == RookValueMg);
- assert(pos.count<PAWN>(strongerSide) == 0);
- assert(pos.count<PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, QueenValueMg, 0));
+ assert(verify_material(pos, weakerSide, RookValueMg, 0));
Square winnerKSq = pos.king_square(strongerSide);
Square loserKSq = pos.king_square(weakerSide);
template<>
Value Endgame<KBBKN>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == 2 * BishopValueMg);
- assert(pos.non_pawn_material(weakerSide ) == KnightValueMg);
- assert(pos.count<BISHOP>(strongerSide) == 2);
- assert(pos.count<KNIGHT>(weakerSide ) == 1);
- assert(!pos.pieces(PAWN));
+ assert(verify_material(pos, strongerSide, 2 * BishopValueMg, 0));
+ assert(verify_material(pos, weakerSide, KnightValueMg, 0));
Square winnerKSq = pos.king_square(strongerSide);
Square loserKSq = pos.king_square(weakerSide);
ScaleFactor Endgame<KBPsK>::operator()(const Position& pos) const {
assert(pos.non_pawn_material(strongerSide) == BishopValueMg);
- assert(pos.count<BISHOP>(strongerSide) == 1);
- assert(pos.count< PAWN>(strongerSide) >= 1);
+ assert(pos.count<PAWN>(strongerSide) >= 1);
// No assertions about the material of weakerSide, because we want draws to
// be detected even when the weaker side has some pawns.
template<>
ScaleFactor Endgame<KQKRPs>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == QueenValueMg);
- assert(pos.count<QUEEN>(strongerSide) == 1);
- assert(pos.count< PAWN>(strongerSide) == 0);
- assert(pos.count< ROOK>(weakerSide ) == 1);
- assert(pos.count< PAWN>(weakerSide ) >= 1);
+ assert(verify_material(pos, strongerSide, QueenValueMg, 0));
+ assert(pos.count<ROOK>(weakerSide) == 1);
+ assert(pos.count<PAWN>(weakerSide) >= 1);
Square kingSq = pos.king_square(weakerSide);
Square rsq = pos.list<ROOK>(weakerSide)[0];
template<>
ScaleFactor Endgame<KRPKR>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == RookValueMg);
- assert(pos.non_pawn_material(weakerSide) == RookValueMg);
- assert(pos.count<PAWN>(strongerSide) == 1);
- assert(pos.count<PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, RookValueMg, 1));
+ assert(verify_material(pos, weakerSide, RookValueMg, 0));
Square wksq = pos.king_square(strongerSide);
Square bksq = pos.king_square(weakerSide);
template<>
ScaleFactor Endgame<KRPKB>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == RookValueMg);
- assert(pos.non_pawn_material(weakerSide) == BishopValueMg);
- assert(pos.count<PAWN>(strongerSide) == 1);
- assert(pos.count<PAWN>(weakerSide) == 0);
+ assert(verify_material(pos, strongerSide, RookValueMg, 1));
+ assert(verify_material(pos, weakerSide, BishopValueMg, 0));
// Test for a rook pawn
if (pos.pieces(PAWN) & (FileABB | FileHBB))
template<>
ScaleFactor Endgame<KRPPKRP>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == RookValueMg);
- assert(pos.non_pawn_material(weakerSide) == RookValueMg);
- assert(pos.count<PAWN>(strongerSide) == 2);
- assert(pos.count<PAWN>(weakerSide ) == 1);
+ assert(verify_material(pos, strongerSide, RookValueMg, 2));
+ assert(verify_material(pos, weakerSide, RookValueMg, 1));
Square wpsq1 = pos.list<PAWN>(strongerSide)[0];
Square wpsq2 = pos.list<PAWN>(strongerSide)[1];
ScaleFactor Endgame<KPsK>::operator()(const Position& pos) const {
assert(pos.non_pawn_material(strongerSide) == VALUE_ZERO);
- assert(pos.non_pawn_material(weakerSide) == VALUE_ZERO);
assert(pos.count<PAWN>(strongerSide) >= 2);
- assert(pos.count<PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 0));
Square ksq = pos.king_square(weakerSide);
Bitboard pawns = pos.pieces(strongerSide, PAWN);
template<>
ScaleFactor Endgame<KBPKB>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == BishopValueMg);
- assert(pos.non_pawn_material(weakerSide ) == BishopValueMg);
- assert(pos.count<BISHOP>(strongerSide) == 1);
- assert(pos.count<BISHOP>(weakerSide ) == 1);
- assert(pos.count< PAWN>(strongerSide) == 1);
- assert(pos.count< PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, BishopValueMg, 1));
+ assert(verify_material(pos, weakerSide, BishopValueMg, 0));
Square pawnSq = pos.list<PAWN>(strongerSide)[0];
Square strongerBishopSq = pos.list<BISHOP>(strongerSide)[0];
template<>
ScaleFactor Endgame<KBPPKB>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == BishopValueMg);
- assert(pos.non_pawn_material(weakerSide ) == BishopValueMg);
- assert(pos.count<BISHOP>(strongerSide) == 1);
- assert(pos.count<BISHOP>(weakerSide ) == 1);
- assert(pos.count< PAWN>(strongerSide) == 2);
- assert(pos.count< PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, BishopValueMg, 2));
+ assert(verify_material(pos, weakerSide, BishopValueMg, 0));
Square wbsq = pos.list<BISHOP>(strongerSide)[0];
Square bbsq = pos.list<BISHOP>(weakerSide)[0];
template<>
ScaleFactor Endgame<KBPKN>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == BishopValueMg);
- assert(pos.non_pawn_material(weakerSide ) == KnightValueMg);
- assert(pos.count<BISHOP>(strongerSide) == 1);
- assert(pos.count<KNIGHT>(weakerSide ) == 1);
- assert(pos.count< PAWN>(strongerSide) == 1);
- assert(pos.count< PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, BishopValueMg, 1));
+ assert(verify_material(pos, weakerSide, KnightValueMg, 0));
Square pawnSq = pos.list<PAWN>(strongerSide)[0];
Square strongerBishopSq = pos.list<BISHOP>(strongerSide)[0];
template<>
ScaleFactor Endgame<KNPK>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == KnightValueMg);
- assert(pos.non_pawn_material(weakerSide ) == VALUE_ZERO);
- assert(pos.count<KNIGHT>(strongerSide) == 1);
- assert(pos.count< PAWN>(strongerSide) == 1);
- assert(pos.count< PAWN>(weakerSide ) == 0);
+ assert(verify_material(pos, strongerSide, KnightValueMg, 1));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 0));
Square pawnSq = pos.list<PAWN>(strongerSide)[0];
Square weakerKingSq = pos.king_square(weakerSide);
template<>
ScaleFactor Endgame<KPKP>::operator()(const Position& pos) const {
- assert(pos.non_pawn_material(strongerSide) == VALUE_ZERO);
- assert(pos.non_pawn_material(weakerSide ) == VALUE_ZERO);
- assert(pos.count<PAWN>(WHITE) == 1);
- assert(pos.count<PAWN>(BLACK) == 1);
+ assert(verify_material(pos, strongerSide, VALUE_ZERO, 1));
+ assert(verify_material(pos, weakerSide, VALUE_ZERO, 1));
Square wksq = pos.king_square(strongerSide);
Square bksq = pos.king_square(weakerSide);