1*663afb9bSAndroid Build Coastguard Worker /* $OpenBSD: tree.h,v 1.7 2002/10/17 21:51:54 art Exp $ */ 2*663afb9bSAndroid Build Coastguard Worker /* 3*663afb9bSAndroid Build Coastguard Worker * Copyright 2002 Niels Provos <[email protected]> 4*663afb9bSAndroid Build Coastguard Worker * All rights reserved. 5*663afb9bSAndroid Build Coastguard Worker * 6*663afb9bSAndroid Build Coastguard Worker * Redistribution and use in source and binary forms, with or without 7*663afb9bSAndroid Build Coastguard Worker * modification, are permitted provided that the following conditions 8*663afb9bSAndroid Build Coastguard Worker * are met: 9*663afb9bSAndroid Build Coastguard Worker * 1. Redistributions of source code must retain the above copyright 10*663afb9bSAndroid Build Coastguard Worker * notice, this list of conditions and the following disclaimer. 11*663afb9bSAndroid Build Coastguard Worker * 2. Redistributions in binary form must reproduce the above copyright 12*663afb9bSAndroid Build Coastguard Worker * notice, this list of conditions and the following disclaimer in the 13*663afb9bSAndroid Build Coastguard Worker * documentation and/or other materials provided with the distribution. 14*663afb9bSAndroid Build Coastguard Worker * 15*663afb9bSAndroid Build Coastguard Worker * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 16*663afb9bSAndroid Build Coastguard Worker * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 17*663afb9bSAndroid Build Coastguard Worker * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 18*663afb9bSAndroid Build Coastguard Worker * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 19*663afb9bSAndroid Build Coastguard Worker * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 20*663afb9bSAndroid Build Coastguard Worker * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 21*663afb9bSAndroid Build Coastguard Worker * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 22*663afb9bSAndroid Build Coastguard Worker * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 23*663afb9bSAndroid Build Coastguard Worker * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 24*663afb9bSAndroid Build Coastguard Worker * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 25*663afb9bSAndroid Build Coastguard Worker */ 26*663afb9bSAndroid Build Coastguard Worker 27*663afb9bSAndroid Build Coastguard Worker #ifndef _SYS_TREE_H_ 28*663afb9bSAndroid Build Coastguard Worker #define _SYS_TREE_H_ 29*663afb9bSAndroid Build Coastguard Worker 30*663afb9bSAndroid Build Coastguard Worker /* 31*663afb9bSAndroid Build Coastguard Worker * This file defines data structures for different types of trees: 32*663afb9bSAndroid Build Coastguard Worker * splay trees and red-black trees. 33*663afb9bSAndroid Build Coastguard Worker * 34*663afb9bSAndroid Build Coastguard Worker * A splay tree is a self-organizing data structure. Every operation 35*663afb9bSAndroid Build Coastguard Worker * on the tree causes a splay to happen. The splay moves the requested 36*663afb9bSAndroid Build Coastguard Worker * node to the root of the tree and partly rebalances it. 37*663afb9bSAndroid Build Coastguard Worker * 38*663afb9bSAndroid Build Coastguard Worker * This has the benefit that request locality causes faster lookups as 39*663afb9bSAndroid Build Coastguard Worker * the requested nodes move to the top of the tree. On the other hand, 40*663afb9bSAndroid Build Coastguard Worker * every lookup causes memory writes. 41*663afb9bSAndroid Build Coastguard Worker * 42*663afb9bSAndroid Build Coastguard Worker * The Balance Theorem bounds the total access time for m operations 43*663afb9bSAndroid Build Coastguard Worker * and n inserts on an initially empty tree as O((m + n)lg n). The 44*663afb9bSAndroid Build Coastguard Worker * amortized cost for a sequence of m accesses to a splay tree is O(lg n); 45*663afb9bSAndroid Build Coastguard Worker * 46*663afb9bSAndroid Build Coastguard Worker * A red-black tree is a binary search tree with the node color as an 47*663afb9bSAndroid Build Coastguard Worker * extra attribute. It fulfills a set of conditions: 48*663afb9bSAndroid Build Coastguard Worker * - every search path from the root to a leaf consists of the 49*663afb9bSAndroid Build Coastguard Worker * same number of black nodes, 50*663afb9bSAndroid Build Coastguard Worker * - each red node (except for the root) has a black parent, 51*663afb9bSAndroid Build Coastguard Worker * - each leaf node is black. 52*663afb9bSAndroid Build Coastguard Worker * 53*663afb9bSAndroid Build Coastguard Worker * Every operation on a red-black tree is bounded as O(lg n). 54*663afb9bSAndroid Build Coastguard Worker * The maximum height of a red-black tree is 2lg (n+1). 55*663afb9bSAndroid Build Coastguard Worker */ 56*663afb9bSAndroid Build Coastguard Worker 57*663afb9bSAndroid Build Coastguard Worker #define SPLAY_HEAD(name, type) \ 58*663afb9bSAndroid Build Coastguard Worker struct name { \ 59*663afb9bSAndroid Build Coastguard Worker struct type *sph_root; /* root of the tree */ \ 60*663afb9bSAndroid Build Coastguard Worker } 61*663afb9bSAndroid Build Coastguard Worker 62*663afb9bSAndroid Build Coastguard Worker #define SPLAY_INITIALIZER(root) \ 63*663afb9bSAndroid Build Coastguard Worker { NULL } 64*663afb9bSAndroid Build Coastguard Worker 65*663afb9bSAndroid Build Coastguard Worker #define SPLAY_INIT(root) do { \ 66*663afb9bSAndroid Build Coastguard Worker (root)->sph_root = NULL; \ 67*663afb9bSAndroid Build Coastguard Worker } while (0) 68*663afb9bSAndroid Build Coastguard Worker 69*663afb9bSAndroid Build Coastguard Worker #define SPLAY_ENTRY(type) \ 70*663afb9bSAndroid Build Coastguard Worker struct { \ 71*663afb9bSAndroid Build Coastguard Worker struct type *spe_left; /* left element */ \ 72*663afb9bSAndroid Build Coastguard Worker struct type *spe_right; /* right element */ \ 73*663afb9bSAndroid Build Coastguard Worker } 74*663afb9bSAndroid Build Coastguard Worker 75*663afb9bSAndroid Build Coastguard Worker #define SPLAY_LEFT(elm, field) (elm)->field.spe_left 76*663afb9bSAndroid Build Coastguard Worker #define SPLAY_RIGHT(elm, field) (elm)->field.spe_right 77*663afb9bSAndroid Build Coastguard Worker #define SPLAY_ROOT(head) (head)->sph_root 78*663afb9bSAndroid Build Coastguard Worker #define SPLAY_EMPTY(head) (SPLAY_ROOT(head) == NULL) 79*663afb9bSAndroid Build Coastguard Worker 80*663afb9bSAndroid Build Coastguard Worker /* SPLAY_ROTATE_{LEFT,RIGHT} expect that tmp hold SPLAY_{RIGHT,LEFT} */ 81*663afb9bSAndroid Build Coastguard Worker #define SPLAY_ROTATE_RIGHT(head, tmp, field) do { \ 82*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT((head)->sph_root, field) = SPLAY_RIGHT(tmp, field); \ 83*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT(tmp, field) = (head)->sph_root; \ 84*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = tmp; \ 85*663afb9bSAndroid Build Coastguard Worker } while (0) 86*663afb9bSAndroid Build Coastguard Worker 87*663afb9bSAndroid Build Coastguard Worker #define SPLAY_ROTATE_LEFT(head, tmp, field) do { \ 88*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT((head)->sph_root, field) = SPLAY_LEFT(tmp, field); \ 89*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(tmp, field) = (head)->sph_root; \ 90*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = tmp; \ 91*663afb9bSAndroid Build Coastguard Worker } while (0) 92*663afb9bSAndroid Build Coastguard Worker 93*663afb9bSAndroid Build Coastguard Worker #define SPLAY_LINKLEFT(head, tmp, field) do { \ 94*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(tmp, field) = (head)->sph_root; \ 95*663afb9bSAndroid Build Coastguard Worker tmp = (head)->sph_root; \ 96*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = SPLAY_LEFT((head)->sph_root, field); \ 97*663afb9bSAndroid Build Coastguard Worker } while (0) 98*663afb9bSAndroid Build Coastguard Worker 99*663afb9bSAndroid Build Coastguard Worker #define SPLAY_LINKRIGHT(head, tmp, field) do { \ 100*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT(tmp, field) = (head)->sph_root; \ 101*663afb9bSAndroid Build Coastguard Worker tmp = (head)->sph_root; \ 102*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = SPLAY_RIGHT((head)->sph_root, field); \ 103*663afb9bSAndroid Build Coastguard Worker } while (0) 104*663afb9bSAndroid Build Coastguard Worker 105*663afb9bSAndroid Build Coastguard Worker #define SPLAY_ASSEMBLE(head, node, left, right, field) do { \ 106*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT(left, field) = SPLAY_LEFT((head)->sph_root, field); \ 107*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(right, field) = SPLAY_RIGHT((head)->sph_root, field);\ 108*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT((head)->sph_root, field) = SPLAY_RIGHT(node, field); \ 109*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT((head)->sph_root, field) = SPLAY_LEFT(node, field); \ 110*663afb9bSAndroid Build Coastguard Worker } while (0) 111*663afb9bSAndroid Build Coastguard Worker 112*663afb9bSAndroid Build Coastguard Worker /* Generates prototypes and inline functions */ 113*663afb9bSAndroid Build Coastguard Worker 114*663afb9bSAndroid Build Coastguard Worker #define SPLAY_PROTOTYPE(name, type, field, cmp) \ 115*663afb9bSAndroid Build Coastguard Worker void name##_SPLAY(struct name *, struct type *); \ 116*663afb9bSAndroid Build Coastguard Worker void name##_SPLAY_MINMAX(struct name *, int); \ 117*663afb9bSAndroid Build Coastguard Worker struct type *name##_SPLAY_INSERT(struct name *, struct type *); \ 118*663afb9bSAndroid Build Coastguard Worker struct type *name##_SPLAY_REMOVE(struct name *, struct type *); \ 119*663afb9bSAndroid Build Coastguard Worker \ 120*663afb9bSAndroid Build Coastguard Worker /* Finds the node with the same key as elm */ \ 121*663afb9bSAndroid Build Coastguard Worker static __inline struct type * \ 122*663afb9bSAndroid Build Coastguard Worker name##_SPLAY_FIND(struct name *head, struct type *elm) \ 123*663afb9bSAndroid Build Coastguard Worker { \ 124*663afb9bSAndroid Build Coastguard Worker if (SPLAY_EMPTY(head)) \ 125*663afb9bSAndroid Build Coastguard Worker return(NULL); \ 126*663afb9bSAndroid Build Coastguard Worker name##_SPLAY(head, elm); \ 127*663afb9bSAndroid Build Coastguard Worker if ((cmp)(elm, (head)->sph_root) == 0) \ 128*663afb9bSAndroid Build Coastguard Worker return (head->sph_root); \ 129*663afb9bSAndroid Build Coastguard Worker return (NULL); \ 130*663afb9bSAndroid Build Coastguard Worker } \ 131*663afb9bSAndroid Build Coastguard Worker \ 132*663afb9bSAndroid Build Coastguard Worker static __inline struct type * \ 133*663afb9bSAndroid Build Coastguard Worker name##_SPLAY_NEXT(struct name *head, struct type *elm) \ 134*663afb9bSAndroid Build Coastguard Worker { \ 135*663afb9bSAndroid Build Coastguard Worker name##_SPLAY(head, elm); \ 136*663afb9bSAndroid Build Coastguard Worker if (SPLAY_RIGHT(elm, field) != NULL) { \ 137*663afb9bSAndroid Build Coastguard Worker elm = SPLAY_RIGHT(elm, field); \ 138*663afb9bSAndroid Build Coastguard Worker while (SPLAY_LEFT(elm, field) != NULL) { \ 139*663afb9bSAndroid Build Coastguard Worker elm = SPLAY_LEFT(elm, field); \ 140*663afb9bSAndroid Build Coastguard Worker } \ 141*663afb9bSAndroid Build Coastguard Worker } else \ 142*663afb9bSAndroid Build Coastguard Worker elm = NULL; \ 143*663afb9bSAndroid Build Coastguard Worker return (elm); \ 144*663afb9bSAndroid Build Coastguard Worker } \ 145*663afb9bSAndroid Build Coastguard Worker \ 146*663afb9bSAndroid Build Coastguard Worker static __inline struct type * \ 147*663afb9bSAndroid Build Coastguard Worker name##_SPLAY_MIN_MAX(struct name *head, int val) \ 148*663afb9bSAndroid Build Coastguard Worker { \ 149*663afb9bSAndroid Build Coastguard Worker name##_SPLAY_MINMAX(head, val); \ 150*663afb9bSAndroid Build Coastguard Worker return (SPLAY_ROOT(head)); \ 151*663afb9bSAndroid Build Coastguard Worker } 152*663afb9bSAndroid Build Coastguard Worker 153*663afb9bSAndroid Build Coastguard Worker /* Main splay operation. 154*663afb9bSAndroid Build Coastguard Worker * Moves node close to the key of elm to top 155*663afb9bSAndroid Build Coastguard Worker */ 156*663afb9bSAndroid Build Coastguard Worker #define SPLAY_GENERATE(name, type, field, cmp) \ 157*663afb9bSAndroid Build Coastguard Worker struct type * \ 158*663afb9bSAndroid Build Coastguard Worker name##_SPLAY_INSERT(struct name *head, struct type *elm) \ 159*663afb9bSAndroid Build Coastguard Worker { \ 160*663afb9bSAndroid Build Coastguard Worker if (SPLAY_EMPTY(head)) { \ 161*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(elm, field) = SPLAY_RIGHT(elm, field) = NULL; \ 162*663afb9bSAndroid Build Coastguard Worker } else { \ 163*663afb9bSAndroid Build Coastguard Worker int __comp; \ 164*663afb9bSAndroid Build Coastguard Worker name##_SPLAY(head, elm); \ 165*663afb9bSAndroid Build Coastguard Worker __comp = (cmp)(elm, (head)->sph_root); \ 166*663afb9bSAndroid Build Coastguard Worker if(__comp < 0) { \ 167*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(elm, field) = SPLAY_LEFT((head)->sph_root, field);\ 168*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT(elm, field) = (head)->sph_root; \ 169*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT((head)->sph_root, field) = NULL; \ 170*663afb9bSAndroid Build Coastguard Worker } else if (__comp > 0) { \ 171*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT(elm, field) = SPLAY_RIGHT((head)->sph_root, field);\ 172*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(elm, field) = (head)->sph_root; \ 173*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT((head)->sph_root, field) = NULL; \ 174*663afb9bSAndroid Build Coastguard Worker } else \ 175*663afb9bSAndroid Build Coastguard Worker return ((head)->sph_root); \ 176*663afb9bSAndroid Build Coastguard Worker } \ 177*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = (elm); \ 178*663afb9bSAndroid Build Coastguard Worker return (NULL); \ 179*663afb9bSAndroid Build Coastguard Worker } \ 180*663afb9bSAndroid Build Coastguard Worker \ 181*663afb9bSAndroid Build Coastguard Worker struct type * \ 182*663afb9bSAndroid Build Coastguard Worker name##_SPLAY_REMOVE(struct name *head, struct type *elm) \ 183*663afb9bSAndroid Build Coastguard Worker { \ 184*663afb9bSAndroid Build Coastguard Worker struct type *__tmp; \ 185*663afb9bSAndroid Build Coastguard Worker if (SPLAY_EMPTY(head)) \ 186*663afb9bSAndroid Build Coastguard Worker return (NULL); \ 187*663afb9bSAndroid Build Coastguard Worker name##_SPLAY(head, elm); \ 188*663afb9bSAndroid Build Coastguard Worker if ((cmp)(elm, (head)->sph_root) == 0) { \ 189*663afb9bSAndroid Build Coastguard Worker if (SPLAY_LEFT((head)->sph_root, field) == NULL) { \ 190*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = SPLAY_RIGHT((head)->sph_root, field);\ 191*663afb9bSAndroid Build Coastguard Worker } else { \ 192*663afb9bSAndroid Build Coastguard Worker __tmp = SPLAY_RIGHT((head)->sph_root, field); \ 193*663afb9bSAndroid Build Coastguard Worker (head)->sph_root = SPLAY_LEFT((head)->sph_root, field);\ 194*663afb9bSAndroid Build Coastguard Worker name##_SPLAY(head, elm); \ 195*663afb9bSAndroid Build Coastguard Worker SPLAY_RIGHT((head)->sph_root, field) = __tmp; \ 196*663afb9bSAndroid Build Coastguard Worker } \ 197*663afb9bSAndroid Build Coastguard Worker return (elm); \ 198*663afb9bSAndroid Build Coastguard Worker } \ 199*663afb9bSAndroid Build Coastguard Worker return (NULL); \ 200*663afb9bSAndroid Build Coastguard Worker } \ 201*663afb9bSAndroid Build Coastguard Worker \ 202*663afb9bSAndroid Build Coastguard Worker void \ 203*663afb9bSAndroid Build Coastguard Worker name##_SPLAY(struct name *head, struct type *elm) \ 204*663afb9bSAndroid Build Coastguard Worker { \ 205*663afb9bSAndroid Build Coastguard Worker struct type __node, *__left, *__right, *__tmp; \ 206*663afb9bSAndroid Build Coastguard Worker int __comp; \ 207*663afb9bSAndroid Build Coastguard Worker \ 208*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(&__node, field) = SPLAY_RIGHT(&__node, field) = NULL;\ 209*663afb9bSAndroid Build Coastguard Worker __left = __right = &__node; \ 210*663afb9bSAndroid Build Coastguard Worker \ 211*663afb9bSAndroid Build Coastguard Worker while ((__comp = (cmp)(elm, (head)->sph_root))) { \ 212*663afb9bSAndroid Build Coastguard Worker if (__comp < 0) { \ 213*663afb9bSAndroid Build Coastguard Worker __tmp = SPLAY_LEFT((head)->sph_root, field); \ 214*663afb9bSAndroid Build Coastguard Worker if (__tmp == NULL) \ 215*663afb9bSAndroid Build Coastguard Worker break; \ 216*663afb9bSAndroid Build Coastguard Worker if ((cmp)(elm, __tmp) < 0){ \ 217*663afb9bSAndroid Build Coastguard Worker SPLAY_ROTATE_RIGHT(head, __tmp, field); \ 218*663afb9bSAndroid Build Coastguard Worker if (SPLAY_LEFT((head)->sph_root, field) == NULL)\ 219*663afb9bSAndroid Build Coastguard Worker break; \ 220*663afb9bSAndroid Build Coastguard Worker } \ 221*663afb9bSAndroid Build Coastguard Worker SPLAY_LINKLEFT(head, __right, field); \ 222*663afb9bSAndroid Build Coastguard Worker } else if (__comp > 0) { \ 223*663afb9bSAndroid Build Coastguard Worker __tmp = SPLAY_RIGHT((head)->sph_root, field); \ 224*663afb9bSAndroid Build Coastguard Worker if (__tmp == NULL) \ 225*663afb9bSAndroid Build Coastguard Worker break; \ 226*663afb9bSAndroid Build Coastguard Worker if ((cmp)(elm, __tmp) > 0){ \ 227*663afb9bSAndroid Build Coastguard Worker SPLAY_ROTATE_LEFT(head, __tmp, field); \ 228*663afb9bSAndroid Build Coastguard Worker if (SPLAY_RIGHT((head)->sph_root, field) == NULL)\ 229*663afb9bSAndroid Build Coastguard Worker break; \ 230*663afb9bSAndroid Build Coastguard Worker } \ 231*663afb9bSAndroid Build Coastguard Worker SPLAY_LINKRIGHT(head, __left, field); \ 232*663afb9bSAndroid Build Coastguard Worker } \ 233*663afb9bSAndroid Build Coastguard Worker } \ 234*663afb9bSAndroid Build Coastguard Worker SPLAY_ASSEMBLE(head, &__node, __left, __right, field); \ 235*663afb9bSAndroid Build Coastguard Worker } \ 236*663afb9bSAndroid Build Coastguard Worker \ 237*663afb9bSAndroid Build Coastguard Worker /* Splay with either the minimum or the maximum element \ 238*663afb9bSAndroid Build Coastguard Worker * Used to find minimum or maximum element in tree. \ 239*663afb9bSAndroid Build Coastguard Worker */ \ 240*663afb9bSAndroid Build Coastguard Worker void name##_SPLAY_MINMAX(struct name *head, int __comp) \ 241*663afb9bSAndroid Build Coastguard Worker { \ 242*663afb9bSAndroid Build Coastguard Worker struct type __node, *__left, *__right, *__tmp; \ 243*663afb9bSAndroid Build Coastguard Worker \ 244*663afb9bSAndroid Build Coastguard Worker SPLAY_LEFT(&__node, field) = SPLAY_RIGHT(&__node, field) = NULL;\ 245*663afb9bSAndroid Build Coastguard Worker __left = __right = &__node; \ 246*663afb9bSAndroid Build Coastguard Worker \ 247*663afb9bSAndroid Build Coastguard Worker while (1) { \ 248*663afb9bSAndroid Build Coastguard Worker if (__comp < 0) { \ 249*663afb9bSAndroid Build Coastguard Worker __tmp = SPLAY_LEFT((head)->sph_root, field); \ 250*663afb9bSAndroid Build Coastguard Worker if (__tmp == NULL) \ 251*663afb9bSAndroid Build Coastguard Worker break; \ 252*663afb9bSAndroid Build Coastguard Worker if (__comp < 0){ \ 253*663afb9bSAndroid Build Coastguard Worker SPLAY_ROTATE_RIGHT(head, __tmp, field); \ 254*663afb9bSAndroid Build Coastguard Worker if (SPLAY_LEFT((head)->sph_root, field) == NULL)\ 255*663afb9bSAndroid Build Coastguard Worker break; \ 256*663afb9bSAndroid Build Coastguard Worker } \ 257*663afb9bSAndroid Build Coastguard Worker SPLAY_LINKLEFT(head, __right, field); \ 258*663afb9bSAndroid Build Coastguard Worker } else if (__comp > 0) { \ 259*663afb9bSAndroid Build Coastguard Worker __tmp = SPLAY_RIGHT((head)->sph_root, field); \ 260*663afb9bSAndroid Build Coastguard Worker if (__tmp == NULL) \ 261*663afb9bSAndroid Build Coastguard Worker break; \ 262*663afb9bSAndroid Build Coastguard Worker if (__comp > 0) { \ 263*663afb9bSAndroid Build Coastguard Worker SPLAY_ROTATE_LEFT(head, __tmp, field); \ 264*663afb9bSAndroid Build Coastguard Worker if (SPLAY_RIGHT((head)->sph_root, field) == NULL)\ 265*663afb9bSAndroid Build Coastguard Worker break; \ 266*663afb9bSAndroid Build Coastguard Worker } \ 267*663afb9bSAndroid Build Coastguard Worker SPLAY_LINKRIGHT(head, __left, field); \ 268*663afb9bSAndroid Build Coastguard Worker } \ 269*663afb9bSAndroid Build Coastguard Worker } \ 270*663afb9bSAndroid Build Coastguard Worker SPLAY_ASSEMBLE(head, &__node, __left, __right, field); \ 271*663afb9bSAndroid Build Coastguard Worker } 272*663afb9bSAndroid Build Coastguard Worker 273*663afb9bSAndroid Build Coastguard Worker #define SPLAY_NEGINF -1 274*663afb9bSAndroid Build Coastguard Worker #define SPLAY_INF 1 275*663afb9bSAndroid Build Coastguard Worker 276*663afb9bSAndroid Build Coastguard Worker #define SPLAY_INSERT(name, x, y) name##_SPLAY_INSERT(x, y) 277*663afb9bSAndroid Build Coastguard Worker #define SPLAY_REMOVE(name, x, y) name##_SPLAY_REMOVE(x, y) 278*663afb9bSAndroid Build Coastguard Worker #define SPLAY_FIND(name, x, y) name##_SPLAY_FIND(x, y) 279*663afb9bSAndroid Build Coastguard Worker #define SPLAY_NEXT(name, x, y) name##_SPLAY_NEXT(x, y) 280*663afb9bSAndroid Build Coastguard Worker #define SPLAY_MIN(name, x) (SPLAY_EMPTY(x) ? NULL \ 281*663afb9bSAndroid Build Coastguard Worker : name##_SPLAY_MIN_MAX(x, SPLAY_NEGINF)) 282*663afb9bSAndroid Build Coastguard Worker #define SPLAY_MAX(name, x) (SPLAY_EMPTY(x) ? NULL \ 283*663afb9bSAndroid Build Coastguard Worker : name##_SPLAY_MIN_MAX(x, SPLAY_INF)) 284*663afb9bSAndroid Build Coastguard Worker 285*663afb9bSAndroid Build Coastguard Worker #define SPLAY_FOREACH(x, name, head) \ 286*663afb9bSAndroid Build Coastguard Worker for ((x) = SPLAY_MIN(name, head); \ 287*663afb9bSAndroid Build Coastguard Worker (x) != NULL; \ 288*663afb9bSAndroid Build Coastguard Worker (x) = SPLAY_NEXT(name, head, x)) 289*663afb9bSAndroid Build Coastguard Worker 290*663afb9bSAndroid Build Coastguard Worker /* Macros that define a red-back tree */ 291*663afb9bSAndroid Build Coastguard Worker #define RB_HEAD(name, type) \ 292*663afb9bSAndroid Build Coastguard Worker struct name { \ 293*663afb9bSAndroid Build Coastguard Worker struct type *rbh_root; /* root of the tree */ \ 294*663afb9bSAndroid Build Coastguard Worker } 295*663afb9bSAndroid Build Coastguard Worker 296*663afb9bSAndroid Build Coastguard Worker #define RB_INITIALIZER(root) \ 297*663afb9bSAndroid Build Coastguard Worker { NULL } 298*663afb9bSAndroid Build Coastguard Worker 299*663afb9bSAndroid Build Coastguard Worker #define RB_INIT(root) do { \ 300*663afb9bSAndroid Build Coastguard Worker (root)->rbh_root = NULL; \ 301*663afb9bSAndroid Build Coastguard Worker } while (0) 302*663afb9bSAndroid Build Coastguard Worker 303*663afb9bSAndroid Build Coastguard Worker #define RB_BLACK 0 304*663afb9bSAndroid Build Coastguard Worker #define RB_RED 1 305*663afb9bSAndroid Build Coastguard Worker #define RB_ENTRY(type) \ 306*663afb9bSAndroid Build Coastguard Worker struct { \ 307*663afb9bSAndroid Build Coastguard Worker struct type *rbe_left; /* left element */ \ 308*663afb9bSAndroid Build Coastguard Worker struct type *rbe_right; /* right element */ \ 309*663afb9bSAndroid Build Coastguard Worker struct type *rbe_parent; /* parent element */ \ 310*663afb9bSAndroid Build Coastguard Worker int rbe_color; /* node color */ \ 311*663afb9bSAndroid Build Coastguard Worker } 312*663afb9bSAndroid Build Coastguard Worker 313*663afb9bSAndroid Build Coastguard Worker #define RB_LEFT(elm, field) (elm)->field.rbe_left 314*663afb9bSAndroid Build Coastguard Worker #define RB_RIGHT(elm, field) (elm)->field.rbe_right 315*663afb9bSAndroid Build Coastguard Worker #define RB_PARENT(elm, field) (elm)->field.rbe_parent 316*663afb9bSAndroid Build Coastguard Worker #define RB_COLOR(elm, field) (elm)->field.rbe_color 317*663afb9bSAndroid Build Coastguard Worker #define RB_ROOT(head) (head)->rbh_root 318*663afb9bSAndroid Build Coastguard Worker #define RB_EMPTY(head) (RB_ROOT(head) == NULL) 319*663afb9bSAndroid Build Coastguard Worker 320*663afb9bSAndroid Build Coastguard Worker #define RB_SET(elm, parent, field) do { \ 321*663afb9bSAndroid Build Coastguard Worker RB_PARENT(elm, field) = parent; \ 322*663afb9bSAndroid Build Coastguard Worker RB_LEFT(elm, field) = RB_RIGHT(elm, field) = NULL; \ 323*663afb9bSAndroid Build Coastguard Worker RB_COLOR(elm, field) = RB_RED; \ 324*663afb9bSAndroid Build Coastguard Worker } while (0) 325*663afb9bSAndroid Build Coastguard Worker 326*663afb9bSAndroid Build Coastguard Worker #define RB_SET_BLACKRED(black, red, field) do { \ 327*663afb9bSAndroid Build Coastguard Worker RB_COLOR(black, field) = RB_BLACK; \ 328*663afb9bSAndroid Build Coastguard Worker RB_COLOR(red, field) = RB_RED; \ 329*663afb9bSAndroid Build Coastguard Worker } while (0) 330*663afb9bSAndroid Build Coastguard Worker 331*663afb9bSAndroid Build Coastguard Worker #ifndef RB_AUGMENT 332*663afb9bSAndroid Build Coastguard Worker #define RB_AUGMENT(x) 333*663afb9bSAndroid Build Coastguard Worker #endif 334*663afb9bSAndroid Build Coastguard Worker 335*663afb9bSAndroid Build Coastguard Worker #define RB_ROTATE_LEFT(head, elm, tmp, field) do { \ 336*663afb9bSAndroid Build Coastguard Worker (tmp) = RB_RIGHT(elm, field); \ 337*663afb9bSAndroid Build Coastguard Worker if ((RB_RIGHT(elm, field) = RB_LEFT(tmp, field))) { \ 338*663afb9bSAndroid Build Coastguard Worker RB_PARENT(RB_LEFT(tmp, field), field) = (elm); \ 339*663afb9bSAndroid Build Coastguard Worker } \ 340*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(elm); \ 341*663afb9bSAndroid Build Coastguard Worker if ((RB_PARENT(tmp, field) = RB_PARENT(elm, field))) { \ 342*663afb9bSAndroid Build Coastguard Worker if ((elm) == RB_LEFT(RB_PARENT(elm, field), field)) \ 343*663afb9bSAndroid Build Coastguard Worker RB_LEFT(RB_PARENT(elm, field), field) = (tmp); \ 344*663afb9bSAndroid Build Coastguard Worker else \ 345*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(RB_PARENT(elm, field), field) = (tmp); \ 346*663afb9bSAndroid Build Coastguard Worker } else \ 347*663afb9bSAndroid Build Coastguard Worker (head)->rbh_root = (tmp); \ 348*663afb9bSAndroid Build Coastguard Worker RB_LEFT(tmp, field) = (elm); \ 349*663afb9bSAndroid Build Coastguard Worker RB_PARENT(elm, field) = (tmp); \ 350*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(tmp); \ 351*663afb9bSAndroid Build Coastguard Worker if ((RB_PARENT(tmp, field))) \ 352*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(RB_PARENT(tmp, field)); \ 353*663afb9bSAndroid Build Coastguard Worker } while (0) 354*663afb9bSAndroid Build Coastguard Worker 355*663afb9bSAndroid Build Coastguard Worker #define RB_ROTATE_RIGHT(head, elm, tmp, field) do { \ 356*663afb9bSAndroid Build Coastguard Worker (tmp) = RB_LEFT(elm, field); \ 357*663afb9bSAndroid Build Coastguard Worker if ((RB_LEFT(elm, field) = RB_RIGHT(tmp, field))) { \ 358*663afb9bSAndroid Build Coastguard Worker RB_PARENT(RB_RIGHT(tmp, field), field) = (elm); \ 359*663afb9bSAndroid Build Coastguard Worker } \ 360*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(elm); \ 361*663afb9bSAndroid Build Coastguard Worker if ((RB_PARENT(tmp, field) = RB_PARENT(elm, field))) { \ 362*663afb9bSAndroid Build Coastguard Worker if ((elm) == RB_LEFT(RB_PARENT(elm, field), field)) \ 363*663afb9bSAndroid Build Coastguard Worker RB_LEFT(RB_PARENT(elm, field), field) = (tmp); \ 364*663afb9bSAndroid Build Coastguard Worker else \ 365*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(RB_PARENT(elm, field), field) = (tmp); \ 366*663afb9bSAndroid Build Coastguard Worker } else \ 367*663afb9bSAndroid Build Coastguard Worker (head)->rbh_root = (tmp); \ 368*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(tmp, field) = (elm); \ 369*663afb9bSAndroid Build Coastguard Worker RB_PARENT(elm, field) = (tmp); \ 370*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(tmp); \ 371*663afb9bSAndroid Build Coastguard Worker if ((RB_PARENT(tmp, field))) \ 372*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(RB_PARENT(tmp, field)); \ 373*663afb9bSAndroid Build Coastguard Worker } while (0) 374*663afb9bSAndroid Build Coastguard Worker 375*663afb9bSAndroid Build Coastguard Worker /* Generates prototypes and inline functions */ 376*663afb9bSAndroid Build Coastguard Worker #define RB_PROTOTYPE(name, type, field, cmp) \ 377*663afb9bSAndroid Build Coastguard Worker void name##_RB_INSERT_COLOR(struct name *, struct type *); \ 378*663afb9bSAndroid Build Coastguard Worker void name##_RB_REMOVE_COLOR(struct name *, struct type *, struct type *);\ 379*663afb9bSAndroid Build Coastguard Worker struct type *name##_RB_REMOVE(struct name *, struct type *); \ 380*663afb9bSAndroid Build Coastguard Worker struct type *name##_RB_INSERT(struct name *, struct type *); \ 381*663afb9bSAndroid Build Coastguard Worker struct type *name##_RB_FIND(struct name *, struct type *); \ 382*663afb9bSAndroid Build Coastguard Worker struct type *name##_RB_NEXT(struct type *); \ 383*663afb9bSAndroid Build Coastguard Worker struct type *name##_RB_MINMAX(struct name *, int); \ 384*663afb9bSAndroid Build Coastguard Worker \ 385*663afb9bSAndroid Build Coastguard Worker 386*663afb9bSAndroid Build Coastguard Worker /* Main rb operation. 387*663afb9bSAndroid Build Coastguard Worker * Moves node close to the key of elm to top 388*663afb9bSAndroid Build Coastguard Worker */ 389*663afb9bSAndroid Build Coastguard Worker #define RB_GENERATE(name, type, field, cmp) \ 390*663afb9bSAndroid Build Coastguard Worker void \ 391*663afb9bSAndroid Build Coastguard Worker name##_RB_INSERT_COLOR(struct name *head, struct type *elm) \ 392*663afb9bSAndroid Build Coastguard Worker { \ 393*663afb9bSAndroid Build Coastguard Worker struct type *parent, *gparent, *tmp; \ 394*663afb9bSAndroid Build Coastguard Worker while ((parent = RB_PARENT(elm, field)) && \ 395*663afb9bSAndroid Build Coastguard Worker RB_COLOR(parent, field) == RB_RED) { \ 396*663afb9bSAndroid Build Coastguard Worker gparent = RB_PARENT(parent, field); \ 397*663afb9bSAndroid Build Coastguard Worker if (parent == RB_LEFT(gparent, field)) { \ 398*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(gparent, field); \ 399*663afb9bSAndroid Build Coastguard Worker if (tmp && RB_COLOR(tmp, field) == RB_RED) { \ 400*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_BLACK; \ 401*663afb9bSAndroid Build Coastguard Worker RB_SET_BLACKRED(parent, gparent, field);\ 402*663afb9bSAndroid Build Coastguard Worker elm = gparent; \ 403*663afb9bSAndroid Build Coastguard Worker continue; \ 404*663afb9bSAndroid Build Coastguard Worker } \ 405*663afb9bSAndroid Build Coastguard Worker if (RB_RIGHT(parent, field) == elm) { \ 406*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_LEFT(head, parent, tmp, field);\ 407*663afb9bSAndroid Build Coastguard Worker tmp = parent; \ 408*663afb9bSAndroid Build Coastguard Worker parent = elm; \ 409*663afb9bSAndroid Build Coastguard Worker elm = tmp; \ 410*663afb9bSAndroid Build Coastguard Worker } \ 411*663afb9bSAndroid Build Coastguard Worker RB_SET_BLACKRED(parent, gparent, field); \ 412*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_RIGHT(head, gparent, tmp, field); \ 413*663afb9bSAndroid Build Coastguard Worker } else { \ 414*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(gparent, field); \ 415*663afb9bSAndroid Build Coastguard Worker if (tmp && RB_COLOR(tmp, field) == RB_RED) { \ 416*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_BLACK; \ 417*663afb9bSAndroid Build Coastguard Worker RB_SET_BLACKRED(parent, gparent, field);\ 418*663afb9bSAndroid Build Coastguard Worker elm = gparent; \ 419*663afb9bSAndroid Build Coastguard Worker continue; \ 420*663afb9bSAndroid Build Coastguard Worker } \ 421*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(parent, field) == elm) { \ 422*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_RIGHT(head, parent, tmp, field);\ 423*663afb9bSAndroid Build Coastguard Worker tmp = parent; \ 424*663afb9bSAndroid Build Coastguard Worker parent = elm; \ 425*663afb9bSAndroid Build Coastguard Worker elm = tmp; \ 426*663afb9bSAndroid Build Coastguard Worker } \ 427*663afb9bSAndroid Build Coastguard Worker RB_SET_BLACKRED(parent, gparent, field); \ 428*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_LEFT(head, gparent, tmp, field); \ 429*663afb9bSAndroid Build Coastguard Worker } \ 430*663afb9bSAndroid Build Coastguard Worker } \ 431*663afb9bSAndroid Build Coastguard Worker RB_COLOR(head->rbh_root, field) = RB_BLACK; \ 432*663afb9bSAndroid Build Coastguard Worker } \ 433*663afb9bSAndroid Build Coastguard Worker \ 434*663afb9bSAndroid Build Coastguard Worker void \ 435*663afb9bSAndroid Build Coastguard Worker name##_RB_REMOVE_COLOR(struct name *head, struct type *parent, struct type *elm) \ 436*663afb9bSAndroid Build Coastguard Worker { \ 437*663afb9bSAndroid Build Coastguard Worker struct type *tmp; \ 438*663afb9bSAndroid Build Coastguard Worker while ((elm == NULL || RB_COLOR(elm, field) == RB_BLACK) && \ 439*663afb9bSAndroid Build Coastguard Worker elm != RB_ROOT(head)) { \ 440*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(parent, field) == elm) { \ 441*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(parent, field); \ 442*663afb9bSAndroid Build Coastguard Worker if (RB_COLOR(tmp, field) == RB_RED) { \ 443*663afb9bSAndroid Build Coastguard Worker RB_SET_BLACKRED(tmp, parent, field); \ 444*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_LEFT(head, parent, tmp, field);\ 445*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(parent, field); \ 446*663afb9bSAndroid Build Coastguard Worker } \ 447*663afb9bSAndroid Build Coastguard Worker if ((RB_LEFT(tmp, field) == NULL || \ 448*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_LEFT(tmp, field), field) == RB_BLACK) &&\ 449*663afb9bSAndroid Build Coastguard Worker (RB_RIGHT(tmp, field) == NULL || \ 450*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_RIGHT(tmp, field), field) == RB_BLACK)) {\ 451*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_RED; \ 452*663afb9bSAndroid Build Coastguard Worker elm = parent; \ 453*663afb9bSAndroid Build Coastguard Worker parent = RB_PARENT(elm, field); \ 454*663afb9bSAndroid Build Coastguard Worker } else { \ 455*663afb9bSAndroid Build Coastguard Worker if (RB_RIGHT(tmp, field) == NULL || \ 456*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_RIGHT(tmp, field), field) == RB_BLACK) {\ 457*663afb9bSAndroid Build Coastguard Worker struct type *oleft; \ 458*663afb9bSAndroid Build Coastguard Worker if ((oleft = RB_LEFT(tmp, field)))\ 459*663afb9bSAndroid Build Coastguard Worker RB_COLOR(oleft, field) = RB_BLACK;\ 460*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_RED; \ 461*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_RIGHT(head, tmp, oleft, field);\ 462*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(parent, field); \ 463*663afb9bSAndroid Build Coastguard Worker } \ 464*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_COLOR(parent, field);\ 465*663afb9bSAndroid Build Coastguard Worker RB_COLOR(parent, field) = RB_BLACK; \ 466*663afb9bSAndroid Build Coastguard Worker if (RB_RIGHT(tmp, field)) \ 467*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_RIGHT(tmp, field), field) = RB_BLACK;\ 468*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_LEFT(head, parent, tmp, field);\ 469*663afb9bSAndroid Build Coastguard Worker elm = RB_ROOT(head); \ 470*663afb9bSAndroid Build Coastguard Worker break; \ 471*663afb9bSAndroid Build Coastguard Worker } \ 472*663afb9bSAndroid Build Coastguard Worker } else { \ 473*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(parent, field); \ 474*663afb9bSAndroid Build Coastguard Worker if (RB_COLOR(tmp, field) == RB_RED) { \ 475*663afb9bSAndroid Build Coastguard Worker RB_SET_BLACKRED(tmp, parent, field); \ 476*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_RIGHT(head, parent, tmp, field);\ 477*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(parent, field); \ 478*663afb9bSAndroid Build Coastguard Worker } \ 479*663afb9bSAndroid Build Coastguard Worker if ((RB_LEFT(tmp, field) == NULL || \ 480*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_LEFT(tmp, field), field) == RB_BLACK) &&\ 481*663afb9bSAndroid Build Coastguard Worker (RB_RIGHT(tmp, field) == NULL || \ 482*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_RIGHT(tmp, field), field) == RB_BLACK)) {\ 483*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_RED; \ 484*663afb9bSAndroid Build Coastguard Worker elm = parent; \ 485*663afb9bSAndroid Build Coastguard Worker parent = RB_PARENT(elm, field); \ 486*663afb9bSAndroid Build Coastguard Worker } else { \ 487*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(tmp, field) == NULL || \ 488*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_LEFT(tmp, field), field) == RB_BLACK) {\ 489*663afb9bSAndroid Build Coastguard Worker struct type *oright; \ 490*663afb9bSAndroid Build Coastguard Worker if ((oright = RB_RIGHT(tmp, field)))\ 491*663afb9bSAndroid Build Coastguard Worker RB_COLOR(oright, field) = RB_BLACK;\ 492*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_RED; \ 493*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_LEFT(head, tmp, oright, field);\ 494*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(parent, field); \ 495*663afb9bSAndroid Build Coastguard Worker } \ 496*663afb9bSAndroid Build Coastguard Worker RB_COLOR(tmp, field) = RB_COLOR(parent, field);\ 497*663afb9bSAndroid Build Coastguard Worker RB_COLOR(parent, field) = RB_BLACK; \ 498*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(tmp, field)) \ 499*663afb9bSAndroid Build Coastguard Worker RB_COLOR(RB_LEFT(tmp, field), field) = RB_BLACK;\ 500*663afb9bSAndroid Build Coastguard Worker RB_ROTATE_RIGHT(head, parent, tmp, field);\ 501*663afb9bSAndroid Build Coastguard Worker elm = RB_ROOT(head); \ 502*663afb9bSAndroid Build Coastguard Worker break; \ 503*663afb9bSAndroid Build Coastguard Worker } \ 504*663afb9bSAndroid Build Coastguard Worker } \ 505*663afb9bSAndroid Build Coastguard Worker } \ 506*663afb9bSAndroid Build Coastguard Worker if (elm) \ 507*663afb9bSAndroid Build Coastguard Worker RB_COLOR(elm, field) = RB_BLACK; \ 508*663afb9bSAndroid Build Coastguard Worker } \ 509*663afb9bSAndroid Build Coastguard Worker \ 510*663afb9bSAndroid Build Coastguard Worker struct type * \ 511*663afb9bSAndroid Build Coastguard Worker name##_RB_REMOVE(struct name *head, struct type *elm) \ 512*663afb9bSAndroid Build Coastguard Worker { \ 513*663afb9bSAndroid Build Coastguard Worker struct type *child, *parent, *old = elm; \ 514*663afb9bSAndroid Build Coastguard Worker int color; \ 515*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(elm, field) == NULL) \ 516*663afb9bSAndroid Build Coastguard Worker child = RB_RIGHT(elm, field); \ 517*663afb9bSAndroid Build Coastguard Worker else if (RB_RIGHT(elm, field) == NULL) \ 518*663afb9bSAndroid Build Coastguard Worker child = RB_LEFT(elm, field); \ 519*663afb9bSAndroid Build Coastguard Worker else { \ 520*663afb9bSAndroid Build Coastguard Worker struct type *left; \ 521*663afb9bSAndroid Build Coastguard Worker elm = RB_RIGHT(elm, field); \ 522*663afb9bSAndroid Build Coastguard Worker while ((left = RB_LEFT(elm, field))) \ 523*663afb9bSAndroid Build Coastguard Worker elm = left; \ 524*663afb9bSAndroid Build Coastguard Worker child = RB_RIGHT(elm, field); \ 525*663afb9bSAndroid Build Coastguard Worker parent = RB_PARENT(elm, field); \ 526*663afb9bSAndroid Build Coastguard Worker color = RB_COLOR(elm, field); \ 527*663afb9bSAndroid Build Coastguard Worker if (child) \ 528*663afb9bSAndroid Build Coastguard Worker RB_PARENT(child, field) = parent; \ 529*663afb9bSAndroid Build Coastguard Worker if (parent) { \ 530*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(parent, field) == elm) \ 531*663afb9bSAndroid Build Coastguard Worker RB_LEFT(parent, field) = child; \ 532*663afb9bSAndroid Build Coastguard Worker else \ 533*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(parent, field) = child; \ 534*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(parent); \ 535*663afb9bSAndroid Build Coastguard Worker } else \ 536*663afb9bSAndroid Build Coastguard Worker RB_ROOT(head) = child; \ 537*663afb9bSAndroid Build Coastguard Worker if (RB_PARENT(elm, field) == old) \ 538*663afb9bSAndroid Build Coastguard Worker parent = elm; \ 539*663afb9bSAndroid Build Coastguard Worker (elm)->field = (old)->field; \ 540*663afb9bSAndroid Build Coastguard Worker if (RB_PARENT(old, field)) { \ 541*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(RB_PARENT(old, field), field) == old)\ 542*663afb9bSAndroid Build Coastguard Worker RB_LEFT(RB_PARENT(old, field), field) = elm;\ 543*663afb9bSAndroid Build Coastguard Worker else \ 544*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(RB_PARENT(old, field), field) = elm;\ 545*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(RB_PARENT(old, field)); \ 546*663afb9bSAndroid Build Coastguard Worker } else \ 547*663afb9bSAndroid Build Coastguard Worker RB_ROOT(head) = elm; \ 548*663afb9bSAndroid Build Coastguard Worker RB_PARENT(RB_LEFT(old, field), field) = elm; \ 549*663afb9bSAndroid Build Coastguard Worker if (RB_RIGHT(old, field)) \ 550*663afb9bSAndroid Build Coastguard Worker RB_PARENT(RB_RIGHT(old, field), field) = elm; \ 551*663afb9bSAndroid Build Coastguard Worker if (parent) { \ 552*663afb9bSAndroid Build Coastguard Worker left = parent; \ 553*663afb9bSAndroid Build Coastguard Worker do { \ 554*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(left); \ 555*663afb9bSAndroid Build Coastguard Worker } while ((left = RB_PARENT(left, field))); \ 556*663afb9bSAndroid Build Coastguard Worker } \ 557*663afb9bSAndroid Build Coastguard Worker goto color; \ 558*663afb9bSAndroid Build Coastguard Worker } \ 559*663afb9bSAndroid Build Coastguard Worker parent = RB_PARENT(elm, field); \ 560*663afb9bSAndroid Build Coastguard Worker color = RB_COLOR(elm, field); \ 561*663afb9bSAndroid Build Coastguard Worker if (child) \ 562*663afb9bSAndroid Build Coastguard Worker RB_PARENT(child, field) = parent; \ 563*663afb9bSAndroid Build Coastguard Worker if (parent) { \ 564*663afb9bSAndroid Build Coastguard Worker if (RB_LEFT(parent, field) == elm) \ 565*663afb9bSAndroid Build Coastguard Worker RB_LEFT(parent, field) = child; \ 566*663afb9bSAndroid Build Coastguard Worker else \ 567*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(parent, field) = child; \ 568*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(parent); \ 569*663afb9bSAndroid Build Coastguard Worker } else \ 570*663afb9bSAndroid Build Coastguard Worker RB_ROOT(head) = child; \ 571*663afb9bSAndroid Build Coastguard Worker color: \ 572*663afb9bSAndroid Build Coastguard Worker if (color == RB_BLACK) \ 573*663afb9bSAndroid Build Coastguard Worker name##_RB_REMOVE_COLOR(head, parent, child); \ 574*663afb9bSAndroid Build Coastguard Worker return (old); \ 575*663afb9bSAndroid Build Coastguard Worker } \ 576*663afb9bSAndroid Build Coastguard Worker \ 577*663afb9bSAndroid Build Coastguard Worker /* Inserts a node into the RB tree */ \ 578*663afb9bSAndroid Build Coastguard Worker struct type * \ 579*663afb9bSAndroid Build Coastguard Worker name##_RB_INSERT(struct name *head, struct type *elm) \ 580*663afb9bSAndroid Build Coastguard Worker { \ 581*663afb9bSAndroid Build Coastguard Worker struct type *tmp; \ 582*663afb9bSAndroid Build Coastguard Worker struct type *parent = NULL; \ 583*663afb9bSAndroid Build Coastguard Worker int comp = 0; \ 584*663afb9bSAndroid Build Coastguard Worker tmp = RB_ROOT(head); \ 585*663afb9bSAndroid Build Coastguard Worker while (tmp) { \ 586*663afb9bSAndroid Build Coastguard Worker parent = tmp; \ 587*663afb9bSAndroid Build Coastguard Worker comp = (cmp)(elm, parent); \ 588*663afb9bSAndroid Build Coastguard Worker if (comp < 0) \ 589*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(tmp, field); \ 590*663afb9bSAndroid Build Coastguard Worker else if (comp > 0) \ 591*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(tmp, field); \ 592*663afb9bSAndroid Build Coastguard Worker else \ 593*663afb9bSAndroid Build Coastguard Worker return (tmp); \ 594*663afb9bSAndroid Build Coastguard Worker } \ 595*663afb9bSAndroid Build Coastguard Worker RB_SET(elm, parent, field); \ 596*663afb9bSAndroid Build Coastguard Worker if (parent != NULL) { \ 597*663afb9bSAndroid Build Coastguard Worker if (comp < 0) \ 598*663afb9bSAndroid Build Coastguard Worker RB_LEFT(parent, field) = elm; \ 599*663afb9bSAndroid Build Coastguard Worker else \ 600*663afb9bSAndroid Build Coastguard Worker RB_RIGHT(parent, field) = elm; \ 601*663afb9bSAndroid Build Coastguard Worker RB_AUGMENT(parent); \ 602*663afb9bSAndroid Build Coastguard Worker } else \ 603*663afb9bSAndroid Build Coastguard Worker RB_ROOT(head) = elm; \ 604*663afb9bSAndroid Build Coastguard Worker name##_RB_INSERT_COLOR(head, elm); \ 605*663afb9bSAndroid Build Coastguard Worker return (NULL); \ 606*663afb9bSAndroid Build Coastguard Worker } \ 607*663afb9bSAndroid Build Coastguard Worker \ 608*663afb9bSAndroid Build Coastguard Worker /* Finds the node with the same key as elm */ \ 609*663afb9bSAndroid Build Coastguard Worker struct type * \ 610*663afb9bSAndroid Build Coastguard Worker name##_RB_FIND(struct name *head, struct type *elm) \ 611*663afb9bSAndroid Build Coastguard Worker { \ 612*663afb9bSAndroid Build Coastguard Worker struct type *tmp = RB_ROOT(head); \ 613*663afb9bSAndroid Build Coastguard Worker int comp; \ 614*663afb9bSAndroid Build Coastguard Worker while (tmp) { \ 615*663afb9bSAndroid Build Coastguard Worker comp = cmp(elm, tmp); \ 616*663afb9bSAndroid Build Coastguard Worker if (comp < 0) \ 617*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(tmp, field); \ 618*663afb9bSAndroid Build Coastguard Worker else if (comp > 0) \ 619*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(tmp, field); \ 620*663afb9bSAndroid Build Coastguard Worker else \ 621*663afb9bSAndroid Build Coastguard Worker return (tmp); \ 622*663afb9bSAndroid Build Coastguard Worker } \ 623*663afb9bSAndroid Build Coastguard Worker return (NULL); \ 624*663afb9bSAndroid Build Coastguard Worker } \ 625*663afb9bSAndroid Build Coastguard Worker \ 626*663afb9bSAndroid Build Coastguard Worker struct type * \ 627*663afb9bSAndroid Build Coastguard Worker name##_RB_NEXT(struct type *elm) \ 628*663afb9bSAndroid Build Coastguard Worker { \ 629*663afb9bSAndroid Build Coastguard Worker if (RB_RIGHT(elm, field)) { \ 630*663afb9bSAndroid Build Coastguard Worker elm = RB_RIGHT(elm, field); \ 631*663afb9bSAndroid Build Coastguard Worker while (RB_LEFT(elm, field)) \ 632*663afb9bSAndroid Build Coastguard Worker elm = RB_LEFT(elm, field); \ 633*663afb9bSAndroid Build Coastguard Worker } else { \ 634*663afb9bSAndroid Build Coastguard Worker if (RB_PARENT(elm, field) && \ 635*663afb9bSAndroid Build Coastguard Worker (elm == RB_LEFT(RB_PARENT(elm, field), field))) \ 636*663afb9bSAndroid Build Coastguard Worker elm = RB_PARENT(elm, field); \ 637*663afb9bSAndroid Build Coastguard Worker else { \ 638*663afb9bSAndroid Build Coastguard Worker while (RB_PARENT(elm, field) && \ 639*663afb9bSAndroid Build Coastguard Worker (elm == RB_RIGHT(RB_PARENT(elm, field), field)))\ 640*663afb9bSAndroid Build Coastguard Worker elm = RB_PARENT(elm, field); \ 641*663afb9bSAndroid Build Coastguard Worker elm = RB_PARENT(elm, field); \ 642*663afb9bSAndroid Build Coastguard Worker } \ 643*663afb9bSAndroid Build Coastguard Worker } \ 644*663afb9bSAndroid Build Coastguard Worker return (elm); \ 645*663afb9bSAndroid Build Coastguard Worker } \ 646*663afb9bSAndroid Build Coastguard Worker \ 647*663afb9bSAndroid Build Coastguard Worker struct type * \ 648*663afb9bSAndroid Build Coastguard Worker name##_RB_MINMAX(struct name *head, int val) \ 649*663afb9bSAndroid Build Coastguard Worker { \ 650*663afb9bSAndroid Build Coastguard Worker struct type *tmp = RB_ROOT(head); \ 651*663afb9bSAndroid Build Coastguard Worker struct type *parent = NULL; \ 652*663afb9bSAndroid Build Coastguard Worker while (tmp) { \ 653*663afb9bSAndroid Build Coastguard Worker parent = tmp; \ 654*663afb9bSAndroid Build Coastguard Worker if (val < 0) \ 655*663afb9bSAndroid Build Coastguard Worker tmp = RB_LEFT(tmp, field); \ 656*663afb9bSAndroid Build Coastguard Worker else \ 657*663afb9bSAndroid Build Coastguard Worker tmp = RB_RIGHT(tmp, field); \ 658*663afb9bSAndroid Build Coastguard Worker } \ 659*663afb9bSAndroid Build Coastguard Worker return (parent); \ 660*663afb9bSAndroid Build Coastguard Worker } 661*663afb9bSAndroid Build Coastguard Worker 662*663afb9bSAndroid Build Coastguard Worker #define RB_NEGINF -1 663*663afb9bSAndroid Build Coastguard Worker #define RB_INF 1 664*663afb9bSAndroid Build Coastguard Worker 665*663afb9bSAndroid Build Coastguard Worker #define RB_INSERT(name, x, y) name##_RB_INSERT(x, y) 666*663afb9bSAndroid Build Coastguard Worker #define RB_REMOVE(name, x, y) name##_RB_REMOVE(x, y) 667*663afb9bSAndroid Build Coastguard Worker #define RB_FIND(name, x, y) name##_RB_FIND(x, y) 668*663afb9bSAndroid Build Coastguard Worker #define RB_NEXT(name, x, y) name##_RB_NEXT(y) 669*663afb9bSAndroid Build Coastguard Worker #define RB_MIN(name, x) name##_RB_MINMAX(x, RB_NEGINF) 670*663afb9bSAndroid Build Coastguard Worker #define RB_MAX(name, x) name##_RB_MINMAX(x, RB_INF) 671*663afb9bSAndroid Build Coastguard Worker 672*663afb9bSAndroid Build Coastguard Worker #define RB_FOREACH(x, name, head) \ 673*663afb9bSAndroid Build Coastguard Worker for ((x) = RB_MIN(name, head); \ 674*663afb9bSAndroid Build Coastguard Worker (x) != NULL; \ 675*663afb9bSAndroid Build Coastguard Worker (x) = name##_RB_NEXT(x)) 676*663afb9bSAndroid Build Coastguard Worker 677*663afb9bSAndroid Build Coastguard Worker #endif /* _SYS_TREE_H_ */ 678