src/stdlib/SDL_qsort.c
author Ryan C. Gordon <icculus@icculus.org>
Wed, 06 Jan 2010 20:17:35 +0000
changeset 3616 0aaa7f52d1c6
parent 3162 dc1eb82ffdaa
child 6281 e46d6f4b469e
permissions -rw-r--r--
Merged r4710:4711 from branches/SDL-1.2: Mac OS X SDL_stdlib qsort build fixes.
slouken@1330
     1
/* qsort.c
slouken@1330
     2
 * (c) 1998 Gareth McCaughan
slouken@1330
     3
 *
slouken@1330
     4
 * This is a drop-in replacement for the C library's |qsort()| routine.
slouken@1330
     5
 *
slouken@1330
     6
 * Features:
slouken@1330
     7
 *   - Median-of-three pivoting (and more)
slouken@1330
     8
 *   - Truncation and final polishing by a single insertion sort
slouken@1330
     9
 *   - Early truncation when no swaps needed in pivoting step
slouken@1330
    10
 *   - Explicit recursion, guaranteed not to overflow
slouken@1330
    11
 *   - A few little wrinkles stolen from the GNU |qsort()|.
slouken@1330
    12
 *   - separate code for non-aligned / aligned / word-size objects
slouken@1330
    13
 *
slouken@1330
    14
 * This code may be reproduced freely provided
slouken@1330
    15
 *   - this file is retained unaltered apart from minor
slouken@1330
    16
 *     changes for portability and efficiency
slouken@1330
    17
 *   - no changes are made to this comment
slouken@1330
    18
 *   - any changes that *are* made are clearly flagged
slouken@1330
    19
 *   - the _ID string below is altered by inserting, after
slouken@1330
    20
 *     the date, the string " altered" followed at your option
slouken@1330
    21
 *     by other material. (Exceptions: you may change the name
slouken@1330
    22
 *     of the exported routine without changing the ID string.
slouken@1330
    23
 *     You may change the values of the macros TRUNC_* and
slouken@1330
    24
 *     PIVOT_THRESHOLD without changing the ID string, provided
slouken@1330
    25
 *     they remain constants with TRUNC_nonaligned, TRUNC_aligned
slouken@1330
    26
 *     and TRUNC_words/WORD_BYTES between 8 and 24, and
slouken@1330
    27
 *     PIVOT_THRESHOLD between 32 and 200.)
slouken@1330
    28
 *
slouken@1330
    29
 * You may use it in anything you like; you may make money
slouken@1330
    30
 * out of it; you may distribute it in object form or as
slouken@1330
    31
 * part of an executable without including source code;
slouken@1330
    32
 * you don't have to credit me. (But it would be nice if
slouken@1330
    33
 * you did.)
slouken@1330
    34
 *
slouken@1330
    35
 * If you find problems with this code, or find ways of
slouken@1330
    36
 * making it significantly faster, please let me know!
slouken@1330
    37
 * My e-mail address, valid as of early 1998 and certainly
slouken@1330
    38
 * OK for at least the next 18 months, is
slouken@1330
    39
 *    gjm11@dpmms.cam.ac.uk
slouken@1330
    40
 * Thanks!
slouken@1330
    41
 *
slouken@1330
    42
 * Gareth McCaughan   Peterhouse   Cambridge   1998
slouken@1330
    43
 */
slouken@1402
    44
#include "SDL_config.h"
slouken@1330
    45
slouken@1330
    46
/*
slouken@1330
    47
#include <assert.h>
slouken@1330
    48
#include <stdlib.h>
slouken@1330
    49
#include <string.h>
slouken@1330
    50
*/
slouken@1354
    51
#include "SDL_stdinc.h"
slouken@1330
    52
icculus@3616
    53
#ifdef assert
icculus@3616
    54
#undef assert
icculus@3616
    55
#endif
slouken@1337
    56
#define assert(X)
icculus@3616
    57
#ifdef malloc
icculus@3616
    58
#undef malloc
icculus@3616
    59
#endif
slouken@1337
    60
#define malloc	SDL_malloc
icculus@3616
    61
#ifdef free
icculus@3616
    62
#undef free
icculus@3616
    63
#endif
slouken@1337
    64
