qsort.c revision 1.10 1 1.10 christos /* $NetBSD: qsort.c,v 1.10 1998/11/15 17:13:51 christos Exp $ */
2 1.5 thorpej
3 1.1 cgd /*-
4 1.4 mycroft * Copyright (c) 1992, 1993
5 1.4 mycroft * The Regents of the University of California. All rights reserved.
6 1.1 cgd *
7 1.1 cgd * Redistribution and use in source and binary forms, with or without
8 1.1 cgd * modification, are permitted provided that the following conditions
9 1.1 cgd * are met:
10 1.1 cgd * 1. Redistributions of source code must retain the above copyright
11 1.1 cgd * notice, this list of conditions and the following disclaimer.
12 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 cgd * notice, this list of conditions and the following disclaimer in the
14 1.1 cgd * documentation and/or other materials provided with the distribution.
15 1.1 cgd * 3. All advertising materials mentioning features or use of this software
16 1.1 cgd * must display the following acknowledgement:
17 1.1 cgd * This product includes software developed by the University of
18 1.1 cgd * California, Berkeley and its contributors.
19 1.1 cgd * 4. Neither the name of the University nor the names of its contributors
20 1.1 cgd * may be used to endorse or promote products derived from this software
21 1.1 cgd * without specific prior written permission.
22 1.1 cgd *
23 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
24 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
27 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 1.1 cgd * SUCH DAMAGE.
34 1.1 cgd */
35 1.1 cgd
36 1.8 christos #include <sys/cdefs.h>
37 1.1 cgd #if defined(LIBC_SCCS) && !defined(lint)
38 1.5 thorpej #if 0
39 1.7 mikel static char sccsid[] = "@(#)qsort.c 8.1 (Berkeley) 6/4/93";
40 1.5 thorpej #else
41 1.10 christos __RCSID("$NetBSD: qsort.c,v 1.10 1998/11/15 17:13:51 christos Exp $");
42 1.5 thorpej #endif
43 1.1 cgd #endif /* LIBC_SCCS and not lint */
44 1.1 cgd
45 1.1 cgd #include <sys/types.h>
46 1.1 cgd #include <stdlib.h>
47 1.1 cgd
48 1.8 christos static __inline char *med3 __P((char *, char *, char *,
49 1.8 christos int (*)(const void *, const void *)));
50 1.10 christos static __inline void swapfunc __P((char *, char *, size_t, int));
51 1.4 mycroft
52 1.4 mycroft #define min(a, b) (a) < (b) ? a : b
53 1.4 mycroft
54 1.1 cgd /*
55 1.4 mycroft * Qsort routine from Bentley & McIlroy's "Engineering a Sort Function".
56 1.1 cgd */
57 1.4 mycroft #define swapcode(TYPE, parmi, parmj, n) { \
58 1.10 christos size_t i = (n) / sizeof (TYPE); \
59 1.10 christos TYPE *pi = (TYPE *)(void *)(parmi); \
60 1.10 christos TYPE *pj = (TYPE *)(void *)(parmj); \
61 1.4 mycroft do { \
62 1.10 christos TYPE t = *pi; \
63 1.4 mycroft *pi++ = *pj; \
64 1.4 mycroft *pj++ = t; \
65 1.4 mycroft } while (--i > 0); \
66 1.4 mycroft }
67 1.1 cgd
68 1.4 mycroft #define SWAPINIT(a, es) swaptype = ((char *)a - (char *)0) % sizeof(long) || \
69 1.4 mycroft es % sizeof(long) ? 2 : es == sizeof(long)? 0 : 1;
70 1.1 cgd
71 1.6 cgd static __inline void
72 1.4 mycroft swapfunc(a, b, n, swaptype)
73 1.4 mycroft char *a, *b;
74 1.10 christos size_t n;
75 1.10 christos int swaptype;
76 1.1 cgd {
77 1.7 mikel if (swaptype <= 1)
78 1.4 mycroft swapcode(long, a, b, n)
79 1.1 cgd else
80 1.4 mycroft swapcode(char, a, b, n)
81 1.1 cgd }
82 1.1 cgd
83 1.10 christos #define swap(a, b) \
84 1.10 christos if (swaptype == 0) { \
85 1.10 christos long t = *(long *)(void *)(a); \
86 1.10 christos *(long *)(void *)(a) = *(long *)(void *)(b); \
87 1.10 christos *(long *)(void *)(b) = t; \
88 1.10 christos } else \
89 1.4 mycroft swapfunc(a, b, es, swaptype)
90 1.4 mycroft
91 1.10 christos #define vecswap(a, b, n) if ((n) > 0) swapfunc((a), (b), (size_t)(n), swaptype)
92 1.4 mycroft
93 1.6 cgd static __inline char *
94 1.4 mycroft med3(a, b, c, cmp)
95 1.4 mycroft char *a, *b, *c;
96 1.8 christos int (*cmp) __P((const void *, const void *));
97 1.4 mycroft {
98 1.4 mycroft return cmp(a, b) < 0 ?
99 1.4 mycroft (cmp(b, c) < 0 ? b : (cmp(a, c) < 0 ? c : a ))
100 1.4 mycroft :(cmp(b, c) > 0 ? b : (cmp(a, c) < 0 ? a : c ));
101 1.1 cgd }
102 1.1 cgd
103 1.4 mycroft void
104 1.4 mycroft qsort(a, n, es, cmp)
105 1.4 mycroft void *a;
106 1.4 mycroft size_t n, es;
107 1.8 christos int (*cmp) __P((const void *, const void *));
108 1.4 mycroft {
109 1.4 mycroft char *pa, *pb, *pc, *pd, *pl, *pm, *pn;
110 1.4 mycroft int d, r, swaptype, swap_cnt;
111 1.1 cgd
112 1.4 mycroft loop: SWAPINIT(a, es);
113 1.4 mycroft swap_cnt = 0;
114 1.4 mycroft if (n < 7) {
115 1.7 mikel for (pm = (char *) a + es; pm < (char *) a + n * es; pm += es)
116 1.4 mycroft for (pl = pm; pl > (char *) a && cmp(pl - es, pl) > 0;
117 1.4 mycroft pl -= es)
118 1.4 mycroft swap(pl, pl - es);
119 1.4 mycroft return;
120 1.4 mycroft }
121 1.7 mikel pm = (char *) a + (n / 2) * es;
122 1.4 mycroft if (n > 7) {
123 1.7 mikel pl = (char *) a;
124 1.7 mikel pn = (char *) a + (n - 1) * es;
125 1.4 mycroft if (n > 40) {
126 1.4 mycroft d = (n / 8) * es;
127 1.4 mycroft pl = med3(pl, pl + d, pl + 2 * d, cmp);
128 1.4 mycroft pm = med3(pm - d, pm, pm + d, cmp);
129 1.4 mycroft pn = med3(pn - 2 * d, pn - d, pn, cmp);
130 1.1 cgd }
131 1.4 mycroft pm = med3(pl, pm, pn, cmp);
132 1.1 cgd }
133 1.4 mycroft swap(a, pm);
134 1.7 mikel pa = pb = (char *) a + es;
135 1.1 cgd
136 1.7 mikel pc = pd = (char *) a + (n - 1) * es;
137 1.4 mycroft for (;;) {
138 1.4 mycroft while (pb <= pc && (r = cmp(pb, a)) <= 0) {
139 1.4 mycroft if (r == 0) {
140 1.4 mycroft swap_cnt = 1;
141 1.4 mycroft swap(pa, pb);
142 1.4 mycroft pa += es;
143 1.1 cgd }
144 1.4 mycroft pb += es;
145 1.4 mycroft }
146 1.4 mycroft while (pb <= pc && (r = cmp(pc, a)) >= 0) {
147 1.4 mycroft if (r == 0) {
148 1.4 mycroft swap_cnt = 1;
149 1.4 mycroft swap(pc, pd);
150 1.4 mycroft pd -= es;
151 1.1 cgd }
152 1.4 mycroft pc -= es;
153 1.1 cgd }
154 1.4 mycroft if (pb > pc)
155 1.1 cgd break;
156 1.4 mycroft swap(pb, pc);
157 1.4 mycroft swap_cnt = 1;
158 1.4 mycroft pb += es;
159 1.4 mycroft pc -= es;
160 1.1 cgd }
161 1.4 mycroft if (swap_cnt == 0) { /* Switch to insertion sort */
162 1.7 mikel for (pm = (char *) a + es; pm < (char *) a + n * es; pm += es)
163 1.4 mycroft for (pl = pm; pl > (char *) a && cmp(pl - es, pl) > 0;
164 1.4 mycroft pl -= es)
165 1.4 mycroft swap(pl, pl - es);
166 1.1 cgd return;
167 1.1 cgd }
168 1.1 cgd
169 1.7 mikel pn = (char *) a + n * es;
170 1.7 mikel r = min(pa - (char *) a, pb - pa);
171 1.4 mycroft vecswap(a, pb - r, r);
172 1.4 mycroft r = min(pd - pc, pn - pd - es);
173 1.4 mycroft vecswap(pb, pn - r, r);
174 1.4 mycroft if ((r = pb - pa) > es)
175 1.4 mycroft qsort(a, r / es, es, cmp);
176 1.4 mycroft if ((r = pd - pc) > es) {
177 1.4 mycroft /* Iterate rather than recurse to save stack space */
178 1.4 mycroft a = pn - r;
179 1.4 mycroft n = r / es;
180 1.4 mycroft goto loop;
181 1.1 cgd }
182 1.4 mycroft /* qsort(pn - r, r / es, es, cmp);*/
183 1.1 cgd }
184