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