#define free	SDL_free
icculus@3616
    65
#ifdef memcpy
icculus@3616
    66
#undef memcpy
icculus@3616
    67
#endif
slouken@1337
    68
#define memcpy	SDL_memcpy
icculus@3616
    69
#ifdef memmove
icculus@3616
    70
#undef memmove
icculus@3616
    71
#endif
slouken@1337
    72
#define memmove	SDL_memmove
icculus@3616
    73
#ifdef qsort
icculus@3616
    74
#undef qsort
icculus@3616
    75
#endif
slouken@1337
    76
#define qsort	SDL_qsort
slouken@1337
    77
slouken@1337
    78
slouken@1330
    79
#ifndef HAVE_QSORT
slouken@1330
    80
slouken@3162
    81
static const char _ID[] = "<qsort.c gjm 1.12 1998-03-19>";
slouken@1330
    82
slouken@1330
    83
/* How many bytes are there per word? (Must be a power of 2,
slouken@1330
    84
 * and must in fact equal sizeof(int).)
slouken@1330
    85
 */
slouken@1330
    86
#define WORD_BYTES sizeof(int)
slouken@1330
    87
slouken@1330
    88
/* How big does our stack need to be? Answer: one entry per
slouken@1330
    89
 * bit in a |size_t|.
slouken@1330
    90
 */
slouken@1330
    91
#define STACK_SIZE (8*sizeof(size_t))
slouken@1330
    92
slouken@1330
    93
/* Different situations have slightly different requirements,
slouken@1330
    94
 * and we make life epsilon easier by using different truncation
slouken@1330
    95
 * points for the three different cases.
slouken@1330
    96
 * So far, I have tuned TRUNC_words and guessed that the same
slouken@1330
    97
 * value might work well for the other two cases. Of course
slouken@1330
    98
 * what works well on my machine might work badly on yours.
slouken@1330
    99
 */
slouken@1330
   100
#define TRUNC_nonaligned	12
slouken@1330
   101
#define TRUNC_aligned		12
slouken@1895
   102
#define TRUNC_words		12*WORD_BYTES   /* nb different meaning */
slouken@1330
   103
slouken@1330
   104
/* We use a simple pivoting algorithm for shortish sub-arrays
slouken@1330
   105
 * and a more complicated one for larger ones. The threshold
slouken@1330
   106
 * is PIVOT_THRESHOLD.
slouken@1330
   107
 */
slouken@1330
   108
#define PIVOT_THRESHOLD 40
slouken@1330
   109
slouken@1895
   110
typedef struct
slouken@1895
   111
{
slouken@1895
   112
    char *first;
slouken@1895
   113
    char *last;
slouken@1895
   114
} stack_entry;
slouken@1330
   115
#define pushLeft {stack[stacktop].first=ffirst;stack[stacktop++].last=last;}
slouken@1330
   116
#define pushRight {stack[stacktop].first=first;stack[stacktop++].last=llast;}
slouken@1330
   117
#define doLeft {first=ffirst;llast=last;continue;}
slouken@1330
   118
#define doRight {ffirst=first;last=llast;continue;}
slouken@1330
   119
#define pop {if (--stacktop<0) break;\
slouken@1330
   120
  first=ffirst=stack[stacktop].first;\
slouken@1330
   121
  last=llast=stack[stacktop].last;\
slouken@1330
   122
  continue;}
slouken@1330
   123
slouken@1330
   124
