xref: /freebsd/usr.bin/localedef/collate.c (revision abcdc1b9)
1 /*-
2  * Copyright 2018 Nexenta Systems, Inc.
3  * Copyright 2015 John Marino <draco@marino.st>
4  *
5  * This source code is derived from the illumos localedef command, and
6  * provided under BSD-style license terms by Nexenta Systems, Inc.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  *
12  * 1. Redistributions of source code must retain the above copyright
13  *    notice, this list of conditions and the following disclaimer.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  *    notice, this list of conditions and the following disclaimer in the
16  *    documentation and/or other materials provided with the distribution.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21  * ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
22  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28  * POSSIBILITY OF SUCH DAMAGE.
29  */
30 
31 /*
32  * LC_COLLATE database generation routines for localedef.
33  */
34 #include <sys/cdefs.h>
35 #include <sys/types.h>
36 #include <sys/tree.h>
37 
38 #include <stdio.h>
39 #include <stddef.h>
40 #include <stdlib.h>
41 #include <errno.h>
42 #include <string.h>
43 #include <unistd.h>
44 #include <wchar.h>
45 #include <limits.h>
46 #include "localedef.h"
47 #include "parser.h"
48 #include "collate.h"
49 
50 _Static_assert(COLL_WEIGHTS_MAX == 10, "This code assumes a value of 10");
51 
52 /*
53  * Design notes.
54  *
55  * It will be extremely helpful to the reader if they have access to
56  * the localedef and locale file format specifications available.
57  * Latest versions of these are available from www.opengroup.org.
58  *
59  * The design for the collation code is a bit complex.  The goal is a
60  * single collation database as described in collate.h (in
61  * libc/port/locale).  However, there are some other tidbits:
62  *
63  * a) The substitution entries are now a directly indexable array.  A
64  * priority elsewhere in the table is taken as an index into the
65  * substitution table if it has a high bit (COLLATE_SUBST_PRIORITY)
66  * set.  (The bit is cleared and the result is the index into the
67  * table.
68  *
69  * b) We eliminate duplicate entries into the substitution table.
70  * This saves a lot of space.
71  *
72  * c) The priorities for each level are "compressed", so that each
73  * sorting level has consecutively numbered priorities starting at 1.
74  * (O is reserved for the ignore priority.)  This means sort levels
75  * which only have a few distinct priorities can represent the
76  * priority level in fewer bits, which makes the strxfrm output
77  * smaller.
78  *
79  * d) We record the total number of priorities so that strxfrm can
80  * figure out how many bytes to expand a numeric priority into.
81  *
82  * e) For the UNDEFINED pass (the last pass), we record the maximum
83  * number of bits needed to uniquely prioritize these entries, so that
84  * the last pass can also use smaller strxfrm output when possible.
85  *
86  * f) Priorities with the sign bit set are verboten.  This works out
87  * because no active character set needs that bit to carry significant
88  * information once the character is in wide form.
89  *
90  * To process the entire data to make the database, we actually run
91  * multiple passes over the data.
92  *
93  * The first pass, which is done at parse time, identifies elements,
94  * substitutions, and such, and records them in priority order.  As
95  * some priorities can refer to other priorities, using forward
96  * references, we use a table of references indicating whether the
97  * priority's value has been resolved, or whether it is still a
98  * reference.
99  *
100  * The second pass walks over all the items in priority order, noting
101  * that they are used directly, and not just an indirect reference.
102  * This is done by creating a "weight" structure for the item.  The
103  * weights are stashed in an RB tree sorted by relative "priority".
104  *
105  * The third pass walks over all the weight structures, in priority
106  * order, and assigns a new monotonically increasing (per sort level)
107  * weight value to them.  These are the values that will actually be
108  * written to the file.
109  *
110  * The fourth pass just writes the data out.
111  */
112 
113 /*
114  * In order to resolve the priorities, we create a table of priorities.
115  * Entries in the table can be in one of three states.
116  *
117  * UNKNOWN is for newly allocated entries, and indicates that nothing
118  * is known about the priority.  (For example, when new entries are created
119  * for collating-symbols, this is the value assigned for them until the
120  * collating symbol's order has been determined.
121  *
122  * RESOLVED is used for an entry where the priority indicates the final
123  * numeric weight.
124  *
125  * REFER is used for entries that reference other entries.  Typically
126  * this is used for forward references.  A collating-symbol can never
127  * have this value.
128  *
129  * The "pass" field is used during final resolution to aid in detection
130  * of referencing loops.  (For example <A> depends on <B>, but <B> has its
131  * priority dependent on <A>.)
132  */
133 typedef enum {
134 	UNKNOWN,	/* priority is totally unknown */
135 	RESOLVED,	/* priority value fully resolved */
136 	REFER		/* priority is a reference (index) */
137 } res_t;
138 
139 typedef struct weight {
140 	int32_t		pri;
141 	int		opt;
142 	RB_ENTRY(weight) entry;
143 } weight_t;
144 
145 typedef struct priority {
146 	res_t		res;
147 	int32_t		pri;
148 	int		pass;
149 	int		lineno;
150 } collpri_t;
151 
152 #define	NUM_WT	collinfo.directive_count
153 
154 /*
155  * These are the abstract collating symbols, which are just a symbolic
156  * way to reference a priority.
157  */
158 struct collsym {
159 	char		*name;
160 	int32_t		ref;
161 	RB_ENTRY(collsym) entry;
162 };
163 
164 /*
165  * These are also abstract collating symbols, but we allow them to have
166  * different priorities at different levels.
167  */
168 typedef struct collundef {
169 	char		*name;
170 	int32_t		ref[COLL_WEIGHTS_MAX];
171 	RB_ENTRY(collundef) entry;
172 } collundef_t;
173 
174 /*
175  * These are called "chains" in libc.  This records the fact that two
176  * more characters should be treated as a single collating entity when
177  * they appear together.  For example, in Spanish <C><h> gets collated
178  * as a character between <C> and <D>.
179  */
180 struct collelem {
181 	char		*symbol;
182 	wchar_t		*expand;
183 	int32_t		ref[COLL_WEIGHTS_MAX];
184 	RB_ENTRY(collelem) rb_bysymbol;
185 	RB_ENTRY(collelem) rb_byexpand;
186 };
187 
188 /*
189  * Individual characters have a sequence of weights as well.
190  */
191 typedef struct collchar {
192 	wchar_t		wc;
193 	int32_t		ref[COLL_WEIGHTS_MAX];
194 	RB_ENTRY(collchar) entry;
195 } collchar_t;
196 
197 /*
198  * Substitution entries.  The key is itself a priority.  Note that
199  * when we create one of these, we *automatically* wind up with a
200  * fully resolved priority for the key, because creation of
201  * substitutions creates a resolved priority at the same time.
202  */
203 typedef struct subst{
204 	int32_t		key;
205 	int32_t		ref[COLLATE_STR_LEN];
206 	RB_ENTRY(subst)	entry;
207 	RB_ENTRY(subst)	entry_ref;
208 } subst_t;
209 
210 static RB_HEAD(collsyms, collsym) collsyms;
211 static RB_HEAD(collundefs, collundef) collundefs;
212 static RB_HEAD(elem_by_symbol, collelem) elem_by_symbol;
213 static RB_HEAD(elem_by_expand, collelem) elem_by_expand;
214 static RB_HEAD(collchars, collchar) collchars;
215 static RB_HEAD(substs, subst) substs[COLL_WEIGHTS_MAX];
216 static RB_HEAD(substs_ref, subst) substs_ref[COLL_WEIGHTS_MAX];
217 static RB_HEAD(weights, weight) weights[COLL_WEIGHTS_MAX];
218 static int32_t		nweight[COLL_WEIGHTS_MAX];
219 
220 /*
221  * This is state tracking for the ellipsis token.  Note that we start
222  * the initial values so that the ellipsis logic will think we got a
223  * magic starting value of NUL.  It starts at minus one because the
224  * starting point is exclusive -- i.e. the starting point is not
225  * itself handled by the ellipsis code.
226  */
227 static int currorder = EOF;
228 static int lastorder = EOF;
229 static collelem_t *currelem;
230 static collchar_t *currchar;
231 static collundef_t *currundef;
232 static wchar_t ellipsis_start = 0;
233 static int32_t ellipsis_weights[COLL_WEIGHTS_MAX];
234 
235 /*
236  * We keep a running tally of weights.
237  */
238 static int nextpri = 1;
239 static int nextsubst[COLL_WEIGHTS_MAX] = { 0 };
240 
241 /*
242  * This array collects up the weights for each level.
243  */
244 static int32_t order_weights[COLL_WEIGHTS_MAX];
245 static int curr_weight = 0;
246 static int32_t subst_weights[COLLATE_STR_LEN];
247 static int curr_subst = 0;
248 
249 /*
250  * Some initial priority values.
251  */
252 static int32_t pri_undefined[COLL_WEIGHTS_MAX];
253 static int32_t pri_ignore;
254 
255 static collate_info_t collinfo;
256 static int32_t subst_count[COLL_WEIGHTS_MAX];
257 static int32_t chain_count;
258 static int32_t large_count;
259 
260 static collpri_t	*prilist = NULL;
261 static int		numpri = 0;
262 static int		maxpri = 0;
263 
264 static void start_order(int);
265 
266 static int32_t
267 new_pri(void)
268 {
269 	int i;
270 
271 	if (numpri >= maxpri) {
272 		maxpri = maxpri ? maxpri * 2 : 1024;
273 		prilist = realloc(prilist, sizeof (collpri_t) * maxpri);
274 		if (prilist == NULL) {
275 			fprintf(stderr,"out of memory\n");
276 			return (-1);
277 		}
278 		for (i = numpri; i < maxpri; i++) {
279 			prilist[i].res = UNKNOWN;
280 			prilist[i].pri = 0;
281 			prilist[i].pass = 0;
282 		}
283 	}
284 	return (numpri++);
285 }
286 
287 static collpri_t *
288 get_pri(int32_t ref)
289 {
290 	if ((ref < 0) || (ref > numpri)) {
291 		INTERR;
292 		return (NULL);
293 	}
294 	return (&prilist[ref]);
295 }
296 
297 static void
298 set_pri(int32_t ref, int32_t v, res_t res)
299 {
300 	collpri_t	*pri;
301 
302 	pri = get_pri(ref);
303 
304 	if ((res == REFER) && ((v < 0) || (v >= numpri))) {
305 		INTERR;
306 	}
307 
308 	/* Resolve self references */
309 	if ((res == REFER) && (ref == v)) {
310 		v = nextpri;
311 		res = RESOLVED;
312 	}
313 
314 	if (pri->res != UNKNOWN) {
315 		warn("repeated item in order list (first on %d)",
316 		    pri->lineno);
317 		return;
318 	}
319 	pri->lineno = lineno;
320 	pri->pri = v;
321 	pri->res = res;
322 }
323 
324 static int32_t
325 resolve_pri(int32_t ref)
326 {
327 	collpri_t	*pri;
328 	static int32_t	pass = 0;
329 
330 	pri = get_pri(ref);
331 	pass++;
332 	while (pri->res == REFER) {
333 		if (pri->pass == pass) {
334 			/* report a line with the circular symbol */
335 			lineno = pri->lineno;
336 			fprintf(stderr,"circular reference in order list\n");
337 			return (-1);
338 		}
339 		if ((pri->pri < 0) || (pri->pri >= numpri)) {
340 			INTERR;
341 			return (-1);
342 		}
343 		pri->pass = pass;
344 		pri = &prilist[pri->pri];
345 	}
346 
347 	if (pri->res == UNKNOWN) {
348 		return (-1);
349 	}
350 	if (pri->res != RESOLVED)
351 		INTERR;
352 
353 	return (pri->pri);
354 }
355 
356 static int
357 weight_compare(const void *n1, const void *n2)
358 {
359 	int32_t	k1 = ((const weight_t *)n1)->pri;
360 	int32_t	k2 = ((const weight_t *)n2)->pri;
361 
362 	return (k1 < k2 ? -1 : k1 > k2 ? 1 : 0);
363 }
364 
365 RB_GENERATE_STATIC(weights, weight, entry, weight_compare);
366 
367 static int
368 collsym_compare(const void *n1, const void *n2)
369 {
370 	const collsym_t *c1 = n1;
371 	const collsym_t *c2 = n2;
372 	int rv;
373 
374 	rv = strcmp(c1->name, c2->name);
375 	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
376 }
377 
378 RB_GENERATE_STATIC(collsyms, collsym, entry, collsym_compare);
379 
380 static int
381 collundef_compare(const void *n1, const void *n2)
382 {
383 	const collundef_t *c1 = n1;
384 	const collundef_t *c2 = n2;
385 	int rv;
386 
387 	rv = strcmp(c1->name, c2->name);
388 	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
389 }
390 
391 RB_GENERATE_STATIC(collundefs, collundef, entry, collundef_compare);
392 
393 static int
394 element_compare_symbol(const void *n1, const void *n2)
395 {
396 	const collelem_t *c1 = n1;
397 	const collelem_t *c2 = n2;
398 	int rv;
399 
400 	rv = strcmp(c1->symbol, c2->symbol);
401 	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
402 }
403 
404 RB_GENERATE_STATIC(elem_by_symbol, collelem, rb_bysymbol, element_compare_symbol);
405 
406 static int
407 element_compare_expand(const void *n1, const void *n2)
408 {
409 	const collelem_t *c1 = n1;
410 	const collelem_t *c2 = n2;
411 	int rv;
412 
413 	rv = wcscmp(c1->expand, c2->expand);
414 	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
415 }
416 
417 RB_GENERATE_STATIC(elem_by_expand, collelem, rb_byexpand, element_compare_expand);
418 
419 static int
420 collchar_compare(const void *n1, const void *n2)
421 {
422 	wchar_t	k1 = ((const collchar_t *)n1)->wc;
423 	wchar_t	k2 = ((const collchar_t *)n2)->wc;
424 
425 	return (k1 < k2 ? -1 : k1 > k2 ? 1 : 0);
426 }
427 
428 RB_GENERATE_STATIC(collchars, collchar, entry, collchar_compare);
429 
430 static int
431 subst_compare(const void *n1, const void *n2)
432 {
433 	int32_t	k1 = ((const subst_t *)n1)->key;
434 	int32_t	k2 = ((const subst_t *)n2)->key;
435 
436 	return (k1 < k2 ? -1 : k1 > k2 ? 1 : 0);
437 }
438 
439 RB_GENERATE_STATIC(substs, subst, entry, subst_compare);
440 
441 static int
442 subst_compare_ref(const void *n1, const void *n2)
443 {
444 	const wchar_t *c1 = ((const subst_t *)n1)->ref;
445 	const wchar_t *c2 = ((const subst_t *)n2)->ref;
446 	int rv;
447 
448 	rv = wcscmp(c1, c2);
449 	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
450 }
451 
452 RB_GENERATE_STATIC(substs_ref, subst, entry_ref, subst_compare_ref);
453 
454 void
455 init_collate(void)
456 {
457 	int i;
458 
459 	RB_INIT(&collsyms);
460 
461 	RB_INIT(&collundefs);
462 
463 	RB_INIT(&elem_by_symbol);
464 
465 	RB_INIT(&elem_by_expand);
466 
467 	RB_INIT(&collchars);
468 
469 	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
470 		RB_INIT(&substs[i]);
471 		RB_INIT(&substs_ref[i]);
472 		RB_INIT(&weights[i]);
473 		nweight[i] = 1;
474 	}
475 
476 	(void) memset(&collinfo, 0, sizeof (collinfo));
477 
478 	/* allocate some initial priorities */
479 	pri_ignore = new_pri();
480 
481 	set_pri(pri_ignore, 0, RESOLVED);
482 
483 	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
484 		pri_undefined[i] = new_pri();
485 
486 		/* we will override this later */
487 		set_pri(pri_undefined[i], COLLATE_MAX_PRIORITY, UNKNOWN);
488 	}
489 }
490 
491 void
492 define_collsym(char *name)
493 {
494 	collsym_t	*sym;
495 
496 	if ((sym = calloc(1, sizeof(*sym))) == NULL) {
497 		fprintf(stderr,"out of memory\n");
498 		return;
499 	}
500 	sym->name = name;
501 	sym->ref = new_pri();
502 
503 	if (RB_FIND(collsyms, &collsyms, sym) != NULL) {
504 		/*
505 		 * This should never happen because we are only called
506 		 * for undefined symbols.
507 		 */
508 		free(sym);
509 		INTERR;
510 		return;
511 	}
512 	RB_INSERT(collsyms, &collsyms, sym);
513 }
514 
515 collsym_t *
516 lookup_collsym(char *name)
517 {
518 	collsym_t	srch;
519 
520 	srch.name = name;
521 	return (RB_FIND(collsyms, &collsyms, &srch));
522 }
523 
524 collelem_t *
525 lookup_collelem(char *symbol)
526 {
527 	collelem_t	srch;
528 
529 	srch.symbol = symbol;
530 	return (RB_FIND(elem_by_symbol, &elem_by_symbol, &srch));
531 }
532 
533 static collundef_t *
534 get_collundef(char *name)
535 {
536 	collundef_t	srch;
537 	collundef_t	*ud;
538 	int		i;
539 
540 	srch.name = name;
541 	if ((ud = RB_FIND(collundefs, &collundefs, &srch)) == NULL) {
542 		if (((ud = calloc(1, sizeof(*ud))) == NULL) ||
543 		    ((ud->name = strdup(name)) == NULL)) {
544 			fprintf(stderr,"out of memory\n");
545 			free(ud);
546 			return (NULL);
547 		}
548 		for (i = 0; i < NUM_WT; i++) {
549 			ud->ref[i] = new_pri();
550 		}
551 		RB_INSERT(collundefs, &collundefs, ud);
552 	}
553 	add_charmap_undefined(name);
554 	return (ud);
555 }
556 
557 static collchar_t *
558 get_collchar(wchar_t wc, int create)
559 {
560 	collchar_t	srch;
561 	collchar_t	*cc;
562 	int		i;
563 
564 	srch.wc = wc;
565 	cc = RB_FIND(collchars, &collchars, &srch);
566 	if ((cc == NULL) && create) {
567 		if ((cc = calloc(1, sizeof(*cc))) == NULL) {
568 			fprintf(stderr, "out of memory\n");
569 			return (NULL);
570 		}
571 		for (i = 0; i < NUM_WT; i++) {
572 			cc->ref[i] = new_pri();
573 		}
574 		cc->wc = wc;
575 		RB_INSERT(collchars, &collchars, cc);
576 	}
577 	return (cc);
578 }
579 
580 void
581 end_order_collsym(collsym_t *sym)
582 {
583 	start_order(T_COLLSYM);
584 	/* update the weight */
585 
586 	set_pri(sym->ref, nextpri, RESOLVED);
587 	nextpri++;
588 }
589 
590 void
591 end_order(void)
592 {
593 	int		i;
594 	int32_t		pri;
595 	int32_t		ref;
596 	collpri_t	*p;
597 
598 	/* advance the priority/weight */
599 	pri = nextpri;
600 
601 	switch (currorder) {
602 	case T_CHAR:
603 		for (i = 0; i < NUM_WT; i++) {
604 			if (((ref = order_weights[i]) < 0) ||
605 			    ((p = get_pri(ref)) == NULL) ||
606 			    (p->pri == -1)) {
607 				/* unspecified weight is a self reference */
608 				set_pri(currchar->ref[i], pri, RESOLVED);
609 			} else {
610 				set_pri(currchar->ref[i], ref, REFER);
611 			}
612 			order_weights[i] = -1;
613 		}
614 
615 		/* leave a cookie trail in case next symbol is ellipsis */
616 		ellipsis_start = currchar->wc + 1;
617 		currchar = NULL;
618 		break;
619 
620 	case T_ELLIPSIS:
621 		/* save off the weights were we can find them */
622 		for (i = 0; i < NUM_WT; i++) {
623 			ellipsis_weights[i] = order_weights[i];
624 			order_weights[i] = -1;
625 		}
626 		break;
627 
628 	case T_COLLELEM:
629 		if (currelem == NULL) {
630 			INTERR;
631 		} else {
632 			for (i = 0; i < NUM_WT; i++) {
633 
634 				if (((ref = order_weights[i]) < 0) ||
635 				    ((p = get_pri(ref)) == NULL) ||
636 				    (p->pri == -1)) {
637 					set_pri(currelem->ref[i], pri,
638 					    RESOLVED);
639 				} else {
640 					set_pri(currelem->ref[i], ref, REFER);
641 				}
642 				order_weights[i] = -1;
643 			}
644 		}
645 		break;
646 
647 	case T_UNDEFINED:
648 		for (i = 0; i < NUM_WT; i++) {
649 			if (((ref = order_weights[i]) < 0) ||
650 			    ((p = get_pri(ref)) == NULL) ||
651 			    (p->pri == -1)) {
652 				set_pri(pri_undefined[i], -1, RESOLVED);
653 			} else {
654 				set_pri(pri_undefined[i], ref, REFER);
655 			}
656 			order_weights[i] = -1;
657 		}
658 		break;
659 
660 	case T_SYMBOL:
661 		for (i = 0; i < NUM_WT; i++) {
662 			if (((ref = order_weights[i]) < 0) ||
663 			    ((p = get_pri(ref)) == NULL) ||
664 			    (p->pri == -1)) {
665 				set_pri(currundef->ref[i], pri, RESOLVED);
666 			} else {
667 				set_pri(currundef->ref[i], ref, REFER);
668 			}
669 			order_weights[i] = -1;
670 		}
671 		break;
672 
673 	default:
674 		INTERR;
675 	}
676 
677 	nextpri++;
678 }
679 
680 static void
681 start_order(int type)
682 {
683 	int	i;
684 
685 	lastorder = currorder;
686 	currorder = type;
687 
688 	/* this is used to protect ELLIPSIS processing */
689 	if ((lastorder == T_ELLIPSIS) && (type != T_CHAR)) {
690 		fprintf(stderr, "character value expected\n");
691 	}
692 
693 	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
694 		order_weights[i] = -1;
695 	}
696 	curr_weight = 0;
697 }
698 
699 void
700 start_order_undefined(void)
701 {
702 	start_order(T_UNDEFINED);
703 }
704 
705 void
706 start_order_symbol(char *name)
707 {
708 	currundef = get_collundef(name);
709 	start_order(T_SYMBOL);
710 }
711 
712 void
713 start_order_char(wchar_t wc)
714 {
715 	collchar_t	*cc;
716 	int32_t		ref;
717 
718 	start_order(T_CHAR);
719 
720 	/*
721 	 * If we last saw an ellipsis, then we need to close the range.
722 	 * Handle that here.  Note that we have to be careful because the
723 	 * items *inside* the range are treated exclusiveley to the items
724 	 * outside of the range.  The ends of the range can have quite
725 	 * different weights than the range members.
726 	 */
727 	if (lastorder == T_ELLIPSIS) {
728 		int		i;
729 
730 		if (wc < ellipsis_start) {
731 			fprintf(stderr, "malformed range!\n");
732 			return;
733 		}
734 		while (ellipsis_start < wc) {
735 			/*
736 			 * pick all of the saved weights for the
737 			 * ellipsis.  note that -1 encodes for the
738 			 * ellipsis itself, which means to take the
739 			 * current relative priority.
740 			 */
741 			if ((cc = get_collchar(ellipsis_start, 1)) == NULL) {
742 				INTERR;
743 				return;
744 			}
745 			for (i = 0; i < NUM_WT; i++) {
746 				collpri_t *p;
747 				if (((ref = ellipsis_weights[i]) == -1) ||
748 				    ((p = get_pri(ref)) == NULL) ||
749 				    (p->pri == -1)) {
750 					set_pri(cc->ref[i], nextpri, RESOLVED);
751 				} else {
752 					set_pri(cc->ref[i], ref, REFER);
753 				}
754 				ellipsis_weights[i] = 0;
755 			}
756 			ellipsis_start++;
757 			nextpri++;
758 		}
759 	}
760 
761 	currchar = get_collchar(wc, 1);
762 }
763 
764 void
765 start_order_collelem(collelem_t *e)
766 {
767 	start_order(T_COLLELEM);
768 	currelem = e;
769 }
770 
771 void
772 start_order_ellipsis(void)
773 {
774 	int	i;
775 
776 	start_order(T_ELLIPSIS);
777 
778 	if (lastorder != T_CHAR) {
779 		fprintf(stderr, "illegal starting point for range\n");
780 		return;
781 	}
782 
783 	for (i = 0; i < NUM_WT; i++) {
784 		ellipsis_weights[i] = order_weights[i];
785 	}
786 }
787 
788 void
789 define_collelem(char *name, wchar_t *wcs)
790 {
791 	collelem_t	*e;
792 	int		i;
793 
794 	if (wcslen(wcs) >= COLLATE_STR_LEN) {
795 		fprintf(stderr,"expanded collation element too long\n");
796 		return;
797 	}
798 
799 	if ((e = calloc(1, sizeof(*e))) == NULL) {
800 		fprintf(stderr, "out of memory\n");
801 		return;
802 	}
803 	e->expand = wcs;
804 	e->symbol = name;
805 
806 	/*
807 	 * This is executed before the order statement, so we don't
808 	 * know how many priorities we *really* need.  We allocate one
809 	 * for each possible weight.  Not a big deal, as collating-elements
810 	 * prove to be quite rare.
811 	 */
812 	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
813 		e->ref[i] = new_pri();
814 	}
815 
816 	/* A character sequence can only reduce to one element. */
817 	if ((RB_FIND(elem_by_symbol, &elem_by_symbol, e) != NULL) ||
818 	    (RB_FIND(elem_by_expand, &elem_by_expand, e) != NULL)) {
819 		fprintf(stderr, "duplicate collating element definition\n");
820 		free(e);
821 		return;
822 	}
823 	RB_INSERT(elem_by_symbol, &elem_by_symbol, e);
824 	RB_INSERT(elem_by_expand, &elem_by_expand, e);
825 }
826 
827 void
828 add_order_bit(int kw)
829 {
830 	uint8_t bit = DIRECTIVE_UNDEF;
831 
832 	switch (kw) {
833 	case T_FORWARD:
834 		bit = DIRECTIVE_FORWARD;
835 		break;
836 	case T_BACKWARD:
837 		bit = DIRECTIVE_BACKWARD;
838 		break;
839 	case T_POSITION:
840 		bit = DIRECTIVE_POSITION;
841 		break;
842 	default:
843 		INTERR;
844 		break;
845 	}
846 	collinfo.directive[collinfo.directive_count] |= bit;
847 }
848 
849 void
850 add_order_directive(void)
851 {
852 	if (collinfo.directive_count >= COLL_WEIGHTS_MAX) {
853 		fprintf(stderr, "too many directives (max %d)\n", COLL_WEIGHTS_MAX);
854 		return;
855 	}
856 	collinfo.directive_count++;
857 }
858 
859 static void
860 add_order_pri(int32_t ref)
861 {
862 	if (curr_weight >= NUM_WT) {
863 		fprintf(stderr, "too many weights (max %d)\n", NUM_WT);
864 		return;
865 	}
866 	order_weights[curr_weight] = ref;
867 	curr_weight++;
868 }
869 
870 void
871 add_order_collsym(collsym_t *s)
872 {
873 	add_order_pri(s->ref);
874 }
875 
876 void
877 add_order_char(wchar_t wc)
878 {
879 	collchar_t *cc;
880 
881 	if ((cc = get_collchar(wc, 1)) == NULL) {
882 		INTERR;
883 		return;
884 	}
885 
886 	add_order_pri(cc->ref[curr_weight]);
887 }
888 
889 void
890 add_order_collelem(collelem_t *e)
891 {
892 	add_order_pri(e->ref[curr_weight]);
893 }
894 
895 void
896 add_order_ignore(void)
897 {
898 	add_order_pri(pri_ignore);
899 }
900 
901 void
902 add_order_symbol(char *sym)
903 {
904 	collundef_t *c;
905 	if ((c = get_collundef(sym)) == NULL) {
906 		INTERR;
907 		return;
908 	}
909 	add_order_pri(c->ref[curr_weight]);
910 }
911 
912 void
913 add_order_ellipsis(void)
914 {
915 	/* special NULL value indicates self reference */
916 	add_order_pri(0);
917 }
918 
919 void
920 add_order_subst(void)
921 {
922 	subst_t srch;
923 	subst_t	*s;
924 	int i;
925 
926 	(void) memset(&srch, 0, sizeof (srch));
927 	for (i = 0; i < curr_subst; i++) {
928 		srch.ref[i] = subst_weights[i];
929 		subst_weights[i] = 0;
930 	}
931 	s = RB_FIND(substs_ref, &substs_ref[curr_weight], &srch);
932 
933 	if (s == NULL) {
934 		if ((s = calloc(1, sizeof(*s))) == NULL) {
935 			fprintf(stderr,"out of memory\n");
936 			return;
937 		}
938 		s->key = new_pri();
939 
940 		/*
941 		 * We use a self reference for our key, but we set a
942 		 * high bit to indicate that this is a substitution
943 		 * reference.  This will expedite table lookups later,
944 		 * and prevent table lookups for situations that don't
945 		 * require it.  (In short, its a big win, because we
946 		 * can skip a lot of binary searching.)
947 		 */
948 		set_pri(s->key,
949 		    (nextsubst[curr_weight] | COLLATE_SUBST_PRIORITY),
950 		    RESOLVED);
951 		nextsubst[curr_weight] += 1;
952 
953 		for (i = 0; i < curr_subst; i++) {
954 			s->ref[i] = srch.ref[i];
955 		}
956 
957 		RB_INSERT(substs_ref, &substs_ref[curr_weight], s);
958 
959 		if (RB_FIND(substs, &substs[curr_weight], s) != NULL) {
960 			INTERR;
961 			return;
962 		}
963 		RB_INSERT(substs, &substs[curr_weight], s);
964 	}
965 	curr_subst = 0;
966 
967 
968 	/*
969 	 * We are using the current (unique) priority as a search key
970 	 * in the substitution table.
971 	 */
972 	add_order_pri(s->key);
973 }
974 
975 static void
976 add_subst_pri(int32_t ref)
977 {
978 	if (curr_subst >= COLLATE_STR_LEN) {
979 		fprintf(stderr,"substitution string is too long\n");
980 		return;
981 	}
982 	subst_weights[curr_subst] = ref;
983 	curr_subst++;
984 }
985 
986 void
987 add_subst_char(wchar_t wc)
988 {
989 	collchar_t *cc;
990 
991 
992 	if (((cc = get_collchar(wc, 1)) == NULL) ||
993 	    (cc->wc != wc)) {
994 		INTERR;
995 		return;
996 	}
997 	/* we take the weight for the character at that position */
998 	add_subst_pri(cc->ref[curr_weight]);
999 }
1000 
1001 void
1002 add_subst_collelem(collelem_t *e)
1003 {
1004 	add_subst_pri(e->ref[curr_weight]);
1005 }
1006 
1007 void
1008 add_subst_collsym(collsym_t *s)
1009 {
1010 	add_subst_pri(s->ref);
1011 }
1012 
1013 void
1014 add_subst_symbol(char *ptr)
1015 {
1016 	collundef_t *cu;
1017 
1018 	if ((cu = get_collundef(ptr)) != NULL) {
1019 		add_subst_pri(cu->ref[curr_weight]);
1020 	}
1021 }
1022 
1023 void
1024 add_weight(int32_t ref, int pass)
1025 {
1026 	weight_t srch;
1027 	weight_t *w;
1028 
1029 	srch.pri = resolve_pri(ref);
1030 
1031 	/* No translation of ignores */
1032 	if (srch.pri == 0)
1033 		return;
1034 
1035 	/* Substitution priorities are not weights */
1036 	if (srch.pri & COLLATE_SUBST_PRIORITY)
1037 		return;
1038 
1039 	if (RB_FIND(weights, &weights[pass], &srch) != NULL)
1040 		return;
1041 
1042 	if ((w = calloc(1, sizeof(*w))) == NULL) {
1043 		fprintf(stderr, "out of memory\n");
1044 		return;
1045 	}
1046 	w->pri = srch.pri;
1047 	RB_INSERT(weights, &weights[pass], w);
1048 }
1049 
1050 void
1051 add_weights(int32_t *refs)
1052 {
1053 	int i;
1054 	for (i = 0; i < NUM_WT; i++) {
1055 		add_weight(refs[i], i);
1056 	}
1057 }
1058 
1059 int32_t
1060 get_weight(int32_t ref, int pass)
1061 {
1062 	weight_t	srch;
1063 	weight_t	*w;
1064 	int32_t		pri;
1065 
1066 	pri = resolve_pri(ref);
1067 	if (pri & COLLATE_SUBST_PRIORITY) {
1068 		return (pri);
1069 	}
1070 	if (pri <= 0) {
1071 		return (pri);
1072 	}
1073 	srch.pri = pri;
1074 	if ((w = RB_FIND(weights, &weights[pass], &srch)) == NULL) {
1075 		INTERR;
1076 		return (-1);
1077 	}
1078 	return (w->opt);
1079 }
1080 
1081 wchar_t *
1082 wsncpy(wchar_t *s1, const wchar_t *s2, size_t n)
1083 {
1084 	wchar_t *os1 = s1;
1085 
1086 	n++;
1087 	while (--n > 0 && (*s1++ = htote(*s2++)) != 0)
1088 		continue;
1089 	if (n > 0)
1090 		while (--n > 0)
1091 			*s1++ = 0;
1092 	return (os1);
1093 }
1094 
1095 #define RB_COUNT(x, name, head, cnt) do { \
1096 	(cnt) = 0; \
1097 	RB_FOREACH(x, name, (head)) { \
1098 		(cnt)++; \
1099 	} \
1100 } while (0)
1101 
1102 #define RB_NUMNODES(type, name, head, cnt) do { \
1103 	type *t; \
1104 	cnt = 0; \
1105 	RB_FOREACH(t, name, head) { \
1106 		cnt++; \
1107 	} \
1108 } while (0)
1109 
1110 void
1111 dump_collate(void)
1112 {
1113 	FILE			*f;
1114 	int			i, j, n;
1115 	size_t			sz;
1116 	int32_t			pri;
1117 	collelem_t		*ce;
1118 	collchar_t		*cc;
1119 	subst_t			*sb;
1120 	char			fmt_version[COLLATE_FMT_VERSION_LEN];
1121 	char			def_version[XLOCALE_DEF_VERSION_LEN];
1122 	collate_char_t		chars[UCHAR_MAX + 1];
1123 	collate_large_t		*large;
1124 	collate_subst_t		*subst[COLL_WEIGHTS_MAX];
1125 	collate_chain_t		*chain;
1126 
1127 	/*
1128 	 * We have to run through a preliminary pass to identify all the
1129 	 * weights that we use for each sorting level.
1130 	 */
1131 	for (i = 0; i < NUM_WT; i++) {
1132 		add_weight(pri_ignore, i);
1133 	}
1134 	for (i = 0; i < NUM_WT; i++) {
1135 		RB_FOREACH(sb, substs, &substs[i]) {
1136 			for (j = 0; sb->ref[j]; j++) {
1137 				add_weight(sb->ref[j], i);
1138 			}
1139 		}
1140 	}
1141 	RB_FOREACH(ce, elem_by_expand, &elem_by_expand) {
1142 		add_weights(ce->ref);
1143 	}
1144 	RB_FOREACH(cc, collchars, &collchars) {
1145 		add_weights(cc->ref);
1146 	}
1147 
1148 	/*
1149 	 * Now we walk the entire set of weights, removing the gaps
1150 	 * in the weights.  This gives us optimum usage.  The walk
1151 	 * occurs in priority.
1152 	 */
1153 	for (i = 0; i < NUM_WT; i++) {
1154 		weight_t *w;
1155 		RB_FOREACH(w, weights, &weights[i]) {
1156 			w->opt = nweight[i];
1157 			nweight[i] += 1;
1158 		}
1159 	}
1160 
1161 	(void) memset(&chars, 0, sizeof (chars));
1162 	(void) memset(fmt_version, 0, COLLATE_FMT_VERSION_LEN);
1163 	(void) strlcpy(fmt_version, COLLATE_FMT_VERSION, sizeof (fmt_version));
1164 	(void) memset(def_version, 0, XLOCALE_DEF_VERSION_LEN);
1165 	if (version)
1166 		(void) strlcpy(def_version, version, sizeof (def_version));
1167 
1168 	/*
1169 	 * We need to make sure we arrange for the UNDEFINED field
1170 	 * to show up.  Also, set the total weight counts.
1171 	 */
1172 	for (i = 0; i < NUM_WT; i++) {
1173 		if (resolve_pri(pri_undefined[i]) == -1) {
1174 			set_pri(pri_undefined[i], -1, RESOLVED);
1175 			/* they collate at the end of everything else */
1176 			collinfo.undef_pri[i] = htote(COLLATE_MAX_PRIORITY);
1177 		}
1178 		collinfo.pri_count[i] = htote(nweight[i]);
1179 	}
1180 
1181 	collinfo.pri_count[NUM_WT] = htote(max_wide());
1182 	collinfo.undef_pri[NUM_WT] = htote(COLLATE_MAX_PRIORITY);
1183 	collinfo.directive[NUM_WT] = DIRECTIVE_UNDEFINED;
1184 
1185 	/*
1186 	 * Ordinary character priorities
1187 	 */
1188 	for (i = 0; i <= UCHAR_MAX; i++) {
1189 		if ((cc = get_collchar(i, 0)) != NULL) {
1190 			for (j = 0; j < NUM_WT; j++) {
1191 				chars[i].pri[j] =
1192 				    htote(get_weight(cc->ref[j], j));
1193 			}
1194 		} else {
1195 			for (j = 0; j < NUM_WT; j++) {
1196 				chars[i].pri[j] =
1197 				    htote(get_weight(pri_undefined[j], j));
1198 			}
1199 			/*
1200 			 * Per POSIX, for undefined characters, we
1201 			 * also have to add a last item, which is the
1202 			 * character code.
1203 			 */
1204 			chars[i].pri[NUM_WT] = htote(i);
1205 		}
1206 	}
1207 
1208 	/*
1209 	 * Substitution tables
1210 	 */
1211 	for (i = 0; i < NUM_WT; i++) {
1212 		collate_subst_t *st = NULL;
1213 		subst_t *temp;
1214 		RB_COUNT(temp, substs, &substs[i], n);
1215 		subst_count[i] = n;
1216 		if ((st = calloc(n, sizeof(collate_subst_t))) == NULL) {
1217 			fprintf(stderr, "out of memory\n");
1218 			return;
1219 		}
1220 		n = 0;
1221 		RB_FOREACH(sb, substs, &substs[i]) {
1222 			if ((st[n].key = resolve_pri(sb->key)) < 0) {
1223 				/* by definition these resolve! */
1224 				INTERR;
1225 			}
1226 			if (st[n].key != (n | COLLATE_SUBST_PRIORITY)) {
1227 				INTERR;
1228 			}
1229 			st[n].key = htote(st[n].key);
1230 			for (j = 0; sb->ref[j]; j++) {
1231 				st[n].pri[j] = htote(get_weight(sb->ref[j],
1232 				    i));
1233 			}
1234 			n++;
1235 		}
1236 		if (n != subst_count[i])
1237 			INTERR;
1238 		subst[i] = st;
1239 	}
1240 
1241 
1242 	/*
1243 	 * Chains, i.e. collating elements
1244 	 */
1245 	RB_NUMNODES(collelem_t, elem_by_expand, &elem_by_expand, chain_count);
1246 	chain = calloc(chain_count, sizeof(collate_chain_t));
1247 	if (chain == NULL) {
1248 		fprintf(stderr, "out of memory\n");
1249 		return;
1250 	}
1251 	n = 0;
1252 	RB_FOREACH(ce, elem_by_expand, &elem_by_expand) {
1253 		(void) wsncpy(chain[n].str, ce->expand, COLLATE_STR_LEN);
1254 		for (i = 0; i < NUM_WT; i++) {
1255 			chain[n].pri[i] = htote(get_weight(ce->ref[i], i));
1256 		}
1257 		n++;
1258 	}
1259 	if (n != chain_count)
1260 		INTERR;
1261 
1262 	/*
1263 	 * Large (> UCHAR_MAX) character priorities
1264 	 */
1265 	RB_NUMNODES(collchar_t, collchars, &collchars, n);
1266 	large = calloc(n, sizeof(collate_large_t));
1267 	if (large == NULL) {
1268 		fprintf(stderr, "out of memory\n");
1269 		return;
1270 	}
1271 
1272 	i = 0;
1273 	RB_FOREACH(cc, collchars, &collchars) {
1274 		int	undef = 0;
1275 		/* we already gathered those */
1276 		if (cc->wc <= UCHAR_MAX)
1277 			continue;
1278 		for (j = 0; j < NUM_WT; j++) {
1279 			if ((pri = get_weight(cc->ref[j], j)) < 0) {
1280 				undef = 1;
1281 			}
1282 			if (undef && (pri >= 0)) {
1283 				/* if undefined, then all priorities are */
1284 				INTERR;
1285 			} else {
1286 				large[i].pri.pri[j] = htote(pri);
1287 			}
1288 		}
1289 		if (!undef) {
1290 			large[i].val = htote(cc->wc);
1291 			large_count = i++;
1292 		}
1293 	}
1294 
1295 	if ((f = open_category()) == NULL) {
1296 		return;
1297 	}
1298 
1299 	/* Time to write the entire data set out */
1300 
1301 	for (i = 0; i < NUM_WT; i++)
1302 		collinfo.subst_count[i] = htote(subst_count[i]);
1303 	collinfo.chain_count = htote(chain_count);
1304 	collinfo.large_count = htote(large_count);
1305 
1306 	if ((wr_category(fmt_version, COLLATE_FMT_VERSION_LEN, f) < 0) ||
1307 	    (wr_category(def_version, XLOCALE_DEF_VERSION_LEN, f) < 0) ||
1308 	    (wr_category(&collinfo, sizeof (collinfo), f) < 0) ||
1309 	    (wr_category(&chars, sizeof (chars), f) < 0)) {
1310 		return;
1311 	}
1312 
1313 	for (i = 0; i < NUM_WT; i++) {
1314 		sz = sizeof (collate_subst_t) * subst_count[i];
1315 		if (wr_category(subst[i], sz, f) < 0) {
1316 			return;
1317 		}
1318 	}
1319 	sz = sizeof (collate_chain_t) * chain_count;
1320 	if (wr_category(chain, sz, f) < 0) {
1321 		return;
1322 	}
1323 	sz = sizeof (collate_large_t) * large_count;
1324 	if (wr_category(large, sz, f) < 0) {
1325 		return;
1326 	}
1327 
1328 	close_category(f);
1329 }
1330