Merge remote-tracking branch 'upstream/master' into HEAD
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 16 Jul 2021 11:25:36 +0000 (13:25 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 16 Jul 2021 11:43:47 +0000 (13:43 +0200)
1  2 
src/Makefile
src/main.cpp
src/misc.cpp
src/position.cpp
src/syzygy/tbprobe.cpp
src/ucioption.cpp

diff --combined src/Makefile
index d7e09c8c682b510872f613c10118b12118b2cea9,1d972cffc281c43dd10a299d806bdc3f15a5206f..e85cba59bac421663c14efe33bde4b60f5b70807
@@@ -31,18 -31,19 +31,22 @@@ PREFIX = /usr/loca
  BINDIR = $(PREFIX)/bin
  
  ### Built-in benchmark for pgo-builds
- PGOBENCH = ./$(EXE) bench
+ ifeq ($(SDE_PATH),)
+       PGOBENCH = ./$(EXE) bench
+ else
+       PGOBENCH = $(SDE_PATH) -- ./$(EXE) bench
+ endif
  
  ### Source and object files
  SRCS = benchmark.cpp bitbase.cpp bitboard.cpp endgame.cpp evaluate.cpp main.cpp \
        material.cpp misc.cpp movegen.cpp movepick.cpp pawns.cpp position.cpp psqt.cpp \
        search.cpp thread.cpp timeman.cpp tt.cpp uci.cpp ucioption.cpp tune.cpp syzygy/tbprobe.cpp \
-       nnue/evaluate_nnue.cpp nnue/features/half_kp.cpp \
 -      nnue/evaluate_nnue.cpp nnue/features/half_ka_v2.cpp
++      nnue/evaluate_nnue.cpp nnue/features/half_ka_v2.cpp \
 +      hashprobe.grpc.pb.cc hashprobe.pb.cc
 +CLISRCS = client.cpp hashprobe.grpc.pb.cc hashprobe.pb.cc uci.cpp
  
  OBJS = $(notdir $(SRCS:.cpp=.o))
 +CLIOBJS = $(notdir $(CLISRCS:.cpp=.o))
  
  VPATH = syzygy:nnue:nnue/features
  
@@@ -60,9 -61,11 +64,11 @@@ endi
  # ----------------------------------------------------------------------------
  #
  # debug = yes/no      --- -DNDEBUG         --- Enable/Disable debug mode
- # sanitize = undefined/thread/no (-fsanitize )
+ # sanitize = none/<sanitizer> ... (-fsanitize )
  #                     --- ( undefined )    --- enable undefined behavior checks
- #                     --- ( thread    )    --- enable threading error  checks
+ #                     --- ( thread    )    --- enable threading error checks
+ #                     --- ( address   )    --- enable memory access checks
+ #                     --- ...etc...        --- see compiler documentation for supported sanitizers
  # optimize = yes/no   --- (-O3/-fast etc.) --- Enable/Disable optimizations
  # arch = (name)       --- (-arch)          --- Target architecture
  # bits = 64/32        --- -DIS_64BIT       --- 64-/32-bit operating system
  # Note that Makefile is space sensitive, so when adding new architectures
  # or modifying existing flags, you have to make sure there are no extra spaces
  # at the end of the line for flag values.
+ #
+ # Example of use for these flags:
+ # make build ARCH=x86-64-avx512 debug=on sanitize="address undefined"
  
  ### 2.1. General and architecture defaults
  
@@@ -95,7 -102,7 +105,7 @@@ endi
  ifeq ($(ARCH), $(filter $(ARCH), \
                   x86-64-vnni512 x86-64-vnni256 x86-64-avx512 x86-64-bmi2 x86-64-avx2 \
                   x86-64-sse41-popcnt x86-64-modern x86-64-ssse3 x86-64-sse3-popcnt \
-                  x86-64 x86-32-sse41-popcnt x86-32-sse2 x86-32 ppc-64 ppc-32 \
+                  x86-64 x86-32-sse41-popcnt x86-32-sse2 x86-32 ppc-64 ppc-32 e2k \
                   armv7 armv7-neon armv8 apple-silicon general-64 general-32))
     SUPPORTED_ARCH=true
  else
@@@ -104,7 -111,7 +114,7 @@@ endi
  
  optimize = yes
  debug = no
- sanitize = no
+ sanitize = none
  bits = 64
  prefetch = no
  popcnt = no
@@@ -290,6 -297,17 +300,17 @@@ ifeq ($(ARCH),ppc-64
        prefetch = yes
  endif
  
+ ifeq ($(findstring e2k,$(ARCH)),e2k)
+       arch = e2k
+       mmx = yes
+       bits = 64
+       sse = yes
+       sse2 = yes
+       ssse3 = yes
+       sse41 = yes
+       popcnt = yes
+ endif
  endif
  
  ### ==========================================================================
@@@ -308,7 -326,7 +329,7 @@@ endi
  ifeq ($(COMP),gcc)
        comp=gcc
        CXX=g++
 -      CXXFLAGS += -pedantic -Wextra -Wshadow
 +      CXXFLAGS += -pedantic -Wextra
  
        ifeq ($(arch),$(filter $(arch),armv7 armv8))
                ifeq ($(OS),Android)
@@@ -368,10 -386,12 +389,12 @@@ ifeq ($(COMP),clang
        ifneq ($(KERNEL),Darwin)
        ifneq ($(KERNEL),OpenBSD)
        ifneq ($(KERNEL),FreeBSD)
+       ifneq ($(RTLIB),compiler-rt)
                LDFLAGS += -latomic
        endif
        endif
        endif
+       endif
  
        ifeq ($(arch),$(filter $(arch),armv7 armv8))
                ifeq ($(OS),Android)
@@@ -461,15 -481,15 +484,15 @@@ els
  endif
  
  ### 3.2.2 Debugging with undefined behavior sanitizers
- ifneq ($(sanitize),no)
-         CXXFLAGS += -g3 -fsanitize=$(sanitize)
-         LDFLAGS += -fsanitize=$(sanitize)
+ ifneq ($(sanitize),none)
+         CXXFLAGS += -g3 $(addprefix -fsanitize=,$(sanitize))
+         LDFLAGS += $(addprefix -fsanitize=,$(sanitize))
  endif
  
  ### 3.3 Optimization
  ifeq ($(optimize),yes)
  
 -      CXXFLAGS += -O3
 +      CXXFLAGS += -O3 -g
  
        ifeq ($(comp),gcc)
                ifeq ($(OS), Android)
@@@ -513,7 -533,6 +536,6 @@@ ifeq ($(popcnt),yes
        endif
  endif
  
  ifeq ($(avx2),yes)
        CXXFLAGS += -DUSE_AVX2
        ifeq ($(comp),$(filter $(comp),gcc clang mingw))
@@@ -681,6 -700,7 +703,7 @@@ help
        @echo "armv7                   > ARMv7 32-bit"
        @echo "armv7-neon              > ARMv7 32-bit with popcnt and neon"
        @echo "armv8                   > ARMv8 64-bit with popcnt and neon"
+       @echo "e2k                     > Elbrus 2000"
        @echo "apple-silicon           > Apple silicon ARM64"
        @echo "general-64              > unspecified 64-bit"
        @echo "general-32              > unspecified 32-bit"
@@@ -781,6 -801,9 +804,9 @@@ profileclean
        @rm -rf profdir
        @rm -f bench.txt *.gcda *.gcno ./syzygy/*.gcda ./nnue/*.gcda ./nnue/features/*.gcda *.s
        @rm -f stockfish.profdata *.profraw
+       @rm -f stockfish.exe.lto_wrapper_args
+       @rm -f stockfish.exe.ltrans.out
+       @rm -f ./-lstdc++.res
  
  default:
        help
  ### Section 5. Private Targets
  ### ==========================================================================
  
 -all: $(EXE) .depend
 +all: $(EXE) client .depend
  
  config-sanity: net
        @echo ""
        @echo "Testing config sanity. If this fails, try 'make help' ..."
        @echo ""
        @test "$(debug)" = "yes" || test "$(debug)" = "no"
-       @test "$(sanitize)" = "undefined" || test "$(sanitize)" = "thread" || test "$(sanitize)" = "address" || test "$(sanitize)" = "no"
        @test "$(optimize)" = "yes" || test "$(optimize)" = "no"
        @test "$(SUPPORTED_ARCH)" = "true"
        @test "$(arch)" = "any" || test "$(arch)" = "x86_64" || test "$(arch)" = "i386" || \
-        test "$(arch)" = "ppc64" || test "$(arch)" = "ppc" || \
+        test "$(arch)" = "ppc64" || test "$(arch)" = "ppc" || test "$(arch)" = "e2k" || \
         test "$(arch)" = "armv7" || test "$(arch)" = "armv8" || test "$(arch)" = "arm64"
        @test "$(bits)" = "32" || test "$(bits)" = "64"
        @test "$(prefetch)" = "yes" || test "$(prefetch)" = "no"
@@@ -863,14 -885,15 +888,15 @@@ clang-profile-use
        all
  
  gcc-profile-make:
+       @mkdir -p profdir
        $(MAKE) ARCH=$(ARCH) COMP=$(COMP) \
-       EXTRACXXFLAGS='-fprofile-generate' \
+       EXTRACXXFLAGS='-fprofile-generate=profdir' \
        EXTRALDFLAGS='-lgcov' \
        all
  
  gcc-profile-use:
        $(MAKE) ARCH=$(ARCH) COMP=$(COMP) \
-       EXTRACXXFLAGS='-fprofile-use -fno-peel-loops -fno-tracer' \
+       EXTRACXXFLAGS='-fprofile-use=profdir -fno-peel-loops -fno-tracer' \
        EXTRALDFLAGS='-lgcov' \
        all
  
@@@ -885,32 -908,6 +911,32 @@@ icc-profile-use
        EXTRACXXFLAGS='-prof_use -prof_dir ./profdir' \
        all
  
- LDFLAGS += /usr/lib/x86_64-linux-gnu/libprotobuf.a /usr/lib/x86_64-linux-gnu/libgrpc++_unsecure.a /usr/lib/x86_64-linux-gnu/libgrpc_unsecure.a /usr/lib/x86_64-linux-gnu/libgrpc.a /usr/lib/x86_64-linux-gnu/libcares.a -ldl -lz
 +### GRPC
 +
 +PROTOS_PATH = .
 +PROTOC = protoc
 +GRPC_CPP_PLUGIN = grpc_cpp_plugin
 +GRPC_CPP_PLUGIN_PATH ?= `which $(GRPC_CPP_PLUGIN)`
 +
 +%.grpc.pb.h %.grpc.pb.cc: %.proto
 +      $(PROTOC) -I $(PROTOS_PATH) --grpc_out=. --plugin=protoc-gen-grpc=$(GRPC_CPP_PLUGIN_PATH) $<
 +
 +# oh my
 +%.cpp: %.cc
 +      cp $< $@
 +
 +%.pb.h %.pb.cc: %.proto
 +      $(PROTOC) -I $(PROTOS_PATH) --cpp_out=. $<
 +
 +#LDFLAGS += -Wl,-Bstatic -Wl,-\( -lprotobuf -lgrpc++_unsecure -lgrpc_unsecure -lgrpc -lz -Wl,-\) -Wl,-Bdynamic -ldl
++LDFLAGS += /usr/lib/x86_64-linux-gnu/libprotobuf.a /usr/lib/x86_64-linux-gnu/libgrpc++_unsecure.a /usr/lib/x86_64-linux-gnu/libgrpc_unsecure.a /usr/lib/x86_64-linux-gnu/libgrpc.a /usr/lib/x86_64-linux-gnu/libcares.a /usr/lib/x86_64-linux-gnu/libgpr.a /usr/lib/x86_64-linux-gnu/libabsl_str_format_internal.a /usr/lib/x86_64-linux-gnu/libabsl_strings.a /usr/lib/x86_64-linux-gnu/libabsl_flags_marshalling.a /usr/lib/x86_64-linux-gnu/libabsl_throw_delegate.a /usr/lib/x86_64-linux-gnu/libabsl_raw_logging_internal.a /usr/lib/x86_64-linux-gnu/libabsl_base.a /usr/lib/x86_64-linux-gnu/libabsl_int128.a /usr/lib/x86_64-linux-gnu/libabsl_bad_optional_access.a -ldl -lz
 +#LDFLAGS += /usr/lib/x86_64-linux-gnu/libprotobuf.a /usr/lib/libgrpc++_unsecure.a /usr/lib/libgrpc_unsecure.a /usr/lib/libgrpc.a /usr/lib/x86_64-linux-gnu/libcares.a -ldl -lz
 +
 +client: $(CLIOBJS)
 +      $(CXX) -o $@ $(CLIOBJS) $(LDFLAGS)
 +
 +# Other stuff
 +
  .depend:
        -@$(CXX) $(DEPENDFLAGS) -MM $(SRCS) > $@ 2> /dev/null
  
diff --combined src/main.cpp
index ab86ca39ef6bf73c07bf0f5d0ae28eaa264d0de2,62e0ed525d709c0cb3e6a21d44571684e702467a..d24891d9e659f7aab9cdd7ecf16390597b54abc9
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
  
 +#include <deque>
  #include <iostream>
 +#include <stack>
 +#include <thread>
  
  #include "bitboard.h"
  #include "endgame.h"
  #include "tt.h"
  #include "uci.h"
  
 +#include <grpc/grpc.h>
 +#include <grpc++/server.h>
 +#include <grpc++/server_builder.h>
 +#include "hashprobe.h"
 +#include "hashprobe.grpc.pb.h"
 +#include "tt.h"
 +
 +using grpc::Server;
 +using grpc::ServerBuilder;
 +using grpc::ServerContext;
 +using grpc::Status;
 +using grpc::StatusCode;
 +using namespace hashprobe;
  using namespace Stockfish;
  
-                               Square s = pop_lsb(&att_copy);
 +Status HashProbeImpl::Probe(ServerContext* context,
 +                            const HashProbeRequest* request,
 +                          HashProbeResponse *response) {
 +      Position pos;
 +      StateInfo st;
 +      pos.set(request->fen(), /*isChess960=*/false, &st, Threads.main());
 +      if (!pos.pos_is_ok()) {
 +              return Status(StatusCode::INVALID_ARGUMENT, "Invalid FEN");
 +      }
 +
 +      bool invert = (pos.side_to_move() == BLACK);
 +      StateListPtr setup_states = StateListPtr(new std::deque<StateInfo>(1));
 +
 +      ProbeMove(&pos, setup_states.get(), invert, response->mutable_root());
 +
 +      MoveList<LEGAL> moves(pos);
 +      for (const ExtMove* em = moves.begin(); em != moves.end(); ++em) {
 +              HashProbeLine *line = response->add_line();
 +              FillMove(&pos, em->move, line->mutable_move());
 +              setup_states->push_back(StateInfo());
 +              pos.do_move(em->move, setup_states->back());
 +              ProbeMove(&pos, setup_states.get(), !invert, line);
 +              pos.undo_move(em->move);
 +      }
 +
 +      return Status::OK;
 +}
 +
 +void HashProbeImpl::FillMove(Position *pos, Move move, HashProbeMove* decoded) {
 +      if (!is_ok(move)) return;
 +
 +      Square from = from_sq(move);
 +      Square to = to_sq(move);
 +
 +      if (type_of(move) == CASTLING) {
 +              to = make_square(to > from ? FILE_G : FILE_C, rank_of(from));
 +      }
 +
 +      Piece moved_piece = pos->moved_piece(move);
 +      std::string pretty;
 +      if (type_of(move) == CASTLING) {
 +              if (to > from) {
 +                      pretty = "O-O";
 +              } else {
 +                      pretty = "O-O-O";
 +              }
 +      } else if (type_of(moved_piece) == PAWN) {
 +              if (type_of(move) == EN_PASSANT || pos->piece_on(to) != NO_PIECE) {
 +                      // Capture.
 +                      pretty = char('a' + file_of(from));
 +                      pretty += "x";
 +              }
 +              pretty += UCI::square(to);
 +              if (type_of(move) == PROMOTION) {
 +                      pretty += "=";
 +                      pretty += " PNBRQK"[promotion_type(move)];
 +              }
 +      } else {
 +              pretty = " PNBRQK"[type_of(moved_piece)];
 +              Bitboard attackers = pos->attackers_to(to) & pos->pieces(color_of(moved_piece), type_of(moved_piece));
 +              if (more_than_one(attackers)) {
 +                      // Remove all illegal moves to disambiguate.
 +                      Bitboard att_copy = attackers;
 +                      while (att_copy) {
++                              Square s = pop_lsb(att_copy);
 +                              Move m = make_move(s, to);
 +                              if (!pos->pseudo_legal(m) || !pos->legal(m)) {
 +                                      attackers &= ~SquareBB[s];
 +                              }
 +                      }
 +              }
 +              if (more_than_one(attackers)) {
 +                      // Disambiguate by file if possible.
 +                      Bitboard attackers_this_file = attackers & file_bb(file_of(from));
 +                      if (attackers != attackers_this_file) {
 +                              pretty += char('a' + file_of(from));
 +                              attackers = attackers_this_file;
 +                      }
 +                      if (more_than_one(attackers)) {
 +                              // Still ambiguous, so need to disambiguate by rank.
 +                              pretty += char('1' + rank_of(from));
 +                      }
 +              }
 +
 +              if (type_of(move) == EN_PASSANT || pos->piece_on(to) != NO_PIECE) {
 +                      pretty += "x";
 +              }
 +
 +              pretty += UCI::square(to);
 +      }
 +
 +      if (pos->gives_check(move)) {
 +              // Check if mate.
 +              StateInfo si;
 +              pos->do_move(move, si, true);
 +              if (MoveList<LEGAL>(*pos).size() > 0) {
 +                      pretty += "+";
 +              } else {
 +                      pretty += "#";
 +              }
 +              pos->undo_move(move);
 +      }
 +
 +      decoded->set_pretty(pretty);
 +}
 +
 +void HashProbeImpl::ProbeMove(Position* pos, std::deque<StateInfo>* setup_states, bool invert, HashProbeLine* response) {
 +      bool found;
 +      TTEntry *entry = TT.probe(pos->key(), found);
 +      response->set_found(found);
 +      if (found) {
 +              Value value = entry->value();
 +              Value eval = entry->eval();
 +              Bound bound = entry->bound();
 +
 +              if (invert) {
 +                      value = -value;
 +                      eval = -eval;
 +                      if (bound == BOUND_UPPER) {
 +                              bound = BOUND_LOWER;
 +                      } else if (bound == BOUND_LOWER) {
 +                              bound = BOUND_UPPER;
 +                      }
 +              }
 +
 +              response->set_depth(entry->depth());
 +              FillValue(eval, response->mutable_eval());
 +              if (entry->depth() > DEPTH_NONE) {
 +                      FillValue(value, response->mutable_value());
 +              }
 +              response->set_bound(HashProbeLine::ValueBound(bound));
 +
 +              // Follow the PV until we hit an illegal move.
 +              std::stack<Move> pv;
 +              std::set<Key> seen;
 +              while (found && is_ok(entry->move()) &&
 +                     pos->pseudo_legal(entry->move()) &&
 +                     pos->legal(entry->move())) {
 +                      FillMove(pos, entry->move(), response->add_pv());
 +                      if (seen.count(pos->key())) break;
 +                      pv.push(entry->move());
 +                      seen.insert(pos->key());
 +                      setup_states->push_back(StateInfo());
 +                      pos->do_move(entry->move(), setup_states->back());
 +                      entry = TT.probe(pos->key(), found);
 +              }
 +
 +              // Unroll the PV back again, so the Position object remains unchanged.
 +              while (!pv.empty()) {
 +                      pos->undo_move(pv.top());
 +                      pv.pop();
 +              }
 +      }
 +}
 +
 +void HashProbeImpl::FillValue(Value value, HashProbeScore* score) {
 +      if (abs(value) < VALUE_MATE - MAX_PLY) {
 +              score->set_score_type(HashProbeScore::SCORE_CP);
 +              score->set_score_cp(value * 100 / PawnValueEg);
 +      } else {
 +              score->set_score_type(HashProbeScore::SCORE_MATE);
 +              score->set_score_mate((value > 0 ? VALUE_MATE - value + 1 : -VALUE_MATE - value) / 2);
 +      }
 +}
 +
 +HashProbeThread::HashProbeThread(const std::string &server_address) {
 +      builder.AddListeningPort(server_address, grpc::InsecureServerCredentials());
 +      builder.RegisterService(&service);
 +      server = std::move(builder.BuildAndStart());
 +      std::cout << "Server listening on " << server_address << std::endl;
 +      std::thread([this]{ server->Wait(); }).detach();
 +}
 +
 +void HashProbeThread::Shutdown() {
 +      server->Shutdown();
 +}
 +
  int main(int argc, char* argv[]) {
  
    std::cout << engine_info() << std::endl;
diff --combined src/misc.cpp
index 81602d71101690f09418990da1c94815e51e3d98,9e7b7e37b8cc99ddb79433033c3b5107f6b7abc6..feaf9b1a5f3f732f2f0fce1f0baf258b43e191eb
@@@ -51,7 -51,7 +51,7 @@@ typedef bool(*fun3_t)(HANDLE, CONST GRO
  #include <sys/mman.h>
  #endif
  
- #if defined(__APPLE__) || defined(__ANDROID__) || defined(__OpenBSD__) || (defined(__GLIBCXX__) && !defined(_GLIBCXX_HAVE_ALIGNED_ALLOC) && !defined(_WIN32))
+ #if defined(__APPLE__) || defined(__ANDROID__) || defined(__OpenBSD__) || (defined(__GLIBCXX__) && !defined(_GLIBCXX_HAVE_ALIGNED_ALLOC) && !defined(_WIN32)) || defined(__e2k__)
  #define POSIXALIGNEDALLOC
  #include <stdlib.h>
  #endif
@@@ -152,7 -152,6 +152,7 @@@ string engine_info(bool to_uci) 
    {
        date >> month >> day >> year;
        ss << setw(2) << day << setw(2) << (1 + months.find(month) / 4) << year.substr(2);
 +      ss << "-asn";
    }
  
    ss << (to_uci  ? "\nid author ": " by ")
@@@ -193,6 -192,18 +193,18 @@@ std::string compiler_info() 
       compiler += "(version ";
       compiler += stringify(_MSC_FULL_VER) "." stringify(_MSC_BUILD);
       compiler += ")";
+   #elif defined(__e2k__) && defined(__LCC__)
+     #define dot_ver2(n) \
+       compiler += (char)'.'; \
+       compiler += (char)('0' + (n) / 10); \
+       compiler += (char)('0' + (n) % 10);
+      compiler += "MCST LCC ";
+      compiler += "(version ";
+      compiler += std::to_string(__LCC__ / 100);
+      dot_ver2(__LCC__ % 100)
+      dot_ver2(__LCC_MINOR__)
+      compiler += ")";
    #elif __GNUC__
       compiler += "g++ (GNUC) ";
       compiler += make_version_string(__GNUC__, __GNUC_MINOR__, __GNUC_PATCHLEVEL__);
@@@ -363,8 -374,12 +375,12 @@@ void std_aligned_free(void* ptr) 
  /// aligned_large_pages_alloc() will return suitably aligned memory, if possible using large pages.
  
  #if defined(_WIN32)
- #if defined(_WIN64)
- static void* aligned_large_pages_alloc_win(size_t allocSize) {
+ static void* aligned_large_pages_alloc_windows(size_t allocSize) {
+   #if !defined(_WIN64)
+     return nullptr;
+   #else
  
    HANDLE hProcessToken { };
    LUID luid { };
    CloseHandle(hProcessToken);
  
    return mem;
+   #endif
  }
- #endif
  
  void* aligned_large_pages_alloc(size_t allocSize) {
  
- #if defined(_WIN64)
    // Try to allocate large pages
-   void* mem = aligned_large_pages_alloc_win(allocSize);
+   void* mem = aligned_large_pages_alloc_windows(allocSize);
  
    // Fall back to regular, page aligned, allocation if necessary
    if (!mem)
        mem = VirtualAlloc(NULL, allocSize, MEM_RESERVE | MEM_COMMIT, PAGE_READWRITE);
- #else
-   void* mem = VirtualAlloc(NULL, allocSize, MEM_RESERVE | MEM_COMMIT, PAGE_READWRITE);
- #endif
  
    return mem;
  }
@@@ -457,8 -469,9 +470,9 @@@ void aligned_large_pages_free(void* mem
    if (mem && !VirtualFree(mem, 0, MEM_RELEASE))
    {
        DWORD err = GetLastError();
-       std::cerr << "Failed to free transposition table. Error code: 0x" <<
-           std::hex << err << std::dec << std::endl;
+       std::cerr << "Failed to free large page memory. Error code: 0x"
+                 << std::hex << err
+                 << std::dec << std::endl;
        exit(EXIT_FAILURE);
    }
  }
diff --combined src/position.cpp
index a2ee64f81cc603e6e4a03dbbfbbc00afeb863aa6,0686d245bc77fe956f3a8e15a7f86360e610c38d..97581e126316ecb79757388fe8ca66701a6b24ea
@@@ -73,13 -73,13 +73,13 @@@ std::ostream& operator<<(std::ostream& 
       << std::setfill(' ') << std::dec << "\nCheckers: ";
  
    for (Bitboard b = pos.checkers(); b; )
-       os << UCI::square(pop_lsb(&b)) << " ";
+       os << UCI::square(pop_lsb(b)) << " ";
  
    if (    int(Tablebases::MaxCardinality) >= popcount(pos.pieces())
        && !pos.can_castle(ANY_CASTLING))
    {
        StateInfo st;
-       ASSERT_ALIGNED(&st, Eval::NNUE::kCacheLineSize);
+       ASSERT_ALIGNED(&st, Eval::NNUE::CacheLineSize);
  
        Position p;
        p.set(pos.fen(), pos.is_chess960(), &st, pos.this_thread());
@@@ -251,8 -251,6 +251,6 @@@ Position& Position::set(const string& f
        set_castling_right(c, rsq);
    }
  
-   set_state(st);
    // 4. En passant square.
    // Ignore if square is invalid or not on side to move relative rank 6.
    bool enpassant = false;
        // a) side to move have a pawn threatening epSquare
        // b) there is an enemy pawn in front of epSquare
        // c) there is no piece on epSquare or behind epSquare
-       // d) enemy pawn didn't block a check of its own color by moving forward
        enpassant = pawn_attacks_bb(~sideToMove, st->epSquare) & pieces(sideToMove, PAWN)
                 && (pieces(~sideToMove, PAWN) & (st->epSquare + pawn_push(~sideToMove)))
-                && !(pieces() & (st->epSquare | (st->epSquare + pawn_push(sideToMove))))
-                && (   file_of(square<KING>(sideToMove)) == file_of(st->epSquare)
-                    || !(blockers_for_king(sideToMove) & (st->epSquare + pawn_push(~sideToMove))));
+                && !(pieces() & (st->epSquare | (st->epSquare + pawn_push(sideToMove))));
    }
  
-   // It's necessary for st->previous to be intialized in this way because legality check relies on its existence
-   if (enpassant) {
-       st->previous = new StateInfo();
-       remove_piece(st->epSquare - pawn_push(sideToMove));
-       st->previous->checkersBB = attackers_to(square<KING>(~sideToMove)) & pieces(sideToMove);
-       st->previous->blockersForKing[WHITE] = slider_blockers(pieces(BLACK), square<KING>(WHITE), st->previous->pinners[BLACK]);
-       st->previous->blockersForKing[BLACK] = slider_blockers(pieces(WHITE), square<KING>(BLACK), st->previous->pinners[WHITE]);
-       put_piece(make_piece(~sideToMove, PAWN), st->epSquare - pawn_push(sideToMove));
-   }
-   else
+   if (!enpassant)
        st->epSquare = SQ_NONE;
  
    // 5-6. Halfmove clock and fullmove number
  
    chess960 = isChess960;
    thisThread = th;
-   st->accumulator.state[WHITE] = Eval::NNUE::INIT;
-   st->accumulator.state[BLACK] = Eval::NNUE::INIT;
+   set_state(st);
  
 -  assert(pos_is_ok());
 -
    return *this;
  }
  
@@@ -318,7 -305,7 +303,7 @@@ void Position::set_castling_right(Colo
    Square kto = relative_square(c, cr & KING_SIDE ? SQ_G1 : SQ_C1);
    Square rto = relative_square(c, cr & KING_SIDE ? SQ_F1 : SQ_D1);
  
-   castlingPath[cr] =   (between_bb(rfrom, rto) | between_bb(kfrom, kto) | rto | kto)
+   castlingPath[cr] =   (between_bb(rfrom, rto) | between_bb(kfrom, kto))
                      & ~(kfrom | rfrom);
  }
  
@@@ -357,7 -344,7 +342,7 @@@ void Position::set_state(StateInfo* si
  
    for (Bitboard b = pieces(); b; )
    {
-       Square s = pop_lsb(&b);
+       Square s = pop_lsb(b);
        Piece pc = piece_on(s);
        si->key ^= Zobrist::psq[pc][s];
  
@@@ -474,7 -461,7 +459,7 @@@ Bitboard Position::slider_blockers(Bitb
  
    while (snipers)
    {
-     Square sniperSq = pop_lsb(&snipers);
+     Square sniperSq = pop_lsb(snipers);
      Bitboard b = between_bb(s, sniperSq) & occupancy;
  
      if (b && !more_than_one(b))
@@@ -515,11 -502,23 +500,23 @@@ bool Position::legal(Move m) const 
    assert(color_of(moved_piece(m)) == us);
    assert(piece_on(square<KING>(us)) == make_piece(us, KING));
  
-   // st->previous->blockersForKing consider capsq as empty.
-   // If pinned, it has to move along the king ray.
+   // En passant captures are a tricky special case. Because they are rather
+   // uncommon, we do it simply by testing whether the king is attacked after
+   // the move is made.
    if (type_of(m) == EN_PASSANT)
-       return   !(st->previous->blockersForKing[sideToMove] & from)
-             || aligned(from, to, square<KING>(us));
+   {
+       Square ksq = square<KING>(us);
+       Square capsq = to - pawn_push(us);
+       Bitboard occupied = (pieces() ^ from ^ capsq) | to;
+       assert(to == ep_square());
+       assert(moved_piece(m) == make_piece(us, PAWN));
+       assert(piece_on(capsq) == make_piece(~us, PAWN));
+       assert(piece_on(to) == NO_PIECE);
+       return   !(attacks_bb<  ROOK>(ksq, occupied) & pieces(~us, QUEEN, ROOK))
+             && !(attacks_bb<BISHOP>(ksq, occupied) & pieces(~us, QUEEN, BISHOP));
+   }
  
    // Castling moves generation does not check if the castling path is clear of
    // enemy attacks, it is delayed at a later time: now!
    // If the moving piece is a king, check whether the destination square is
    // attacked by the opponent.
    if (type_of(piece_on(from)) == KING)
-       return !(attackers_to(to) & pieces(~us));
+       return !(attackers_to(to, pieces() ^ from) & pieces(~us));
  
    // A non-king move is legal if and only if it is not pinned or it
    // is moving along the ray towards or away from the king.
@@@ -611,8 -610,8 +608,8 @@@ bool Position::pseudo_legal(const Move 
            if (more_than_one(checkers()))
                return false;
  
-           // Our move must be a blocking evasion or a capture of the checking piece
-           if (!((between_bb(lsb(checkers()), square<KING>(us)) | checkers()) & to))
+           // Our move must be a blocking interposition or a capture of the checking piece
+           if (!(between_bb(square<KING>(us), lsb(checkers())) & to))
                return false;
        }
        // In case of king moves under check we have to remove king so as to catch
@@@ -652,15 -651,18 +649,18 @@@ bool Position::gives_check(Move m) cons
    case PROMOTION:
        return attacks_bb(promotion_type(m), to, pieces() ^ from) & square<KING>(~sideToMove);
  
-   // The double-pushed pawn blocked a check? En Passant will remove the blocker.
-   // The only discovery check that wasn't handle is through capsq and fromsq
-   // So the King must be in the same rank as fromsq to consider this possibility.
-   // st->previous->blockersForKing consider capsq as empty.
+   // En passant capture with check? We have already handled the case
+   // of direct checks and ordinary discovered check, so the only case we
+   // need to handle is the unusual case of a discovered check through
+   // the captured pawn.
    case EN_PASSANT:
-       return st->previous->checkersBB
-           || (   rank_of(square<KING>(~sideToMove)) == rank_of(from)
-               && st->previous->blockersForKing[~sideToMove] & from);
+   {
+       Square capsq = make_square(file_of(to), rank_of(from));
+       Bitboard b = (pieces() ^ from ^ capsq) | to;
  
+       return  (attacks_bb<  ROOK>(square<KING>(~sideToMove), b) & pieces(sideToMove, QUEEN, ROOK))
+             | (attacks_bb<BISHOP>(square<KING>(~sideToMove), b) & pieces(sideToMove, QUEEN, BISHOP));
+   }
    default: //CASTLING
    {
        // Castling is encoded as 'king captures the rook'
@@@ -700,8 -702,8 +700,8 @@@ void Position::do_move(Move m, StateInf
    ++st->pliesFromNull;
  
    // Used by NNUE
-   st->accumulator.state[WHITE] = Eval::NNUE::EMPTY;
-   st->accumulator.state[BLACK] = Eval::NNUE::EMPTY;
+   st->accumulator.computed[WHITE] = false;
+   st->accumulator.computed[BLACK] = false;
    auto& dp = st->dirtyPiece;
    dp.dirty_num = 1;
  
@@@ -986,7 -988,7 +986,7 @@@ void Position::do_castling(Color us, Sq
  }
  
  
- /// Position::do(undo)_null_move() is used to do(undo) a "null move": it flips
+ /// Position::do_null_move() is used to do a "null move": it flips
  /// the side to move without executing any move on the board.
  
  void Position::do_null_move(StateInfo& newSt) {
  
    st->dirtyPiece.dirty_num = 0;
    st->dirtyPiece.piece[0] = NO_PIECE; // Avoid checks in UpdateAccumulator()
-   st->accumulator.state[WHITE] = Eval::NNUE::EMPTY;
-   st->accumulator.state[BLACK] = Eval::NNUE::EMPTY;
+   st->accumulator.computed[WHITE] = false;
+   st->accumulator.computed[BLACK] = false;
  
    if (st->epSquare != SQ_NONE)
    {
    assert(pos_is_ok());
  }
  
+ /// Position::undo_null_move() must be used to undo a "null move"
  void Position::undo_null_move() {
  
    assert(!checkers());
@@@ -1075,8 -1080,9 +1078,9 @@@ bool Position::see_ge(Move m, Value thr
    if (swap <= 0)
        return true;
  
+   assert(color_of(piece_on(from)) == sideToMove);
    Bitboard occupied = pieces() ^ from ^ to;
-   Color stm = color_of(piece_on(from));
+   Color stm = sideToMove;
    Bitboard attackers = attackers_to(to, occupied);
    Bitboard stmAttackers, bb;
    int res = 1;
        if (!(stmAttackers = attackers & pieces(stm)))
            break;
  
-       // Don't allow pinned pieces to attack (except the king) as long as
-       // there are pinners on their original square.
+       // Don't allow pinned pieces to attack as long as there are
+       // pinners on their original square.
        if (pinners(~stm) & occupied)
            stmAttackers &= ~blockers_for_king(stm);
  
            if ((swap = PawnValueMg - swap) < res)
                break;
  
-           occupied ^= lsb(bb);
+           occupied ^= least_significant_square_bb(bb);
            attackers |= attacks_bb<BISHOP>(to, occupied) & pieces(BISHOP, QUEEN);
        }
  
            if ((swap = KnightValueMg - swap) < res)
                break;
  
-           occupied ^= lsb(bb);
+           occupied ^= least_significant_square_bb(bb);
        }
  
        else if ((bb = stmAttackers & pieces(BISHOP)))
            if ((swap = BishopValueMg - swap) < res)
                break;
  
-           occupied ^= lsb(bb);
+           occupied ^= least_significant_square_bb(bb);
            attackers |= attacks_bb<BISHOP>(to, occupied) & pieces(BISHOP, QUEEN);
        }
  
            if ((swap = RookValueMg - swap) < res)
                break;
  
-           occupied ^= lsb(bb);
+           occupied ^= least_significant_square_bb(bb);
            attackers |= attacks_bb<ROOK>(to, occupied) & pieces(ROOK, QUEEN);
        }
  
            if ((swap = QueenValueMg - swap) < res)
                break;
  
-           occupied ^= lsb(bb);
+           occupied ^= least_significant_square_bb(bb);
            attackers |=  (attacks_bb<BISHOP>(to, occupied) & pieces(BISHOP, QUEEN))
                        | (attacks_bb<ROOK  >(to, occupied) & pieces(ROOK  , QUEEN));
        }
@@@ -1216,7 -1222,7 +1220,7 @@@ bool Position::has_game_cycle(int ply) 
            Square s1 = from_sq(move);
            Square s2 = to_sq(move);
  
-           if (!(between_bb(s1, s2) & pieces()))
+           if (!((between_bb(s1, s2) ^ s2) & pieces()))
            {
                if (ply > i)
                    return true;
@@@ -1313,7 -1319,7 +1317,7 @@@ bool Position::pos_is_ok() const 
                assert(0 && "pos_is_ok: Bitboards");
  
    StateInfo si = *st;
-   ASSERT_ALIGNED(&si, Eval::NNUE::kCacheLineSize);
+   ASSERT_ALIGNED(&si, Eval::NNUE::CacheLineSize);
  
    set_state(&si);
    if (std::memcmp(&si, st, sizeof(StateInfo)))
diff --combined src/syzygy/tbprobe.cpp
index c0cd04c1d4d8bd8f30607b616ae02363cb84da69,96b2970f245537d16812fc2e9c35b27469aed86c..887160c7cfa3081b5ff8f521dcf755e2fac31363
@@@ -76,7 -76,7 +76,7 @@@ int MapB1H1H7[SQUARE_NB]
  int MapA1D1D4[SQUARE_NB];
  int MapKK[10][SQUARE_NB]; // [MapA1D1D4][SQUARE_NB]
  
 -int Binomial[6][SQUARE_NB];    // [k][n] k elements from a set of n elements
 +int Binomial[7][SQUARE_NB];    // [k][n] k elements from a set of n elements
  int LeadPawnIdx[6][SQUARE_NB]; // [leadPawnsCnt][SQUARE_NB]
  int LeadPawnsSize[6][4];       // [leadPawnsCnt][FILE_A..FILE_D]
  
@@@ -105,9 -105,6 +105,6 @@@ template<> inline void swap_endian<uint
  
  template<typename T, int LE> T number(void* addr)
  {
-     static const union { uint32_t i; char c[4]; } Le = { 0x01020304 };
-     static const bool IsLittleEndian = (Le.c[0] == 4);
      T v;
  
      if ((uintptr_t)addr & (alignof(T) - 1)) // Unaligned pointer (very rare)
@@@ -192,7 -189,8 +189,8 @@@ public
          std::stringstream ss(Paths);
          std::string path;
  
-         while (std::getline(ss, path, SepChar)) {
+         while (std::getline(ss, path, SepChar))
+         {
              fname = path + "/" + f;
              std::ifstream::open(fname);
              if (is_open())
@@@ -567,7 -565,8 +565,8 @@@ int decompress_pairs(PairsData* d, uint
      int buf64Size = 64;
      Sym sym;
  
-     while (true) {
+     while (true)
+     {
          int len = 0; // This is the symbol length - d->min_sym_len
  
          // Now get the symbol length. For any symbol s64 of length l right-padded
      // We binary-search for our value recursively expanding into the left and
      // right child symbols until we reach a leaf node where symlen[sym] + 1 == 1
      // that will store the value we need.
-     while (d->symlen[sym]) {
+     while (d->symlen[sym])
+     {
          Sym left = d->btree[sym].get<LR::Left>();
  
          // If a symbol contains 36 sub-symbols (d->symlen[sym] + 1 = 36) and
@@@ -711,7 -710,7 +710,7 @@@ Ret do_probe_table(const Position& pos
  
          leadPawns = b = pos.pieces(color_of(pc), PAWN);
          do
-             squares[size++] = pop_lsb(&b) ^ flipSquares;
+             squares[size++] = pop_lsb(b) ^ flipSquares;
          while (b);
  
          leadPawnsCnt = size;
      // directly map them to the correct color and square.
      b = pos.pieces() ^ leadPawns;
      do {
-         Square s = pop_lsb(&b);
+         Square s = pop_lsb(b);
          squares[size] = s ^ flipSquares;
          pieces[size++] = Piece(pos.piece_on(s) ^ flipColor);
      } while (b);
@@@ -1323,7 -1322,7 +1322,7 @@@ void Tablebases::init(const std::string
      Binomial[0][0] = 1;
  
      for (int n = 1; n < 64; n++) // Squares
 -        for (int k = 0; k < 6 && k <= n; ++k) // Pieces
 +        for (int k = 0; k < 7 && k <= n; ++k) // Pieces
              Binomial[k][n] =  (k > 0 ? Binomial[k - 1][n - 1] : 0)
                              + (k < n ? Binomial[k    ][n - 1] : 0);
  
@@@ -1537,6 -1536,14 +1536,14 @@@ bool Tablebases::root_probe(Position& p
              WDLScore wdl = -probe_wdl(pos, &result);
              dtz = dtz_before_zeroing(wdl);
          }
+         else if (pos.is_draw(1))
+         {
+             // In case a root move leads to a draw by repetition or
+             // 50-move rule, we set dtz to zero. Note: since we are
+             // only 1 ply from the root, this must be a true 3-fold
+             // repetition inside the game history.
+             dtz = 0;
+         }
          else
          {
              // Otherwise, take dtz for the new position and correct by 1 ply
@@@ -1587,6 -1594,7 +1594,7 @@@ bool Tablebases::root_probe_wdl(Positio
  
      ProbeState result;
      StateInfo st;
+     WDLScore wdl;
  
      bool rule50 = Options["Syzygy50MoveRule"];
  
      {
          pos.do_move(m.pv[0], st);
  
-         WDLScore wdl = -probe_wdl(pos, &result);
+         if (pos.is_draw(1))
+             wdl = WDLDraw;
+         else
+             wdl = -probe_wdl(pos, &result);
  
          pos.undo_move(m.pv[0]);
  
diff --combined src/ucioption.cpp
index 5889ef6bd80e7d5ab8e69cddb1c6df0678404f8a,07b3027da707e11f239724f31576306efd40f289..a63db9e4cb772c04e33bae3856f7ee06e8196b46
@@@ -27,7 -27,6 +27,7 @@@
  #include "thread.h"
  #include "tt.h"
  #include "uci.h"
 +#include "hashprobe.h"
  #include "syzygy/tbprobe.h"
  
  using std::string;
@@@ -35,7 -34,6 +35,7 @@@
  namespace Stockfish {
  
  UCI::OptionsMap Options; // Global object
 +std::unique_ptr<HashProbeThread> hash_probe_thread;
  
  namespace UCI {
  
@@@ -47,13 -45,6 +47,13 @@@ void on_threads(const Option& o) { Thre
  void on_tb_path(const Option& o) { Tablebases::init(o); }
  void on_use_NNUE(const Option& ) { Eval::NNUE::init(); }
  void on_eval_file(const Option& ) { Eval::NNUE::init(); }
 +void on_rpc_server_address(const Option& o) {
 +      if (hash_probe_thread) {
 +              hash_probe_thread->Shutdown();
 +      }
 +      std::string addr = o;
 +      hash_probe_thread.reset(new HashProbeThread(addr));
 +}
  
  /// Our case insensitive less() function as required by UCI protocol
  bool CaseInsensitiveLess::operator() (const string& s1, const string& s2) const {
@@@ -70,8 -61,6 +70,6 @@@ void init(OptionsMap& o) 
    constexpr int MaxHashMB = Is64Bit ? 33554432 : 2048;
  
    o["Debug Log File"]        << Option("", on_logger);
-   o["Contempt"]              << Option(24, -100, 100);
-   o["Analysis Contempt"]     << Option("Both var Off var White var Black var Both", "Both");
    o["Threads"]               << Option(1, 1, 512, on_threads);
    o["Hash"]                  << Option(16, 1, MaxHashMB, on_hash_size);
    o["Clear Hash"]            << Option(on_clear_hash);
@@@ -92,7 -81,6 +90,7 @@@
    o["SyzygyProbeLimit"]      << Option(7, 0, 7);
    o["Use NNUE"]              << Option(true, on_use_NNUE);
    o["EvalFile"]              << Option(EvalFileDefaultName, on_eval_file);
 +  o["RPCServerAddress"]      << Option("<empty>", on_rpc_server_address);
  }