/* Some comments on the implementation.
slouken@1330
   125
 * 1. When we finish partitioning the array into "low"
slouken@1330
   126
 *    and "high", we forget entirely about short subarrays,
slouken@1330
   127
 *    because they'll be done later by insertion sort.
slouken@1330
   128
 *    Doing lots of little insertion sorts might be a win
slouken@1330
   129
 *    on large datasets for locality-of-reference reasons,
slouken@1330
   130
 *    but it makes the code much nastier and increases
slouken@1330
   131
 *    bookkeeping overhead.
slouken@1330
   132
 * 2. We always save the shorter and get to work on the
slouken@1330
   133
 *    longer. This guarantees that every time we push
slouken@1330
   134
 *    an item onto the stack its size is <= 1/2 of that
slouken@1330
   135
 *    of its parent; so the stack can't need more than
slouken@1330
   136
 *    log_2(max-array-size) entries.
slouken@1330
   137
 * 3. We choose a pivot by looking at the first, last
slouken@1330
   138
 *    and middle elements. We arrange them into order
slouken@1330
   139
 *    because it's easy to do that in conjunction with
slouken@1330
   140
 *    choosing the pivot, and it makes things a little
slouken@1330
   141
 *    easier in the partitioning step. Anyway, the pivot
slouken@1330
   142
 *    is the middle of these three. It's still possible
slouken@1330
   143
 *    to construct datasets where the algorithm takes
slouken@1330
   144
 *    time of order n^2, but it simply never happens in
slouken@1330
   145
 *    practice.
slouken@1330
   146
 * 3' Newsflash: On further investigation I find that
slouken@1330
   147
 *    it's easy to construct datasets where median-of-3
slouken@1330
   148
 *    simply isn't good enough. So on large-ish subarrays
slouken@1330
   149
 *    we do a more sophisticated pivoting: we take three
slouken@1330
   150
 *    sets of 3 elements, find their medians, and then
slouken@1330
   151
 *    take the median of those.
slouken@1330
   152
 * 4. We copy the pivot element to a separate place
slouken@1330
   153
 *    because that way we can always do our comparisons
slouken@1330
   154
 *    directly against a pointer to that separate place,
slouken@1330
   155
 *    and don't have to wonder "did we move the pivot
slouken@1330
   156
 *    element?". This makes the inner loop better.
slouken@1330
   157
 * 5. It's possible to make the pivoting even more
slouken@1330
   158
 *    reliable by looking at more candidates when n
slouken@1330
   159
 *    is larger. (Taking this to its logical conclusion
slouken@1330
   160
 *    results in a variant of quicksort that doesn't
slouken@1330
   161
 *    have that n^2 worst case.) However, the overhead
slouken@1330
   162
 *    from the extra bookkeeping means that it's just
slouken@1330
   163
 *    not worth while.
slouken@1330
   164
 * 6. This is pretty clean and portable code. Here are
slouken@1330
   165
 *    all the potential portability pitfalls and problems
slouken@1330
   166
 *    I know of:
slouken@1330
   167
 *      - In one place (the insertion sort) I construct
slouken@1330
   168
 *        a pointer that points just past the end of the
slouken@1330
   169
 *        supplied array, and assume that (a) it won't
slouken@1330
   170
 *        compare equal to any pointer within the array,
slouken@1330
   171
 *        and (b) it will compare equal to a pointer
slouken@1330
   172
 *        obtained by stepping off the end of the array.
slouken@1330
   173
 *        These might fail on some segmented architectures.
slouken@1330
   174
 *      - I assume that there are 8 bits in a |char| when
slouken@1330
   175
 *        computing the size of stack needed. This would
slouken@1330
   176
 *        fail on machines with 9-bit or 16-bit bytes.
slouken@1330
   177
 *      - I assume that if |((int)base&(sizeof(int)-1))==0|
slouken@1330
   178
 *        and |(size&(sizeof(int)-1))==0| then it's safe to
slouken@1330
   179
 *        get at array elements via |int*|s, and that if
slouken@1330
   180
 *        actually |size==sizeof(int)| as well then it's
slouken@1330
   181
 *        safe to treat the elements as |int|s. This might
slouken@1330
   182
 *        fail on systems that convert pointers to integers
slouken@1330
   183
 *        in non-standard ways.
slouken@1330
   184
 *      - I assume that |8*sizeof(size_t)<=INT_MAX|. This
slouken@1330
   185
 *        would be false on a machine with 8-bit |char|s,
slouken@1330
   186
 *        16-bit |int|s and 4096-bit |size_t|s. :-)
slouken@1330
   187
 */
slouken@1330
   188
slouken@1330
   189
/* The recursion logic is the same in each case: */
slouken@1330
   190
#define Recurse(Trunc)				\
slouken@1330
   191
      { size_t l=last-ffirst,r=llast-first;	\
slouken@1330
   192
        if (l<Trunc) {				\
slouken@1330
   193
          if (r>=Trunc) doRight			\
slouken@1330
   194
          else pop				\
slouken@1330
   195
        }					\
slouken@1330
   196
        else if (l<=r) { pushLeft; doRight }	\
slouken@1330
   197
        else if (r>=Trunc) { pushRight; doLeft }\
slouken@1330
   198
        else doLeft				\
slouken@1330
   199
      }
