Home | History | Annotate | Line # | Download | only in gomoku
pickmove.c revision 1.62
      1  1.62    rillig /*	$NetBSD: pickmove.c,v 1.62 2022/05/29 17:01:42 rillig Exp $	*/
      2   1.4       cgd 
      3   1.1       tls /*
      4   1.1       tls  * Copyright (c) 1994
      5   1.1       tls  *	The Regents of the University of California.  All rights reserved.
      6   1.1       tls  *
      7   1.1       tls  * This code is derived from software contributed to Berkeley by
      8   1.1       tls  * Ralph Campbell.
      9   1.1       tls  *
     10   1.1       tls  * Redistribution and use in source and binary forms, with or without
     11   1.1       tls  * modification, are permitted provided that the following conditions
     12   1.1       tls  * are met:
     13   1.1       tls  * 1. Redistributions of source code must retain the above copyright
     14   1.1       tls  *    notice, this list of conditions and the following disclaimer.
     15   1.1       tls  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.1       tls  *    notice, this list of conditions and the following disclaimer in the
     17   1.1       tls  *    documentation and/or other materials provided with the distribution.
     18  1.10       agc  * 3. Neither the name of the University nor the names of its contributors
     19   1.1       tls  *    may be used to endorse or promote products derived from this software
     20   1.1       tls  *    without specific prior written permission.
     21   1.1       tls  *
     22   1.1       tls  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23   1.1       tls  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24   1.1       tls  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25   1.1       tls  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26   1.1       tls  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27   1.1       tls  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28   1.1       tls  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29   1.1       tls  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30   1.1       tls  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31   1.1       tls  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32   1.1       tls  * SUCH DAMAGE.
     33   1.1       tls  */
     34   1.1       tls 
     35   1.5     lukem #include <sys/cdefs.h>
     36  1.36    rillig /*	@(#)pickmove.c	8.2 (Berkeley) 5/3/95	*/
     37  1.62    rillig __RCSID("$NetBSD: pickmove.c,v 1.62 2022/05/29 17:01:42 rillig Exp $");
     38   1.1       tls 
     39   1.3       cgd #include <stdlib.h>
     40   1.3       cgd #include <string.h>
     41   1.1       tls #include <curses.h>
     42  1.11       jsm #include <limits.h>
     43   1.1       tls 
     44   1.1       tls #include "gomoku.h"
     45   1.1       tls 
     46   1.1       tls #define BITS_PER_INT	(sizeof(int) * CHAR_BIT)
     47   1.1       tls #define MAPSZ		(BAREA / BITS_PER_INT)
     48   1.1       tls 
     49  1.60    rillig #define BIT_SET(a, b)	((a)[(b)/BITS_PER_INT] |= (1U << ((b) % BITS_PER_INT)))
     50  1.60    rillig #define BIT_TEST(a, b)	(((a)[(b)/BITS_PER_INT] & (1U << ((b) % BITS_PER_INT))) != 0)
     51   1.1       tls 
     52  1.27    rillig /*
     53  1.27    rillig  * This structure is used to store overlap information between frames.
     54  1.27    rillig  */
     55  1.27    rillig struct overlap_info {
     56  1.27    rillig 	int		o_intersect;	/* intersection spot */
     57  1.27    rillig 	u_char		o_off;		/* offset in frame of intersection */
     58  1.27    rillig 	u_char		o_frameindex;	/* intersection frame index */
     59  1.27    rillig };
     60  1.27    rillig 
     61  1.19  dholland static struct combostr *hashcombos[FAREA];/* hash list for finding duplicates */
     62  1.19  dholland static struct combostr *sortcombos;	/* combos at higher levels */
     63  1.19  dholland static int combolen;			/* number of combos in sortcombos */
     64  1.61    rillig static player_color nextcolor;		/* color of next move */
     65  1.19  dholland static int elistcnt;			/* count of struct elist allocated */
     66  1.19  dholland static int combocnt;			/* count of struct combostr allocated */
     67  1.60    rillig static unsigned int forcemap[MAPSZ];	/* map for blocking <1,x> combos */
     68  1.60    rillig static unsigned int tmpmap[MAPSZ];	/* map for blocking <1,x> combos */
     69  1.19  dholland static int nforce;			/* count of opponent <1,x> combos */
     70  1.19  dholland 
     71  1.61    rillig static bool better(spot_index, spot_index, player_color);
     72  1.19  dholland static void scanframes(int);
     73  1.62    rillig static void makecombo2(struct combostr *, struct spotstr *, u_char, u_short);
     74  1.45    rillig static void addframes(unsigned int);
     75  1.62    rillig static void makecombo(struct combostr *, struct spotstr *, u_char, u_short);
     76  1.19  dholland static void appendcombo(struct combostr *, int);
     77  1.19  dholland static void updatecombo(struct combostr *, int);
     78  1.19  dholland static void makeempty(struct combostr *);
     79  1.19  dholland static int checkframes(struct combostr *, struct combostr *, struct spotstr *,
     80  1.62    rillig 		    u_short, struct overlap_info *);
     81  1.30    rillig static bool sortcombo(struct combostr **, struct combostr **, struct combostr *);
     82  1.31    rillig #if !defined(DEBUG)
     83  1.19  dholland static void printcombo(struct combostr *, char *, size_t);
     84  1.31    rillig #endif
     85   1.1       tls 
     86  1.61    rillig spot_index
     87  1.61    rillig pickmove(player_color us)
     88   1.1       tls {
     89   1.1       tls 
     90   1.1       tls 	/* first move is easy */
     91  1.47    rillig 	if (game.nmoves == 0)
     92  1.26    rillig 		return PT((BSZ + 1) / 2, (BSZ + 1) / 2);
     93   1.1       tls 
     94   1.1       tls 	/* initialize all the board values */
     95  1.34    rillig 	for (unsigned pos = PT(BSZ, BSZ + 1); pos-- > PT(1, 1); ) {
     96  1.46    rillig 		struct spotstr *sp = &board[pos];
     97  1.41    rillig 		sp->s_combo[BLACK].s = 0x601;
     98  1.41    rillig 		sp->s_combo[WHITE].s = 0x601;
     99   1.1       tls 		sp->s_level[BLACK] = 255;
    100   1.1       tls 		sp->s_level[WHITE] = 255;
    101   1.1       tls 		sp->s_nforce[BLACK] = 0;
    102   1.1       tls 		sp->s_nforce[WHITE] = 0;
    103  1.15  dholland 		sp->s_flags &= ~(FFLAGALL | MFLAGALL);
    104   1.1       tls 	}
    105   1.1       tls 	nforce = 0;
    106   1.1       tls 	memset(forcemap, 0, sizeof(forcemap));
    107   1.1       tls 
    108   1.1       tls 	/* compute new values */
    109   1.1       tls 	nextcolor = us;
    110  1.52    rillig 	/*
    111  1.52    rillig 	 * TODO: Scanning for both frames misses that after loading the game
    112  1.52    rillig 	 *  K10 J9 M10 J10 O10 J11 Q10 J8 and playing K9, there are 2
    113  1.52    rillig 	 *  immediate winning moves J12 and J7. Finding the winning move
    114  1.52    rillig 	 *  takes too long.
    115  1.52    rillig 	 */
    116   1.1       tls 	scanframes(BLACK);
    117   1.1       tls 	scanframes(WHITE);
    118   1.1       tls 
    119   1.1       tls 	/* find the spot with the highest value */
    120  1.51    rillig 	spot_index s = PT(BSZ, BSZ);
    121  1.51    rillig 	spot_index s1 = s;
    122  1.51    rillig 	spot_index s2 = s;
    123  1.51    rillig 	for ( ; s-- > PT(1, 1); ) {
    124  1.51    rillig 		struct spotstr *sp = &board[s];
    125   1.1       tls 		if (sp->s_occ != EMPTY)
    126   1.1       tls 			continue;
    127  1.42    rillig 		if (debug != 0 && (sp->s_combo[BLACK].cv_force == 1 ||
    128  1.42    rillig 		    sp->s_combo[WHITE].cv_force == 1)) {
    129  1.24    rillig 			debuglog("- %s %x/%d %d %x/%d %d %d",
    130  1.51    rillig 			    stoc(s),
    131  1.24    rillig 			    sp->s_combo[BLACK].s, sp->s_level[BLACK],
    132  1.24    rillig 			    sp->s_nforce[BLACK],
    133  1.24    rillig 			    sp->s_combo[WHITE].s, sp->s_level[WHITE],
    134  1.24    rillig 			    sp->s_nforce[WHITE],
    135  1.24    rillig 			    sp->s_wval);
    136   1.1       tls 		}
    137   1.1       tls 		/* pick the best black move */
    138  1.51    rillig 		if (better(s, s1, BLACK))
    139  1.51    rillig 			s1 = s;
    140   1.1       tls 		/* pick the best white move */
    141  1.51    rillig 		if (better(s, s2, WHITE))
    142  1.51    rillig 			s2 = s;
    143   1.1       tls 	}
    144   1.1       tls 
    145  1.30    rillig 	if (debug != 0) {
    146  1.51    rillig 		const struct spotstr *sp1 = &board[s1], *sp2 = &board[s2];
    147  1.16  dholland 		debuglog("B %s %x/%d %d %x/%d %d %d",
    148  1.51    rillig 		    stoc(s1),
    149  1.24    rillig 		    sp1->s_combo[BLACK].s, sp1->s_level[BLACK],
    150  1.24    rillig 		    sp1->s_nforce[BLACK],
    151  1.24    rillig 		    sp1->s_combo[WHITE].s, sp1->s_level[WHITE],
    152  1.24    rillig 		    sp1->s_nforce[WHITE], sp1->s_wval);
    153  1.16  dholland 		debuglog("W %s %x/%d %d %x/%d %d %d",
    154  1.51    rillig 		    stoc(s2),
    155  1.24    rillig 		    sp2->s_combo[WHITE].s, sp2->s_level[WHITE],
    156  1.24    rillig 		    sp2->s_nforce[WHITE],
    157  1.24    rillig 		    sp2->s_combo[BLACK].s, sp2->s_level[BLACK],
    158  1.24    rillig 		    sp2->s_nforce[BLACK], sp2->s_wval);
    159   1.1       tls 		/*
    160   1.1       tls 		 * Check for more than one force that can't
    161   1.1       tls 		 * all be blocked with one move.
    162   1.1       tls 		 */
    163  1.51    rillig 		spot_index m = us == BLACK ? s2 : s1;
    164  1.61    rillig 		player_color them = us != BLACK ? BLACK : WHITE;
    165  1.51    rillig 		if (board[m].s_combo[them].cv_force == 1 &&
    166  1.30    rillig 		    !BIT_TEST(forcemap, m))
    167  1.16  dholland 			debuglog("*** Can't be blocked");
    168   1.1       tls 	}
    169  1.46    rillig 
    170  1.46    rillig 	union comboval *Ocp, *Tcp;
    171   1.1       tls 	if (us == BLACK) {
    172  1.51    rillig 		Ocp = &board[s1].s_combo[BLACK];
    173  1.51    rillig 		Tcp = &board[s2].s_combo[WHITE];
    174   1.1       tls 	} else {
    175  1.51    rillig 		Tcp = &board[s1].s_combo[BLACK];
    176  1.51    rillig 		Ocp = &board[s2].s_combo[WHITE];
    177  1.46    rillig 
    178  1.51    rillig 		spot_index tmp = s1;
    179  1.51    rillig 		s1 = s2;
    180  1.51    rillig 		s2 = tmp;
    181   1.1       tls 	}
    182   1.1       tls 	/*
    183   1.1       tls 	 * Block their combo only if we have to (i.e., if they are one move
    184  1.39    rillig 	 * away from completing a force, and we don't have a force that
    185   1.1       tls 	 * we can complete which takes fewer moves to win).
    186   1.1       tls 	 */
    187  1.56    rillig 	if (Tcp->cv_force <= 1 &&
    188  1.56    rillig 	    !(Ocp->cv_force <= 1 &&
    189  1.56    rillig 	      Tcp->cv_force + Tcp->cv_win >= Ocp->cv_force + Ocp->cv_win))
    190  1.51    rillig 		return s2;
    191  1.51    rillig 	return s1;
    192   1.1       tls }
    193   1.1       tls 
    194   1.1       tls /*
    195  1.61    rillig  * Return true if spot 's' is better than spot 's1' for color 'us'.
    196   1.1       tls  */
    197  1.33    rillig static bool
    198  1.61    rillig better(spot_index s, spot_index s1, player_color us)
    199   1.1       tls {
    200  1.51    rillig 	const struct spotstr *sp = &board[s], *sp1 = &board[s1];
    201   1.1       tls 
    202  1.28    rillig 	if (/* .... */ sp->s_combo[us].s != sp1->s_combo[us].s)
    203  1.28    rillig 		return sp->s_combo[us].s < sp1->s_combo[us].s;
    204  1.28    rillig 	if (/* .... */ sp->s_level[us] != sp1->s_level[us])
    205  1.28    rillig 		return sp->s_level[us] < sp1->s_level[us];
    206  1.28    rillig 	if (/* .... */ sp->s_nforce[us] != sp1->s_nforce[us])
    207  1.28    rillig 		return sp->s_nforce[us] > sp1->s_nforce[us];
    208   1.1       tls 
    209  1.61    rillig 	player_color them = us != BLACK ? BLACK : WHITE;
    210  1.33    rillig 	if (BIT_TEST(forcemap, s) != BIT_TEST(forcemap, s1))
    211  1.33    rillig 		return BIT_TEST(forcemap, s);
    212  1.28    rillig 
    213  1.28    rillig 	if (/* .... */ sp->s_combo[them].s != sp1->s_combo[them].s)
    214  1.28    rillig 		return sp->s_combo[them].s < sp1->s_combo[them].s;
    215  1.28    rillig 	if (/* .... */ sp->s_level[them] != sp1->s_level[them])
    216  1.28    rillig 		return sp->s_level[them] < sp1->s_level[them];
    217  1.28    rillig 	if (/* .... */ sp->s_nforce[them] != sp1->s_nforce[them])
    218  1.28    rillig 		return sp->s_nforce[them] > sp1->s_nforce[them];
    219   1.1       tls 
    220  1.28    rillig 	if (/* .... */ sp->s_wval != sp1->s_wval)
    221  1.28    rillig 		return sp->s_wval > sp1->s_wval;
    222   1.1       tls 
    223  1.30    rillig 	return (random() & 1) != 0;
    224   1.1       tls }
    225   1.1       tls 
    226  1.19  dholland static int curcolor;	/* implicit parameter to makecombo() */
    227  1.45    rillig static unsigned int curlevel;	/* implicit parameter to makecombo() */
    228   1.1       tls 
    229  1.55    rillig static bool
    230  1.57    rillig four_in_a_row(int color, spot_index s, direction r)
    231  1.55    rillig {
    232  1.55    rillig 
    233  1.56    rillig 	struct spotstr *sp = &board[s];
    234  1.56    rillig 	union comboval cb = { .s = sp->s_fval[color][r].s };
    235  1.55    rillig 	if (cb.s >= 0x101)
    236  1.55    rillig 		return false;
    237  1.55    rillig 
    238  1.58    rillig 	for (int off = 5 + cb.cv_win, d = dd[r]; off-- > 0; sp += d) {
    239  1.55    rillig 		if (sp->s_occ != EMPTY)
    240  1.55    rillig 			continue;
    241  1.55    rillig 		sp->s_combo[color].s = cb.s;
    242  1.55    rillig 		sp->s_level[color] = 1;
    243  1.55    rillig 	}
    244  1.55    rillig 	return true;
    245  1.55    rillig }
    246  1.55    rillig 
    247   1.1       tls /*
    248   1.1       tls  * Scan the sorted list of non-empty frames and
    249   1.1       tls  * update the minimum combo values for each empty spot.
    250   1.1       tls  * Also, try to combine frames to find more complex (chained) moves.
    251   1.1       tls  */
    252  1.19  dholland static void
    253  1.14  dholland scanframes(int color)
    254   1.1       tls {
    255  1.46    rillig 	struct combostr *ecbp;
    256   1.5     lukem 	struct spotstr *sp;
    257   1.5     lukem 	union comboval *cp;
    258  1.34    rillig 	struct elist *nep;
    259  1.62    rillig 	int r, n;
    260   1.1       tls 	union comboval cb;
    261   1.1       tls 
    262   1.1       tls 	curcolor = color;
    263   1.1       tls 
    264   1.1       tls 	/* check for empty list of frames */
    265  1.46    rillig 	struct combostr *cbp = sortframes[color];
    266  1.37    rillig 	if (cbp == NULL)
    267   1.1       tls 		return;
    268   1.1       tls 
    269  1.56    rillig 	if (four_in_a_row(color, cbp->c_vertex, cbp->c_dir))
    270   1.1       tls 		return;
    271   1.1       tls 
    272   1.1       tls 	/*
    273   1.1       tls 	 * Update the minimum combo value for each spot in the frame
    274   1.1       tls 	 * and try making all combinations of two frames intersecting at
    275   1.1       tls 	 * an empty spot.
    276   1.1       tls 	 */
    277   1.1       tls 	n = combolen;
    278   1.1       tls 	ecbp = cbp;
    279   1.1       tls 	do {
    280   1.1       tls 		sp = &board[cbp->c_vertex];
    281   1.1       tls 		cp = &sp->s_fval[color][r = cbp->c_dir];
    282  1.44    rillig 		int delta = dd[r];
    283  1.62    rillig 		u_char off;
    284  1.42    rillig 		if (cp->cv_win != 0) {
    285   1.1       tls 			/*
    286  1.39    rillig 			 * Since this is the first spot of an open-ended
    287   1.1       tls 			 * frame, we treat it as a closed frame.
    288   1.1       tls 			 */
    289  1.42    rillig 			cb.cv_force = cp->cv_force + 1;
    290  1.42    rillig 			cb.cv_win = 0;
    291   1.1       tls 			if (cb.s < sp->s_combo[color].s) {
    292   1.1       tls 				sp->s_combo[color].s = cb.s;
    293   1.1       tls 				sp->s_level[color] = 1;
    294   1.1       tls 			}
    295   1.1       tls 			/*
    296   1.1       tls 			 * Try combining other frames that intersect
    297   1.1       tls 			 * at this spot.
    298   1.1       tls 			 */
    299   1.1       tls 			makecombo2(cbp, sp, 0, cb.s);
    300   1.1       tls 			if (cp->s != 0x101)
    301   1.1       tls 				cb.s = cp->s;
    302   1.1       tls 			else if (color != nextcolor)
    303   1.1       tls 				memset(tmpmap, 0, sizeof(tmpmap));
    304  1.44    rillig 			sp += delta;
    305  1.59    rillig 			off = 1;
    306   1.1       tls 		} else {
    307   1.1       tls 			cb.s = cp->s;
    308  1.59    rillig 			off = 0;
    309   1.1       tls 		}
    310  1.59    rillig 		for (; off < 5; off++, sp += delta) {	/* for each spot */
    311   1.1       tls 			if (sp->s_occ != EMPTY)
    312   1.1       tls 				continue;
    313   1.1       tls 			if (cp->s < sp->s_combo[color].s) {
    314   1.1       tls 				sp->s_combo[color].s = cp->s;
    315   1.1       tls 				sp->s_level[color] = 1;
    316   1.1       tls 			}
    317   1.1       tls 			if (cp->s == 0x101) {
    318   1.1       tls 				sp->s_nforce[color]++;
    319   1.1       tls 				if (color != nextcolor) {
    320  1.54    rillig 					/* XXX: suspicious use of 'n' */
    321  1.54    rillig 					n = (spot_index)(sp - board);
    322  1.62    rillig 					BIT_SET(tmpmap, (spot_index)n);
    323   1.1       tls 				}
    324   1.1       tls 			}
    325   1.1       tls 			/*
    326   1.1       tls 			 * Try combining other frames that intersect
    327   1.1       tls 			 * at this spot.
    328   1.1       tls 			 */
    329  1.59    rillig 			makecombo2(cbp, sp, off, cb.s);
    330   1.1       tls 		}
    331   1.1       tls 		if (cp->s == 0x101 && color != nextcolor) {
    332   1.1       tls 			if (nforce == 0)
    333   1.1       tls 				memcpy(forcemap, tmpmap, sizeof(tmpmap));
    334   1.1       tls 			else {
    335  1.59    rillig 				for (int i = 0; (unsigned int)i < MAPSZ; i++)
    336   1.1       tls 					forcemap[i] &= tmpmap[i];
    337   1.1       tls 			}
    338   1.1       tls 		}
    339   1.1       tls 		/* mark frame as having been processed */
    340  1.15  dholland 		board[cbp->c_vertex].s_flags |= MFLAG << r;
    341   1.1       tls 	} while ((cbp = cbp->c_next) != ecbp);
    342   1.1       tls 
    343   1.1       tls 	/*
    344   1.1       tls 	 * Try to make new 3rd level combos, 4th level, etc.
    345   1.1       tls 	 * Limit the search depth early in the game.
    346   1.1       tls 	 */
    347  1.45    rillig 	for (unsigned int level = 2;
    348  1.47    rillig 	     level <= 1 + game.nmoves / 2 && combolen > n; level++) {
    349  1.44    rillig 		if (level >= 9)
    350  1.40    rillig 			break;	/* Do not think too long. */
    351  1.30    rillig 		if (debug != 0) {
    352  1.45    rillig 			debuglog("%cL%u %d %d %d", "BW"[color],
    353  1.44    rillig 			    level, combolen - n, combocnt, elistcnt);
    354   1.1       tls 			refresh();
    355   1.1       tls 		}
    356   1.1       tls 		n = combolen;
    357  1.44    rillig 		addframes(level);
    358   1.1       tls 	}
    359   1.1       tls 
    360   1.1       tls 	/* scan for combos at empty spots */
    361  1.34    rillig 	for (unsigned pos = PT(BSZ, BSZ + 1); pos-- > PT(1, 1); ) {
    362  1.21  dholland 		sp = &board[pos];
    363  1.34    rillig 		for (struct elist *ep = sp->s_empty; ep != NULL; ep = nep) {
    364   1.1       tls 			cbp = ep->e_combo;
    365   1.1       tls 			if (cbp->c_combo.s <= sp->s_combo[color].s) {
    366   1.1       tls 				if (cbp->c_combo.s != sp->s_combo[color].s) {
    367   1.1       tls 					sp->s_combo[color].s = cbp->c_combo.s;
    368   1.1       tls 					sp->s_level[color] = cbp->c_nframes;
    369   1.1       tls 				} else if (cbp->c_nframes < sp->s_level[color])
    370   1.1       tls 					sp->s_level[color] = cbp->c_nframes;
    371   1.1       tls 			}
    372   1.1       tls 			nep = ep->e_next;
    373   1.1       tls 			free(ep);
    374   1.1       tls 			elistcnt--;
    375   1.1       tls 		}
    376  1.37    rillig 		sp->s_empty = NULL;
    377  1.34    rillig 		for (struct elist *ep = sp->s_nempty; ep != NULL; ep = nep) {
    378   1.1       tls 			cbp = ep->e_combo;
    379   1.1       tls 			if (cbp->c_combo.s <= sp->s_combo[color].s) {
    380   1.1       tls 				if (cbp->c_combo.s != sp->s_combo[color].s) {
    381   1.1       tls 					sp->s_combo[color].s = cbp->c_combo.s;
    382   1.1       tls 					sp->s_level[color] = cbp->c_nframes;
    383   1.1       tls 				} else if (cbp->c_nframes < sp->s_level[color])
    384   1.1       tls 					sp->s_level[color] = cbp->c_nframes;
    385   1.1       tls 			}
    386   1.1       tls 			nep = ep->e_next;
    387   1.1       tls 			free(ep);
    388   1.1       tls 			elistcnt--;
    389   1.1       tls 		}
    390  1.37    rillig 		sp->s_nempty = NULL;
    391   1.1       tls 	}
    392   1.1       tls 
    393   1.1       tls 	/* remove old combos */
    394  1.37    rillig 	if ((cbp = sortcombos) != NULL) {
    395   1.1       tls 		struct combostr *ncbp;
    396   1.1       tls 
    397   1.1       tls 		/* scan the list */
    398   1.1       tls 		ecbp = cbp;
    399   1.1       tls 		do {
    400   1.1       tls 			ncbp = cbp->c_next;
    401   1.1       tls 			free(cbp);
    402   1.1       tls 			combocnt--;
    403   1.1       tls 		} while ((cbp = ncbp) != ecbp);
    404  1.37    rillig 		sortcombos = NULL;
    405   1.1       tls 	}
    406   1.1       tls 	combolen = 0;
    407   1.1       tls 
    408   1.1       tls #ifdef DEBUG
    409  1.32    rillig 	if (combocnt != 0) {
    410  1.16  dholland 		debuglog("scanframes: %c combocnt %d", "BW"[color],
    411   1.1       tls 			combocnt);
    412   1.1       tls 		whatsup(0);
    413   1.1       tls 	}
    414  1.32    rillig 	if (elistcnt != 0) {
    415  1.16  dholland 		debuglog("scanframes: %c elistcnt %d", "BW"[color],
    416   1.1       tls 			elistcnt);
    417   1.1       tls 		whatsup(0);
    418   1.1       tls 	}
    419   1.1       tls #endif
    420   1.1       tls }
    421   1.1       tls 
    422   1.1       tls /*
    423   1.1       tls  * Compute all level 2 combos of frames intersecting spot 'osp'
    424  1.49    rillig  * within the frame 'ocbp' and combo value 'cv'.
    425   1.1       tls  */
    426  1.19  dholland static void
    427  1.62    rillig makecombo2(struct combostr *ocbp, struct spotstr *osp, u_char off, u_short cv)
    428   1.1       tls {
    429   1.5     lukem 	struct combostr *ncbp;
    430  1.62    rillig 	int baseB, fcnt, emask;
    431   1.1       tls 	union comboval ocb, fcb;
    432   1.1       tls 	struct combostr **scbpp, *fcbp;
    433  1.17  dholland 	char tmp[128];
    434   1.1       tls 
    435   1.1       tls 	/* try to combine a new frame with those found so far */
    436  1.49    rillig 	ocb.s = cv;
    437  1.42    rillig 	baseB = ocb.cv_force + ocb.cv_win - 1;
    438  1.42    rillig 	fcnt = ocb.cv_force - 2;
    439  1.42    rillig 	emask = fcnt != 0 ? ((ocb.cv_win != 0 ? 0x1E : 0x1F) & ~(1 << off)) : 0;
    440  1.57    rillig 
    441  1.57    rillig 	for (direction r = 4; r-- > 0; ) {
    442   1.1       tls 	    /* don't include frames that overlap in the same direction */
    443   1.1       tls 	    if (r == ocbp->c_dir)
    444   1.1       tls 		continue;
    445  1.46    rillig 	    int d = dd[r];
    446   1.1       tls 	    /*
    447   1.1       tls 	     * Frame A combined with B is the same value as B combined with A
    448   1.1       tls 	     * so skip frames that have already been processed (MFLAG).
    449   1.1       tls 	     * Also skip blocked frames (BFLAG) and frames that are <1,x>
    450   1.1       tls 	     * since combining another frame with it isn't valid.
    451   1.1       tls 	     */
    452  1.46    rillig 	    int bmask = (BFLAG | FFLAG | MFLAG) << r;
    453  1.46    rillig 	    struct spotstr *fsp = osp;
    454  1.62    rillig 	    for (u_char f = 0; f < 5; f++, fsp -= d) {	/* for each frame */
    455   1.1       tls 		if (fsp->s_occ == BORDER)
    456   1.1       tls 		    break;
    457  1.30    rillig 		if ((fsp->s_flags & bmask) != 0)
    458   1.1       tls 		    continue;
    459   1.1       tls 
    460   1.1       tls 		/* don't include frames of the wrong color */
    461   1.1       tls 		fcb.s = fsp->s_fval[curcolor][r].s;
    462  1.42    rillig 		if (fcb.cv_force >= 6)
    463   1.1       tls 		    continue;
    464   1.1       tls 
    465   1.1       tls 		/*
    466   1.1       tls 		 * Get the combo value for this frame.
    467   1.1       tls 		 * If this is the end point of the frame,
    468   1.1       tls 		 * use the closed ended value for the frame.
    469   1.1       tls 		 */
    470  1.42    rillig 		if ((f == 0 && fcb.cv_win != 0) || fcb.s == 0x101) {
    471  1.42    rillig 		    fcb.cv_force++;
    472  1.42    rillig 		    fcb.cv_win = 0;
    473   1.1       tls 		}
    474   1.1       tls 
    475   1.1       tls 		/* compute combo value */
    476  1.62    rillig 		int c = fcb.cv_force + ocb.cv_force - 3;
    477   1.1       tls 		if (c > 4)
    478   1.1       tls 		    continue;
    479  1.62    rillig 		int n = fcb.cv_force + fcb.cv_win - 1;
    480   1.1       tls 		if (baseB < n)
    481   1.1       tls 		    n = baseB;
    482   1.1       tls 
    483   1.1       tls 		/* make a new combo! */
    484   1.1       tls 		ncbp = (struct combostr *)malloc(sizeof(struct combostr) +
    485   1.1       tls 		    2 * sizeof(struct combostr *));
    486   1.8       jsm 		if (ncbp == NULL)
    487   1.8       jsm 		    panic("Out of memory!");
    488  1.29    rillig 		scbpp = (void *)(ncbp + 1);
    489  1.53    rillig 		fcbp = &frames[fsp->s_frame[r]];
    490   1.1       tls 		if (ocbp < fcbp) {
    491   1.1       tls 		    scbpp[0] = ocbp;
    492   1.1       tls 		    scbpp[1] = fcbp;
    493   1.1       tls 		} else {
    494   1.1       tls 		    scbpp[0] = fcbp;
    495   1.1       tls 		    scbpp[1] = ocbp;
    496   1.1       tls 		}
    497  1.42    rillig 		ncbp->c_combo.cv_force = c;
    498  1.42    rillig 		ncbp->c_combo.cv_win = n;
    499   1.1       tls 		ncbp->c_link[0] = ocbp;
    500   1.1       tls 		ncbp->c_link[1] = fcbp;
    501   1.1       tls 		ncbp->c_linkv[0].s = ocb.s;
    502   1.1       tls 		ncbp->c_linkv[1].s = fcb.s;
    503   1.1       tls 		ncbp->c_voff[0] = off;
    504   1.1       tls 		ncbp->c_voff[1] = f;
    505  1.54    rillig 		ncbp->c_vertex = (spot_index)(osp - board);
    506   1.1       tls 		ncbp->c_nframes = 2;
    507   1.1       tls 		ncbp->c_dir = 0;
    508   1.1       tls 		ncbp->c_frameindex = 0;
    509  1.42    rillig 		ncbp->c_flags = ocb.cv_win != 0 ? C_OPEN_0 : 0;
    510  1.42    rillig 		if (fcb.cv_win != 0)
    511  1.15  dholland 		    ncbp->c_flags |= C_OPEN_1;
    512   1.1       tls 		ncbp->c_framecnt[0] = fcnt;
    513   1.1       tls 		ncbp->c_emask[0] = emask;
    514  1.42    rillig 		ncbp->c_framecnt[1] = fcb.cv_force - 2;
    515  1.30    rillig 		ncbp->c_emask[1] = ncbp->c_framecnt[1] != 0 ?
    516  1.42    rillig 		    ((fcb.cv_win != 0 ? 0x1E : 0x1F) & ~(1 << f)) : 0;
    517   1.1       tls 		combocnt++;
    518   1.1       tls 
    519   1.5     lukem 		if ((c == 1 && debug > 1) || debug > 3) {
    520  1.17  dholland 		    debuglog("%c c %d %d m %x %x o %d %d",
    521   1.1       tls 			"bw"[curcolor],
    522   1.1       tls 			ncbp->c_framecnt[0], ncbp->c_framecnt[1],
    523   1.1       tls 			ncbp->c_emask[0], ncbp->c_emask[1],
    524   1.1       tls 			ncbp->c_voff[0], ncbp->c_voff[1]);
    525  1.17  dholland 		    printcombo(ncbp, tmp, sizeof(tmp));
    526  1.17  dholland 		    debuglog("%s", tmp);
    527   1.1       tls 		}
    528   1.1       tls 		if (c > 1) {
    529   1.1       tls 		    /* record the empty spots that will complete this combo */
    530   1.1       tls 		    makeempty(ncbp);
    531   1.1       tls 
    532   1.1       tls 		    /* add the new combo to the end of the list */
    533   1.1       tls 		    appendcombo(ncbp, curcolor);
    534   1.1       tls 		} else {
    535   1.1       tls 		    updatecombo(ncbp, curcolor);
    536   1.1       tls 		    free(ncbp);
    537   1.1       tls 		    combocnt--;
    538   1.1       tls 		}
    539   1.1       tls #ifdef DEBUG
    540  1.18  dholland 		if ((c == 1 && debug > 1) || debug > 5) {
    541   1.1       tls 		    markcombo(ncbp);
    542   1.1       tls 		    bdisp();
    543   1.1       tls 		    whatsup(0);
    544   1.1       tls 		    clearcombo(ncbp, 0);
    545   1.1       tls 		}
    546   1.1       tls #endif /* DEBUG */
    547   1.1       tls 	    }
    548   1.1       tls 	}
    549   1.1       tls }
    550   1.1       tls 
    551   1.1       tls /*
    552   1.1       tls  * Scan the sorted list of frames and try to add a frame to
    553   1.1       tls  * combinations of 'level' number of frames.
    554   1.1       tls  */
    555  1.19  dholland static void
    556  1.45    rillig addframes(unsigned int level)
    557   1.1       tls {
    558   1.5     lukem 	struct combostr *cbp, *ecbp;
    559  1.46    rillig 	struct spotstr *fsp;
    560  1.34    rillig 	struct elist *nep;
    561  1.59    rillig 	int r;
    562   1.1       tls 	struct combostr **cbpp, *pcbp;
    563   1.1       tls 	union comboval fcb, cb;
    564   1.1       tls 
    565   1.1       tls 	curlevel = level;
    566   1.1       tls 
    567   1.1       tls 	/* scan for combos at empty spots */
    568  1.59    rillig 	int c = curcolor;
    569  1.34    rillig 	for (unsigned pos = PT(BSZ, BSZ + 1); pos-- > PT(1, 1); ) {
    570  1.46    rillig 		struct spotstr *sp = &board[pos];
    571  1.34    rillig 		for (struct elist *ep = sp->s_empty; ep != NULL; ep = nep) {
    572   1.1       tls 			cbp = ep->e_combo;
    573  1.59    rillig 			if (cbp->c_combo.s <= sp->s_combo[c].s) {
    574  1.59    rillig 				if (cbp->c_combo.s != sp->s_combo[c].s) {
    575  1.59    rillig 					sp->s_combo[c].s = cbp->c_combo.s;
    576  1.59    rillig 					sp->s_level[c] = cbp->c_nframes;
    577  1.59    rillig 				} else if (cbp->c_nframes < sp->s_level[c])
    578  1.59    rillig 					sp->s_level[c] = cbp->c_nframes;
    579   1.1       tls 			}
    580   1.1       tls 			nep = ep->e_next;
    581   1.1       tls 			free(ep);
    582   1.1       tls 			elistcnt--;
    583   1.1       tls 		}
    584   1.1       tls 		sp->s_empty = sp->s_nempty;
    585  1.37    rillig 		sp->s_nempty = NULL;
    586   1.1       tls 	}
    587   1.1       tls 
    588   1.1       tls 	/* try to add frames to the uncompleted combos at level curlevel */
    589   1.1       tls 	cbp = ecbp = sortframes[curcolor];
    590   1.1       tls 	do {
    591   1.1       tls 		fsp = &board[cbp->c_vertex];
    592   1.1       tls 		r = cbp->c_dir;
    593   1.1       tls 		/* skip frames that are part of a <1,x> combo */
    594  1.30    rillig 		if ((fsp->s_flags & (FFLAG << r)) != 0)
    595   1.1       tls 			continue;
    596   1.1       tls 
    597   1.1       tls 		/*
    598   1.1       tls 		 * Don't include <1,x> combo frames,
    599   1.1       tls 		 * treat it as a closed three in a row instead.
    600   1.1       tls 		 */
    601   1.1       tls 		fcb.s = fsp->s_fval[curcolor][r].s;
    602   1.1       tls 		if (fcb.s == 0x101)
    603   1.1       tls 			fcb.s = 0x200;
    604   1.1       tls 
    605   1.1       tls 		/*
    606  1.39    rillig 		 * If this is an open-ended frame, use
    607   1.1       tls 		 * the combo value with the end closed.
    608   1.1       tls 		 */
    609   1.1       tls 		if (fsp->s_occ == EMPTY) {
    610  1.42    rillig 			if (fcb.cv_win != 0) {
    611  1.42    rillig 				cb.cv_force = fcb.cv_force + 1;
    612  1.42    rillig 				cb.cv_win = 0;
    613   1.1       tls 			} else
    614   1.1       tls 				cb.s = fcb.s;
    615   1.1       tls 			makecombo(cbp, fsp, 0, cb.s);
    616   1.1       tls 		}
    617   1.1       tls 
    618   1.1       tls 		/*
    619   1.1       tls 		 * The next four spots are handled the same for both
    620   1.1       tls 		 * open and closed ended frames.
    621   1.1       tls 		 */
    622  1.46    rillig 		int d = dd[r];
    623  1.46    rillig 		struct spotstr *sp = fsp + d;
    624  1.62    rillig 		for (u_char off = 1; off < 5; off++, sp += d) {
    625   1.1       tls 			if (sp->s_occ != EMPTY)
    626   1.1       tls 				continue;
    627  1.59    rillig 			makecombo(cbp, sp, off, fcb.s);
    628   1.1       tls 		}
    629   1.1       tls 	} while ((cbp = cbp->c_next) != ecbp);
    630   1.1       tls 
    631   1.1       tls 	/* put all the combos in the hash list on the sorted list */
    632   1.1       tls 	cbpp = &hashcombos[FAREA];
    633   1.1       tls 	do {
    634   1.1       tls 		cbp = *--cbpp;
    635  1.37    rillig 		if (cbp == NULL)
    636   1.1       tls 			continue;
    637  1.37    rillig 		*cbpp = NULL;
    638   1.1       tls 		ecbp = sortcombos;
    639  1.37    rillig 		if (ecbp == NULL)
    640   1.1       tls 			sortcombos = cbp;
    641   1.1       tls 		else {
    642   1.1       tls 			/* append to sort list */
    643   1.1       tls 			pcbp = ecbp->c_prev;
    644   1.1       tls 			pcbp->c_next = cbp;
    645   1.1       tls 			ecbp->c_prev = cbp->c_prev;
    646   1.1       tls 			cbp->c_prev->c_next = ecbp;
    647   1.1       tls 			cbp->c_prev = pcbp;
    648   1.1       tls 		}
    649   1.1       tls 	} while (cbpp != hashcombos);
    650   1.1       tls }
    651   1.1       tls 
    652   1.1       tls /*
    653   1.1       tls  * Compute all level N combos of frames intersecting spot 'osp'
    654  1.49    rillig  * within the frame 'ocbp' and combo value 'cv'.
    655   1.1       tls  */
    656  1.19  dholland static void
    657  1.62    rillig makecombo(struct combostr *ocbp, struct spotstr *osp, u_char off, u_short cv)
    658   1.1       tls {
    659  1.46    rillig 	struct combostr *cbp;
    660   1.5     lukem 	struct spotstr *sp;
    661   1.1       tls 	struct combostr **scbpp;
    662   1.5     lukem 	int baseB, fcnt, emask, verts;
    663   1.5     lukem 	union comboval ocb;
    664  1.15  dholland 	struct overlap_info vertices[1];
    665  1.17  dholland 	char tmp[128];
    666   1.1       tls 
    667  1.19  dholland 	/*
    668  1.19  dholland 	 * XXX: when I made functions static gcc started warning about
    669  1.19  dholland 	 * some members of vertices[0] maybe being used uninitialized.
    670  1.39    rillig 	 * For now, I'm just going to clear it rather than wade through
    671  1.19  dholland 	 * the logic to find out whether gcc or the code is wrong. I
    672  1.19  dholland 	 * wouldn't be surprised if it were the code though. - dholland
    673  1.19  dholland 	 */
    674  1.19  dholland 	memset(vertices, 0, sizeof(vertices));
    675  1.19  dholland 
    676  1.49    rillig 	ocb.s = cv;
    677  1.42    rillig 	baseB = ocb.cv_force + ocb.cv_win - 1;
    678  1.42    rillig 	fcnt = ocb.cv_force - 2;
    679  1.42    rillig 	emask = fcnt != 0 ? ((ocb.cv_win != 0 ? 0x1E : 0x1F) & ~(1 << off)) : 0;
    680  1.34    rillig 	for (struct elist *ep = osp->s_empty; ep != NULL; ep = ep->e_next) {
    681   1.1       tls 	    /* check for various kinds of overlap */
    682   1.1       tls 	    cbp = ep->e_combo;
    683  1.49    rillig 	    verts = checkframes(cbp, ocbp, osp, cv, vertices);
    684   1.1       tls 	    if (verts < 0)
    685   1.1       tls 		continue;
    686   1.1       tls 
    687   1.1       tls 	    /* check to see if this frame forms a valid loop */
    688  1.30    rillig 	    if (verts > 0) {
    689   1.1       tls 		sp = &board[vertices[0].o_intersect];
    690   1.1       tls #ifdef DEBUG
    691   1.1       tls 		if (sp->s_occ != EMPTY) {
    692  1.16  dholland 		    debuglog("loop: %c %s", "BW"[curcolor],
    693  1.54    rillig 			stoc((spot_index)(sp - board)));
    694   1.1       tls 		    whatsup(0);
    695   1.1       tls 		}
    696   1.1       tls #endif
    697   1.1       tls 		/*
    698   1.1       tls 		 * It is a valid loop if the intersection spot
    699   1.1       tls 		 * of the frame we are trying to attach is one
    700   1.1       tls 		 * of the completion spots of the combostr
    701   1.1       tls 		 * we are trying to attach the frame to.
    702   1.1       tls 		 */
    703  1.34    rillig 		for (struct elist *nep = sp->s_empty;
    704  1.34    rillig 			nep != NULL; nep = nep->e_next) {
    705   1.1       tls 		    if (nep->e_combo == cbp)
    706   1.1       tls 			goto fnd;
    707   1.1       tls 		    if (nep->e_combo->c_nframes < cbp->c_nframes)
    708   1.1       tls 			break;
    709   1.1       tls 		}
    710   1.1       tls 		/* frame overlaps but not at a valid spot */
    711   1.1       tls 		continue;
    712   1.1       tls 	    fnd:
    713   1.1       tls 		;
    714   1.1       tls 	    }
    715   1.1       tls 
    716   1.1       tls 	    /* compute the first half of the combo value */
    717  1.46    rillig 	    int c = cbp->c_combo.cv_force + ocb.cv_force - verts - 3;
    718   1.1       tls 	    if (c > 4)
    719   1.1       tls 		continue;
    720   1.1       tls 
    721   1.1       tls 	    /* compute the second half of the combo value */
    722  1.46    rillig 	    int n = ep->e_fval.cv_force + ep->e_fval.cv_win - 1;
    723   1.1       tls 	    if (baseB < n)
    724   1.1       tls 		n = baseB;
    725   1.1       tls 
    726   1.1       tls 	    /* make a new combo! */
    727  1.46    rillig 	    struct combostr *ncbp = malloc(sizeof(struct combostr) +
    728   1.1       tls 		(cbp->c_nframes + 1) * sizeof(struct combostr *));
    729   1.8       jsm 	    if (ncbp == NULL)
    730   1.8       jsm 		panic("Out of memory!");
    731  1.29    rillig 	    scbpp = (void *)(ncbp + 1);
    732  1.29    rillig 	    if (sortcombo(scbpp, (void *)(cbp + 1), ocbp)) {
    733   1.1       tls 		free(ncbp);
    734   1.1       tls 		continue;
    735   1.1       tls 	    }
    736   1.1       tls 	    combocnt++;
    737   1.1       tls 
    738  1.42    rillig 	    ncbp->c_combo.cv_force = c;
    739  1.42    rillig 	    ncbp->c_combo.cv_win = n;
    740   1.1       tls 	    ncbp->c_link[0] = cbp;
    741   1.1       tls 	    ncbp->c_link[1] = ocbp;
    742   1.1       tls 	    ncbp->c_linkv[1].s = ocb.s;
    743   1.1       tls 	    ncbp->c_voff[1] = off;
    744  1.54    rillig 	    ncbp->c_vertex = (spot_index)(osp - board);
    745   1.1       tls 	    ncbp->c_nframes = cbp->c_nframes + 1;
    746  1.42    rillig 	    ncbp->c_flags = ocb.cv_win != 0 ? C_OPEN_1 : 0;
    747   1.1       tls 	    ncbp->c_frameindex = ep->e_frameindex;
    748   1.1       tls 	    /*
    749   1.1       tls 	     * Update the completion spot mask of the frame we
    750   1.1       tls 	     * are attaching 'ocbp' to so the intersection isn't
    751   1.1       tls 	     * listed twice.
    752   1.1       tls 	     */
    753   1.1       tls 	    ncbp->c_framecnt[0] = ep->e_framecnt;
    754   1.1       tls 	    ncbp->c_emask[0] = ep->e_emask;
    755  1.30    rillig 	    if (verts != 0) {
    756  1.15  dholland 		ncbp->c_flags |= C_LOOP;
    757   1.1       tls 		ncbp->c_dir = vertices[0].o_frameindex;
    758   1.1       tls 		ncbp->c_framecnt[1] = fcnt - 1;
    759  1.30    rillig 		if (ncbp->c_framecnt[1] != 0) {
    760   1.1       tls 		    n = (vertices[0].o_intersect - ocbp->c_vertex) /
    761   1.1       tls 			dd[ocbp->c_dir];
    762   1.1       tls 		    ncbp->c_emask[1] = emask & ~(1 << n);
    763   1.1       tls 		} else
    764   1.1       tls 		    ncbp->c_emask[1] = 0;
    765   1.1       tls 		ncbp->c_voff[0] = vertices[0].o_off;
    766   1.1       tls 	    } else {
    767   1.1       tls 		ncbp->c_dir = 0;
    768   1.1       tls 		ncbp->c_framecnt[1] = fcnt;
    769   1.1       tls 		ncbp->c_emask[1] = emask;
    770   1.1       tls 		ncbp->c_voff[0] = ep->e_off;
    771   1.1       tls 	    }
    772   1.1       tls 
    773   1.5     lukem 	    if ((c == 1 && debug > 1) || debug > 3) {
    774  1.16  dholland 		debuglog("%c v%d i%d d%d c %d %d m %x %x o %d %d",
    775   1.1       tls 		    "bw"[curcolor], verts, ncbp->c_frameindex, ncbp->c_dir,
    776   1.1       tls 		    ncbp->c_framecnt[0], ncbp->c_framecnt[1],
    777   1.1       tls 		    ncbp->c_emask[0], ncbp->c_emask[1],
    778   1.1       tls 		    ncbp->c_voff[0], ncbp->c_voff[1]);
    779  1.17  dholland 		printcombo(ncbp, tmp, sizeof(tmp));
    780  1.17  dholland 		debuglog("%s", tmp);
    781   1.1       tls 	    }
    782   1.1       tls 	    if (c > 1) {
    783   1.1       tls 		/* record the empty spots that will complete this combo */
    784   1.1       tls 		makeempty(ncbp);
    785   1.1       tls 		combolen++;
    786   1.1       tls 	    } else {
    787   1.1       tls 		/* update board values */
    788   1.1       tls 		updatecombo(ncbp, curcolor);
    789   1.1       tls 	    }
    790   1.1       tls #ifdef DEBUG
    791  1.18  dholland 	    if ((c == 1 && debug > 1) || debug > 4) {
    792   1.1       tls 		markcombo(ncbp);
    793   1.1       tls 		bdisp();
    794   1.1       tls 		whatsup(0);
    795   1.1       tls 		clearcombo(ncbp, 0);
    796   1.1       tls 	    }
    797   1.1       tls #endif /* DEBUG */
    798   1.1       tls 	}
    799   1.1       tls }
    800   1.1       tls 
    801   1.1       tls #define MAXDEPTH	100
    802  1.19  dholland static struct elist einfo[MAXDEPTH];
    803  1.19  dholland static struct combostr *ecombo[MAXDEPTH];	/* separate from elist to save space */
    804   1.1       tls 
    805   1.1       tls /*
    806   1.1       tls  * Add the combostr 'ocbp' to the empty spots list for each empty spot
    807   1.1       tls  * in 'ocbp' that will complete the combo.
    808   1.1       tls  */
    809  1.19  dholland static void
    810  1.14  dholland makeempty(struct combostr *ocbp)
    811   1.1       tls {
    812  1.23    rillig 	struct combostr *cbp, **cbpp;
    813   1.5     lukem 	struct elist *ep, *nep;
    814   1.1       tls 	struct spotstr *sp;
    815  1.49    rillig 	int d, emask, i;
    816   1.1       tls 	int nframes;
    817  1.17  dholland 	char tmp[128];
    818   1.1       tls 
    819   1.1       tls 	if (debug > 2) {
    820  1.17  dholland 		printcombo(ocbp, tmp, sizeof(tmp));
    821  1.17  dholland 		debuglog("E%c %s", "bw"[curcolor], tmp);
    822   1.1       tls 	}
    823   1.1       tls 
    824   1.1       tls 	/* should never happen but check anyway */
    825   1.1       tls 	if ((nframes = ocbp->c_nframes) >= MAXDEPTH)
    826   1.1       tls 		return;
    827   1.1       tls 
    828   1.1       tls 	/*
    829   1.1       tls 	 * The lower level combo can be pointed to by more than one
    830   1.1       tls 	 * higher level 'struct combostr' so we can't modify the
    831   1.1       tls 	 * lower level. Therefore, higher level combos store the
    832   1.1       tls 	 * real mask of the lower level frame in c_emask[0] and the
    833   1.1       tls 	 * frame number in c_frameindex.
    834   1.1       tls 	 *
    835   1.1       tls 	 * First we traverse the tree from top to bottom and save the
    836   1.1       tls 	 * connection info. Then we traverse the tree from bottom to
    837   1.1       tls 	 * top overwriting lower levels with the newer emask information.
    838   1.1       tls 	 */
    839   1.1       tls 	ep = &einfo[nframes];
    840   1.1       tls 	cbpp = &ecombo[nframes];
    841  1.23    rillig 	for (cbp = ocbp; cbp->c_link[1] != NULL; cbp = cbp->c_link[0]) {
    842   1.1       tls 		ep--;
    843   1.1       tls 		ep->e_combo = cbp;
    844   1.1       tls 		*--cbpp = cbp->c_link[1];
    845   1.1       tls 		ep->e_off = cbp->c_voff[1];
    846   1.1       tls 		ep->e_frameindex = cbp->c_frameindex;
    847   1.1       tls 		ep->e_fval.s = cbp->c_linkv[1].s;
    848   1.1       tls 		ep->e_framecnt = cbp->c_framecnt[1];
    849   1.1       tls 		ep->e_emask = cbp->c_emask[1];
    850   1.1       tls 	}
    851   1.1       tls 	cbp = ep->e_combo;
    852   1.1       tls 	ep--;
    853   1.1       tls 	ep->e_combo = cbp;
    854   1.1       tls 	*--cbpp = cbp->c_link[0];
    855   1.1       tls 	ep->e_off = cbp->c_voff[0];
    856   1.1       tls 	ep->e_frameindex = 0;
    857   1.1       tls 	ep->e_fval.s = cbp->c_linkv[0].s;
    858   1.1       tls 	ep->e_framecnt = cbp->c_framecnt[0];
    859   1.1       tls 	ep->e_emask = cbp->c_emask[0];
    860   1.1       tls 
    861   1.1       tls 	/* now update the emask info */
    862  1.49    rillig 	int n = 0;
    863   1.1       tls 	for (i = 2, ep += 2; i < nframes; i++, ep++) {
    864   1.1       tls 		cbp = ep->e_combo;
    865   1.1       tls 		nep = &einfo[ep->e_frameindex];
    866   1.1       tls 		nep->e_framecnt = cbp->c_framecnt[0];
    867   1.1       tls 		nep->e_emask = cbp->c_emask[0];
    868   1.1       tls 
    869  1.30    rillig 		if ((cbp->c_flags & C_LOOP) != 0) {
    870  1.49    rillig 			n++;
    871   1.1       tls 			/*
    872   1.1       tls 			 * Account for the fact that this frame connects
    873   1.1       tls 			 * to a previous one (thus forming a loop).
    874   1.1       tls 			 */
    875   1.1       tls 			nep = &einfo[cbp->c_dir];
    876  1.30    rillig 			if (--nep->e_framecnt != 0)
    877   1.1       tls 				nep->e_emask &= ~(1 << cbp->c_voff[0]);
    878   1.1       tls 			else
    879   1.1       tls 				nep->e_emask = 0;
    880   1.1       tls 		}
    881   1.1       tls 	}
    882   1.1       tls 
    883   1.1       tls 	/*
    884   1.1       tls 	 * We only need to update the emask values of "complete" loops
    885   1.1       tls 	 * to include the intersection spots.
    886   1.1       tls 	 */
    887  1.49    rillig 	if (n != 0 && ocbp->c_combo.cv_force == 2) {
    888   1.1       tls 		/* process loops from the top down */
    889   1.1       tls 		ep = &einfo[nframes];
    890   1.1       tls 		do {
    891   1.1       tls 			ep--;
    892   1.1       tls 			cbp = ep->e_combo;
    893  1.30    rillig 			if ((cbp->c_flags & C_LOOP) == 0)
    894   1.1       tls 				continue;
    895   1.1       tls 
    896   1.1       tls 			/*
    897   1.1       tls 			 * Update the emask values to include the
    898   1.1       tls 			 * intersection spots.
    899   1.1       tls 			 */
    900   1.1       tls 			nep = &einfo[cbp->c_dir];
    901   1.1       tls 			nep->e_framecnt = 1;
    902   1.1       tls 			nep->e_emask = 1 << cbp->c_voff[0];
    903   1.1       tls 			ep->e_framecnt = 1;
    904   1.1       tls 			ep->e_emask = 1 << ep->e_off;
    905   1.1       tls 			ep = &einfo[ep->e_frameindex];
    906   1.1       tls 			do {
    907   1.1       tls 				ep->e_framecnt = 1;
    908   1.1       tls 				ep->e_emask = 1 << ep->e_off;
    909   1.1       tls 				ep = &einfo[ep->e_frameindex];
    910   1.1       tls 			} while (ep > nep);
    911   1.1       tls 		} while (ep != einfo);
    912   1.1       tls 	}
    913   1.1       tls 
    914   1.1       tls 	/* check all the frames for completion spots */
    915   1.1       tls 	for (i = 0, ep = einfo, cbpp = ecombo; i < nframes; i++, ep++, cbpp++) {
    916   1.1       tls 		/* skip this frame if there are no incomplete spots in it */
    917   1.1       tls 		if ((emask = ep->e_emask) == 0)
    918   1.1       tls 			continue;
    919   1.1       tls 		cbp = *cbpp;
    920   1.1       tls 		sp = &board[cbp->c_vertex];
    921   1.1       tls 		d = dd[cbp->c_dir];
    922  1.49    rillig 		for (int off = 0, m = 1; off < 5; off++, sp += d, m <<= 1) {
    923  1.30    rillig 			if (sp->s_occ != EMPTY || (emask & m) == 0)
    924   1.1       tls 				continue;
    925   1.1       tls 
    926   1.1       tls 			/* add the combo to the list of empty spots */
    927   1.1       tls 			nep = (struct elist *)malloc(sizeof(struct elist));
    928   1.8       jsm 			if (nep == NULL)
    929  1.24    rillig 				panic("Out of memory!");
    930   1.1       tls 			nep->e_combo = ocbp;
    931  1.49    rillig 			nep->e_off = off;
    932   1.1       tls 			nep->e_frameindex = i;
    933   1.1       tls 			if (ep->e_framecnt > 1) {
    934   1.1       tls 				nep->e_framecnt = ep->e_framecnt - 1;
    935   1.1       tls 				nep->e_emask = emask & ~m;
    936   1.1       tls 			} else {
    937   1.1       tls 				nep->e_framecnt = 0;
    938   1.1       tls 				nep->e_emask = 0;
    939   1.1       tls 			}
    940   1.1       tls 			nep->e_fval.s = ep->e_fval.s;
    941   1.1       tls 			if (debug > 2) {
    942  1.16  dholland 				debuglog("e %s o%d i%d c%d m%x %x",
    943  1.54    rillig 				    stoc((spot_index)(sp - board)),
    944  1.24    rillig 				    nep->e_off,
    945  1.24    rillig 				    nep->e_frameindex,
    946  1.24    rillig 				    nep->e_framecnt,
    947  1.24    rillig 				    nep->e_emask,
    948  1.24    rillig 				    nep->e_fval.s);
    949   1.1       tls 			}
    950   1.1       tls 
    951   1.1       tls 			/* sort by the number of frames in the combo */
    952   1.1       tls 			nep->e_next = sp->s_nempty;
    953   1.1       tls 			sp->s_nempty = nep;
    954   1.1       tls 			elistcnt++;
    955   1.1       tls 		}
    956   1.1       tls 	}
    957   1.1       tls }
    958   1.1       tls 
    959   1.1       tls /*
    960   1.1       tls  * Update the board value based on the combostr.
    961   1.1       tls  * This is called only if 'cbp' is a <1,x> combo.
    962   1.1       tls  * We handle things differently depending on whether the next move
    963   1.1       tls  * would be trying to "complete" the combo or trying to block it.
    964   1.1       tls  */
    965  1.19  dholland static void
    966  1.14  dholland updatecombo(struct combostr *cbp, int color)
    967   1.1       tls {
    968   1.5     lukem 	struct combostr *tcbp;
    969   1.1       tls 	union comboval cb;
    970   1.1       tls 
    971  1.62    rillig 	int flags = 0;
    972   1.1       tls 	/* save the top level value for the whole combo */
    973  1.42    rillig 	cb.cv_force = cbp->c_combo.cv_force;
    974  1.62    rillig 	u_char nframes = cbp->c_nframes;
    975   1.1       tls 
    976   1.1       tls 	if (color != nextcolor)
    977   1.1       tls 		memset(tmpmap, 0, sizeof(tmpmap));
    978   1.1       tls 
    979   1.5     lukem 	for (; (tcbp = cbp->c_link[1]) != NULL; cbp = cbp->c_link[0]) {
    980  1.15  dholland 		flags = cbp->c_flags;
    981  1.42    rillig 		cb.cv_win = cbp->c_combo.cv_win;
    982   1.1       tls 		if (color == nextcolor) {
    983   1.1       tls 			/* update the board value for the vertex */
    984  1.46    rillig 			struct spotstr *sp = &board[cbp->c_vertex];
    985   1.1       tls 			sp->s_nforce[color]++;
    986   1.1       tls 			if (cb.s <= sp->s_combo[color].s) {
    987   1.1       tls 				if (cb.s != sp->s_combo[color].s) {
    988   1.1       tls 					sp->s_combo[color].s = cb.s;
    989   1.1       tls 					sp->s_level[color] = nframes;
    990   1.1       tls 				} else if (nframes < sp->s_level[color])
    991   1.1       tls 					sp->s_level[color] = nframes;
    992   1.1       tls 			}
    993   1.1       tls 		} else {
    994   1.1       tls 			/* update the board values for each spot in frame */
    995  1.49    rillig 			spot_index s = tcbp->c_vertex;
    996  1.46    rillig 			struct spotstr *sp = &board[s];
    997  1.46    rillig 			int d = dd[tcbp->c_dir];
    998  1.59    rillig 			int off = (flags & C_OPEN_1) != 0 ? 6 : 5;
    999  1.59    rillig 			for (; --off >= 0; sp += d, s += d) {
   1000   1.1       tls 				if (sp->s_occ != EMPTY)
   1001   1.1       tls 					continue;
   1002   1.1       tls 				sp->s_nforce[color]++;
   1003   1.1       tls 				if (cb.s <= sp->s_combo[color].s) {
   1004   1.1       tls 					if (cb.s != sp->s_combo[color].s) {
   1005   1.1       tls 						sp->s_combo[color].s = cb.s;
   1006   1.1       tls 						sp->s_level[color] = nframes;
   1007   1.1       tls 					} else if (nframes < sp->s_level[color])
   1008   1.1       tls 						sp->s_level[color] = nframes;
   1009   1.1       tls 				}
   1010   1.1       tls 				BIT_SET(tmpmap, s);
   1011   1.1       tls 			}
   1012   1.1       tls 		}
   1013   1.1       tls 
   1014   1.1       tls 		/* mark the frame as being part of a <1,x> combo */
   1015  1.15  dholland 		board[tcbp->c_vertex].s_flags |= FFLAG << tcbp->c_dir;
   1016   1.1       tls 	}
   1017   1.1       tls 
   1018   1.1       tls 	if (color != nextcolor) {
   1019   1.1       tls 		/* update the board values for each spot in frame */
   1020  1.49    rillig 		spot_index s = cbp->c_vertex;
   1021  1.46    rillig 		struct spotstr *sp = &board[s];
   1022  1.46    rillig 		int d = dd[cbp->c_dir];
   1023  1.59    rillig 		int off = (flags & C_OPEN_0) != 0 ? 6 : 5;
   1024  1.59    rillig 		for (; --off >= 0; sp += d, s += d) {
   1025   1.1       tls 			if (sp->s_occ != EMPTY)
   1026   1.1       tls 				continue;
   1027   1.1       tls 			sp->s_nforce[color]++;
   1028   1.1       tls 			if (cb.s <= sp->s_combo[color].s) {
   1029   1.1       tls 				if (cb.s != sp->s_combo[color].s) {
   1030   1.1       tls 					sp->s_combo[color].s = cb.s;
   1031   1.1       tls 					sp->s_level[color] = nframes;
   1032   1.1       tls 				} else if (nframes < sp->s_level[color])
   1033   1.1       tls 					sp->s_level[color] = nframes;
   1034   1.1       tls 			}
   1035   1.1       tls 			BIT_SET(tmpmap, s);
   1036   1.1       tls 		}
   1037   1.1       tls 		if (nforce == 0)
   1038   1.1       tls 			memcpy(forcemap, tmpmap, sizeof(tmpmap));
   1039   1.1       tls 		else {
   1040  1.59    rillig 			for (int i = 0; (unsigned int)i < MAPSZ; i++)
   1041   1.1       tls 				forcemap[i] &= tmpmap[i];
   1042   1.1       tls 		}
   1043   1.1       tls 		nforce++;
   1044   1.1       tls 	}
   1045   1.1       tls 
   1046   1.1       tls 	/* mark the frame as being part of a <1,x> combo */
   1047  1.15  dholland 	board[cbp->c_vertex].s_flags |= FFLAG << cbp->c_dir;
   1048   1.1       tls }
   1049   1.1       tls 
   1050   1.1       tls /*
   1051   1.1       tls  * Add combo to the end of the list.
   1052   1.1       tls  */
   1053  1.19  dholland static void
   1054  1.14  dholland appendcombo(struct combostr *cbp, int color __unused)
   1055   1.1       tls {
   1056   1.1       tls 	struct combostr *pcbp, *ncbp;
   1057   1.1       tls 
   1058   1.1       tls 	combolen++;
   1059   1.1       tls 	ncbp = sortcombos;
   1060  1.37    rillig 	if (ncbp == NULL) {
   1061   1.1       tls 		sortcombos = cbp;
   1062   1.1       tls 		cbp->c_next = cbp;
   1063   1.1       tls 		cbp->c_prev = cbp;
   1064   1.1       tls 		return;
   1065   1.1       tls 	}
   1066   1.1       tls 	pcbp = ncbp->c_prev;
   1067   1.1       tls 	cbp->c_next = ncbp;
   1068   1.1       tls 	cbp->c_prev = pcbp;
   1069   1.1       tls 	ncbp->c_prev = cbp;
   1070   1.1       tls 	pcbp->c_next = cbp;
   1071   1.1       tls }
   1072   1.1       tls 
   1073   1.1       tls /*
   1074   1.1       tls  * Return zero if it is valid to combine frame 'fcbp' with the frames
   1075   1.1       tls  * in 'cbp' and forms a linked chain of frames (i.e., a tree; no loops).
   1076   1.1       tls  * Return positive if combining frame 'fcbp' to the frames in 'cbp'
   1077   1.1       tls  * would form some kind of valid loop. Also return the intersection spots
   1078   1.1       tls  * in 'vertices[]' beside the known intersection at spot 'osp'.
   1079   1.1       tls  * Return -1 if 'fcbp' should not be combined with 'cbp'.
   1080  1.49    rillig  * 'cv' is the combo value for frame 'fcbp'.
   1081   1.1       tls  */
   1082  1.19  dholland static int
   1083  1.14  dholland checkframes(struct combostr *cbp, struct combostr *fcbp, struct spotstr *osp,
   1084  1.62    rillig 	    u_short cv, struct overlap_info *vertices)
   1085   1.1       tls {
   1086   1.1       tls 	struct combostr *tcbp, *lcbp;
   1087  1.62    rillig 	int ovbit, n, mask, flags, fcnt;
   1088   1.1       tls 	union comboval cb;
   1089   1.1       tls 	u_char *str;
   1090   1.1       tls 
   1091   1.5     lukem 	lcbp = NULL;
   1092  1.15  dholland 	flags = 0;
   1093   1.5     lukem 
   1094  1.49    rillig 	cb.s = cv;
   1095  1.42    rillig 	fcnt = cb.cv_force - 2;
   1096  1.62    rillig 	int verts = 0;
   1097  1.62    rillig 	u_char myindex = cbp->c_nframes;
   1098  1.54    rillig 	n = (frame_index)(fcbp - frames) * FAREA;
   1099   1.1       tls 	str = &overlap[n];
   1100  1.50    rillig 	spot_index *ip = &intersect[n];
   1101   1.1       tls 	/*
   1102  1.59    rillig 	 * ovbit == which overlap bit to test based on whether 'fcbp' is
   1103   1.1       tls 	 * an open or closed frame.
   1104   1.1       tls 	 */
   1105  1.59    rillig 	ovbit = cb.cv_win != 0 ? 2 : 0;
   1106   1.5     lukem 	for (; (tcbp = cbp->c_link[1]) != NULL;
   1107   1.5     lukem 	    lcbp = cbp, cbp = cbp->c_link[0]) {
   1108   1.1       tls 		if (tcbp == fcbp)
   1109  1.25    rillig 			return -1;	/* fcbp is already included */
   1110   1.1       tls 
   1111   1.1       tls 		/* check for intersection of 'tcbp' with 'fcbp' */
   1112  1.13  dholland 		myindex--;
   1113   1.1       tls 		mask = str[tcbp - frames];
   1114  1.15  dholland 		flags = cbp->c_flags;
   1115  1.59    rillig 		n = ovbit + ((flags & C_OPEN_1) != 0 ? 1 : 0);
   1116  1.30    rillig 		if ((mask & (1 << n)) != 0) {
   1117   1.1       tls 			/*
   1118   1.1       tls 			 * The two frames are not independent if they
   1119   1.1       tls 			 * both lie in the same line and intersect at
   1120   1.1       tls 			 * more than one point.
   1121   1.1       tls 			 */
   1122  1.30    rillig 			if (tcbp->c_dir == fcbp->c_dir &&
   1123  1.30    rillig 			    (mask & (0x10 << n)) != 0)
   1124  1.25    rillig 				return -1;
   1125   1.1       tls 			/*
   1126   1.1       tls 			 * If this is not the spot we are attaching
   1127  1.39    rillig 			 * 'fcbp' to, and it is a reasonable intersection
   1128   1.1       tls 			 * spot, then there might be a loop.
   1129   1.1       tls 			 */
   1130  1.50    rillig 			spot_index s = ip[tcbp - frames];
   1131  1.50    rillig 			if (osp != &board[s]) {
   1132   1.1       tls 				/* check to see if this is a valid loop */
   1133  1.30    rillig 				if (verts != 0)
   1134  1.25    rillig 					return -1;
   1135   1.1       tls 				if (fcnt == 0 || cbp->c_framecnt[1] == 0)
   1136  1.25    rillig 					return -1;
   1137   1.1       tls 				/*
   1138   1.1       tls 				 * Check to be sure the intersection is not
   1139  1.39    rillig 				 * one of the end points if it is an
   1140  1.39    rillig 				 * open-ended frame.
   1141   1.1       tls 				 */
   1142  1.30    rillig 				if ((flags & C_OPEN_1) != 0 &&
   1143  1.50    rillig 				    (s == tcbp->c_vertex ||
   1144  1.50    rillig 				     s == tcbp->c_vertex + 5 * dd[tcbp->c_dir]))
   1145  1.25    rillig 					return -1;	/* invalid overlap */
   1146  1.42    rillig 				if (cb.cv_win != 0 &&
   1147  1.50    rillig 				    (s == fcbp->c_vertex ||
   1148  1.50    rillig 				     s == fcbp->c_vertex + 5 * dd[fcbp->c_dir]))
   1149  1.25    rillig 					return -1;	/* invalid overlap */
   1150   1.1       tls 
   1151  1.50    rillig 				vertices->o_intersect = s;
   1152  1.50    rillig 				vertices->o_off = (s - tcbp->c_vertex) /
   1153   1.1       tls 					dd[tcbp->c_dir];
   1154  1.13  dholland 				vertices->o_frameindex = myindex;
   1155   1.1       tls 				verts++;
   1156   1.1       tls 			}
   1157   1.1       tls 		}
   1158  1.59    rillig 		n = ovbit + ((flags & C_OPEN_0) != 0 ? 1 : 0);
   1159   1.1       tls 	}
   1160   1.1       tls 	if (cbp == fcbp)
   1161  1.25    rillig 		return -1;	/* fcbp is already included */
   1162   1.1       tls 
   1163   1.1       tls 	/* check for intersection of 'cbp' with 'fcbp' */
   1164   1.1       tls 	mask = str[cbp - frames];
   1165  1.30    rillig 	if ((mask & (1 << n)) != 0) {
   1166   1.1       tls 		/*
   1167   1.1       tls 		 * The two frames are not independent if they
   1168   1.1       tls 		 * both lie in the same line and intersect at
   1169   1.1       tls 		 * more than one point.
   1170   1.1       tls 		 */
   1171  1.30    rillig 		if (cbp->c_dir == fcbp->c_dir && (mask & (0x10 << n)) != 0)
   1172  1.25    rillig 			return -1;
   1173   1.1       tls 		/*
   1174   1.1       tls 		 * If this is not the spot we are attaching
   1175  1.39    rillig 		 * 'fcbp' to, and it is a reasonable intersection
   1176   1.1       tls 		 * spot, then there might be a loop.
   1177   1.1       tls 		 */
   1178  1.50    rillig 		spot_index s = ip[cbp - frames];
   1179  1.50    rillig 		if (osp != &board[s]) {
   1180   1.1       tls 			/* check to see if this is a valid loop */
   1181  1.30    rillig 			if (verts != 0)
   1182  1.25    rillig 				return -1;
   1183   1.1       tls 			if (fcnt == 0 || lcbp->c_framecnt[0] == 0)
   1184  1.25    rillig 				return -1;
   1185   1.1       tls 			/*
   1186   1.1       tls 			 * Check to be sure the intersection is not
   1187  1.39    rillig 			 * one of the end points if it is an open-ended
   1188  1.39    rillig 			 * frame.
   1189   1.1       tls 			 */
   1190  1.30    rillig 			if ((flags & C_OPEN_0) != 0 &&
   1191  1.50    rillig 			    (s == cbp->c_vertex ||
   1192  1.50    rillig 			     s == cbp->c_vertex + 5 * dd[cbp->c_dir]))
   1193  1.25    rillig 				return -1;	/* invalid overlap */
   1194  1.42    rillig 			if (cb.cv_win != 0 &&
   1195  1.50    rillig 			    (s == fcbp->c_vertex ||
   1196  1.50    rillig 			     s == fcbp->c_vertex + 5 * dd[fcbp->c_dir]))
   1197  1.25    rillig 				return -1;	/* invalid overlap */
   1198   1.1       tls 
   1199  1.50    rillig 			vertices->o_intersect = s;
   1200  1.50    rillig 			vertices->o_off = (s - cbp->c_vertex) /
   1201   1.1       tls 				dd[cbp->c_dir];
   1202   1.1       tls 			vertices->o_frameindex = 0;
   1203   1.1       tls 			verts++;
   1204   1.1       tls 		}
   1205   1.1       tls 	}
   1206  1.25    rillig 	return verts;
   1207   1.1       tls }
   1208   1.1       tls 
   1209   1.1       tls /*
   1210   1.1       tls  * Merge sort the frame 'fcbp' and the sorted list of frames 'cbpp' and
   1211   1.1       tls  * store the result in 'scbpp'. 'curlevel' is the size of the 'cbpp' array.
   1212   1.1       tls  * Return true if this list of frames is already in the hash list.
   1213   1.1       tls  * Otherwise, add the new combo to the hash list.
   1214   1.1       tls  */
   1215  1.30    rillig static bool
   1216  1.14  dholland sortcombo(struct combostr **scbpp, struct combostr **cbpp,
   1217  1.14  dholland 	  struct combostr *fcbp)
   1218   1.1       tls {
   1219   1.1       tls 	struct combostr **spp, **cpp;
   1220   1.1       tls 	struct combostr *cbp, *ecbp;
   1221  1.45    rillig 	int inx;
   1222   1.1       tls 
   1223   1.1       tls #ifdef DEBUG
   1224   1.1       tls 	if (debug > 3) {
   1225  1.17  dholland 		char buf[128];
   1226  1.17  dholland 		size_t pos;
   1227   1.1       tls 
   1228  1.45    rillig 		debuglog("sortc: %s%c l%u", stoc(fcbp->c_vertex),
   1229   1.1       tls 			pdir[fcbp->c_dir], curlevel);
   1230  1.17  dholland 		pos = 0;
   1231   1.1       tls 		for (cpp = cbpp; cpp < cbpp + curlevel; cpp++) {
   1232  1.17  dholland 			snprintf(buf + pos, sizeof(buf) - pos, " %s%c",
   1233  1.17  dholland 				stoc((*cpp)->c_vertex), pdir[(*cpp)->c_dir]);
   1234  1.17  dholland 			pos += strlen(buf + pos);
   1235   1.1       tls 		}
   1236  1.17  dholland 		debuglog("%s", buf);
   1237   1.1       tls 	}
   1238   1.1       tls #endif /* DEBUG */
   1239   1.1       tls 
   1240   1.1       tls 	/* first build the new sorted list */
   1241  1.45    rillig 	unsigned int n = curlevel + 1;
   1242   1.1       tls 	spp = scbpp + n;
   1243   1.1       tls 	cpp = cbpp + curlevel;
   1244   1.1       tls 	do {
   1245   1.1       tls 		cpp--;
   1246   1.1       tls 		if (fcbp > *cpp) {
   1247   1.1       tls 			*--spp = fcbp;
   1248  1.24    rillig 			do {
   1249   1.1       tls 				*--spp = *cpp;
   1250  1.24    rillig 			} while (cpp-- != cbpp);
   1251   1.1       tls 			goto inserted;
   1252   1.1       tls 		}
   1253   1.1       tls 		*--spp = *cpp;
   1254   1.1       tls 	} while (cpp != cbpp);
   1255   1.1       tls 	*--spp = fcbp;
   1256   1.1       tls inserted:
   1257   1.1       tls 
   1258   1.1       tls 	/* now check to see if this list of frames has already been seen */
   1259  1.54    rillig 	cbp = hashcombos[inx = (frame_index)(*scbpp - frames)];
   1260  1.37    rillig 	if (cbp == NULL) {
   1261   1.1       tls 		/*
   1262   1.1       tls 		 * Easy case, this list hasn't been seen.
   1263   1.1       tls 		 * Add it to the hash list.
   1264   1.1       tls 		 */
   1265  1.29    rillig 		fcbp = (void *)((char *)scbpp - sizeof(struct combostr));
   1266   1.1       tls 		hashcombos[inx] = fcbp;
   1267   1.1       tls 		fcbp->c_next = fcbp->c_prev = fcbp;
   1268  1.30    rillig 		return false;
   1269   1.1       tls 	}
   1270   1.1       tls 	ecbp = cbp;
   1271   1.1       tls 	do {
   1272  1.29    rillig 		cbpp = (void *)(cbp + 1);
   1273   1.1       tls 		cpp = cbpp + n;
   1274   1.1       tls 		spp = scbpp + n;
   1275   1.1       tls 		cbpp++;	/* first frame is always the same */
   1276   1.1       tls 		do {
   1277   1.1       tls 			if (*--spp != *--cpp)
   1278   1.1       tls 				goto next;
   1279   1.1       tls 		} while (cpp != cbpp);
   1280   1.1       tls 		/* we found a match */
   1281   1.1       tls #ifdef DEBUG
   1282   1.1       tls 		if (debug > 3) {
   1283  1.17  dholland 			char buf[128];
   1284  1.17  dholland 			size_t pos;
   1285   1.1       tls 
   1286  1.45    rillig 			debuglog("sort1: n%u", n);
   1287  1.17  dholland 			pos = 0;
   1288   1.1       tls 			for (cpp = scbpp; cpp < scbpp + n; cpp++) {
   1289  1.17  dholland 				snprintf(buf + pos, sizeof(buf) - pos, " %s%c",
   1290  1.17  dholland 					stoc((*cpp)->c_vertex),
   1291   1.1       tls 					pdir[(*cpp)->c_dir]);
   1292  1.17  dholland 				pos += strlen(buf + pos);
   1293   1.1       tls 			}
   1294  1.17  dholland 			debuglog("%s", buf);
   1295  1.17  dholland 			printcombo(cbp, buf, sizeof(buf));
   1296  1.17  dholland 			debuglog("%s", buf);
   1297   1.1       tls 			cbpp--;
   1298  1.17  dholland 			pos = 0;
   1299   1.1       tls 			for (cpp = cbpp; cpp < cbpp + n; cpp++) {
   1300  1.17  dholland 				snprintf(buf + pos, sizeof(buf) - pos, " %s%c",
   1301  1.17  dholland 					stoc((*cpp)->c_vertex),
   1302   1.1       tls 					pdir[(*cpp)->c_dir]);
   1303  1.17  dholland 				pos += strlen(buf + pos);
   1304   1.1       tls 			}
   1305  1.17  dholland 			debuglog("%s", buf);
   1306   1.1       tls 		}
   1307   1.1       tls #endif /* DEBUG */
   1308  1.30    rillig 		return true;
   1309   1.1       tls 	next:
   1310   1.1       tls 		;
   1311   1.1       tls 	} while ((cbp = cbp->c_next) != ecbp);
   1312   1.1       tls 	/*
   1313   1.1       tls 	 * This list of frames hasn't been seen.
   1314   1.1       tls 	 * Add it to the hash list.
   1315   1.1       tls 	 */
   1316   1.1       tls 	ecbp = cbp->c_prev;
   1317  1.29    rillig 	fcbp = (void *)((char *)scbpp - sizeof(struct combostr));
   1318   1.1       tls 	fcbp->c_next = cbp;
   1319   1.1       tls 	fcbp->c_prev = ecbp;
   1320   1.1       tls 	cbp->c_prev = fcbp;
   1321   1.1       tls 	ecbp->c_next = fcbp;
   1322  1.30    rillig 	return false;
   1323   1.1       tls }
   1324   1.1       tls 
   1325   1.1       tls /*
   1326  1.17  dholland  * Print the combo into string buffer 'buf'.
   1327   1.1       tls  */
   1328  1.31    rillig #if !defined(DEBUG)
   1329  1.31    rillig static
   1330  1.31    rillig #endif
   1331  1.31    rillig void
   1332  1.17  dholland printcombo(struct combostr *cbp, char *buf, size_t max)
   1333   1.1       tls {
   1334   1.1       tls 	struct combostr *tcbp;
   1335  1.17  dholland 	size_t pos = 0;
   1336  1.17  dholland 
   1337  1.17  dholland 	snprintf(buf + pos, max - pos, "%x/%d",
   1338  1.24    rillig 	    cbp->c_combo.s, cbp->c_nframes);
   1339  1.17  dholland 	pos += strlen(buf + pos);
   1340   1.1       tls 
   1341   1.5     lukem 	for (; (tcbp = cbp->c_link[1]) != NULL; cbp = cbp->c_link[0]) {
   1342  1.17  dholland 		snprintf(buf + pos, max - pos, " %s%c%x",
   1343  1.24    rillig 		    stoc(tcbp->c_vertex), pdir[tcbp->c_dir], cbp->c_flags);
   1344  1.17  dholland 		pos += strlen(buf + pos);
   1345   1.1       tls 	}
   1346  1.17  dholland 	snprintf(buf + pos, max - pos, " %s%c",
   1347  1.24    rillig 	    stoc(cbp->c_vertex), pdir[cbp->c_dir]);
   1348   1.1       tls }
   1349   1.1       tls 
   1350   1.1       tls #ifdef DEBUG
   1351   1.5     lukem void
   1352  1.14  dholland markcombo(struct combostr *ocbp)
   1353   1.1       tls {
   1354  1.32    rillig 	struct combostr *cbp, **cbpp;
   1355  1.18  dholland 	struct elist *ep, *nep;
   1356   1.1       tls 	struct spotstr *sp;
   1357  1.49    rillig 	int d, m, i;
   1358   1.1       tls 	int nframes;
   1359  1.18  dholland 	int cmask, omask;
   1360   1.1       tls 
   1361   1.1       tls 	/* should never happen but check anyway */
   1362   1.1       tls 	if ((nframes = ocbp->c_nframes) >= MAXDEPTH)
   1363   1.1       tls 		return;
   1364   1.1       tls 
   1365   1.1       tls 	/*
   1366   1.1       tls 	 * The lower level combo can be pointed to by more than one
   1367   1.1       tls 	 * higher level 'struct combostr' so we can't modify the
   1368   1.1       tls 	 * lower level. Therefore, higher level combos store the
   1369   1.1       tls 	 * real mask of the lower level frame in c_emask[0] and the
   1370   1.1       tls 	 * frame number in c_frameindex.
   1371   1.1       tls 	 *
   1372   1.1       tls 	 * First we traverse the tree from top to bottom and save the
   1373   1.1       tls 	 * connection info. Then we traverse the tree from bottom to
   1374   1.1       tls 	 * top overwriting lower levels with the newer emask information.
   1375   1.1       tls 	 */
   1376   1.1       tls 	ep = &einfo[nframes];
   1377   1.1       tls 	cbpp = &ecombo[nframes];
   1378  1.32    rillig 	for (cbp = ocbp; cbp->c_link[1] != NULL; cbp = cbp->c_link[0]) {
   1379   1.1       tls 		ep--;
   1380   1.1       tls 		ep->e_combo = cbp;
   1381   1.1       tls 		*--cbpp = cbp->c_link[1];
   1382   1.1       tls 		ep->e_off = cbp->c_voff[1];
   1383   1.1       tls 		ep->e_frameindex = cbp->c_frameindex;
   1384   1.1       tls 		ep->e_fval.s = cbp->c_linkv[1].s;
   1385   1.1       tls 		ep->e_framecnt = cbp->c_framecnt[1];
   1386   1.1       tls 		ep->e_emask = cbp->c_emask[1];
   1387   1.1       tls 	}
   1388   1.1       tls 	cbp = ep->e_combo;
   1389   1.1       tls 	ep--;
   1390   1.1       tls 	ep->e_combo = cbp;
   1391   1.1       tls 	*--cbpp = cbp->c_link[0];
   1392   1.1       tls 	ep->e_off = cbp->c_voff[0];
   1393   1.1       tls 	ep->e_frameindex = 0;
   1394   1.1       tls 	ep->e_fval.s = cbp->c_linkv[0].s;
   1395   1.1       tls 	ep->e_framecnt = cbp->c_framecnt[0];
   1396   1.1       tls 	ep->e_emask = cbp->c_emask[0];
   1397   1.1       tls 
   1398   1.1       tls 	/* now update the emask info */
   1399  1.49    rillig 	int n = 0;
   1400   1.1       tls 	for (i = 2, ep += 2; i < nframes; i++, ep++) {
   1401   1.1       tls 		cbp = ep->e_combo;
   1402   1.1       tls 		nep = &einfo[ep->e_frameindex];
   1403   1.1       tls 		nep->e_framecnt = cbp->c_framecnt[0];
   1404   1.1       tls 		nep->e_emask = cbp->c_emask[0];
   1405   1.1       tls 
   1406  1.32    rillig 		if ((cbp->c_flags & C_LOOP) != 0) {
   1407  1.49    rillig 			n++;
   1408   1.1       tls 			/*
   1409   1.1       tls 			 * Account for the fact that this frame connects
   1410   1.1       tls 			 * to a previous one (thus forming a loop).
   1411   1.1       tls 			 */
   1412   1.1       tls 			nep = &einfo[cbp->c_dir];
   1413  1.32    rillig 			if (--nep->e_framecnt != 0)
   1414   1.1       tls 				nep->e_emask &= ~(1 << cbp->c_voff[0]);
   1415   1.1       tls 			else
   1416   1.1       tls 				nep->e_emask = 0;
   1417   1.1       tls 		}
   1418   1.1       tls 	}
   1419   1.1       tls 
   1420   1.1       tls 	/*
   1421   1.1       tls 	 * We only need to update the emask values of "complete" loops
   1422   1.1       tls 	 * to include the intersection spots.
   1423   1.1       tls 	 */
   1424  1.49    rillig 	if (n != 0 && ocbp->c_combo.cv_force == 2) {
   1425   1.1       tls 		/* process loops from the top down */
   1426   1.1       tls 		ep = &einfo[nframes];
   1427   1.1       tls 		do {
   1428   1.1       tls 			ep--;
   1429   1.1       tls 			cbp = ep->e_combo;
   1430  1.32    rillig 			if ((cbp->c_flags & C_LOOP) == 0)
   1431   1.1       tls 				continue;
   1432   1.1       tls 
   1433   1.1       tls 			/*
   1434   1.1       tls 			 * Update the emask values to include the
   1435   1.1       tls 			 * intersection spots.
   1436   1.1       tls 			 */
   1437   1.1       tls 			nep = &einfo[cbp->c_dir];
   1438   1.1       tls 			nep->e_framecnt = 1;
   1439   1.1       tls 			nep->e_emask = 1 << cbp->c_voff[0];
   1440   1.1       tls 			ep->e_framecnt = 1;
   1441   1.1       tls 			ep->e_emask = 1 << ep->e_off;
   1442   1.1       tls 			ep = &einfo[ep->e_frameindex];
   1443   1.1       tls 			do {
   1444   1.1       tls 				ep->e_framecnt = 1;
   1445   1.1       tls 				ep->e_emask = 1 << ep->e_off;
   1446   1.1       tls 				ep = &einfo[ep->e_frameindex];
   1447   1.1       tls 			} while (ep > nep);
   1448   1.1       tls 		} while (ep != einfo);
   1449   1.1       tls 	}
   1450   1.1       tls 
   1451   1.1       tls 	/* mark all the frames with the completion spots */
   1452   1.1       tls 	for (i = 0, ep = einfo, cbpp = ecombo; i < nframes; i++, ep++, cbpp++) {
   1453   1.1       tls 		m = ep->e_emask;
   1454   1.1       tls 		cbp = *cbpp;
   1455   1.1       tls 		sp = &board[cbp->c_vertex];
   1456  1.49    rillig 		d = dd[cbp->c_dir];
   1457  1.49    rillig 		cmask = CFLAG << cbp->c_dir;
   1458  1.49    rillig 		omask = (IFLAG | CFLAG) << cbp->c_dir;
   1459  1.49    rillig 		int off = ep->e_fval.cv_win != 0 ? 6 : 5;
   1460  1.32    rillig 		/* LINTED 117: bitwise '>>' on signed value possibly nonportable */
   1461  1.49    rillig 		for (; --off >= 0; sp += d, m >>= 1)
   1462  1.32    rillig 			sp->s_flags |= (m & 1) != 0 ? omask : cmask;
   1463   1.1       tls 	}
   1464   1.1       tls }
   1465   1.1       tls 
   1466   1.5     lukem void
   1467  1.14  dholland clearcombo(struct combostr *cbp, int open)
   1468   1.1       tls {
   1469   1.1       tls 	struct combostr *tcbp;
   1470   1.1       tls 
   1471  1.18  dholland 	for (; (tcbp = cbp->c_link[1]) != NULL; cbp = cbp->c_link[0]) {
   1472  1.15  dholland 		clearcombo(tcbp, cbp->c_flags & C_OPEN_1);
   1473  1.15  dholland 		open = cbp->c_flags & C_OPEN_0;
   1474   1.1       tls 	}
   1475  1.46    rillig 
   1476  1.46    rillig 	struct spotstr *sp = &board[cbp->c_vertex];
   1477  1.46    rillig 	int d = dd[cbp->c_dir];
   1478  1.46    rillig 	int mask = ~((IFLAG | CFLAG) << cbp->c_dir);
   1479  1.46    rillig 	int n = open != 0 ? 6 : 5;
   1480   1.1       tls 	for (; --n >= 0; sp += d)
   1481  1.15  dholland 		sp->s_flags &= mask;
   1482   1.1       tls }
   1483   1.1       tls #endif /* DEBUG */
   1484