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