slouken@1330
   200
slouken@1330
   201
/* and so is the pivoting logic: */
slouken@1330
   202
#define Pivot(swapper,sz)			\
slouken@1330
   203
  if ((size_t)(last-first)>PIVOT_THRESHOLD*sz) mid=pivot_big(first,mid,last,sz,compare);\
slouken@1330
   204
  else {	\
slouken@1330
   205
    if (compare(first,mid)<0) {			\
slouken@1330
   206
      if (compare(mid,last)>0) {		\
slouken@1330
   207
        swapper(mid,last);			\
slouken@1330
   208
        if (compare(first,mid)>0) swapper(first,mid);\
slouken@1330
   209
      }						\
slouken@1330
   210
    }						\
slouken@1330
   211
    else {					\
slouken@1330
   212
      if (compare(mid,last)>0) swapper(first,last)\
slouken@1330
   213
      else {					\
slouken@1330
   214
        swapper(first,mid);			\
slouken@1330
   215
        if (compare(mid,last)>0) swapper(mid,last);\
slouken@1330
   216
      }						\
slouken@1330
   217
    }						\
slouken@1330
   218
    first+=sz; last-=sz;			\
slouken@1330
   219
  }
slouken@1330
   220
slouken@1330
   221
#ifdef DEBUG_QSORT
slouken@1330
   222
#include <stdio.h>
slouken@1330
   223
#endif
slouken@1330
   224
slouken@1330
   225
/* and so is the partitioning logic: */
slouken@1330
   226
#define Partition(swapper,sz) {			\
slouken@1330
   227
  int swapped=0;				\
slouken@1330
   228
  do {						\
slouken@1330
   229
    while (compare(first,pivot)<0) first+=sz;	\
slouken@1330
   230
    while (compare(pivot,last)<0) last-=sz;	\
slouken@1330
   231
    if (first<last) {				\
slouken@1330
   232
      swapper(first,last); swapped=1;		\
slouken@1330
   233
      first+=sz; last-=sz; }			\
slouken@1330
   234
    else if (first==last) { first+=sz; last-=sz; break; }\
slouken@1330
   235
  } while (first<=last);			\
slouken@1330
   236
  if (!swapped) pop				\
slouken@1330
   237
}
slouken@1330
   238
slouken@1330
   239
/* and so is the pre-insertion-sort operation of putting
slouken@1330
   240
 * the smallest element into place as a sentinel.
slouken@1330
   241
 * Doing this makes the inner loop nicer. I got this
slouken@1330
   242
 * idea from the GNU implementation of qsort().
slouken@1330
   243
 */
slouken@1330
   244
#define PreInsertion(swapper,limit,sz)		\
slouken@1330
   245
  first=base;					\
slouken@1330
   246
  last=first + (nmemb>limit ? limit : nmemb-1)*sz;\
slouken@1330
   247
  while (last!=base) {				\
slouken@1330
   248
    if (compare(first,last)>0) first=last;	\
slouken@1330
   249
    last-=sz; }					\
slouken@1330
   250
  if (first!=base) swapper(first,(char*)base);
slouken@1330
   251
slouken@1330
   252
/* and so is the insertion sort, in the first two cases: */
slouken@1330
   253
#define Insertion(swapper)			\
slouken@1330
   254
  last=((char*)base)+nmemb*size;		\
slouken@1330
   255
  for (first=((char*)base)+size;first!=last;first+=size) {	\
slouken@1330
   256
    char *test;					\
slouken@1330
   257
    /* Find the right place for |first|.	\
slouken@1330
   258
     * My apologies for var reuse. */		\
slouken@1330
   259
    for (test=first-size;compare(test,first)>0;test-=size) ;	\
slouken@1330
   260
    test+=size;					\
slouken@1330
   261
    if (test!=first) {				\
slouken@1330
   262
      /* Shift everything in [test,first)	\
slouken@1330
   263
       * up by one, and place |first|		\
slouken@1330
   264
       * where |test| is. */			\
slouken@1337
   265
      memcpy(pivot,first,size);			\
slouken@1337
   266
      memmove(test+size,test,first-test);	\
slouken@1337
   267
      memcpy(test,pivot,size);			\
slouken@1330
   268
    }						\
slouken@1330
   269
  }
