Home | History | Annotate | Line # | Download | only in clib
bsearch.c revision 1.1
      1  1.1  christos /*
      2  1.1  christos  * Copyright (c) 1990, 1993
      3  1.1  christos  *	The Regents of the University of California.  All rights reserved.
      4  1.1  christos  *
      5  1.1  christos  * Redistribution and use in source and binary forms, with or without
      6  1.1  christos  * modification, are permitted provided that the following conditions
      7  1.1  christos  * are met:
      8  1.1  christos  * 1. Redistributions of source code must retain the above copyright
      9  1.1  christos  *    notice, this list of conditions and the following disclaimer.
     10  1.1  christos  * 2. Redistributions in binary form must reproduce the above copyright
     11  1.1  christos  *    notice, this list of conditions and the following disclaimer in the
     12  1.1  christos  *    documentation and/or other materials provided with the distribution.
     13  1.1  christos  * 3. All advertising materials mentioning features or use of this software
     14  1.1  christos  *    must display the following acknowledgement:
     15  1.1  christos  *	This product includes software developed by the University of
     16  1.1  christos  *	California, Berkeley and its contributors.
     17  1.1  christos  * 4. Neither the name of the University nor the names of its contributors
     18  1.1  christos  *    may be used to endorse or promote products derived from this software
     19  1.1  christos  *    without specific prior written permission.
     20  1.1  christos  *
     21  1.1  christos  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     22  1.1  christos  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     23  1.1  christos  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     24  1.1  christos  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     25  1.1  christos  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     26  1.1  christos  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     27  1.1  christos  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     28  1.1  christos  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     29  1.1  christos  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     30  1.1  christos  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     31  1.1  christos  * SUCH DAMAGE.
     32  1.1  christos  */
     33  1.1  christos 
     34  1.1  christos #include "config.h"
     35  1.1  christos 
     36  1.1  christos #if defined(LIBC_SCCS) && !defined(lint)
     37  1.1  christos static const char sccsid[] = "@(#)bsearch.c	8.1 (Berkeley) 6/4/93";
     38  1.1  christos #endif /* LIBC_SCCS and not lint */
     39  1.1  christos 
     40  1.1  christos #include <stddef.h>
     41  1.1  christos #include <stdlib.h>
     42  1.1  christos 
     43  1.1  christos #include "port.h"
     44  1.1  christos 
     45  1.1  christos /*
     46  1.1  christos  * Perform a binary search.
     47  1.1  christos  *
     48  1.1  christos  * The code below is a bit sneaky.  After a comparison fails, we
     49  1.1  christos  * divide the work in half by moving either left or right. If lim
     50  1.1  christos  * is odd, moving left simply involves halving lim: e.g., when lim
     51  1.1  christos  * is 5 we look at item 2, so we change lim to 2 so that we will
     52  1.1  christos  * look at items 0 & 1.  If lim is even, the same applies.  If lim
     53  1.1  christos  * is odd, moving right again involes halving lim, this time moving
     54  1.1  christos  * the base up one item past p: e.g., when lim is 5 we change base
     55  1.1  christos  * to item 3 and make lim 2 so that we will look at items 3 and 4.
     56  1.1  christos  * If lim is even, however, we have to shrink it by one before
     57  1.1  christos  * halving: e.g., when lim is 4, we still looked at item 2, so we
     58  1.1  christos  * have to make lim 3, then halve, obtaining 1, so that we will only
     59  1.1  christos  * look at item 3.
     60  1.1  christos  *
     61  1.1  christos  * PUBLIC: #ifndef HAVE_BSEARCH
     62  1.1  christos  * PUBLIC: void	*bsearch __P((const void *, const void *, size_t,
     63  1.1  christos  * PUBLIC:    size_t, int (*)(const void *, const void *)));
     64  1.1  christos  * PUBLIC: #endif
     65  1.1  christos  */
     66  1.1  christos void *
     67  1.1  christos bsearch(register const void *key, const void *base0, size_t nmemb, register size_t size, register int (*compar) (const void *, const void *))
     68  1.1  christos {
     69  1.1  christos 	register const char *base = base0;
     70  1.1  christos 	register size_t lim;
     71  1.1  christos 	register int cmp;
     72  1.1  christos 	register const void *p;
     73  1.1  christos 
     74  1.1  christos 	for (lim = nmemb; lim != 0; lim >>= 1) {
     75  1.1  christos 		p = base + (lim >> 1) * size;
     76  1.1  christos 		cmp = (*compar)(key, p);
     77  1.1  christos 		if (cmp == 0)
     78  1.1  christos 			return ((void *)p);
     79  1.1  christos 		if (cmp > 0) {	/* key > p: move right */
     80  1.1  christos 			base = (char *)p + size;
     81  1.1  christos 			lim--;
     82  1.1  christos 		}		/* else move left */
     83  1.1  christos 	}
     84  1.1  christos 	return (NULL);
     85  1.1  christos }
     86