158f0484fSRodney W. Grimes /*- 2*8a16b7a1SPedro F. Giffuni * SPDX-License-Identifier: BSD-3-Clause 3*8a16b7a1SPedro F. Giffuni * 458f0484fSRodney W. Grimes * Copyright (c) 1992, 1993 558f0484fSRodney W. Grimes * The Regents of the University of California. All rights reserved. 658f0484fSRodney W. Grimes * 758f0484fSRodney W. Grimes * This code is derived from software contributed to Berkeley by 858f0484fSRodney W. Grimes * Peter McIlroy. 958f0484fSRodney W. Grimes * 1058f0484fSRodney W. Grimes * Redistribution and use in source and binary forms, with or without 1158f0484fSRodney W. Grimes * modification, are permitted provided that the following conditions 1258f0484fSRodney W. Grimes * are met: 1358f0484fSRodney W. Grimes * 1. Redistributions of source code must retain the above copyright 1458f0484fSRodney W. Grimes * notice, this list of conditions and the following disclaimer. 1558f0484fSRodney W. Grimes * 2. Redistributions in binary form must reproduce the above copyright 1658f0484fSRodney W. Grimes * notice, this list of conditions and the following disclaimer in the 1758f0484fSRodney W. Grimes * documentation and/or other materials provided with the distribution. 18580b4d18SEd Maste * 3. Neither the name of the University nor the names of its contributors 1958f0484fSRodney W. Grimes * may be used to endorse or promote products derived from this software 2058f0484fSRodney W. Grimes * without specific prior written permission. 2158f0484fSRodney W. Grimes * 2258f0484fSRodney W. Grimes * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 2358f0484fSRodney W. Grimes * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 2458f0484fSRodney W. Grimes * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 2558f0484fSRodney W. Grimes * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 2658f0484fSRodney W. Grimes * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 2758f0484fSRodney W. Grimes * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 2858f0484fSRodney W. Grimes * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 2958f0484fSRodney W. Grimes * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 3058f0484fSRodney W. Grimes * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 3158f0484fSRodney W. Grimes * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 3258f0484fSRodney W. Grimes * SUCH DAMAGE. 3358f0484fSRodney W. Grimes */ 3458f0484fSRodney W. Grimes 3558f0484fSRodney W. Grimes #if defined(LIBC_SCCS) && !defined(lint) 3658f0484fSRodney W. Grimes static char sccsid[] = "@(#)merge.c 8.2 (Berkeley) 2/14/94"; 3758f0484fSRodney W. Grimes #endif /* LIBC_SCCS and not lint */ 388fb3f3f6SDavid E. O'Brien #include <sys/cdefs.h> 398fb3f3f6SDavid E. O'Brien __FBSDID("$FreeBSD$"); 4058f0484fSRodney W. Grimes 4158f0484fSRodney W. Grimes /* 4258f0484fSRodney W. Grimes * Hybrid exponential search/linear search merge sort with hybrid 4358f0484fSRodney W. Grimes * natural/pairwise first pass. Requires about .3% more comparisons 4458f0484fSRodney W. Grimes * for random data than LSMS with pairwise first pass alone. 4558f0484fSRodney W. Grimes * It works for objects as small as two bytes. 4658f0484fSRodney W. Grimes */ 4758f0484fSRodney W. Grimes 4858f0484fSRodney W. Grimes #define NATURAL 4958f0484fSRodney W. Grimes #define THRESHOLD 16 /* Best choice for natural merge cut-off. */ 5058f0484fSRodney W. Grimes 5158f0484fSRodney W. Grimes /* #define NATURAL to get hybrid natural merge. 5258f0484fSRodney W. Grimes * (The default is pairwise merging.) 5358f0484fSRodney W. Grimes */ 5458f0484fSRodney W. Grimes 5558f0484fSRodney W. Grimes #include <sys/types.h> 5658f0484fSRodney W. Grimes 5758f0484fSRodney W. Grimes #include <errno.h> 5858f0484fSRodney W. Grimes #include <stdlib.h> 5958f0484fSRodney W. Grimes #include <string.h> 6058f0484fSRodney W. Grimes 6146cdc140SDavid Chisnall #ifdef I_AM_MERGESORT_B 6246cdc140SDavid Chisnall #include "block_abi.h" 6346cdc140SDavid Chisnall #define DECLARE_CMP DECLARE_BLOCK(int, cmp, const void *, const void *) 6446cdc140SDavid Chisnall typedef DECLARE_BLOCK(int, cmp_t, const void *, const void *); 6546cdc140SDavid Chisnall #define CMP(x, y) CALL_BLOCK(cmp, x, y) 6646cdc140SDavid Chisnall #else 6746cdc140SDavid Chisnall typedef int (*cmp_t)(const void *, const void *); 6846cdc140SDavid Chisnall #define CMP(x, y) cmp(x, y) 6946cdc140SDavid Chisnall #endif 7046cdc140SDavid Chisnall 7146cdc140SDavid Chisnall static void setup(u_char *, u_char *, size_t, size_t, cmp_t); 7246cdc140SDavid Chisnall static void insertionsort(u_char *, size_t, size_t, cmp_t); 7358f0484fSRodney W. Grimes 7458f0484fSRodney W. Grimes #define ISIZE sizeof(int) 7558f0484fSRodney W. Grimes #define PSIZE sizeof(u_char *) 7658f0484fSRodney W. Grimes #define ICOPY_LIST(src, dst, last) \ 7758f0484fSRodney W. Grimes do \ 7858f0484fSRodney W. Grimes *(int*)dst = *(int*)src, src += ISIZE, dst += ISIZE; \ 7958f0484fSRodney W. Grimes while(src < last) 8058f0484fSRodney W. Grimes #define ICOPY_ELT(src, dst, i) \ 8158f0484fSRodney W. Grimes do \ 8258f0484fSRodney W. Grimes *(int*) dst = *(int*) src, src += ISIZE, dst += ISIZE; \ 8358f0484fSRodney W. Grimes while (i -= ISIZE) 8458f0484fSRodney W. Grimes 8558f0484fSRodney W. Grimes #define CCOPY_LIST(src, dst, last) \ 8658f0484fSRodney W. Grimes do \ 8758f0484fSRodney W. Grimes *dst++ = *src++; \ 8858f0484fSRodney W. Grimes while (src < last) 8958f0484fSRodney W. Grimes #define CCOPY_ELT(src, dst, i) \ 9058f0484fSRodney W. Grimes do \ 9158f0484fSRodney W. Grimes *dst++ = *src++; \ 9258f0484fSRodney W. Grimes while (i -= 1) 9358f0484fSRodney W. Grimes 9458f0484fSRodney W. Grimes /* 9558f0484fSRodney W. Grimes * Find the next possible pointer head. (Trickery for forcing an array 9658f0484fSRodney W. Grimes * to do double duty as a linked list when objects do not align with word 9758f0484fSRodney W. Grimes * boundaries. 9858f0484fSRodney W. Grimes */ 9958f0484fSRodney W. Grimes /* Assumption: PSIZE is a power of 2. */ 10058f0484fSRodney W. Grimes #define EVAL(p) (u_char **) \ 10158f0484fSRodney W. Grimes ((u_char *)0 + \ 10258f0484fSRodney W. Grimes (((u_char *)p + PSIZE - 1 - (u_char *) 0) & ~(PSIZE - 1))) 10358f0484fSRodney W. Grimes 1048d3aa83dSCraig Rodrigues #ifdef I_AM_MERGESORT_B 10548d59c22SCraig Rodrigues int mergesort_b(void *, size_t, size_t, cmp_t); 1068d3aa83dSCraig Rodrigues #else 10748d59c22SCraig Rodrigues int mergesort(void *, size_t, size_t, cmp_t); 1088d3aa83dSCraig Rodrigues #endif 1098d3aa83dSCraig Rodrigues 11058f0484fSRodney W. Grimes /* 11158f0484fSRodney W. Grimes * Arguments are as for qsort. 11258f0484fSRodney W. Grimes */ 11358f0484fSRodney W. Grimes int 11446cdc140SDavid Chisnall #ifdef I_AM_MERGESORT_B 11576470dd5SCraig Rodrigues mergesort_b(void *base, size_t nmemb, size_t size, cmp_t cmp) 11646cdc140SDavid Chisnall #else 11776470dd5SCraig Rodrigues mergesort(void *base, size_t nmemb, size_t size, cmp_t cmp) 11846cdc140SDavid Chisnall #endif 11958f0484fSRodney W. Grimes { 12041843e71SBrian Somers size_t i; 12141843e71SBrian Somers int sense; 12258f0484fSRodney W. Grimes int big, iflag; 1238fb3f3f6SDavid E. O'Brien u_char *f1, *f2, *t, *b, *tp2, *q, *l1, *l2; 12458f0484fSRodney W. Grimes u_char *list2, *list1, *p2, *p, *last, **p1; 12558f0484fSRodney W. Grimes 12658f0484fSRodney W. Grimes if (size < PSIZE / 2) { /* Pointers must fit into 2 * size. */ 12758f0484fSRodney W. Grimes errno = EINVAL; 12858f0484fSRodney W. Grimes return (-1); 12958f0484fSRodney W. Grimes } 13058f0484fSRodney W. Grimes 1317fb5f2baSRobert Nordier if (nmemb == 0) 1327fb5f2baSRobert Nordier return (0); 1337fb5f2baSRobert Nordier 13458f0484fSRodney W. Grimes /* 13558f0484fSRodney W. Grimes * XXX 13658f0484fSRodney W. Grimes * Stupid subtraction for the Cray. 13758f0484fSRodney W. Grimes */ 13858f0484fSRodney W. Grimes iflag = 0; 13958f0484fSRodney W. Grimes if (!(size % ISIZE) && !(((char *)base - (char *)0) % ISIZE)) 14058f0484fSRodney W. Grimes iflag = 1; 14158f0484fSRodney W. Grimes 14258f0484fSRodney W. Grimes if ((list2 = malloc(nmemb * size + PSIZE)) == NULL) 14358f0484fSRodney W. Grimes return (-1); 14458f0484fSRodney W. Grimes 14558f0484fSRodney W. Grimes list1 = base; 14658f0484fSRodney W. Grimes setup(list1, list2, nmemb, size, cmp); 14758f0484fSRodney W. Grimes last = list2 + nmemb * size; 14858f0484fSRodney W. Grimes i = big = 0; 14958f0484fSRodney W. Grimes while (*EVAL(list2) != last) { 15058f0484fSRodney W. Grimes l2 = list1; 15158f0484fSRodney W. Grimes p1 = EVAL(list1); 15258f0484fSRodney W. Grimes for (tp2 = p2 = list2; p2 != last; p1 = EVAL(l2)) { 15358f0484fSRodney W. Grimes p2 = *EVAL(p2); 15458f0484fSRodney W. Grimes f1 = l2; 15558f0484fSRodney W. Grimes f2 = l1 = list1 + (p2 - list2); 15658f0484fSRodney W. Grimes if (p2 != last) 15758f0484fSRodney W. Grimes p2 = *EVAL(p2); 15858f0484fSRodney W. Grimes l2 = list1 + (p2 - list2); 15958f0484fSRodney W. Grimes while (f1 < l1 && f2 < l2) { 16046cdc140SDavid Chisnall if (CMP(f1, f2) <= 0) { 16158f0484fSRodney W. Grimes q = f2; 16258f0484fSRodney W. Grimes b = f1, t = l1; 16358f0484fSRodney W. Grimes sense = -1; 16458f0484fSRodney W. Grimes } else { 16558f0484fSRodney W. Grimes q = f1; 16658f0484fSRodney W. Grimes b = f2, t = l2; 16758f0484fSRodney W. Grimes sense = 0; 16858f0484fSRodney W. Grimes } 16958f0484fSRodney W. Grimes if (!big) { /* here i = 0 */ 17046cdc140SDavid Chisnall while ((b += size) < t && CMP(q, b) >sense) 17158f0484fSRodney W. Grimes if (++i == 6) { 17258f0484fSRodney W. Grimes big = 1; 17358f0484fSRodney W. Grimes goto EXPONENTIAL; 17458f0484fSRodney W. Grimes } 17558f0484fSRodney W. Grimes } else { 17658f0484fSRodney W. Grimes EXPONENTIAL: for (i = size; ; i <<= 1) 17758f0484fSRodney W. Grimes if ((p = (b + i)) >= t) { 17858f0484fSRodney W. Grimes if ((p = t - size) > b && 17946cdc140SDavid Chisnall CMP(q, p) <= sense) 18058f0484fSRodney W. Grimes t = p; 18158f0484fSRodney W. Grimes else 18258f0484fSRodney W. Grimes b = p; 18358f0484fSRodney W. Grimes break; 18446cdc140SDavid Chisnall } else if (CMP(q, p) <= sense) { 18558f0484fSRodney W. Grimes t = p; 18658f0484fSRodney W. Grimes if (i == size) 18758f0484fSRodney W. Grimes big = 0; 18858f0484fSRodney W. Grimes goto FASTCASE; 18958f0484fSRodney W. Grimes } else 19058f0484fSRodney W. Grimes b = p; 191df5a1b84SRobert Nordier while (t > b+size) { 19258f0484fSRodney W. Grimes i = (((t - b) / size) >> 1) * size; 19346cdc140SDavid Chisnall if (CMP(q, p = b + i) <= sense) 19458f0484fSRodney W. Grimes t = p; 19558f0484fSRodney W. Grimes else 19658f0484fSRodney W. Grimes b = p; 19758f0484fSRodney W. Grimes } 19858f0484fSRodney W. Grimes goto COPY; 19958f0484fSRodney W. Grimes FASTCASE: while (i > size) 20046cdc140SDavid Chisnall if (CMP(q, 20158f0484fSRodney W. Grimes p = b + (i >>= 1)) <= sense) 20258f0484fSRodney W. Grimes t = p; 20358f0484fSRodney W. Grimes else 20458f0484fSRodney W. Grimes b = p; 20558f0484fSRodney W. Grimes COPY: b = t; 20658f0484fSRodney W. Grimes } 20758f0484fSRodney W. Grimes i = size; 20858f0484fSRodney W. Grimes if (q == f1) { 20958f0484fSRodney W. Grimes if (iflag) { 21058f0484fSRodney W. Grimes ICOPY_LIST(f2, tp2, b); 21158f0484fSRodney W. Grimes ICOPY_ELT(f1, tp2, i); 21258f0484fSRodney W. Grimes } else { 21358f0484fSRodney W. Grimes CCOPY_LIST(f2, tp2, b); 21458f0484fSRodney W. Grimes CCOPY_ELT(f1, tp2, i); 21558f0484fSRodney W. Grimes } 21658f0484fSRodney W. Grimes } else { 21758f0484fSRodney W. Grimes if (iflag) { 21858f0484fSRodney W. Grimes ICOPY_LIST(f1, tp2, b); 21958f0484fSRodney W. Grimes ICOPY_ELT(f2, tp2, i); 22058f0484fSRodney W. Grimes } else { 22158f0484fSRodney W. Grimes CCOPY_LIST(f1, tp2, b); 22258f0484fSRodney W. Grimes CCOPY_ELT(f2, tp2, i); 22358f0484fSRodney W. Grimes } 22458f0484fSRodney W. Grimes } 22558f0484fSRodney W. Grimes } 22658f0484fSRodney W. Grimes if (f2 < l2) { 22758f0484fSRodney W. Grimes if (iflag) 22858f0484fSRodney W. Grimes ICOPY_LIST(f2, tp2, l2); 22958f0484fSRodney W. Grimes else 23058f0484fSRodney W. Grimes CCOPY_LIST(f2, tp2, l2); 23158f0484fSRodney W. Grimes } else if (f1 < l1) { 23258f0484fSRodney W. Grimes if (iflag) 23358f0484fSRodney W. Grimes ICOPY_LIST(f1, tp2, l1); 23458f0484fSRodney W. Grimes else 23558f0484fSRodney W. Grimes CCOPY_LIST(f1, tp2, l1); 23658f0484fSRodney W. Grimes } 23758f0484fSRodney W. Grimes *p1 = l2; 23858f0484fSRodney W. Grimes } 23958f0484fSRodney W. Grimes tp2 = list1; /* swap list1, list2 */ 24058f0484fSRodney W. Grimes list1 = list2; 24158f0484fSRodney W. Grimes list2 = tp2; 24258f0484fSRodney W. Grimes last = list2 + nmemb*size; 24358f0484fSRodney W. Grimes } 24458f0484fSRodney W. Grimes if (base == list2) { 24558f0484fSRodney W. Grimes memmove(list2, list1, nmemb*size); 24658f0484fSRodney W. Grimes list2 = list1; 24758f0484fSRodney W. Grimes } 24858f0484fSRodney W. Grimes free(list2); 24958f0484fSRodney W. Grimes return (0); 25058f0484fSRodney W. Grimes } 25158f0484fSRodney W. Grimes 25258f0484fSRodney W. Grimes #define swap(a, b) { \ 25358f0484fSRodney W. Grimes s = b; \ 25458f0484fSRodney W. Grimes i = size; \ 25558f0484fSRodney W. Grimes do { \ 25658f0484fSRodney W. Grimes tmp = *a; *a++ = *s; *s++ = tmp; \ 25758f0484fSRodney W. Grimes } while (--i); \ 25858f0484fSRodney W. Grimes a -= size; \ 25958f0484fSRodney W. Grimes } 26058f0484fSRodney W. Grimes #define reverse(bot, top) { \ 26158f0484fSRodney W. Grimes s = top; \ 26258f0484fSRodney W. Grimes do { \ 26358f0484fSRodney W. Grimes i = size; \ 26458f0484fSRodney W. Grimes do { \ 26558f0484fSRodney W. Grimes tmp = *bot; *bot++ = *s; *s++ = tmp; \ 26658f0484fSRodney W. Grimes } while (--i); \ 26758f0484fSRodney W. Grimes s -= size2; \ 26858f0484fSRodney W. Grimes } while(bot < s); \ 26958f0484fSRodney W. Grimes } 27058f0484fSRodney W. Grimes 27158f0484fSRodney W. Grimes /* 27258f0484fSRodney W. Grimes * Optional hybrid natural/pairwise first pass. Eats up list1 in runs of 27358f0484fSRodney W. Grimes * increasing order, list2 in a corresponding linked list. Checks for runs 27458f0484fSRodney W. Grimes * when THRESHOLD/2 pairs compare with same sense. (Only used when NATURAL 27558f0484fSRodney W. Grimes * is defined. Otherwise simple pairwise merging is used.) 27658f0484fSRodney W. Grimes */ 27758f0484fSRodney W. Grimes void 27876470dd5SCraig Rodrigues setup(u_char *list1, u_char *list2, size_t n, size_t size, cmp_t cmp) 27958f0484fSRodney W. Grimes { 28058f0484fSRodney W. Grimes int i, length, size2, tmp, sense; 28158f0484fSRodney W. Grimes u_char *f1, *f2, *s, *l2, *last, *p2; 28258f0484fSRodney W. Grimes 28358f0484fSRodney W. Grimes size2 = size*2; 28458f0484fSRodney W. Grimes if (n <= 5) { 28558f0484fSRodney W. Grimes insertionsort(list1, n, size, cmp); 28658f0484fSRodney W. Grimes *EVAL(list2) = (u_char*) list2 + n*size; 28758f0484fSRodney W. Grimes return; 28858f0484fSRodney W. Grimes } 28958f0484fSRodney W. Grimes /* 29058f0484fSRodney W. Grimes * Avoid running pointers out of bounds; limit n to evens 29158f0484fSRodney W. Grimes * for simplicity. 29258f0484fSRodney W. Grimes */ 29358f0484fSRodney W. Grimes i = 4 + (n & 1); 29458f0484fSRodney W. Grimes insertionsort(list1 + (n - i) * size, i, size, cmp); 29558f0484fSRodney W. Grimes last = list1 + size * (n - i); 29658f0484fSRodney W. Grimes *EVAL(list2 + (last - list1)) = list2 + n * size; 29758f0484fSRodney W. Grimes 29858f0484fSRodney W. Grimes #ifdef NATURAL 29958f0484fSRodney W. Grimes p2 = list2; 30058f0484fSRodney W. Grimes f1 = list1; 30146cdc140SDavid Chisnall sense = (CMP(f1, f1 + size) > 0); 30258f0484fSRodney W. Grimes for (; f1 < last; sense = !sense) { 30358f0484fSRodney W. Grimes length = 2; 30458f0484fSRodney W. Grimes /* Find pairs with same sense. */ 30558f0484fSRodney W. Grimes for (f2 = f1 + size2; f2 < last; f2 += size2) { 30646cdc140SDavid Chisnall if ((CMP(f2, f2+ size) > 0) != sense) 30758f0484fSRodney W. Grimes break; 30858f0484fSRodney W. Grimes length += 2; 30958f0484fSRodney W. Grimes } 31058f0484fSRodney W. Grimes if (length < THRESHOLD) { /* Pairwise merge */ 31158f0484fSRodney W. Grimes do { 31258f0484fSRodney W. Grimes p2 = *EVAL(p2) = f1 + size2 - list1 + list2; 31358f0484fSRodney W. Grimes if (sense > 0) 31458f0484fSRodney W. Grimes swap (f1, f1 + size); 31558f0484fSRodney W. Grimes } while ((f1 += size2) < f2); 31658f0484fSRodney W. Grimes } else { /* Natural merge */ 31758f0484fSRodney W. Grimes l2 = f2; 31858f0484fSRodney W. Grimes for (f2 = f1 + size2; f2 < l2; f2 += size2) { 31946cdc140SDavid Chisnall if ((CMP(f2-size, f2) > 0) != sense) { 32058f0484fSRodney W. Grimes p2 = *EVAL(p2) = f2 - list1 + list2; 32158f0484fSRodney W. Grimes if (sense > 0) 32258f0484fSRodney W. Grimes reverse(f1, f2-size); 32358f0484fSRodney W. Grimes f1 = f2; 32458f0484fSRodney W. Grimes } 32558f0484fSRodney W. Grimes } 32658f0484fSRodney W. Grimes if (sense > 0) 32758f0484fSRodney W. Grimes reverse (f1, f2-size); 32858f0484fSRodney W. Grimes f1 = f2; 32946cdc140SDavid Chisnall if (f2 < last || CMP(f2 - size, f2) > 0) 33058f0484fSRodney W. Grimes p2 = *EVAL(p2) = f2 - list1 + list2; 33158f0484fSRodney W. Grimes else 33258f0484fSRodney W. Grimes p2 = *EVAL(p2) = list2 + n*size; 33358f0484fSRodney W. Grimes } 33458f0484fSRodney W. Grimes } 33558f0484fSRodney W. Grimes #else /* pairwise merge only. */ 33658f0484fSRodney W. Grimes for (f1 = list1, p2 = list2; f1 < last; f1 += size2) { 33758f0484fSRodney W. Grimes p2 = *EVAL(p2) = p2 + size2; 33846cdc140SDavid Chisnall if (CMP (f1, f1 + size) > 0) 33958f0484fSRodney W. Grimes swap(f1, f1 + size); 34058f0484fSRodney W. Grimes } 34158f0484fSRodney W. Grimes #endif /* NATURAL */ 34258f0484fSRodney W. Grimes } 34358f0484fSRodney W. Grimes 34458f0484fSRodney W. Grimes /* 34558f0484fSRodney W. Grimes * This is to avoid out-of-bounds addresses in sorting the 34658f0484fSRodney W. Grimes * last 4 elements. 34758f0484fSRodney W. Grimes */ 34858f0484fSRodney W. Grimes static void 34976470dd5SCraig Rodrigues insertionsort(u_char *a, size_t n, size_t size, cmp_t cmp) 35058f0484fSRodney W. Grimes { 35158f0484fSRodney W. Grimes u_char *ai, *s, *t, *u, tmp; 35258f0484fSRodney W. Grimes int i; 35358f0484fSRodney W. Grimes 35458f0484fSRodney W. Grimes for (ai = a+size; --n >= 1; ai += size) 35558f0484fSRodney W. Grimes for (t = ai; t > a; t -= size) { 35658f0484fSRodney W. Grimes u = t - size; 35746cdc140SDavid Chisnall if (CMP(u, t) <= 0) 35858f0484fSRodney W. Grimes break; 35958f0484fSRodney W. Grimes swap(u, t); 36058f0484fSRodney W. Grimes } 36158f0484fSRodney W. Grimes } 362