slouken@1330
   270
slouken@1330
   271
#define SWAP_nonaligned(a,b) { \
slouken@1330
   272
  register char *aa=(a),*bb=(b); \
slouken@1330
   273
  register size_t sz=size; \
slouken@1330
   274
  do { register char t=*aa; *aa++=*bb; *bb++=t; } while (--sz); }
slouken@1330
   275
slouken@1330
   276
#define SWAP_aligned(a,b) { \
slouken@1330
   277
  register int *aa=(int*)(a),*bb=(int*)(b); \
slouken@1330
   278
  register size_t sz=size; \
slouken@1330
   279
  do { register int t=*aa;*aa++=*bb; *bb++=t; } while (sz-=WORD_BYTES); }
slouken@1330
   280
slouken@1330
   281
#define SWAP_words(a,b) { \
slouken@1330
   282
  register int t=*((int*)a); *((int*)a)=*((int*)b); *((int*)b)=t; }
slouken@1330
   283
slouken@1330
   284
/* ---------------------------------------------------------------------- */
slouken@1330
   285
slouken@1895
   286
static char *
slouken@1895
   287
pivot_big(char *first, char *mid, char *last, size_t size,
slouken@1895
   288
          int compare(const void *, const void *))
slouken@1895
   289
{
slouken@1895
   290
    size_t d = (((last - first) / size) >> 3) * size;
slouken@1895
   291
    char *m1, *m2, *m3;
slouken@1895
   292
    {
slouken@1895
   293
        char *a = first, *b = first + d, *c = first + 2 * d;
slouken@1330
   294
#ifdef DEBUG_QSORT
slouken@1895
   295
        fprintf(stderr, "< %d %d %d\n", *(int *) a, *(int *) b, *(int *) c);
slouken@1330
   296
#endif
slouken@1895
   297
        m1 = compare(a, b) < 0 ?
slouken@1895
   298
            (compare(b, c) < 0 ? b : (compare(a, c) < 0 ? c : a))
slouken@1895
   299
            : (compare(a, c) < 0 ? a : (compare(b, c) < 0 ? c : b));
slouken@1895
   300
    }
slouken@1895
   301
    {
slouken@1895
   302
        char *a = mid - d, *b = mid, *c = mid + d;
slouken@1330
   303
#ifdef DEBUG_QSORT
slouken@1895
   304
        fprintf(stderr, ". %d %d %d\n", *(int *) a, *(int *) b, *(int *) c);
slouken@1330
   305
#endif
slouken@1895
   306
        m2 = compare(a, b) < 0 ?
slouken@1895
   307
            (compare(b, c) < 0 ? b : (compare(a, c) < 0 ? c : a))
slouken@1895
   308
            : (compare(a, c) < 0 ? a : (compare(b, c) < 0 ? c : b));
slouken@1895
   309
    }
slouken@1895
   310
    {
slouken@1895
   311
        char *a = last - 2 * d, *b = last - d, *c = last;
slouken@1330
   312
#ifdef DEBUG_QSORT
slouken@1895
   313
        fprintf(stderr, "> %d %d %d\n", *(int *) a, *(int *) b, *(int *) c);
slouken@1330
   314
#endif
slouken@1895
   315
        m3 = compare(a, b) < 0 ?
slouken@1895
   316
            (compare(b, c) < 0 ? b : (compare(a, c) < 0 ? c : a))
slouken@1895
   317
            : (compare(a, c) < 0 ? a : (compare(b, c) < 0 ? c : b));
slouken@1895
   318
    }
slouken@1330
   319
#ifdef DEBUG_QSORT
slouken@1895
   320
    fprintf(stderr, "-> %d %d %d\n", *(int *) m1, *(int *) m2, *(int *) m3);
slouken@1330
   321
#endif
slouken@1895
   322
    return compare(m1, m2) < 0 ?
slouken@1895
   323
        (compare(m2, m3) < 0 ? m2 : (compare(m1, m3) < 0 ? m3 : m1))
slouken@1895
   324
        : (compare(m1, m3) < 0 ? m1 : (compare(m2, m3) < 0 ? m3 : m2));
slouken@1330
   325
}
slouken@1330
   326
