Home | History | Annotate | Line # | Download | only in stdlib
qsort.c revision 1.8
      1  1.8  christos /*	$NetBSD: qsort.c,v 1.8 1997/07/13 20:16: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.8  christos __RCSID("$NetBSD: qsort.c,v 1.8 1997/07/13 20:16: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.6       cgd static __inline void	 swapfunc __P((char *, char *, int, 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.4   mycroft 	long i = (n) / sizeof (TYPE); 			\
     59  1.4   mycroft 	register TYPE *pi = (TYPE *) (parmi); 		\
     60  1.4   mycroft 	register TYPE *pj = (TYPE *) (parmj); 		\
     61  1.4   mycroft 	do { 						\
     62  1.4   mycroft 		register 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.4   mycroft 	int n, swaptype;
     75  1.1       cgd {
     76  1.7     mikel 	if (swaptype <= 1)
     77  1.4   mycroft 		swapcode(long, a, b, n)
     78  1.1       cgd 	else
     79  1.4   mycroft 		swapcode(char, a, b, n)
     80  1.1       cgd }
     81  1.1       cgd 
     82  1.4   mycroft #define swap(a, b)					\
     83  1.4   mycroft 	if (swaptype == 0) {				\
     84  1.4   mycroft 		long t = *(long *)(a);			\
     85  1.4   mycroft 		*(long *)(a) = *(long *)(b);		\
     86  1.4   mycroft 		*(long *)(b) = t;			\
     87  1.4   mycroft 	} else						\
     88  1.4   mycroft 		swapfunc(a, b, es, swaptype)
     89  1.4   mycroft 
     90  1.4   mycroft #define vecswap(a, b, n) 	if ((n) > 0) swapfunc(a, b, n, swaptype)
     91  1.4   mycroft 
     92  1.6       cgd static __inline char *
     93  1.4   mycroft med3(a, b, c, cmp)
     94  1.4   mycroft 	char *a, *b, *c;
     95  1.8  christos 	int (*cmp) __P((const void *, const void *));
     96  1.4   mycroft {
     97  1.4   mycroft 	return cmp(a, b) < 0 ?
     98  1.4   mycroft 	       (cmp(b, c) < 0 ? b : (cmp(a, c) < 0 ? c : a ))
     99  1.4   mycroft               :(cmp(b, c) > 0 ? b : (cmp(a, c) < 0 ? a : c ));
    100  1.1       cgd }
    101  1.1       cgd 
    102  1.4   mycroft void
    103  1.4   mycroft qsort(a, n, es, cmp)
    104  1.4   mycroft 	void *a;
    105  1.4   mycroft 	size_t n, es;
    106  1.8  christos 	int (*cmp) __P((const void *, const void *));
    107  1.4   mycroft {
    108  1.4   mycroft 	char *pa, *pb, *pc, *pd, *pl, *pm, *pn;
    109  1.4   mycroft 	int d, r, swaptype, swap_cnt;
    110  1.1       cgd 
    111  1.4   mycroft loop:	SWAPINIT(a, es);
    112  1.4   mycroft 	swap_cnt = 0;
    113  1.4   mycroft 	if (n < 7) {
    114  1.7     mikel 		for (pm = (char *) a + es; pm < (char *) a + n * es; pm += es)
    115  1.4   mycroft 			for (pl = pm; pl > (char *) a && cmp(pl - es, pl) > 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.4   mycroft 			pl = med3(pl, pl + d, pl + 2 * d, cmp);
    127  1.4   mycroft 			pm = med3(pm - d, pm, pm + d, cmp);
    128  1.4   mycroft 			pn = med3(pn - 2 * d, pn - d, pn, cmp);
    129  1.1       cgd 		}
    130  1.4   mycroft 		pm = med3(pl, pm, pn, cmp);
    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.4   mycroft 		while (pb <= pc && (r = cmp(pb, a)) <= 0) {
    138  1.4   mycroft 			if (r == 0) {
    139  1.4   mycroft 				swap_cnt = 1;
    140  1.4   mycroft 				swap(pa, pb);
    141  1.4   mycroft 				pa += es;
    142  1.1       cgd 			}
    143  1.4   mycroft 			pb += es;
    144  1.4   mycroft 		}
    145  1.4   mycroft 		while (pb <= pc && (r = cmp(pc, a)) >= 0) {
    146  1.4   mycroft 			if (r == 0) {
    147  1.4   mycroft 				swap_cnt = 1;
    148  1.4   mycroft 				swap(pc, pd);
    149  1.4   mycroft 				pd -= es;
    150  1.1       cgd 			}
    151  1.4   mycroft 			pc -= es;
    152  1.1       cgd 		}
    153  1.4   mycroft 		if (pb > pc)
    154  1.1       cgd 			break;
    155  1.4   mycroft 		swap(pb, pc);
    156  1.4   mycroft 		swap_cnt = 1;
    157  1.4   mycroft 		pb += es;
    158  1.4   mycroft 		pc -= es;
    159  1.1       cgd 	}
    160  1.4   mycroft 	if (swap_cnt == 0) {  /* Switch to insertion sort */
    161  1.7     mikel 		for (pm = (char *) a + es; pm < (char *) a + n * es; pm += es)
    162  1.4   mycroft 			for (pl = pm; pl > (char *) a && cmp(pl - es, pl) > 0;
    163  1.4   mycroft 			     pl -= es)
    164  1.4   mycroft 				swap(pl, pl - es);
    165  1.1       cgd 		return;
    166  1.1       cgd 	}
    167  1.1       cgd 
    168  1.7     mikel 	pn = (char *) a + n * es;
    169  1.7     mikel 	r = min(pa - (char *) a, pb - pa);
    170  1.4   mycroft 	vecswap(a, pb - r, r);
    171  1.4   mycroft 	r = min(pd - pc, pn - pd - es);
    172  1.4   mycroft 	vecswap(pb, pn - r, r);
    173  1.4   mycroft 	if ((r = pb - pa) > es)
    174  1.4   mycroft 		qsort(a, r / es, es, cmp);
    175  1.4   mycroft 	if ((r = pd - pc) > es) {
    176  1.4   mycroft 		/* Iterate rather than recurse to save stack space */
    177  1.4   mycroft 		a = pn - r;
    178  1.4   mycroft 		n = r / es;
    179  1.4   mycroft 		goto loop;
    180  1.1       cgd 	}
    181  1.4   mycroft /*		qsort(pn - r, r / es, es, cmp);*/
    182  1.1       cgd }
    183