Wed, 29 Aug 2018 14:01:41 +0200
PGN output now correctly breaks after black has also moved
universe@19 | 1 | /* |
universe@19 | 2 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER. |
universe@19 | 3 | * |
universe@55 | 4 | * Copyright 2016 Mike Becker. All rights reserved. |
universe@19 | 5 | * |
universe@19 | 6 | * Redistribution and use in source and binary forms, with or without |
universe@19 | 7 | * modification, are permitted provided that the following conditions are met: |
universe@19 | 8 | * |
universe@19 | 9 | * 1. Redistributions of source code must retain the above copyright |
universe@19 | 10 | * notice, this list of conditions and the following disclaimer. |
universe@19 | 11 | * |
universe@19 | 12 | * 2. Redistributions in binary form must reproduce the above copyright |
universe@19 | 13 | * notice, this list of conditions and the following disclaimer in the |
universe@19 | 14 | * documentation and/or other materials provided with the distribution. |
universe@19 | 15 | * |
universe@19 | 16 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
universe@19 | 17 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
universe@19 | 18 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
universe@19 | 19 | * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE |
universe@19 | 20 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
universe@19 | 21 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
universe@19 | 22 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
universe@19 | 23 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
universe@19 | 24 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
universe@19 | 25 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
universe@19 | 26 | * POSSIBILITY OF SUCH DAMAGE. |
universe@19 | 27 | * |
universe@19 | 28 | */ |
universe@19 | 29 | |
universe@19 | 30 | #include "rules.h" |
universe@19 | 31 | #include "chess.h" |
universe@19 | 32 | #include <string.h> |
universe@23 | 33 | #include <stdlib.h> |
universe@36 | 34 | #include <sys/time.h> |
universe@23 | 35 | |
universe@48 | 36 | static GameState gamestate_copy_sim(GameState *gamestate) { |
universe@48 | 37 | GameState simulation = *gamestate; |
universe@48 | 38 | if (simulation.lastmove) { |
universe@48 | 39 | MoveList *lastmovecopy = malloc(sizeof(MoveList)); |
universe@48 | 40 | *lastmovecopy = *(simulation.lastmove); |
universe@48 | 41 | simulation.movelist = simulation.lastmove = lastmovecopy; |
universe@48 | 42 | } |
universe@51 | 43 | |
universe@48 | 44 | return simulation; |
universe@48 | 45 | } |
universe@48 | 46 | |
universe@50 | 47 | void gamestate_init(GameState *gamestate) { |
universe@50 | 48 | memset(gamestate, 0, sizeof(GameState)); |
universe@50 | 49 | |
universe@50 | 50 | Board initboard = { |
universe@50 | 51 | {WROOK, WKNIGHT, WBISHOP, WQUEEN, WKING, WBISHOP, WKNIGHT, WROOK}, |
universe@50 | 52 | {WPAWN, WPAWN, WPAWN, WPAWN, WPAWN, WPAWN, WPAWN, WPAWN}, |
universe@50 | 53 | {0, 0, 0, 0, 0, 0, 0, 0}, |
universe@50 | 54 | {0, 0, 0, 0, 0, 0, 0, 0}, |
universe@50 | 55 | {0, 0, 0, 0, 0, 0, 0, 0}, |
universe@50 | 56 | {0, 0, 0, 0, 0, 0, 0, 0}, |
universe@50 | 57 | {BPAWN, BPAWN, BPAWN, BPAWN, BPAWN, BPAWN, BPAWN, BPAWN}, |
universe@50 | 58 | {BROOK, BKNIGHT, BBISHOP, BQUEEN, BKING, BBISHOP, BKNIGHT, BROOK} |
universe@50 | 59 | }; |
universe@50 | 60 | memcpy(gamestate->board, initboard, sizeof(Board)); |
universe@50 | 61 | } |
universe@50 | 62 | |
universe@23 | 63 | void gamestate_cleanup(GameState *gamestate) { |
universe@23 | 64 | MoveList *elem; |
universe@23 | 65 | elem = gamestate->movelist; |
universe@23 | 66 | while (elem) { |
universe@23 | 67 | MoveList *cur = elem; |
universe@23 | 68 | elem = elem->next; |
universe@23 | 69 | free(cur); |
universe@23 | 70 | }; |
universe@23 | 71 | } |
universe@23 | 72 | |
universe@49 | 73 | /* MUST be called IMMEDIATLY after applying a move to work correctly */ |
universe@49 | 74 | static void format_move(GameState *gamestate, Move *move) { |
universe@49 | 75 | char *string = move->string; |
universe@49 | 76 | |
universe@49 | 77 | /* at least 8 characters should be available, wipe them out */ |
universe@49 | 78 | memset(string, 0, 8); |
universe@49 | 79 | |
universe@64 | 80 | unsigned int idx; |
universe@49 | 81 | if ((move->piece&PIECE_MASK) == KING && |
universe@49 | 82 | abs(move->tofile-move->fromfile) == 2) { |
universe@64 | 83 | /* special formats for castling */ |
universe@49 | 84 | if (move->tofile==fileidx('c')) { |
universe@49 | 85 | memcpy(string, "O-O-O", 5); |
universe@64 | 86 | idx = 5; |
universe@49 | 87 | } else { |
universe@49 | 88 | memcpy(string, "O-O", 3); |
universe@64 | 89 | idx = 3; |
universe@49 | 90 | } |
universe@64 | 91 | } else { |
universe@64 | 92 | /* start by notating the piece character */ |
universe@64 | 93 | string[0] = getpiecechr(move->piece); |
universe@64 | 94 | idx = string[0] ? 1 : 0; |
universe@49 | 95 | |
universe@64 | 96 | /* find out how many source information we do need */ |
universe@64 | 97 | uint8_t piece = move->piece & PIECE_MASK; |
universe@64 | 98 | if (piece == PAWN) { |
universe@64 | 99 | if (move->capture) { |
universe@64 | 100 | string[idx++] = filechr(move->fromfile); |
universe@64 | 101 | } |
universe@64 | 102 | } else if (piece != KING) { |
universe@64 | 103 | /* resolve ambiguities, if any */ |
universe@64 | 104 | Move threats[16]; |
universe@64 | 105 | uint8_t threatcount; |
universe@64 | 106 | get_real_threats(gamestate, move->torow, move->tofile, |
universe@64 | 107 | move->piece&COLOR_MASK, threats, &threatcount); |
universe@64 | 108 | if (threatcount > 1) { |
universe@64 | 109 | int ambrows = 0, ambfiles = 0; |
universe@64 | 110 | for (uint8_t i = 0 ; i < threatcount ; i++) { |
universe@64 | 111 | if (threats[i].fromrow == move->fromrow) { |
universe@64 | 112 | ambrows++; |
universe@64 | 113 | } |
universe@64 | 114 | if (threats[i].fromfile == move->fromfile) { |
universe@64 | 115 | ambfiles++; |
universe@64 | 116 | } |
universe@49 | 117 | } |
universe@64 | 118 | /* ambiguous row, name file */ |
universe@64 | 119 | if (ambrows > 1) { |
universe@64 | 120 | string[idx++] = filechr(move->fromfile); |
universe@64 | 121 | } |
universe@64 | 122 | /* ambiguous file, name row */ |
universe@64 | 123 | if (ambfiles > 1) { |
universe@64 | 124 | string[idx++] = filechr(move->fromrow); |
universe@49 | 125 | } |
universe@49 | 126 | } |
universe@49 | 127 | } |
universe@64 | 128 | |
universe@64 | 129 | /* capturing? */ |
universe@64 | 130 | if (move->capture) { |
universe@64 | 131 | string[idx++] = 'x'; |
universe@64 | 132 | } |
universe@64 | 133 | |
universe@64 | 134 | /* destination */ |
universe@64 | 135 | string[idx++] = filechr(move->tofile); |
universe@64 | 136 | string[idx++] = rowchr(move->torow); |
universe@64 | 137 | |
universe@64 | 138 | /* promotion? */ |
universe@64 | 139 | if (move->promotion) { |
universe@64 | 140 | string[idx++] = '='; |
universe@64 | 141 | string[idx++] = getpiecechr(move->promotion); |
universe@64 | 142 | } |
universe@49 | 143 | } |
universe@49 | 144 | |
universe@49 | 145 | /* check? */ |
universe@49 | 146 | if (move->check) { |
universe@49 | 147 | /* works only, if this function is called when applying the move */ |
universe@49 | 148 | string[idx++] = gamestate->checkmate?'#':'+'; |
universe@49 | 149 | } |
universe@49 | 150 | } |
universe@49 | 151 | |
universe@23 | 152 | static void addmove(GameState* gamestate, Move *move) { |
universe@23 | 153 | MoveList *elem = malloc(sizeof(MoveList)); |
universe@23 | 154 | elem->next = NULL; |
universe@23 | 155 | elem->move = *move; |
universe@23 | 156 | |
universe@40 | 157 | struct timeval curtimestamp; |
universe@40 | 158 | gettimeofday(&curtimestamp, NULL); |
universe@40 | 159 | elem->move.timestamp.tv_sec = curtimestamp.tv_sec; |
universe@40 | 160 | elem->move.timestamp.tv_usec = curtimestamp.tv_usec; |
universe@33 | 161 | |
universe@23 | 162 | if (gamestate->lastmove) { |
universe@40 | 163 | struct movetimeval *lasttstamp = &(gamestate->lastmove->move.timestamp); |
universe@40 | 164 | uint64_t sec = curtimestamp.tv_sec - lasttstamp->tv_sec; |
universe@36 | 165 | suseconds_t micros; |
universe@40 | 166 | if (curtimestamp.tv_usec < lasttstamp->tv_usec) { |
universe@40 | 167 | micros = 1e6L-(lasttstamp->tv_usec - curtimestamp.tv_usec); |
universe@33 | 168 | sec--; |
universe@33 | 169 | } else { |
universe@40 | 170 | micros = curtimestamp.tv_usec - lasttstamp->tv_usec; |
universe@33 | 171 | } |
universe@33 | 172 | |
universe@33 | 173 | elem->move.movetime.tv_sec = sec; |
universe@36 | 174 | elem->move.movetime.tv_usec = micros; |
universe@33 | 175 | |
universe@23 | 176 | gamestate->lastmove->next = elem; |
universe@23 | 177 | gamestate->lastmove = elem; |
universe@63 | 178 | gamestate->movecount++; |
universe@23 | 179 | } else { |
universe@36 | 180 | elem->move.movetime.tv_usec = 0; |
universe@33 | 181 | elem->move.movetime.tv_sec = 0; |
universe@23 | 182 | gamestate->movelist = gamestate->lastmove = elem; |
universe@63 | 183 | gamestate->movecount = 1; |
universe@23 | 184 | } |
universe@23 | 185 | } |
universe@19 | 186 | |
universe@19 | 187 | char getpiecechr(uint8_t piece) { |
universe@19 | 188 | switch (piece & PIECE_MASK) { |
universe@19 | 189 | case ROOK: return 'R'; |
universe@19 | 190 | case KNIGHT: return 'N'; |
universe@19 | 191 | case BISHOP: return 'B'; |
universe@19 | 192 | case QUEEN: return 'Q'; |
universe@19 | 193 | case KING: return 'K'; |
universe@19 | 194 | default: return '\0'; |
universe@19 | 195 | } |
universe@19 | 196 | } |
universe@19 | 197 | |
universe@19 | 198 | uint8_t getpiece(char c) { |
universe@19 | 199 | switch (c) { |
universe@19 | 200 | case 'R': return ROOK; |
universe@19 | 201 | case 'N': return KNIGHT; |
universe@19 | 202 | case 'B': return BISHOP; |
universe@19 | 203 | case 'Q': return QUEEN; |
universe@19 | 204 | case 'K': return KING; |
universe@19 | 205 | default: return 0; |
universe@19 | 206 | } |
universe@19 | 207 | } |
universe@19 | 208 | |
universe@49 | 209 | static void apply_move_impl(GameState *gamestate, Move *move, _Bool simulate) { |
universe@19 | 210 | uint8_t piece = move->piece & PIECE_MASK; |
universe@19 | 211 | uint8_t color = move->piece & COLOR_MASK; |
universe@19 | 212 | |
universe@19 | 213 | /* en passant capture */ |
universe@19 | 214 | if (move->capture && piece == PAWN && |
universe@23 | 215 | mdst(gamestate->board, move) == 0) { |
universe@23 | 216 | gamestate->board[move->fromrow][move->tofile] = 0; |
universe@19 | 217 | } |
universe@19 | 218 | |
universe@19 | 219 | /* remove old en passant threats */ |
universe@19 | 220 | for (uint8_t file = 0 ; file < 8 ; file++) { |
universe@23 | 221 | gamestate->board[3][file] &= ~ENPASSANT_THREAT; |
universe@23 | 222 | gamestate->board[4][file] &= ~ENPASSANT_THREAT; |
universe@19 | 223 | } |
universe@19 | 224 | |
universe@19 | 225 | /* add new en passant threat */ |
universe@19 | 226 | if (piece == PAWN && ( |
universe@19 | 227 | (move->fromrow == 1 && move->torow == 3) || |
universe@19 | 228 | (move->fromrow == 6 && move->torow == 4))) { |
universe@19 | 229 | move->piece |= ENPASSANT_THREAT; |
universe@19 | 230 | } |
universe@19 | 231 | |
universe@19 | 232 | /* move (and maybe capture or promote) */ |
universe@23 | 233 | msrc(gamestate->board, move) = 0; |
universe@19 | 234 | if (move->promotion) { |
universe@23 | 235 | mdst(gamestate->board, move) = move->promotion; |
universe@19 | 236 | } else { |
universe@23 | 237 | mdst(gamestate->board, move) = move->piece; |
universe@19 | 238 | } |
universe@19 | 239 | |
universe@19 | 240 | /* castling */ |
universe@49 | 241 | if (piece == KING && move->fromfile == fileidx('e')) { |
universe@19 | 242 | |
universe@19 | 243 | if (move->tofile == fileidx('g')) { |
universe@23 | 244 | gamestate->board[move->torow][fileidx('h')] = 0; |
universe@23 | 245 | gamestate->board[move->torow][fileidx('f')] = color|ROOK; |
universe@19 | 246 | } else if (move->tofile == fileidx('c')) { |
universe@23 | 247 | gamestate->board[move->torow][fileidx('a')] = 0; |
universe@23 | 248 | gamestate->board[move->torow][fileidx('d')] = color|ROOK; |
universe@19 | 249 | } |
universe@19 | 250 | } |
universe@28 | 251 | |
universe@49 | 252 | if (!simulate) { |
universe@49 | 253 | if (!move->string[0]) { |
universe@49 | 254 | format_move(gamestate, move); |
universe@49 | 255 | } |
universe@49 | 256 | } |
universe@49 | 257 | /* add move, even in simulation (checkmate test needs it) */ |
universe@23 | 258 | addmove(gamestate, move); |
universe@19 | 259 | } |
universe@19 | 260 | |
universe@49 | 261 | void apply_move(GameState *gamestate, Move *move) { |
universe@49 | 262 | apply_move_impl(gamestate, move, 0); |
universe@49 | 263 | } |
universe@49 | 264 | |
universe@48 | 265 | static int validate_move_rules(GameState *gamestate, Move *move) { |
universe@19 | 266 | /* validate indices (don't trust opponent) */ |
universe@19 | 267 | if (!chkidx(move)) { |
universe@48 | 268 | return INVALID_POSITION; |
universe@19 | 269 | } |
universe@19 | 270 | |
universe@21 | 271 | /* must move */ |
universe@21 | 272 | if (move->fromfile == move->tofile && move->fromrow == move->torow) { |
universe@48 | 273 | return INVALID_MOVE_SYNTAX; |
universe@21 | 274 | } |
universe@21 | 275 | |
universe@19 | 276 | /* does piece exist */ |
universe@47 | 277 | if ((msrc(gamestate->board, move)&(PIECE_MASK|COLOR_MASK)) |
universe@47 | 278 | != (move->piece&(PIECE_MASK|COLOR_MASK))) { |
universe@48 | 279 | return INVALID_POSITION; |
universe@29 | 280 | } |
universe@19 | 281 | |
universe@19 | 282 | /* can't capture own pieces */ |
universe@29 | 283 | if ((mdst(gamestate->board, move) & COLOR_MASK) |
universe@47 | 284 | == (move->piece & COLOR_MASK)) { |
universe@48 | 285 | return RULES_VIOLATED; |
universe@47 | 286 | } |
universe@47 | 287 | |
universe@47 | 288 | /* must capture, if and only if destination is occupied */ |
universe@47 | 289 | if ((mdst(gamestate->board, move) == 0 && move->capture) || |
universe@47 | 290 | (mdst(gamestate->board, move) != 0 && !move->capture)) { |
universe@48 | 291 | return INVALID_MOVE_SYNTAX; |
universe@19 | 292 | } |
universe@19 | 293 | |
universe@19 | 294 | /* validate individual rules */ |
universe@48 | 295 | _Bool chkrules; |
universe@19 | 296 | switch (move->piece & PIECE_MASK) { |
universe@19 | 297 | case PAWN: |
universe@48 | 298 | chkrules = pawn_chkrules(gamestate, move) && |
universe@29 | 299 | !pawn_isblocked(gamestate, move); |
universe@48 | 300 | break; |
universe@19 | 301 | case ROOK: |
universe@48 | 302 | chkrules = rook_chkrules(move) && |
universe@29 | 303 | !rook_isblocked(gamestate, move); |
universe@48 | 304 | break; |
universe@19 | 305 | case KNIGHT: |
universe@48 | 306 | chkrules = knight_chkrules(move); /* knight is never blocked */ |
universe@48 | 307 | break; |
universe@19 | 308 | case BISHOP: |
universe@48 | 309 | chkrules = bishop_chkrules(move) && |
universe@29 | 310 | !bishop_isblocked(gamestate, move); |
universe@48 | 311 | break; |
universe@19 | 312 | case QUEEN: |
universe@48 | 313 | chkrules = queen_chkrules(move) && |
universe@29 | 314 | !queen_isblocked(gamestate, move); |
universe@48 | 315 | break; |
universe@19 | 316 | case KING: |
universe@48 | 317 | chkrules = king_chkrules(gamestate, move) && |
universe@29 | 318 | !king_isblocked(gamestate, move); |
universe@48 | 319 | break; |
universe@19 | 320 | default: |
universe@48 | 321 | return INVALID_MOVE_SYNTAX; |
universe@19 | 322 | } |
universe@48 | 323 | |
universe@48 | 324 | return chkrules ? VALID_MOVE_SEMANTICS : RULES_VIOLATED; |
universe@29 | 325 | } |
universe@29 | 326 | |
universe@48 | 327 | int validate_move(GameState *gamestate, Move *move) { |
universe@19 | 328 | |
universe@48 | 329 | int result = validate_move_rules(gamestate, move); |
universe@29 | 330 | |
universe@29 | 331 | /* cancel processing to save resources */ |
universe@48 | 332 | if (result != VALID_MOVE_SEMANTICS) { |
universe@48 | 333 | return result; |
universe@25 | 334 | } |
universe@25 | 335 | |
universe@62 | 336 | /* simulate move for check validation */ |
universe@62 | 337 | GameState simulation = gamestate_copy_sim(gamestate); |
universe@62 | 338 | Move simmove = *move; |
universe@62 | 339 | apply_move_impl(&simulation, &simmove, 1); |
universe@62 | 340 | |
universe@28 | 341 | /* find kings for check validation */ |
universe@29 | 342 | uint8_t piececolor = (move->piece & COLOR_MASK); |
universe@29 | 343 | |
universe@28 | 344 | uint8_t mykingfile = 0, mykingrow = 0, opkingfile = 0, opkingrow = 0; |
universe@28 | 345 | for (uint8_t row = 0 ; row < 8 ; row++) { |
universe@28 | 346 | for (uint8_t file = 0 ; file < 8 ; file++) { |
universe@62 | 347 | if (simulation.board[row][file] == |
universe@28 | 348 | (piececolor == WHITE?WKING:BKING)) { |
universe@28 | 349 | mykingfile = file; |
universe@28 | 350 | mykingrow = row; |
universe@62 | 351 | } else if (simulation.board[row][file] == |
universe@28 | 352 | (piececolor == WHITE?BKING:WKING)) { |
universe@28 | 353 | opkingfile = file; |
universe@28 | 354 | opkingrow = row; |
universe@28 | 355 | } |
universe@28 | 356 | } |
universe@28 | 357 | } |
universe@28 | 358 | |
universe@28 | 359 | /* don't move into or stay in check position */ |
universe@28 | 360 | if (is_covered(&simulation, mykingrow, mykingfile, |
universe@28 | 361 | opponent_color(piececolor))) { |
universe@48 | 362 | |
universe@48 | 363 | gamestate_cleanup(&simulation); |
universe@48 | 364 | if ((move->piece & PIECE_MASK) == KING) { |
universe@48 | 365 | return KING_MOVES_INTO_CHECK; |
universe@48 | 366 | } else { |
universe@48 | 367 | /* last move is always not null in this case */ |
universe@48 | 368 | return gamestate->lastmove->move.check ? |
universe@48 | 369 | KING_IN_CHECK : PIECE_PINNED; |
universe@48 | 370 | } |
universe@28 | 371 | } |
universe@19 | 372 | |
universe@25 | 373 | /* correct check and checkmate flags (move is still valid) */ |
universe@29 | 374 | Move threats[16]; |
universe@29 | 375 | uint8_t threatcount; |
universe@29 | 376 | move->check = get_threats(&simulation, opkingrow, opkingfile, |
universe@29 | 377 | piececolor, threats, &threatcount); |
universe@19 | 378 | |
universe@28 | 379 | if (move->check) { |
universe@28 | 380 | /* determine possible escape fields */ |
universe@28 | 381 | _Bool canescape = 0; |
universe@28 | 382 | for (int dr = -1 ; dr <= 1 && !canescape ; dr++) { |
universe@28 | 383 | for (int df = -1 ; df <= 1 && !canescape ; df++) { |
universe@28 | 384 | if (!(dr == 0 && df == 0) && |
universe@28 | 385 | isidx(opkingrow + dr) && isidx(opkingfile + df)) { |
universe@28 | 386 | |
universe@28 | 387 | /* escape field neither blocked nor covered */ |
universe@28 | 388 | if ((simulation.board[opkingrow + dr][opkingfile + df] |
universe@28 | 389 | & COLOR_MASK) != opponent_color(piececolor)) { |
universe@28 | 390 | canescape |= !is_covered(&simulation, |
universe@28 | 391 | opkingrow + dr, opkingfile + df, piececolor); |
universe@28 | 392 | } |
universe@28 | 393 | } |
universe@28 | 394 | } |
universe@28 | 395 | } |
universe@29 | 396 | /* can't escape, can he capture? */ |
universe@29 | 397 | if (!canescape && threatcount == 1) { |
universe@29 | 398 | canescape = is_attacked(&simulation, threats[0].fromrow, |
universe@29 | 399 | threats[0].fromfile, opponent_color(piececolor)); |
universe@29 | 400 | } |
universe@29 | 401 | |
universe@29 | 402 | /* can't capture, can he block? */ |
universe@29 | 403 | if (!canescape && threatcount == 1) { |
universe@29 | 404 | Move *threat = &(threats[0]); |
universe@29 | 405 | uint8_t threatpiece = threat->piece & PIECE_MASK; |
universe@29 | 406 | |
universe@29 | 407 | /* knight, pawns and the king cannot be blocked */ |
universe@29 | 408 | if (threatpiece == BISHOP || threatpiece == ROOK |
universe@29 | 409 | || threatpiece == QUEEN) { |
universe@29 | 410 | if (threat->fromrow == threat->torow) { |
universe@29 | 411 | /* rook aspect (on row) */ |
universe@29 | 412 | int d = threat->tofile > threat->fromfile ? 1 : -1; |
universe@29 | 413 | uint8_t file = threat->fromfile; |
universe@29 | 414 | while (!canescape && file != threat->tofile - d) { |
universe@29 | 415 | file += d; |
universe@29 | 416 | canescape |= is_protected(&simulation, |
universe@29 | 417 | threat->torow, file, opponent_color(piececolor)); |
universe@29 | 418 | } |
universe@29 | 419 | } else if (threat->fromfile == threat->tofile) { |
universe@29 | 420 | /* rook aspect (on file) */ |
universe@29 | 421 | int d = threat->torow > threat->fromrow ? 1 : -1; |
universe@29 | 422 | uint8_t row = threat->fromrow; |
universe@29 | 423 | while (!canescape && row != threat->torow - d) { |
universe@29 | 424 | row += d; |
universe@29 | 425 | canescape |= is_protected(&simulation, |
universe@29 | 426 | row, threat->tofile, opponent_color(piececolor)); |
universe@29 | 427 | } |
universe@29 | 428 | } else { |
universe@29 | 429 | /* bishop aspect */ |
universe@51 | 430 | int dr = threat->torow > threat->fromrow ? 1 : -1; |
universe@51 | 431 | int df = threat->tofile > threat->fromfile ? 1 : -1; |
universe@29 | 432 | |
universe@51 | 433 | uint8_t row = threat->fromrow; |
universe@51 | 434 | uint8_t file = threat->fromfile; |
universe@51 | 435 | while (!canescape && file != threat->tofile - df |
universe@51 | 436 | && row != threat->torow - dr) { |
universe@29 | 437 | row += dr; |
universe@29 | 438 | file += df; |
universe@29 | 439 | canescape |= is_protected(&simulation, row, file, |
universe@29 | 440 | opponent_color(piececolor)); |
universe@29 | 441 | } |
universe@29 | 442 | } |
universe@29 | 443 | } |
universe@29 | 444 | } |
universe@29 | 445 | |
universe@28 | 446 | if (!canescape) { |
universe@29 | 447 | gamestate->checkmate = 1; |
universe@28 | 448 | } |
universe@28 | 449 | } |
universe@28 | 450 | |
universe@48 | 451 | gamestate_cleanup(&simulation); |
universe@48 | 452 | |
universe@48 | 453 | return VALID_MOVE_SEMANTICS; |
universe@19 | 454 | } |
universe@19 | 455 | |
universe@47 | 456 | _Bool get_threats(GameState *gamestate, uint8_t row, uint8_t file, |
universe@47 | 457 | uint8_t color, Move *threats, uint8_t *threatcount) { |
universe@47 | 458 | Move candidates[32]; |
universe@47 | 459 | int candidatecount = 0; |
universe@47 | 460 | for (uint8_t r = 0 ; r < 8 ; r++) { |
universe@47 | 461 | for (uint8_t f = 0 ; f < 8 ; f++) { |
universe@47 | 462 | if ((gamestate->board[r][f] & COLOR_MASK) == color) { |
universe@64 | 463 | /* non-capturing move */ |
universe@47 | 464 | memset(&(candidates[candidatecount]), 0, sizeof(Move)); |
universe@47 | 465 | candidates[candidatecount].piece = gamestate->board[r][f]; |
universe@47 | 466 | candidates[candidatecount].fromrow = r; |
universe@47 | 467 | candidates[candidatecount].fromfile = f; |
universe@47 | 468 | candidates[candidatecount].torow = row; |
universe@47 | 469 | candidates[candidatecount].tofile = file; |
universe@47 | 470 | candidatecount++; |
universe@47 | 471 | |
universe@64 | 472 | /* capturing move */ |
universe@47 | 473 | memcpy(&(candidates[candidatecount]), |
universe@47 | 474 | &(candidates[candidatecount-1]), sizeof(Move)); |
universe@47 | 475 | candidates[candidatecount].capture = 1; |
universe@47 | 476 | candidatecount++; |
universe@47 | 477 | } |
universe@47 | 478 | } |
universe@47 | 479 | } |
universe@47 | 480 | |
universe@47 | 481 | if (threatcount) { |
universe@47 | 482 | *threatcount = 0; |
universe@47 | 483 | } |
universe@47 | 484 | |
universe@47 | 485 | |
universe@47 | 486 | _Bool result = 0; |
universe@47 | 487 | |
universe@47 | 488 | for (int i = 0 ; i < candidatecount ; i++) { |
universe@48 | 489 | if (validate_move_rules(gamestate, &(candidates[i])) |
universe@48 | 490 | == VALID_MOVE_SEMANTICS) { |
universe@47 | 491 | result = 1; |
universe@47 | 492 | if (threats && threatcount) { |
universe@47 | 493 | threats[(*threatcount)++] = candidates[i]; |
universe@47 | 494 | } |
universe@47 | 495 | } |
universe@47 | 496 | } |
universe@47 | 497 | |
universe@47 | 498 | return result; |
universe@47 | 499 | } |
universe@47 | 500 | |
universe@47 | 501 | _Bool is_pinned(GameState *gamestate, Move *move) { |
universe@47 | 502 | uint8_t color = move->piece & COLOR_MASK; |
universe@47 | 503 | |
universe@62 | 504 | GameState simulation = gamestate_copy_sim(gamestate); |
universe@62 | 505 | Move simmove = *move; |
universe@62 | 506 | apply_move(&simulation, &simmove); |
universe@62 | 507 | |
universe@47 | 508 | uint8_t kingfile = 0, kingrow = 0; |
universe@47 | 509 | for (uint8_t row = 0 ; row < 8 ; row++) { |
universe@47 | 510 | for (uint8_t file = 0 ; file < 8 ; file++) { |
universe@62 | 511 | if (simulation.board[row][file] == (color|KING)) { |
universe@47 | 512 | kingfile = file; |
universe@47 | 513 | kingrow = row; |
universe@47 | 514 | } |
universe@47 | 515 | } |
universe@47 | 516 | } |
universe@62 | 517 | |
universe@48 | 518 | _Bool covered = is_covered(&simulation, |
universe@48 | 519 | kingrow, kingfile, opponent_color(color)); |
universe@48 | 520 | gamestate_cleanup(&simulation); |
universe@48 | 521 | |
universe@48 | 522 | return covered; |
universe@47 | 523 | } |
universe@47 | 524 | |
universe@47 | 525 | _Bool get_real_threats(GameState *gamestate, uint8_t row, uint8_t file, |
universe@47 | 526 | uint8_t color, Move *threats, uint8_t *threatcount) { |
universe@47 | 527 | |
universe@47 | 528 | if (threatcount) { |
universe@47 | 529 | *threatcount = 0; |
universe@47 | 530 | } |
universe@47 | 531 | |
universe@47 | 532 | Move candidates[16]; |
universe@47 | 533 | uint8_t candidatecount; |
universe@47 | 534 | if (get_threats(gamestate, row, file, color, candidates, &candidatecount)) { |
universe@47 | 535 | |
universe@47 | 536 | _Bool result = 0; |
universe@47 | 537 | uint8_t kingfile = 0, kingrow = 0; |
universe@47 | 538 | for (uint8_t row = 0 ; row < 8 ; row++) { |
universe@47 | 539 | for (uint8_t file = 0 ; file < 8 ; file++) { |
universe@47 | 540 | if (gamestate->board[row][file] == (color|KING)) { |
universe@47 | 541 | kingfile = file; |
universe@47 | 542 | kingrow = row; |
universe@47 | 543 | } |
universe@47 | 544 | } |
universe@47 | 545 | } |
universe@47 | 546 | |
universe@47 | 547 | for (uint8_t i = 0 ; i < candidatecount ; i++) { |
universe@48 | 548 | GameState simulation = gamestate_copy_sim(gamestate); |
universe@47 | 549 | Move simmove = candidates[i]; |
universe@47 | 550 | apply_move(&simulation, &simmove); |
universe@47 | 551 | if (!is_covered(&simulation, kingrow, kingfile, |
universe@47 | 552 | opponent_color(color))) { |
universe@47 | 553 | result = 1; |
universe@47 | 554 | if (threats && threatcount) { |
universe@47 | 555 | threats[(*threatcount)++] = candidates[i]; |
universe@47 | 556 | } |
universe@47 | 557 | } |
universe@47 | 558 | } |
universe@47 | 559 | |
universe@47 | 560 | return result; |
universe@47 | 561 | } else { |
universe@47 | 562 | return 0; |
universe@47 | 563 | } |
universe@47 | 564 | } |
universe@48 | 565 | |
universe@47 | 566 | static int getlocation(GameState *gamestate, Move *move) { |
universe@47 | 567 | |
universe@47 | 568 | uint8_t color = move->piece & COLOR_MASK; |
universe@47 | 569 | _Bool incheck = gamestate->lastmove?gamestate->lastmove->move.check:0; |
universe@47 | 570 | |
universe@47 | 571 | Move threats[16], *threat = NULL; |
universe@47 | 572 | uint8_t threatcount; |
universe@47 | 573 | |
universe@47 | 574 | if (get_threats(gamestate, move->torow, move->tofile, color, |
universe@47 | 575 | threats, &threatcount)) { |
universe@47 | 576 | |
universe@49 | 577 | int reason = INVALID_POSITION; |
universe@49 | 578 | |
universe@64 | 579 | /* find threats for the specified position */ |
universe@62 | 580 | for (uint8_t i = 0 ; i < threatcount ; i++) { |
universe@47 | 581 | if ((threats[i].piece & (PIECE_MASK | COLOR_MASK)) |
universe@47 | 582 | == move->piece && |
universe@47 | 583 | (move->fromrow == POS_UNSPECIFIED || |
universe@47 | 584 | move->fromrow == threats[i].fromrow) && |
universe@47 | 585 | (move->fromfile == POS_UNSPECIFIED || |
universe@47 | 586 | move->fromfile == threats[i].fromfile)) { |
universe@47 | 587 | |
universe@47 | 588 | if (threat) { |
universe@47 | 589 | return AMBIGUOUS_MOVE; |
universe@47 | 590 | } else { |
universe@64 | 591 | /* found threat is no real threat */ |
universe@49 | 592 | if (is_pinned(gamestate, &(threats[i]))) { |
universe@49 | 593 | reason = incheck?KING_IN_CHECK:PIECE_PINNED; |
universe@49 | 594 | } else { |
universe@49 | 595 | threat = &(threats[i]); |
universe@49 | 596 | } |
universe@47 | 597 | } |
universe@47 | 598 | } |
universe@47 | 599 | } |
universe@47 | 600 | |
universe@64 | 601 | /* can't threaten specified position */ |
universe@47 | 602 | if (!threat) { |
universe@49 | 603 | return reason; |
universe@47 | 604 | } |
universe@47 | 605 | |
universe@49 | 606 | memcpy(move, threat, sizeof(Move)); |
universe@49 | 607 | return VALID_MOVE_SYNTAX; |
universe@47 | 608 | } else { |
universe@47 | 609 | return INVALID_POSITION; |
universe@47 | 610 | } |
universe@47 | 611 | } |
universe@47 | 612 | |
universe@50 | 613 | int eval_move(GameState *gamestate, char *mstr, Move *move, uint8_t color) { |
universe@19 | 614 | memset(move, 0, sizeof(Move)); |
universe@19 | 615 | move->fromfile = POS_UNSPECIFIED; |
universe@19 | 616 | move->fromrow = POS_UNSPECIFIED; |
universe@19 | 617 | |
universe@19 | 618 | size_t len = strlen(mstr); |
universe@48 | 619 | if (len < 1 || len > 6) { |
universe@48 | 620 | return INVALID_MOVE_SYNTAX; |
universe@48 | 621 | } |
universe@19 | 622 | |
universe@19 | 623 | /* evaluate check/checkmate flags */ |
universe@19 | 624 | if (mstr[len-1] == '+') { |
universe@19 | 625 | len--; mstr[len] = '\0'; |
universe@19 | 626 | move->check = 1; |
universe@19 | 627 | } else if (mstr[len-1] == '#') { |
universe@19 | 628 | len--; mstr[len] = '\0'; |
universe@27 | 629 | /* ignore - validation should set game state */ |
universe@19 | 630 | } |
universe@19 | 631 | |
universe@19 | 632 | /* evaluate promotion */ |
universe@19 | 633 | if (len > 3 && mstr[len-2] == '=') { |
universe@19 | 634 | move->promotion = getpiece(mstr[len-1]); |
universe@19 | 635 | if (!move->promotion) { |
universe@19 | 636 | return INVALID_MOVE_SYNTAX; |
universe@19 | 637 | } else { |
universe@50 | 638 | move->promotion |= color; |
universe@19 | 639 | len -= 2; |
universe@19 | 640 | mstr[len] = 0; |
universe@19 | 641 | } |
universe@19 | 642 | } |
universe@19 | 643 | |
universe@19 | 644 | if (len == 2) { |
universe@19 | 645 | /* pawn move (e.g. "e4") */ |
universe@19 | 646 | move->piece = PAWN; |
universe@19 | 647 | move->tofile = fileidx(mstr[0]); |
universe@19 | 648 | move->torow = rowidx(mstr[1]); |
universe@19 | 649 | } else if (len == 3) { |
universe@19 | 650 | if (strcmp(mstr, "O-O") == 0) { |
universe@19 | 651 | /* king side castling */ |
universe@19 | 652 | move->piece = KING; |
universe@19 | 653 | move->fromfile = fileidx('e'); |
universe@19 | 654 | move->tofile = fileidx('g'); |
universe@50 | 655 | move->fromrow = move->torow = color == WHITE ? 0 : 7; |
universe@19 | 656 | } else { |
universe@19 | 657 | /* move (e.g. "Nf3") */ |
universe@19 | 658 | move->piece = getpiece(mstr[0]); |
universe@19 | 659 | move->tofile = fileidx(mstr[1]); |
universe@19 | 660 | move->torow = rowidx(mstr[2]); |
universe@19 | 661 | } |
universe@19 | 662 | } else if (len == 4) { |
universe@19 | 663 | move->piece = getpiece(mstr[0]); |
universe@19 | 664 | if (!move->piece) { |
universe@19 | 665 | move->piece = PAWN; |
universe@19 | 666 | move->fromfile = fileidx(mstr[0]); |
universe@19 | 667 | } |
universe@19 | 668 | if (mstr[1] == 'x') { |
universe@19 | 669 | /* capture (e.g. "Nxf3", "dxe5") */ |
universe@19 | 670 | move->capture = 1; |
universe@19 | 671 | } else { |
universe@19 | 672 | /* move (e.g. "Ndf3", "N2c3", "e2e4") */ |
universe@19 | 673 | if (isfile(mstr[1])) { |
universe@19 | 674 | move->fromfile = fileidx(mstr[1]); |
universe@19 | 675 | if (move->piece == PAWN) { |
universe@19 | 676 | move->piece = 0; |
universe@19 | 677 | } |
universe@19 | 678 | } else { |
universe@19 | 679 | move->fromrow = rowidx(mstr[1]); |
universe@19 | 680 | } |
universe@19 | 681 | } |
universe@19 | 682 | move->tofile = fileidx(mstr[2]); |
universe@19 | 683 | move->torow = rowidx(mstr[3]); |
universe@19 | 684 | } else if (len == 5) { |
universe@19 | 685 | if (strcmp(mstr, "O-O-O") == 0) { |
universe@19 | 686 | /* queen side castling "O-O-O" */ |
universe@19 | 687 | move->piece = KING; |
universe@19 | 688 | move->fromfile = fileidx('e'); |
universe@19 | 689 | move->tofile = fileidx('c'); |
universe@50 | 690 | move->fromrow = move->torow = color == WHITE ? 0 : 7; |
universe@19 | 691 | } else { |
universe@19 | 692 | move->piece = getpiece(mstr[0]); |
universe@19 | 693 | if (mstr[2] == 'x') { |
universe@19 | 694 | move->capture = 1; |
universe@19 | 695 | if (move->piece) { |
universe@19 | 696 | /* capture (e.g. "Ndxf3") */ |
universe@19 | 697 | move->fromfile = fileidx(mstr[1]); |
universe@19 | 698 | } else { |
universe@19 | 699 | /* long notation capture (e.g. "e5xf6") */ |
universe@19 | 700 | move->piece = PAWN; |
universe@19 | 701 | move->fromfile = fileidx(mstr[0]); |
universe@19 | 702 | move->fromrow = rowidx(mstr[1]); |
universe@19 | 703 | } |
universe@19 | 704 | } else { |
universe@19 | 705 | /* long notation move (e.g. "Nc5a4") */ |
universe@19 | 706 | move->fromfile = fileidx(mstr[1]); |
universe@19 | 707 | move->fromrow = rowidx(mstr[2]); |
universe@19 | 708 | } |
universe@19 | 709 | move->tofile = fileidx(mstr[3]); |
universe@19 | 710 | move->torow = rowidx(mstr[4]); |
universe@19 | 711 | } |
universe@19 | 712 | } else if (len == 6) { |
universe@19 | 713 | /* long notation capture (e.g. "Nc5xf3") */ |
universe@19 | 714 | if (mstr[3] == 'x') { |
universe@19 | 715 | move->capture = 1; |
universe@19 | 716 | move->piece = getpiece(mstr[0]); |
universe@19 | 717 | move->fromfile = fileidx(mstr[1]); |
universe@19 | 718 | move->fromrow = rowidx(mstr[2]); |
universe@19 | 719 | move->tofile = fileidx(mstr[4]); |
universe@19 | 720 | move->torow = rowidx(mstr[5]); |
universe@19 | 721 | } |
universe@19 | 722 | } |
universe@19 | 723 | |
universe@19 | 724 | |
universe@19 | 725 | if (move->piece) { |
universe@23 | 726 | if (move->piece == PAWN |
universe@50 | 727 | && move->torow == (color==WHITE?7:0) |
universe@19 | 728 | && !move->promotion) { |
universe@19 | 729 | return NEED_PROMOTION; |
universe@19 | 730 | } |
universe@19 | 731 | |
universe@50 | 732 | move->piece |= color; |
universe@19 | 733 | if (move->fromfile == POS_UNSPECIFIED |
universe@19 | 734 | || move->fromrow == POS_UNSPECIFIED) { |
universe@23 | 735 | return getlocation(gamestate, move); |
universe@19 | 736 | } else { |
universe@19 | 737 | return chkidx(move) ? VALID_MOVE_SYNTAX : INVALID_POSITION; |
universe@19 | 738 | } |
universe@19 | 739 | } else { |
universe@19 | 740 | return INVALID_MOVE_SYNTAX; |
universe@19 | 741 | } |
universe@19 | 742 | } |
universe@29 | 743 | |
universe@29 | 744 | _Bool is_protected(GameState *gamestate, uint8_t row, uint8_t file, |
universe@29 | 745 | uint8_t color) { |
universe@29 | 746 | |
universe@29 | 747 | Move threats[16]; |
universe@29 | 748 | uint8_t threatcount; |
universe@29 | 749 | if (get_real_threats(gamestate, row, file, color, threats, &threatcount)) { |
universe@29 | 750 | for (int i = 0 ; i < threatcount ; i++) { |
universe@29 | 751 | if (threats[i].piece != (color|KING)) { |
universe@29 | 752 | return 1; |
universe@29 | 753 | } |
universe@29 | 754 | } |
universe@29 | 755 | return 0; |
universe@29 | 756 | } else { |
universe@29 | 757 | return 0; |
universe@29 | 758 | } |
universe@29 | 759 | } |
universe@33 | 760 | |
universe@33 | 761 | uint16_t remaining_movetime(GameInfo *gameinfo, GameState *gamestate, |
universe@33 | 762 | uint8_t color) { |
universe@33 | 763 | if (!gameinfo->timecontrol) { |
universe@33 | 764 | return 0; |
universe@33 | 765 | } |
universe@33 | 766 | |
universe@33 | 767 | if (gamestate->movelist) { |
universe@33 | 768 | uint16_t time = gameinfo->time; |
universe@36 | 769 | suseconds_t micros = 0; |
universe@33 | 770 | |
universe@33 | 771 | MoveList *movelist = color == WHITE ? |
universe@33 | 772 | gamestate->movelist : gamestate->movelist->next; |
universe@33 | 773 | |
universe@33 | 774 | while (movelist) { |
universe@33 | 775 | time += gameinfo->addtime; |
universe@33 | 776 | |
universe@40 | 777 | struct movetimeval *movetime = &(movelist->move.movetime); |
universe@33 | 778 | if (movetime->tv_sec >= time) { |
universe@33 | 779 | return 0; |
universe@33 | 780 | } |
universe@33 | 781 | |
universe@33 | 782 | time -= movetime->tv_sec; |
universe@36 | 783 | micros += movetime->tv_usec; |
universe@33 | 784 | |
universe@33 | 785 | movelist = movelist->next ? movelist->next->next : NULL; |
universe@33 | 786 | } |
universe@33 | 787 | |
universe@33 | 788 | time_t sec; |
universe@33 | 789 | movelist = gamestate->lastmove; |
universe@33 | 790 | if ((movelist->move.piece & COLOR_MASK) != color) { |
universe@40 | 791 | struct movetimeval *lastmovetstamp = &(movelist->move.timestamp); |
universe@36 | 792 | struct timeval currenttstamp; |
universe@36 | 793 | gettimeofday(¤ttstamp, NULL); |
universe@36 | 794 | micros += currenttstamp.tv_usec - lastmovetstamp->tv_usec; |
universe@33 | 795 | sec = currenttstamp.tv_sec - lastmovetstamp->tv_sec; |
universe@33 | 796 | if (sec >= time) { |
universe@33 | 797 | return 0; |
universe@33 | 798 | } |
universe@33 | 799 | |
universe@33 | 800 | time -= sec; |
universe@33 | 801 | } |
universe@33 | 802 | |
universe@36 | 803 | sec = micros / 1e6L; |
universe@33 | 804 | |
universe@33 | 805 | if (sec >= time) { |
universe@33 | 806 | return 0; |
universe@33 | 807 | } |
universe@33 | 808 | |
universe@33 | 809 | time -= sec; |
universe@33 | 810 | |
universe@33 | 811 | return time; |
universe@33 | 812 | } else { |
universe@33 | 813 | return gameinfo->time; |
universe@33 | 814 | } |
universe@33 | 815 | } |