slouken@1330
   327
/* ---------------------------------------------------------------------- */
slouken@1330
   328
slouken@1895
   329
static void
slouken@1895
   330
qsort_nonaligned(void *base, size_t nmemb, size_t size,
slouken@1895
   331
                 int (*compare) (const void *, const void *))
slouken@1895
   332
{
slouken@1330
   333
slouken@1895
   334
    stack_entry stack[STACK_SIZE];
slouken@1895
   335
    int stacktop = 0;
slouken@1895
   336
    char *first, *last;
slouken@1895
   337
    char *pivot = malloc(size);
slouken@1895
   338
    size_t trunc = TRUNC_nonaligned * size;
slouken@1895
   339
    assert(pivot != 0);
slouken@1330
   340
slouken@1895
   341
    first = (char *) base;
slouken@1895
   342
    last = first + (nmemb - 1) * size;
slouken@1330
   343
slouken@1895
   344
    if ((size_t) (last - first) > trunc) {
slouken@1895
   345
        char *ffirst = first, *llast = last;
slouken@1895
   346
        while (1) {
slouken@1895
   347
            /* Select pivot */
slouken@1895
   348
            {
slouken@1895
   349
                char *mid = first + size * ((last - first) / size >> 1);
slouken@1895
   350
                Pivot(SWAP_nonaligned, size);
slouken@1895
   351
                memcpy(pivot, mid, size);
slouken@1895
   352
            }
slouken@1895
   353
            /* Partition. */
slouken@1895
   354
            Partition(SWAP_nonaligned, size);
slouken@1895
   355
            /* Prepare to recurse/iterate. */
slouken@1895
   356
        Recurse(trunc)}
slouken@1330
   357
    }
slouken@1895
   358
    PreInsertion(SWAP_nonaligned, TRUNC_nonaligned, size);
slouken@1895
   359
    Insertion(SWAP_nonaligned);
slouken@1895
   360
    free(pivot);
slouken@1330
   361
}
slouken@1330
   362
slouken@1895
   363
static void
slouken@1895
   364
qsort_aligned(void *base, size_t nmemb, size_t size,
slouken@1895
   365
              int (*compare) (const void *, const void *))
slouken@1895
   366
{
slouken@1330
   367
slouken@1895
   368
    stack_entry stack[STACK_SIZE];
slouken@1895
   369
    int stacktop = 0;
slouken@1895
   370
    char *first, *last;
slouken@1895
   371
    char *pivot = malloc(size);
slouken@1895
   372
    size_t trunc = TRUNC_aligned * size;
slouken@1895
   373
    assert(pivot != 0);
slouken@1330
   374
slouken@1895
   375
    first = (char *) base;
slouken@1895
   376
    last = first + (nmemb - 1) * size;
slouken@1330
   377
slouken@1895
   378
    if ((size_t) (last - first) > trunc) {
slouken@1895
   379
        char *ffirst = first, *llast = last;
slouken@1895
   380
        while (1) {
slouken@1895
   381
            /* Select pivot */
slouken@1895
   382
            {
slouken@1895
   383
                char *mid = first + size * ((last - first) / size >> 1);
slouken@1895
   384
                Pivot(SWAP_aligned, size);
slouken@1895
   385
                memcpy(pivot, mid, size);
slouken@1895
   386
            }
slouken@1895
   387
            /* Partition. */
slouken@1895
   388
            Partition(SWAP_aligned, size);
slouken@1895
   389
            /* Prepare to recurse/iterate. */
slouken@1895
   390
        Recurse(trunc)}
slouken@1330
   391
    }
slouken@1895
   392
    PreInsertion(SWAP_aligned, TRUNC_aligned, size);
slouken@1895
   393
    Insertion(SWAP_aligned);
slouken@1895
   394
    free(pivot);
slouken@1330
   395
}
slouken@1330
   396
slouken@1895
   397
static void
slouken@1895
   398
qsort_words(void *base, size_t nmemb,
slouken@1895
   399
            int (*compare) (const void *, const void *))
slouken@1895
   400
{
slouken@1330
   401
slouken@1895
   402
    stack_entry stack[STACK_SIZE];
slouken@1895
   403
    int stacktop = 0;
slouken@1895
   404
    char *first, *last;
slouken@1895
   405
    char *pivot = malloc(WORD_BYTES);
slouken@1895
   406
    assert(pivot != 0);
slouken@1330
   407
slouken@1895
   408
    first = (char *) base;
slouken@1895
   409
    last = first + (nmemb - 1) * WORD_BYTES;
slouken@1330
   410
slouken@1895
   411
    if (last - first > TRUNC_words) {
slouken@1895
   412
        char *ffirst = first, *llast = last;
slouken@1895
   413
        while (1) {
slouken@1330
   414
#ifdef DEBUG_QSORT
slouken@1895
   415
            fprintf(stderr, "Doing %d:%d: ",
slouken@1895
   416
                    (first - (char *) base) / WORD_BYTES,
slouken@1895
   417
                    (last - (char *) base) / WORD_BYTES);
slouken@1330
   418
#endif
slouken@1895
   419
            /* Select pivot */
slouken@1895
   420
            {
slouken@1895
   421
                char *mid =
slouken@1895
   422
                    first + WORD_BYTES * ((last - first) / (2 * WORD_BYTES));
slouken@1895
   423
                Pivot(SWAP_words, WORD_BYTES);
slouken@1895
   424
                *(int *) pivot = *(int *) mid;
slouken@1895
   425
            }
slouken@1330
   426
#ifdef DEBUG_QSORT
slouken@1895
   427
            fprintf(stderr, "pivot=%d\n", *(int *) pivot);
slouken@1330
   428
#endif
slouken@1895
   429
            /* Partition. */
slouken@1895
   430
            Partition(SWAP_words, WORD_BYTES);
slouken@1895
   431
            /* Prepare to recurse/iterate. */
slouken@1895
   432
        Recurse(TRUNC_words)}
slouken@1330
   433
    }
slouken@1895
   434
    PreInsertion(SWAP_words, (TRUNC_words / WORD_BYTES), WORD_BYTES);
slouken@1895
   435
    /* Now do insertion sort. */
slouken@1895
   436
    last = ((char *) base) + nmemb * WORD_BYTES;
slouken@1895
   437
    for (first = ((char *) base) + WORD_BYTES; first != last;
slouken@1895
   438
         first += WORD_BYTES) {
slouken@1895
   439
        /* Find the right place for |first|. My apologies for var reuse */
slouken@1895
   440
        int *pl = (int *) (first - WORD_BYTES), *pr = (int *) first;
slouken@1895
   441
        *(int *) pivot = *(int *) first;
slouken@1895
   442
        for (; compare(pl, pivot) > 0; pr = pl, --pl) {
slouken@1895
   443
            *pr = *pl;
slouken@1895
   444
        }
slouken@1895
   445
        if (pr != (int *) first)
slouken@1895
   446
            *pr = *(int *) pivot;
slouken@1895
   447
    }
slouken@1895
   448
    free(pivot);
slouken@1330
   449
}
slouken@1330
   450
slouken@1330
   451
/* ---------------------------------------------------------------------- */
slouken@1330
   452
slouken@1895
   453
void
slouken@1895
   454
qsort(void *base, size_t nmemb, size_t size,
slouken@1895
   455
      int (*compare) (const void *, const void *))
slouken@1895
   456
{
slouken@1330
   457
slouken@1895
   458
    if (nmemb <= 1)
slouken@1895
   459
        return;
slouken@1895
   460
    if (((uintptr_t) base | size) & (WORD_BYTES - 1))
slouken@1895
   461
        qsort_nonaligned(base, nmemb, size, compare);
slouken@1895
   462
    else if (size != WORD_BYTES)
slouken@1895
   463
        qsort_aligned(base, nmemb, size, compare);
slouken@1895
   464
    else
slouken@1895
   465
        qsort_words(base, nmemb, compare);
slouken@1330
   466
}
slouken@1330
   467
slouken@1331
   468
#endif /* !HAVE_QSORT */
slouken@1895
   469
/* vi: set ts=4 sw=4 expandtab: */