1*7a338472SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only 2783e9e51SPaolo Bonzini /* 3783e9e51SPaolo Bonzini * Sparse bit array 4783e9e51SPaolo Bonzini * 5783e9e51SPaolo Bonzini * Copyright (C) 2018, Google LLC. 6783e9e51SPaolo Bonzini * Copyright (C) 2018, Red Hat, Inc. (code style cleanup and fuzzing driver) 7783e9e51SPaolo Bonzini * 8783e9e51SPaolo Bonzini * This library provides functions to support a memory efficient bit array, 9783e9e51SPaolo Bonzini * with an index size of 2^64. A sparsebit array is allocated through 10783e9e51SPaolo Bonzini * the use sparsebit_alloc() and free'd via sparsebit_free(), 11783e9e51SPaolo Bonzini * such as in the following: 12783e9e51SPaolo Bonzini * 13783e9e51SPaolo Bonzini * struct sparsebit *s; 14783e9e51SPaolo Bonzini * s = sparsebit_alloc(); 15783e9e51SPaolo Bonzini * sparsebit_free(&s); 16783e9e51SPaolo Bonzini * 17783e9e51SPaolo Bonzini * The struct sparsebit type resolves down to a struct sparsebit. 18783e9e51SPaolo Bonzini * Note that, sparsebit_free() takes a pointer to the sparsebit 19783e9e51SPaolo Bonzini * structure. This is so that sparsebit_free() is able to poison 20783e9e51SPaolo Bonzini * the pointer (e.g. set it to NULL) to the struct sparsebit before 21783e9e51SPaolo Bonzini * returning to the caller. 22783e9e51SPaolo Bonzini * 23783e9e51SPaolo Bonzini * Between the return of sparsebit_alloc() and the call of 24783e9e51SPaolo Bonzini * sparsebit_free(), there are multiple query and modifying operations 25783e9e51SPaolo Bonzini * that can be performed on the allocated sparsebit array. All of 26783e9e51SPaolo Bonzini * these operations take as a parameter the value returned from 27783e9e51SPaolo Bonzini * sparsebit_alloc() and most also take a bit index. Frequently 28783e9e51SPaolo Bonzini * used routines include: 29783e9e51SPaolo Bonzini * 30783e9e51SPaolo Bonzini * ---- Query Operations 31783e9e51SPaolo Bonzini * sparsebit_is_set(s, idx) 32783e9e51SPaolo Bonzini * sparsebit_is_clear(s, idx) 33783e9e51SPaolo Bonzini * sparsebit_any_set(s) 34783e9e51SPaolo Bonzini * sparsebit_first_set(s) 35783e9e51SPaolo Bonzini * sparsebit_next_set(s, prev_idx) 36783e9e51SPaolo Bonzini * 37783e9e51SPaolo Bonzini * ---- Modifying Operations 38783e9e51SPaolo Bonzini * sparsebit_set(s, idx) 39783e9e51SPaolo Bonzini * sparsebit_clear(s, idx) 40783e9e51SPaolo Bonzini * sparsebit_set_num(s, idx, num); 41783e9e51SPaolo Bonzini * sparsebit_clear_num(s, idx, num); 42783e9e51SPaolo Bonzini * 43783e9e51SPaolo Bonzini * A common operation, is to itterate over all the bits set in a test 44783e9e51SPaolo Bonzini * sparsebit array. This can be done via code with the following structure: 45783e9e51SPaolo Bonzini * 46783e9e51SPaolo Bonzini * sparsebit_idx_t idx; 47783e9e51SPaolo Bonzini * if (sparsebit_any_set(s)) { 48783e9e51SPaolo Bonzini * idx = sparsebit_first_set(s); 49783e9e51SPaolo Bonzini * do { 50783e9e51SPaolo Bonzini * ... 51783e9e51SPaolo Bonzini * idx = sparsebit_next_set(s, idx); 52783e9e51SPaolo Bonzini * } while (idx != 0); 53783e9e51SPaolo Bonzini * } 54783e9e51SPaolo Bonzini * 55783e9e51SPaolo Bonzini * The index of the first bit set needs to be obtained via 56783e9e51SPaolo Bonzini * sparsebit_first_set(), because sparsebit_next_set(), needs 57783e9e51SPaolo Bonzini * the index of the previously set. The sparsebit_idx_t type is 58783e9e51SPaolo Bonzini * unsigned, so there is no previous index before 0 that is available. 59783e9e51SPaolo Bonzini * Also, the call to sparsebit_first_set() is not made unless there 60783e9e51SPaolo Bonzini * is at least 1 bit in the array set. This is because sparsebit_first_set() 61783e9e51SPaolo Bonzini * aborts if sparsebit_first_set() is called with no bits set. 62783e9e51SPaolo Bonzini * It is the callers responsibility to assure that the 63783e9e51SPaolo Bonzini * sparsebit array has at least a single bit set before calling 64783e9e51SPaolo Bonzini * sparsebit_first_set(). 65783e9e51SPaolo Bonzini * 66783e9e51SPaolo Bonzini * ==== Implementation Overview ==== 67783e9e51SPaolo Bonzini * For the most part the internal implementation of sparsebit is 68783e9e51SPaolo Bonzini * opaque to the caller. One important implementation detail that the 69783e9e51SPaolo Bonzini * caller may need to be aware of is the spatial complexity of the 70783e9e51SPaolo Bonzini * implementation. This implementation of a sparsebit array is not 71783e9e51SPaolo Bonzini * only sparse, in that it uses memory proportional to the number of bits 72783e9e51SPaolo Bonzini * set. It is also efficient in memory usage when most of the bits are 73783e9e51SPaolo Bonzini * set. 74783e9e51SPaolo Bonzini * 75783e9e51SPaolo Bonzini * At a high-level the state of the bit settings are maintained through 76783e9e51SPaolo Bonzini * the use of a binary-search tree, where each node contains at least 77783e9e51SPaolo Bonzini * the following members: 78783e9e51SPaolo Bonzini * 79783e9e51SPaolo Bonzini * typedef uint64_t sparsebit_idx_t; 80783e9e51SPaolo Bonzini * typedef uint64_t sparsebit_num_t; 81783e9e51SPaolo Bonzini * 82783e9e51SPaolo Bonzini * sparsebit_idx_t idx; 83783e9e51SPaolo Bonzini * uint32_t mask; 84783e9e51SPaolo Bonzini * sparsebit_num_t num_after; 85783e9e51SPaolo Bonzini * 86783e9e51SPaolo Bonzini * The idx member contains the bit index of the first bit described by this 87783e9e51SPaolo Bonzini * node, while the mask member stores the setting of the first 32-bits. 88783e9e51SPaolo Bonzini * The setting of the bit at idx + n, where 0 <= n < 32, is located in the 89783e9e51SPaolo Bonzini * mask member at 1 << n. 90783e9e51SPaolo Bonzini * 91783e9e51SPaolo Bonzini * Nodes are sorted by idx and the bits described by two nodes will never 92783e9e51SPaolo Bonzini * overlap. The idx member is always aligned to the mask size, i.e. a 93783e9e51SPaolo Bonzini * multiple of 32. 94783e9e51SPaolo Bonzini * 95783e9e51SPaolo Bonzini * Beyond a typical implementation, the nodes in this implementation also 96783e9e51SPaolo Bonzini * contains a member named num_after. The num_after member holds the 97783e9e51SPaolo Bonzini * number of bits immediately after the mask bits that are contiguously set. 98783e9e51SPaolo Bonzini * The use of the num_after member allows this implementation to efficiently 99783e9e51SPaolo Bonzini * represent cases where most bits are set. For example, the case of all 100783e9e51SPaolo Bonzini * but the last two bits set, is represented by the following two nodes: 101783e9e51SPaolo Bonzini * 102783e9e51SPaolo Bonzini * node 0 - idx: 0x0 mask: 0xffffffff num_after: 0xffffffffffffffc0 103783e9e51SPaolo Bonzini * node 1 - idx: 0xffffffffffffffe0 mask: 0x3fffffff num_after: 0 104783e9e51SPaolo Bonzini * 105783e9e51SPaolo Bonzini * ==== Invariants ==== 106783e9e51SPaolo Bonzini * This implementation usses the following invariants: 107783e9e51SPaolo Bonzini * 108783e9e51SPaolo Bonzini * + Node are only used to represent bits that are set. 109783e9e51SPaolo Bonzini * Nodes with a mask of 0 and num_after of 0 are not allowed. 110783e9e51SPaolo Bonzini * 111783e9e51SPaolo Bonzini * + Sum of bits set in all the nodes is equal to the value of 112783e9e51SPaolo Bonzini * the struct sparsebit_pvt num_set member. 113783e9e51SPaolo Bonzini * 114783e9e51SPaolo Bonzini * + The setting of at least one bit is always described in a nodes 115783e9e51SPaolo Bonzini * mask (mask >= 1). 116783e9e51SPaolo Bonzini * 117783e9e51SPaolo Bonzini * + A node with all mask bits set only occurs when the last bit 118783e9e51SPaolo Bonzini * described by the previous node is not equal to this nodes 119783e9e51SPaolo Bonzini * starting index - 1. All such occurences of this condition are 120783e9e51SPaolo Bonzini * avoided by moving the setting of the nodes mask bits into 121783e9e51SPaolo Bonzini * the previous nodes num_after setting. 122783e9e51SPaolo Bonzini * 1234d5f26eeSColin Ian King * + Node starting index is evenly divisible by the number of bits 124783e9e51SPaolo Bonzini * within a nodes mask member. 125783e9e51SPaolo Bonzini * 126783e9e51SPaolo Bonzini * + Nodes never represent a range of bits that wrap around the 127783e9e51SPaolo Bonzini * highest supported index. 128783e9e51SPaolo Bonzini * 129783e9e51SPaolo Bonzini * (idx + MASK_BITS + num_after - 1) <= ((sparsebit_idx_t) 0) - 1) 130783e9e51SPaolo Bonzini * 131783e9e51SPaolo Bonzini * As a consequence of the above, the num_after member of a node 132783e9e51SPaolo Bonzini * will always be <=: 133783e9e51SPaolo Bonzini * 134783e9e51SPaolo Bonzini * maximum_index - nodes_starting_index - number_of_mask_bits 135783e9e51SPaolo Bonzini * 136783e9e51SPaolo Bonzini * + Nodes within the binary search tree are sorted based on each 137783e9e51SPaolo Bonzini * nodes starting index. 138783e9e51SPaolo Bonzini * 139783e9e51SPaolo Bonzini * + The range of bits described by any two nodes do not overlap. The 140783e9e51SPaolo Bonzini * range of bits described by a single node is: 141783e9e51SPaolo Bonzini * 142783e9e51SPaolo Bonzini * start: node->idx 143783e9e51SPaolo Bonzini * end (inclusive): node->idx + MASK_BITS + node->num_after - 1; 144783e9e51SPaolo Bonzini * 145783e9e51SPaolo Bonzini * Note, at times these invariants are temporarily violated for a 146783e9e51SPaolo Bonzini * specific portion of the code. For example, when setting a mask 147783e9e51SPaolo Bonzini * bit, there is a small delay between when the mask bit is set and the 148783e9e51SPaolo Bonzini * value in the struct sparsebit_pvt num_set member is updated. Other 149783e9e51SPaolo Bonzini * temporary violations occur when node_split() is called with a specified 150783e9e51SPaolo Bonzini * index and assures that a node where its mask represents the bit 151783e9e51SPaolo Bonzini * at the specified index exists. At times to do this node_split() 152783e9e51SPaolo Bonzini * must split an existing node into two nodes or create a node that 153783e9e51SPaolo Bonzini * has no bits set. Such temporary violations must be corrected before 154783e9e51SPaolo Bonzini * returning to the caller. These corrections are typically performed 155783e9e51SPaolo Bonzini * by the local function node_reduce(). 156783e9e51SPaolo Bonzini */ 157783e9e51SPaolo Bonzini 158783e9e51SPaolo Bonzini #include "test_util.h" 159783e9e51SPaolo Bonzini #include "sparsebit.h" 160783e9e51SPaolo Bonzini #include <limits.h> 161783e9e51SPaolo Bonzini #include <assert.h> 162783e9e51SPaolo Bonzini 163783e9e51SPaolo Bonzini #define DUMP_LINE_MAX 100 /* Does not include indent amount */ 164783e9e51SPaolo Bonzini 165783e9e51SPaolo Bonzini typedef uint32_t mask_t; 166783e9e51SPaolo Bonzini #define MASK_BITS (sizeof(mask_t) * CHAR_BIT) 167783e9e51SPaolo Bonzini 168783e9e51SPaolo Bonzini struct node { 169783e9e51SPaolo Bonzini struct node *parent; 170783e9e51SPaolo Bonzini struct node *left; 171783e9e51SPaolo Bonzini struct node *right; 172783e9e51SPaolo Bonzini sparsebit_idx_t idx; /* index of least-significant bit in mask */ 173783e9e51SPaolo Bonzini sparsebit_num_t num_after; /* num contiguously set after mask */ 174783e9e51SPaolo Bonzini mask_t mask; 175783e9e51SPaolo Bonzini }; 176783e9e51SPaolo Bonzini 177783e9e51SPaolo Bonzini struct sparsebit { 178783e9e51SPaolo Bonzini /* 179783e9e51SPaolo Bonzini * Points to root node of the binary search 180783e9e51SPaolo Bonzini * tree. Equal to NULL when no bits are set in 181783e9e51SPaolo Bonzini * the entire sparsebit array. 182783e9e51SPaolo Bonzini */ 183783e9e51SPaolo Bonzini struct node *root; 184783e9e51SPaolo Bonzini 185783e9e51SPaolo Bonzini /* 186783e9e51SPaolo Bonzini * A redundant count of the total number of bits set. Used for 187783e9e51SPaolo Bonzini * diagnostic purposes and to change the time complexity of 188783e9e51SPaolo Bonzini * sparsebit_num_set() from O(n) to O(1). 189783e9e51SPaolo Bonzini * Note: Due to overflow, a value of 0 means none or all set. 190783e9e51SPaolo Bonzini */ 191783e9e51SPaolo Bonzini sparsebit_num_t num_set; 192783e9e51SPaolo Bonzini }; 193783e9e51SPaolo Bonzini 194783e9e51SPaolo Bonzini /* Returns the number of set bits described by the settings 195783e9e51SPaolo Bonzini * of the node pointed to by nodep. 196783e9e51SPaolo Bonzini */ 197783e9e51SPaolo Bonzini static sparsebit_num_t node_num_set(struct node *nodep) 198783e9e51SPaolo Bonzini { 199783e9e51SPaolo Bonzini return nodep->num_after + __builtin_popcount(nodep->mask); 200783e9e51SPaolo Bonzini } 201783e9e51SPaolo Bonzini 202783e9e51SPaolo Bonzini /* Returns a pointer to the node that describes the 203783e9e51SPaolo Bonzini * lowest bit index. 204783e9e51SPaolo Bonzini */ 205783e9e51SPaolo Bonzini static struct node *node_first(struct sparsebit *s) 206783e9e51SPaolo Bonzini { 207783e9e51SPaolo Bonzini struct node *nodep; 208783e9e51SPaolo Bonzini 209783e9e51SPaolo Bonzini for (nodep = s->root; nodep && nodep->left; nodep = nodep->left) 210783e9e51SPaolo Bonzini ; 211783e9e51SPaolo Bonzini 212783e9e51SPaolo Bonzini return nodep; 213783e9e51SPaolo Bonzini } 214783e9e51SPaolo Bonzini 215783e9e51SPaolo Bonzini /* Returns a pointer to the node that describes the 216783e9e51SPaolo Bonzini * lowest bit index > the index of the node pointed to by np. 217783e9e51SPaolo Bonzini * Returns NULL if no node with a higher index exists. 218783e9e51SPaolo Bonzini */ 219783e9e51SPaolo Bonzini static struct node *node_next(struct sparsebit *s, struct node *np) 220783e9e51SPaolo Bonzini { 221783e9e51SPaolo Bonzini struct node *nodep = np; 222783e9e51SPaolo Bonzini 223783e9e51SPaolo Bonzini /* 224783e9e51SPaolo Bonzini * If current node has a right child, next node is the left-most 225783e9e51SPaolo Bonzini * of the right child. 226783e9e51SPaolo Bonzini */ 227783e9e51SPaolo Bonzini if (nodep->right) { 228783e9e51SPaolo Bonzini for (nodep = nodep->right; nodep->left; nodep = nodep->left) 229783e9e51SPaolo Bonzini ; 230783e9e51SPaolo Bonzini return nodep; 231783e9e51SPaolo Bonzini } 232783e9e51SPaolo Bonzini 233783e9e51SPaolo Bonzini /* 234783e9e51SPaolo Bonzini * No right child. Go up until node is left child of a parent. 235783e9e51SPaolo Bonzini * That parent is then the next node. 236783e9e51SPaolo Bonzini */ 237783e9e51SPaolo Bonzini while (nodep->parent && nodep == nodep->parent->right) 238783e9e51SPaolo Bonzini nodep = nodep->parent; 239783e9e51SPaolo Bonzini 240783e9e51SPaolo Bonzini return nodep->parent; 241783e9e51SPaolo Bonzini } 242783e9e51SPaolo Bonzini 243783e9e51SPaolo Bonzini /* Searches for and returns a pointer to the node that describes the 244783e9e51SPaolo Bonzini * highest index < the index of the node pointed to by np. 245783e9e51SPaolo Bonzini * Returns NULL if no node with a lower index exists. 246783e9e51SPaolo Bonzini */ 247783e9e51SPaolo Bonzini static struct node *node_prev(struct sparsebit *s, struct node *np) 248783e9e51SPaolo Bonzini { 249783e9e51SPaolo Bonzini struct node *nodep = np; 250783e9e51SPaolo Bonzini 251783e9e51SPaolo Bonzini /* 252783e9e51SPaolo Bonzini * If current node has a left child, next node is the right-most 253783e9e51SPaolo Bonzini * of the left child. 254783e9e51SPaolo Bonzini */ 255783e9e51SPaolo Bonzini if (nodep->left) { 256783e9e51SPaolo Bonzini for (nodep = nodep->left; nodep->right; nodep = nodep->right) 257783e9e51SPaolo Bonzini ; 258783e9e51SPaolo Bonzini return (struct node *) nodep; 259783e9e51SPaolo Bonzini } 260783e9e51SPaolo Bonzini 261783e9e51SPaolo Bonzini /* 262783e9e51SPaolo Bonzini * No left child. Go up until node is right child of a parent. 263783e9e51SPaolo Bonzini * That parent is then the next node. 264783e9e51SPaolo Bonzini */ 265783e9e51SPaolo Bonzini while (nodep->parent && nodep == nodep->parent->left) 266783e9e51SPaolo Bonzini nodep = nodep->parent; 267783e9e51SPaolo Bonzini 268783e9e51SPaolo Bonzini return (struct node *) nodep->parent; 269783e9e51SPaolo Bonzini } 270783e9e51SPaolo Bonzini 271783e9e51SPaolo Bonzini 272783e9e51SPaolo Bonzini /* Allocates space to hold a copy of the node sub-tree pointed to by 273783e9e51SPaolo Bonzini * subtree and duplicates the bit settings to the newly allocated nodes. 274783e9e51SPaolo Bonzini * Returns the newly allocated copy of subtree. 275783e9e51SPaolo Bonzini */ 276783e9e51SPaolo Bonzini static struct node *node_copy_subtree(struct node *subtree) 277783e9e51SPaolo Bonzini { 278783e9e51SPaolo Bonzini struct node *root; 279783e9e51SPaolo Bonzini 280783e9e51SPaolo Bonzini /* Duplicate the node at the root of the subtree */ 281783e9e51SPaolo Bonzini root = calloc(1, sizeof(*root)); 282783e9e51SPaolo Bonzini if (!root) { 283783e9e51SPaolo Bonzini perror("calloc"); 284783e9e51SPaolo Bonzini abort(); 285783e9e51SPaolo Bonzini } 286783e9e51SPaolo Bonzini 287783e9e51SPaolo Bonzini root->idx = subtree->idx; 288783e9e51SPaolo Bonzini root->mask = subtree->mask; 289783e9e51SPaolo Bonzini root->num_after = subtree->num_after; 290783e9e51SPaolo Bonzini 291783e9e51SPaolo Bonzini /* As needed, recursively duplicate the left and right subtrees */ 292783e9e51SPaolo Bonzini if (subtree->left) { 293783e9e51SPaolo Bonzini root->left = node_copy_subtree(subtree->left); 294783e9e51SPaolo Bonzini root->left->parent = root; 295783e9e51SPaolo Bonzini } 296783e9e51SPaolo Bonzini 297783e9e51SPaolo Bonzini if (subtree->right) { 298783e9e51SPaolo Bonzini root->right = node_copy_subtree(subtree->right); 299783e9e51SPaolo Bonzini root->right->parent = root; 300783e9e51SPaolo Bonzini } 301783e9e51SPaolo Bonzini 302783e9e51SPaolo Bonzini return root; 303783e9e51SPaolo Bonzini } 304783e9e51SPaolo Bonzini 305783e9e51SPaolo Bonzini /* Searches for and returns a pointer to the node that describes the setting 306783e9e51SPaolo Bonzini * of the bit given by idx. A node describes the setting of a bit if its 307783e9e51SPaolo Bonzini * index is within the bits described by the mask bits or the number of 308783e9e51SPaolo Bonzini * contiguous bits set after the mask. Returns NULL if there is no such node. 309783e9e51SPaolo Bonzini */ 310783e9e51SPaolo Bonzini static struct node *node_find(struct sparsebit *s, sparsebit_idx_t idx) 311783e9e51SPaolo Bonzini { 312783e9e51SPaolo Bonzini struct node *nodep; 313783e9e51SPaolo Bonzini 314783e9e51SPaolo Bonzini /* Find the node that describes the setting of the bit at idx */ 315783e9e51SPaolo Bonzini for (nodep = s->root; nodep; 316783e9e51SPaolo Bonzini nodep = nodep->idx > idx ? nodep->left : nodep->right) { 317783e9e51SPaolo Bonzini if (idx >= nodep->idx && 318783e9e51SPaolo Bonzini idx <= nodep->idx + MASK_BITS + nodep->num_after - 1) 319783e9e51SPaolo Bonzini break; 320783e9e51SPaolo Bonzini } 321783e9e51SPaolo Bonzini 322783e9e51SPaolo Bonzini return nodep; 323783e9e51SPaolo Bonzini } 324783e9e51SPaolo Bonzini 325783e9e51SPaolo Bonzini /* Entry Requirements: 326783e9e51SPaolo Bonzini * + A node that describes the setting of idx is not already present. 327783e9e51SPaolo Bonzini * 328783e9e51SPaolo Bonzini * Adds a new node to describe the setting of the bit at the index given 329783e9e51SPaolo Bonzini * by idx. Returns a pointer to the newly added node. 330783e9e51SPaolo Bonzini * 331783e9e51SPaolo Bonzini * TODO(lhuemill): Degenerate cases causes the tree to get unbalanced. 332783e9e51SPaolo Bonzini */ 333783e9e51SPaolo Bonzini static struct node *node_add(struct sparsebit *s, sparsebit_idx_t idx) 334783e9e51SPaolo Bonzini { 335783e9e51SPaolo Bonzini struct node *nodep, *parentp, *prev; 336783e9e51SPaolo Bonzini 337783e9e51SPaolo Bonzini /* Allocate and initialize the new node. */ 338783e9e51SPaolo Bonzini nodep = calloc(1, sizeof(*nodep)); 339783e9e51SPaolo Bonzini if (!nodep) { 340783e9e51SPaolo Bonzini perror("calloc"); 341783e9e51SPaolo Bonzini abort(); 342783e9e51SPaolo Bonzini } 343783e9e51SPaolo Bonzini 344783e9e51SPaolo Bonzini nodep->idx = idx & -MASK_BITS; 345783e9e51SPaolo Bonzini 346783e9e51SPaolo Bonzini /* If no nodes, set it up as the root node. */ 347783e9e51SPaolo Bonzini if (!s->root) { 348783e9e51SPaolo Bonzini s->root = nodep; 349783e9e51SPaolo Bonzini return nodep; 350783e9e51SPaolo Bonzini } 351783e9e51SPaolo Bonzini 352783e9e51SPaolo Bonzini /* 353783e9e51SPaolo Bonzini * Find the parent where the new node should be attached 354783e9e51SPaolo Bonzini * and add the node there. 355783e9e51SPaolo Bonzini */ 356783e9e51SPaolo Bonzini parentp = s->root; 357783e9e51SPaolo Bonzini while (true) { 358783e9e51SPaolo Bonzini if (idx < parentp->idx) { 359783e9e51SPaolo Bonzini if (!parentp->left) { 360783e9e51SPaolo Bonzini parentp->left = nodep; 361783e9e51SPaolo Bonzini nodep->parent = parentp; 362783e9e51SPaolo Bonzini break; 363783e9e51SPaolo Bonzini } 364783e9e51SPaolo Bonzini parentp = parentp->left; 365783e9e51SPaolo Bonzini } else { 366783e9e51SPaolo Bonzini assert(idx > parentp->idx + MASK_BITS + parentp->num_after - 1); 367783e9e51SPaolo Bonzini if (!parentp->right) { 368783e9e51SPaolo Bonzini parentp->right = nodep; 369783e9e51SPaolo Bonzini nodep->parent = parentp; 370783e9e51SPaolo Bonzini break; 371783e9e51SPaolo Bonzini } 372783e9e51SPaolo Bonzini parentp = parentp->right; 373783e9e51SPaolo Bonzini } 374783e9e51SPaolo Bonzini } 375783e9e51SPaolo Bonzini 376783e9e51SPaolo Bonzini /* 377783e9e51SPaolo Bonzini * Does num_after bits of previous node overlap with the mask 378783e9e51SPaolo Bonzini * of the new node? If so set the bits in the new nodes mask 379783e9e51SPaolo Bonzini * and reduce the previous nodes num_after. 380783e9e51SPaolo Bonzini */ 381783e9e51SPaolo Bonzini prev = node_prev(s, nodep); 382783e9e51SPaolo Bonzini while (prev && prev->idx + MASK_BITS + prev->num_after - 1 >= nodep->idx) { 383783e9e51SPaolo Bonzini unsigned int n1 = (prev->idx + MASK_BITS + prev->num_after - 1) 384783e9e51SPaolo Bonzini - nodep->idx; 385783e9e51SPaolo Bonzini assert(prev->num_after > 0); 386783e9e51SPaolo Bonzini assert(n1 < MASK_BITS); 387783e9e51SPaolo Bonzini assert(!(nodep->mask & (1 << n1))); 388783e9e51SPaolo Bonzini nodep->mask |= (1 << n1); 389783e9e51SPaolo Bonzini prev->num_after--; 390783e9e51SPaolo Bonzini } 391783e9e51SPaolo Bonzini 392783e9e51SPaolo Bonzini return nodep; 393783e9e51SPaolo Bonzini } 394783e9e51SPaolo Bonzini 395783e9e51SPaolo Bonzini /* Returns whether all the bits in the sparsebit array are set. */ 396783e9e51SPaolo Bonzini bool sparsebit_all_set(struct sparsebit *s) 397783e9e51SPaolo Bonzini { 398783e9e51SPaolo Bonzini /* 399783e9e51SPaolo Bonzini * If any nodes there must be at least one bit set. Only case 400783e9e51SPaolo Bonzini * where a bit is set and total num set is 0, is when all bits 401783e9e51SPaolo Bonzini * are set. 402783e9e51SPaolo Bonzini */ 403783e9e51SPaolo Bonzini return s->root && s->num_set == 0; 404783e9e51SPaolo Bonzini } 405783e9e51SPaolo Bonzini 406783e9e51SPaolo Bonzini /* Clears all bits described by the node pointed to by nodep, then 407783e9e51SPaolo Bonzini * removes the node. 408783e9e51SPaolo Bonzini */ 409783e9e51SPaolo Bonzini static void node_rm(struct sparsebit *s, struct node *nodep) 410783e9e51SPaolo Bonzini { 411783e9e51SPaolo Bonzini struct node *tmp; 412783e9e51SPaolo Bonzini sparsebit_num_t num_set; 413783e9e51SPaolo Bonzini 414783e9e51SPaolo Bonzini num_set = node_num_set(nodep); 415783e9e51SPaolo Bonzini assert(s->num_set >= num_set || sparsebit_all_set(s)); 416783e9e51SPaolo Bonzini s->num_set -= node_num_set(nodep); 417783e9e51SPaolo Bonzini 418783e9e51SPaolo Bonzini /* Have both left and right child */ 419783e9e51SPaolo Bonzini if (nodep->left && nodep->right) { 420783e9e51SPaolo Bonzini /* 421783e9e51SPaolo Bonzini * Move left children to the leftmost leaf node 422783e9e51SPaolo Bonzini * of the right child. 423783e9e51SPaolo Bonzini */ 424783e9e51SPaolo Bonzini for (tmp = nodep->right; tmp->left; tmp = tmp->left) 425783e9e51SPaolo Bonzini ; 426783e9e51SPaolo Bonzini tmp->left = nodep->left; 427783e9e51SPaolo Bonzini nodep->left = NULL; 428783e9e51SPaolo Bonzini tmp->left->parent = tmp; 429783e9e51SPaolo Bonzini } 430783e9e51SPaolo Bonzini 431783e9e51SPaolo Bonzini /* Left only child */ 432783e9e51SPaolo Bonzini if (nodep->left) { 433783e9e51SPaolo Bonzini if (!nodep->parent) { 434783e9e51SPaolo Bonzini s->root = nodep->left; 435783e9e51SPaolo Bonzini nodep->left->parent = NULL; 436783e9e51SPaolo Bonzini } else { 437783e9e51SPaolo Bonzini nodep->left->parent = nodep->parent; 438783e9e51SPaolo Bonzini if (nodep == nodep->parent->left) 439783e9e51SPaolo Bonzini nodep->parent->left = nodep->left; 440783e9e51SPaolo Bonzini else { 441783e9e51SPaolo Bonzini assert(nodep == nodep->parent->right); 442783e9e51SPaolo Bonzini nodep->parent->right = nodep->left; 443783e9e51SPaolo Bonzini } 444783e9e51SPaolo Bonzini } 445783e9e51SPaolo Bonzini 446783e9e51SPaolo Bonzini nodep->parent = nodep->left = nodep->right = NULL; 447783e9e51SPaolo Bonzini free(nodep); 448783e9e51SPaolo Bonzini 449783e9e51SPaolo Bonzini return; 450783e9e51SPaolo Bonzini } 451783e9e51SPaolo Bonzini 452783e9e51SPaolo Bonzini 453783e9e51SPaolo Bonzini /* Right only child */ 454783e9e51SPaolo Bonzini if (nodep->right) { 455783e9e51SPaolo Bonzini if (!nodep->parent) { 456783e9e51SPaolo Bonzini s->root = nodep->right; 457783e9e51SPaolo Bonzini nodep->right->parent = NULL; 458783e9e51SPaolo Bonzini } else { 459783e9e51SPaolo Bonzini nodep->right->parent = nodep->parent; 460783e9e51SPaolo Bonzini if (nodep == nodep->parent->left) 461783e9e51SPaolo Bonzini nodep->parent->left = nodep->right; 462783e9e51SPaolo Bonzini else { 463783e9e51SPaolo Bonzini assert(nodep == nodep->parent->right); 464783e9e51SPaolo Bonzini nodep->parent->right = nodep->right; 465783e9e51SPaolo Bonzini } 466783e9e51SPaolo Bonzini } 467783e9e51SPaolo Bonzini 468783e9e51SPaolo Bonzini nodep->parent = nodep->left = nodep->right = NULL; 469783e9e51SPaolo Bonzini free(nodep); 470783e9e51SPaolo Bonzini 471783e9e51SPaolo Bonzini return; 472783e9e51SPaolo Bonzini } 473783e9e51SPaolo Bonzini 474783e9e51SPaolo Bonzini /* Leaf Node */ 475783e9e51SPaolo Bonzini if (!nodep->parent) { 476783e9e51SPaolo Bonzini s->root = NULL; 477783e9e51SPaolo Bonzini } else { 478783e9e51SPaolo Bonzini if (nodep->parent->left == nodep) 479783e9e51SPaolo Bonzini nodep->parent->left = NULL; 480783e9e51SPaolo Bonzini else { 481783e9e51SPaolo Bonzini assert(nodep == nodep->parent->right); 482783e9e51SPaolo Bonzini nodep->parent->right = NULL; 483783e9e51SPaolo Bonzini } 484783e9e51SPaolo Bonzini } 485783e9e51SPaolo Bonzini 486783e9e51SPaolo Bonzini nodep->parent = nodep->left = nodep->right = NULL; 487783e9e51SPaolo Bonzini free(nodep); 488783e9e51SPaolo Bonzini 489783e9e51SPaolo Bonzini return; 490783e9e51SPaolo Bonzini } 491783e9e51SPaolo Bonzini 492783e9e51SPaolo Bonzini /* Splits the node containing the bit at idx so that there is a node 493783e9e51SPaolo Bonzini * that starts at the specified index. If no such node exists, a new 494783e9e51SPaolo Bonzini * node at the specified index is created. Returns the new node. 495783e9e51SPaolo Bonzini * 496783e9e51SPaolo Bonzini * idx must start of a mask boundary. 497783e9e51SPaolo Bonzini */ 498783e9e51SPaolo Bonzini static struct node *node_split(struct sparsebit *s, sparsebit_idx_t idx) 499783e9e51SPaolo Bonzini { 500783e9e51SPaolo Bonzini struct node *nodep1, *nodep2; 501783e9e51SPaolo Bonzini sparsebit_idx_t offset; 502783e9e51SPaolo Bonzini sparsebit_num_t orig_num_after; 503783e9e51SPaolo Bonzini 504783e9e51SPaolo Bonzini assert(!(idx % MASK_BITS)); 505783e9e51SPaolo Bonzini 506783e9e51SPaolo Bonzini /* 507783e9e51SPaolo Bonzini * Is there a node that describes the setting of idx? 508783e9e51SPaolo Bonzini * If not, add it. 509783e9e51SPaolo Bonzini */ 510783e9e51SPaolo Bonzini nodep1 = node_find(s, idx); 511783e9e51SPaolo Bonzini if (!nodep1) 512783e9e51SPaolo Bonzini return node_add(s, idx); 513783e9e51SPaolo Bonzini 514783e9e51SPaolo Bonzini /* 515783e9e51SPaolo Bonzini * All done if the starting index of the node is where the 516783e9e51SPaolo Bonzini * split should occur. 517783e9e51SPaolo Bonzini */ 518783e9e51SPaolo Bonzini if (nodep1->idx == idx) 519783e9e51SPaolo Bonzini return nodep1; 520783e9e51SPaolo Bonzini 521783e9e51SPaolo Bonzini /* 522783e9e51SPaolo Bonzini * Split point not at start of mask, so it must be part of 523783e9e51SPaolo Bonzini * bits described by num_after. 524783e9e51SPaolo Bonzini */ 525783e9e51SPaolo Bonzini 526783e9e51SPaolo Bonzini /* 527783e9e51SPaolo Bonzini * Calculate offset within num_after for where the split is 528783e9e51SPaolo Bonzini * to occur. 529783e9e51SPaolo Bonzini */ 530783e9e51SPaolo Bonzini offset = idx - (nodep1->idx + MASK_BITS); 531783e9e51SPaolo Bonzini orig_num_after = nodep1->num_after; 532783e9e51SPaolo Bonzini 533783e9e51SPaolo Bonzini /* 534783e9e51SPaolo Bonzini * Add a new node to describe the bits starting at 535783e9e51SPaolo Bonzini * the split point. 536783e9e51SPaolo Bonzini */ 537783e9e51SPaolo Bonzini nodep1->num_after = offset; 538783e9e51SPaolo Bonzini nodep2 = node_add(s, idx); 539783e9e51SPaolo Bonzini 540783e9e51SPaolo Bonzini /* Move bits after the split point into the new node */ 541783e9e51SPaolo Bonzini nodep2->num_after = orig_num_after - offset; 542783e9e51SPaolo Bonzini if (nodep2->num_after >= MASK_BITS) { 543783e9e51SPaolo Bonzini nodep2->mask = ~(mask_t) 0; 544783e9e51SPaolo Bonzini nodep2->num_after -= MASK_BITS; 545783e9e51SPaolo Bonzini } else { 546783e9e51SPaolo Bonzini nodep2->mask = (1 << nodep2->num_after) - 1; 547783e9e51SPaolo Bonzini nodep2->num_after = 0; 548783e9e51SPaolo Bonzini } 549783e9e51SPaolo Bonzini 550783e9e51SPaolo Bonzini return nodep2; 551783e9e51SPaolo Bonzini } 552783e9e51SPaolo Bonzini 553783e9e51SPaolo Bonzini /* Iteratively reduces the node pointed to by nodep and its adjacent 554783e9e51SPaolo Bonzini * nodes into a more compact form. For example, a node with a mask with 555783e9e51SPaolo Bonzini * all bits set adjacent to a previous node, will get combined into a 556783e9e51SPaolo Bonzini * single node with an increased num_after setting. 557783e9e51SPaolo Bonzini * 558783e9e51SPaolo Bonzini * After each reduction, a further check is made to see if additional 559783e9e51SPaolo Bonzini * reductions are possible with the new previous and next nodes. Note, 560783e9e51SPaolo Bonzini * a search for a reduction is only done across the nodes nearest nodep 561783e9e51SPaolo Bonzini * and those that became part of a reduction. Reductions beyond nodep 562783e9e51SPaolo Bonzini * and the adjacent nodes that are reduced are not discovered. It is the 563783e9e51SPaolo Bonzini * responsibility of the caller to pass a nodep that is within one node 564783e9e51SPaolo Bonzini * of each possible reduction. 565783e9e51SPaolo Bonzini * 566783e9e51SPaolo Bonzini * This function does not fix the temporary violation of all invariants. 567783e9e51SPaolo Bonzini * For example it does not fix the case where the bit settings described 568783e9e51SPaolo Bonzini * by two or more nodes overlap. Such a violation introduces the potential 569783e9e51SPaolo Bonzini * complication of a bit setting for a specific index having different settings 570783e9e51SPaolo Bonzini * in different nodes. This would then introduce the further complication 571783e9e51SPaolo Bonzini * of which node has the correct setting of the bit and thus such conditions 572783e9e51SPaolo Bonzini * are not allowed. 573783e9e51SPaolo Bonzini * 574783e9e51SPaolo Bonzini * This function is designed to fix invariant violations that are introduced 575783e9e51SPaolo Bonzini * by node_split() and by changes to the nodes mask or num_after members. 576783e9e51SPaolo Bonzini * For example, when setting a bit within a nodes mask, the function that 577783e9e51SPaolo Bonzini * sets the bit doesn't have to worry about whether the setting of that 578783e9e51SPaolo Bonzini * bit caused the mask to have leading only or trailing only bits set. 579783e9e51SPaolo Bonzini * Instead, the function can call node_reduce(), with nodep equal to the 580783e9e51SPaolo Bonzini * node address that it set a mask bit in, and node_reduce() will notice 581783e9e51SPaolo Bonzini * the cases of leading or trailing only bits and that there is an 582783e9e51SPaolo Bonzini * adjacent node that the bit settings could be merged into. 583783e9e51SPaolo Bonzini * 584783e9e51SPaolo Bonzini * This implementation specifically detects and corrects violation of the 585783e9e51SPaolo Bonzini * following invariants: 586783e9e51SPaolo Bonzini * 587783e9e51SPaolo Bonzini * + Node are only used to represent bits that are set. 588783e9e51SPaolo Bonzini * Nodes with a mask of 0 and num_after of 0 are not allowed. 589783e9e51SPaolo Bonzini * 590783e9e51SPaolo Bonzini * + The setting of at least one bit is always described in a nodes 591783e9e51SPaolo Bonzini * mask (mask >= 1). 592783e9e51SPaolo Bonzini * 593783e9e51SPaolo Bonzini * + A node with all mask bits set only occurs when the last bit 594783e9e51SPaolo Bonzini * described by the previous node is not equal to this nodes 595783e9e51SPaolo Bonzini * starting index - 1. All such occurences of this condition are 596783e9e51SPaolo Bonzini * avoided by moving the setting of the nodes mask bits into 597783e9e51SPaolo Bonzini * the previous nodes num_after setting. 598783e9e51SPaolo Bonzini */ 599783e9e51SPaolo Bonzini static void node_reduce(struct sparsebit *s, struct node *nodep) 600783e9e51SPaolo Bonzini { 601783e9e51SPaolo Bonzini bool reduction_performed; 602783e9e51SPaolo Bonzini 603783e9e51SPaolo Bonzini do { 604783e9e51SPaolo Bonzini reduction_performed = false; 605783e9e51SPaolo Bonzini struct node *prev, *next, *tmp; 606783e9e51SPaolo Bonzini 607783e9e51SPaolo Bonzini /* 1) Potential reductions within the current node. */ 608783e9e51SPaolo Bonzini 609783e9e51SPaolo Bonzini /* Nodes with all bits cleared may be removed. */ 610783e9e51SPaolo Bonzini if (nodep->mask == 0 && nodep->num_after == 0) { 611783e9e51SPaolo Bonzini /* 612783e9e51SPaolo Bonzini * About to remove the node pointed to by 613783e9e51SPaolo Bonzini * nodep, which normally would cause a problem 614783e9e51SPaolo Bonzini * for the next pass through the reduction loop, 615783e9e51SPaolo Bonzini * because the node at the starting point no longer 616783e9e51SPaolo Bonzini * exists. This potential problem is handled 617783e9e51SPaolo Bonzini * by first remembering the location of the next 618783e9e51SPaolo Bonzini * or previous nodes. Doesn't matter which, because 619783e9e51SPaolo Bonzini * once the node at nodep is removed, there will be 620783e9e51SPaolo Bonzini * no other nodes between prev and next. 621783e9e51SPaolo Bonzini * 622783e9e51SPaolo Bonzini * Note, the checks performed on nodep against both 623783e9e51SPaolo Bonzini * both prev and next both check for an adjacent 624783e9e51SPaolo Bonzini * node that can be reduced into a single node. As 625783e9e51SPaolo Bonzini * such, after removing the node at nodep, doesn't 626783e9e51SPaolo Bonzini * matter whether the nodep for the next pass 627783e9e51SPaolo Bonzini * through the loop is equal to the previous pass 628783e9e51SPaolo Bonzini * prev or next node. Either way, on the next pass 629783e9e51SPaolo Bonzini * the one not selected will become either the 630783e9e51SPaolo Bonzini * prev or next node. 631783e9e51SPaolo Bonzini */ 632783e9e51SPaolo Bonzini tmp = node_next(s, nodep); 633783e9e51SPaolo Bonzini if (!tmp) 634783e9e51SPaolo Bonzini tmp = node_prev(s, nodep); 635783e9e51SPaolo Bonzini 636783e9e51SPaolo Bonzini node_rm(s, nodep); 637783e9e51SPaolo Bonzini nodep = NULL; 638783e9e51SPaolo Bonzini 639783e9e51SPaolo Bonzini nodep = tmp; 640783e9e51SPaolo Bonzini reduction_performed = true; 641783e9e51SPaolo Bonzini continue; 642783e9e51SPaolo Bonzini } 643783e9e51SPaolo Bonzini 644783e9e51SPaolo Bonzini /* 645783e9e51SPaolo Bonzini * When the mask is 0, can reduce the amount of num_after 646783e9e51SPaolo Bonzini * bits by moving the initial num_after bits into the mask. 647783e9e51SPaolo Bonzini */ 648783e9e51SPaolo Bonzini if (nodep->mask == 0) { 649783e9e51SPaolo Bonzini assert(nodep->num_after != 0); 650783e9e51SPaolo Bonzini assert(nodep->idx + MASK_BITS > nodep->idx); 651783e9e51SPaolo Bonzini 652783e9e51SPaolo Bonzini nodep->idx += MASK_BITS; 653783e9e51SPaolo Bonzini 654783e9e51SPaolo Bonzini if (nodep->num_after >= MASK_BITS) { 655783e9e51SPaolo Bonzini nodep->mask = ~0; 656783e9e51SPaolo Bonzini nodep->num_after -= MASK_BITS; 657783e9e51SPaolo Bonzini } else { 658783e9e51SPaolo Bonzini nodep->mask = (1u << nodep->num_after) - 1; 659783e9e51SPaolo Bonzini nodep->num_after = 0; 660783e9e51SPaolo Bonzini } 661783e9e51SPaolo Bonzini 662783e9e51SPaolo Bonzini reduction_performed = true; 663783e9e51SPaolo Bonzini continue; 664783e9e51SPaolo Bonzini } 665783e9e51SPaolo Bonzini 666783e9e51SPaolo Bonzini /* 667783e9e51SPaolo Bonzini * 2) Potential reductions between the current and 668783e9e51SPaolo Bonzini * previous nodes. 669783e9e51SPaolo Bonzini */ 670783e9e51SPaolo Bonzini prev = node_prev(s, nodep); 671783e9e51SPaolo Bonzini if (prev) { 672783e9e51SPaolo Bonzini sparsebit_idx_t prev_highest_bit; 673783e9e51SPaolo Bonzini 674783e9e51SPaolo Bonzini /* Nodes with no bits set can be removed. */ 675783e9e51SPaolo Bonzini if (prev->mask == 0 && prev->num_after == 0) { 676783e9e51SPaolo Bonzini node_rm(s, prev); 677783e9e51SPaolo Bonzini 678783e9e51SPaolo Bonzini reduction_performed = true; 679783e9e51SPaolo Bonzini continue; 680783e9e51SPaolo Bonzini } 681783e9e51SPaolo Bonzini 682783e9e51SPaolo Bonzini /* 683783e9e51SPaolo Bonzini * All mask bits set and previous node has 684783e9e51SPaolo Bonzini * adjacent index. 685783e9e51SPaolo Bonzini */ 686783e9e51SPaolo Bonzini if (nodep->mask + 1 == 0 && 687783e9e51SPaolo Bonzini prev->idx + MASK_BITS == nodep->idx) { 688783e9e51SPaolo Bonzini prev->num_after += MASK_BITS + nodep->num_after; 689783e9e51SPaolo Bonzini nodep->mask = 0; 690783e9e51SPaolo Bonzini nodep->num_after = 0; 691783e9e51SPaolo Bonzini 692783e9e51SPaolo Bonzini reduction_performed = true; 693783e9e51SPaolo Bonzini continue; 694783e9e51SPaolo Bonzini } 695783e9e51SPaolo Bonzini 696783e9e51SPaolo Bonzini /* 697783e9e51SPaolo Bonzini * Is node adjacent to previous node and the node 698783e9e51SPaolo Bonzini * contains a single contiguous range of bits 699783e9e51SPaolo Bonzini * starting from the beginning of the mask? 700783e9e51SPaolo Bonzini */ 701783e9e51SPaolo Bonzini prev_highest_bit = prev->idx + MASK_BITS - 1 + prev->num_after; 702783e9e51SPaolo Bonzini if (prev_highest_bit + 1 == nodep->idx && 703783e9e51SPaolo Bonzini (nodep->mask | (nodep->mask >> 1)) == nodep->mask) { 704783e9e51SPaolo Bonzini /* 705783e9e51SPaolo Bonzini * How many contiguous bits are there? 706783e9e51SPaolo Bonzini * Is equal to the total number of set 707783e9e51SPaolo Bonzini * bits, due to an earlier check that 708783e9e51SPaolo Bonzini * there is a single contiguous range of 709783e9e51SPaolo Bonzini * set bits. 710783e9e51SPaolo Bonzini */ 711783e9e51SPaolo Bonzini unsigned int num_contiguous 712783e9e51SPaolo Bonzini = __builtin_popcount(nodep->mask); 713783e9e51SPaolo Bonzini assert((num_contiguous > 0) && 714783e9e51SPaolo Bonzini ((1ULL << num_contiguous) - 1) == nodep->mask); 715783e9e51SPaolo Bonzini 716783e9e51SPaolo Bonzini prev->num_after += num_contiguous; 717783e9e51SPaolo Bonzini nodep->mask = 0; 718783e9e51SPaolo Bonzini 719783e9e51SPaolo Bonzini /* 720783e9e51SPaolo Bonzini * For predictable performance, handle special 721783e9e51SPaolo Bonzini * case where all mask bits are set and there 722783e9e51SPaolo Bonzini * is a non-zero num_after setting. This code 723783e9e51SPaolo Bonzini * is functionally correct without the following 724783e9e51SPaolo Bonzini * conditionalized statements, but without them 725783e9e51SPaolo Bonzini * the value of num_after is only reduced by 726783e9e51SPaolo Bonzini * the number of mask bits per pass. There are 727783e9e51SPaolo Bonzini * cases where num_after can be close to 2^64. 728783e9e51SPaolo Bonzini * Without this code it could take nearly 729783e9e51SPaolo Bonzini * (2^64) / 32 passes to perform the full 730783e9e51SPaolo Bonzini * reduction. 731783e9e51SPaolo Bonzini */ 732783e9e51SPaolo Bonzini if (num_contiguous == MASK_BITS) { 733783e9e51SPaolo Bonzini prev->num_after += nodep->num_after; 734783e9e51SPaolo Bonzini nodep->num_after = 0; 735783e9e51SPaolo Bonzini } 736783e9e51SPaolo Bonzini 737783e9e51SPaolo Bonzini reduction_performed = true; 738783e9e51SPaolo Bonzini continue; 739783e9e51SPaolo Bonzini } 740783e9e51SPaolo Bonzini } 741783e9e51SPaolo Bonzini 742783e9e51SPaolo Bonzini /* 743783e9e51SPaolo Bonzini * 3) Potential reductions between the current and 744783e9e51SPaolo Bonzini * next nodes. 745783e9e51SPaolo Bonzini */ 746783e9e51SPaolo Bonzini next = node_next(s, nodep); 747783e9e51SPaolo Bonzini if (next) { 748783e9e51SPaolo Bonzini /* Nodes with no bits set can be removed. */ 749783e9e51SPaolo Bonzini if (next->mask == 0 && next->num_after == 0) { 750783e9e51SPaolo Bonzini node_rm(s, next); 751783e9e51SPaolo Bonzini reduction_performed = true; 752783e9e51SPaolo Bonzini continue; 753783e9e51SPaolo Bonzini } 754783e9e51SPaolo Bonzini 755783e9e51SPaolo Bonzini /* 756783e9e51SPaolo Bonzini * Is next node index adjacent to current node 757783e9e51SPaolo Bonzini * and has a mask with all bits set? 758783e9e51SPaolo Bonzini */ 759783e9e51SPaolo Bonzini if (next->idx == nodep->idx + MASK_BITS + nodep->num_after && 760783e9e51SPaolo Bonzini next->mask == ~(mask_t) 0) { 761783e9e51SPaolo Bonzini nodep->num_after += MASK_BITS; 762783e9e51SPaolo Bonzini next->mask = 0; 763783e9e51SPaolo Bonzini nodep->num_after += next->num_after; 764783e9e51SPaolo Bonzini next->num_after = 0; 765783e9e51SPaolo Bonzini 766783e9e51SPaolo Bonzini node_rm(s, next); 767783e9e51SPaolo Bonzini next = NULL; 768783e9e51SPaolo Bonzini 769783e9e51SPaolo Bonzini reduction_performed = true; 770783e9e51SPaolo Bonzini continue; 771783e9e51SPaolo Bonzini } 772783e9e51SPaolo Bonzini } 773783e9e51SPaolo Bonzini } while (nodep && reduction_performed); 774783e9e51SPaolo Bonzini } 775783e9e51SPaolo Bonzini 776783e9e51SPaolo Bonzini /* Returns whether the bit at the index given by idx, within the 777783e9e51SPaolo Bonzini * sparsebit array is set or not. 778783e9e51SPaolo Bonzini */ 779783e9e51SPaolo Bonzini bool sparsebit_is_set(struct sparsebit *s, sparsebit_idx_t idx) 780783e9e51SPaolo Bonzini { 781783e9e51SPaolo Bonzini struct node *nodep; 782783e9e51SPaolo Bonzini 783783e9e51SPaolo Bonzini /* Find the node that describes the setting of the bit at idx */ 784783e9e51SPaolo Bonzini for (nodep = s->root; nodep; 785783e9e51SPaolo Bonzini nodep = nodep->idx > idx ? nodep->left : nodep->right) 786783e9e51SPaolo Bonzini if (idx >= nodep->idx && 787783e9e51SPaolo Bonzini idx <= nodep->idx + MASK_BITS + nodep->num_after - 1) 788783e9e51SPaolo Bonzini goto have_node; 789783e9e51SPaolo Bonzini 790783e9e51SPaolo Bonzini return false; 791783e9e51SPaolo Bonzini 792783e9e51SPaolo Bonzini have_node: 793783e9e51SPaolo Bonzini /* Bit is set if it is any of the bits described by num_after */ 794783e9e51SPaolo Bonzini if (nodep->num_after && idx >= nodep->idx + MASK_BITS) 795783e9e51SPaolo Bonzini return true; 796783e9e51SPaolo Bonzini 797783e9e51SPaolo Bonzini /* Is the corresponding mask bit set */ 798783e9e51SPaolo Bonzini assert(idx >= nodep->idx && idx - nodep->idx < MASK_BITS); 799783e9e51SPaolo Bonzini return !!(nodep->mask & (1 << (idx - nodep->idx))); 800783e9e51SPaolo Bonzini } 801783e9e51SPaolo Bonzini 802783e9e51SPaolo Bonzini /* Within the sparsebit array pointed to by s, sets the bit 803783e9e51SPaolo Bonzini * at the index given by idx. 804783e9e51SPaolo Bonzini */ 805783e9e51SPaolo Bonzini static void bit_set(struct sparsebit *s, sparsebit_idx_t idx) 806783e9e51SPaolo Bonzini { 807783e9e51SPaolo Bonzini struct node *nodep; 808783e9e51SPaolo Bonzini 809783e9e51SPaolo Bonzini /* Skip bits that are already set */ 810783e9e51SPaolo Bonzini if (sparsebit_is_set(s, idx)) 811783e9e51SPaolo Bonzini return; 812783e9e51SPaolo Bonzini 813783e9e51SPaolo Bonzini /* 814783e9e51SPaolo Bonzini * Get a node where the bit at idx is described by the mask. 815783e9e51SPaolo Bonzini * The node_split will also create a node, if there isn't 816783e9e51SPaolo Bonzini * already a node that describes the setting of bit. 817783e9e51SPaolo Bonzini */ 818783e9e51SPaolo Bonzini nodep = node_split(s, idx & -MASK_BITS); 819783e9e51SPaolo Bonzini 820783e9e51SPaolo Bonzini /* Set the bit within the nodes mask */ 821783e9e51SPaolo Bonzini assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); 822783e9e51SPaolo Bonzini assert(!(nodep->mask & (1 << (idx - nodep->idx)))); 823783e9e51SPaolo Bonzini nodep->mask |= 1 << (idx - nodep->idx); 824783e9e51SPaolo Bonzini s->num_set++; 825783e9e51SPaolo Bonzini 826783e9e51SPaolo Bonzini node_reduce(s, nodep); 827783e9e51SPaolo Bonzini } 828783e9e51SPaolo Bonzini 829783e9e51SPaolo Bonzini /* Within the sparsebit array pointed to by s, clears the bit 830783e9e51SPaolo Bonzini * at the index given by idx. 831783e9e51SPaolo Bonzini */ 832783e9e51SPaolo Bonzini static void bit_clear(struct sparsebit *s, sparsebit_idx_t idx) 833783e9e51SPaolo Bonzini { 834783e9e51SPaolo Bonzini struct node *nodep; 835783e9e51SPaolo Bonzini 836783e9e51SPaolo Bonzini /* Skip bits that are already cleared */ 837783e9e51SPaolo Bonzini if (!sparsebit_is_set(s, idx)) 838783e9e51SPaolo Bonzini return; 839783e9e51SPaolo Bonzini 840783e9e51SPaolo Bonzini /* Is there a node that describes the setting of this bit? */ 841783e9e51SPaolo Bonzini nodep = node_find(s, idx); 842783e9e51SPaolo Bonzini if (!nodep) 843783e9e51SPaolo Bonzini return; 844783e9e51SPaolo Bonzini 845783e9e51SPaolo Bonzini /* 846783e9e51SPaolo Bonzini * If a num_after bit, split the node, so that the bit is 847783e9e51SPaolo Bonzini * part of a node mask. 848783e9e51SPaolo Bonzini */ 849783e9e51SPaolo Bonzini if (idx >= nodep->idx + MASK_BITS) 850783e9e51SPaolo Bonzini nodep = node_split(s, idx & -MASK_BITS); 851783e9e51SPaolo Bonzini 852783e9e51SPaolo Bonzini /* 853783e9e51SPaolo Bonzini * After node_split above, bit at idx should be within the mask. 854783e9e51SPaolo Bonzini * Clear that bit. 855783e9e51SPaolo Bonzini */ 856783e9e51SPaolo Bonzini assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); 857783e9e51SPaolo Bonzini assert(nodep->mask & (1 << (idx - nodep->idx))); 858783e9e51SPaolo Bonzini nodep->mask &= ~(1 << (idx - nodep->idx)); 859783e9e51SPaolo Bonzini assert(s->num_set > 0 || sparsebit_all_set(s)); 860783e9e51SPaolo Bonzini s->num_set--; 861783e9e51SPaolo Bonzini 862783e9e51SPaolo Bonzini node_reduce(s, nodep); 863783e9e51SPaolo Bonzini } 864783e9e51SPaolo Bonzini 865783e9e51SPaolo Bonzini /* Recursively dumps to the FILE stream given by stream the contents 866783e9e51SPaolo Bonzini * of the sub-tree of nodes pointed to by nodep. Each line of output 867783e9e51SPaolo Bonzini * is prefixed by the number of spaces given by indent. On each 868783e9e51SPaolo Bonzini * recursion, the indent amount is increased by 2. This causes nodes 869783e9e51SPaolo Bonzini * at each level deeper into the binary search tree to be displayed 870783e9e51SPaolo Bonzini * with a greater indent. 871783e9e51SPaolo Bonzini */ 872783e9e51SPaolo Bonzini static void dump_nodes(FILE *stream, struct node *nodep, 873783e9e51SPaolo Bonzini unsigned int indent) 874783e9e51SPaolo Bonzini { 875783e9e51SPaolo Bonzini char *node_type; 876783e9e51SPaolo Bonzini 877783e9e51SPaolo Bonzini /* Dump contents of node */ 878783e9e51SPaolo Bonzini if (!nodep->parent) 879783e9e51SPaolo Bonzini node_type = "root"; 880783e9e51SPaolo Bonzini else if (nodep == nodep->parent->left) 881783e9e51SPaolo Bonzini node_type = "left"; 882783e9e51SPaolo Bonzini else { 883783e9e51SPaolo Bonzini assert(nodep == nodep->parent->right); 884783e9e51SPaolo Bonzini node_type = "right"; 885783e9e51SPaolo Bonzini } 886783e9e51SPaolo Bonzini fprintf(stream, "%*s---- %s nodep: %p\n", indent, "", node_type, nodep); 887783e9e51SPaolo Bonzini fprintf(stream, "%*s parent: %p left: %p right: %p\n", indent, "", 888783e9e51SPaolo Bonzini nodep->parent, nodep->left, nodep->right); 889783e9e51SPaolo Bonzini fprintf(stream, "%*s idx: 0x%lx mask: 0x%x num_after: 0x%lx\n", 890783e9e51SPaolo Bonzini indent, "", nodep->idx, nodep->mask, nodep->num_after); 891783e9e51SPaolo Bonzini 892783e9e51SPaolo Bonzini /* If present, dump contents of left child nodes */ 893783e9e51SPaolo Bonzini if (nodep->left) 894783e9e51SPaolo Bonzini dump_nodes(stream, nodep->left, indent + 2); 895783e9e51SPaolo Bonzini 896783e9e51SPaolo Bonzini /* If present, dump contents of right child nodes */ 897783e9e51SPaolo Bonzini if (nodep->right) 898783e9e51SPaolo Bonzini dump_nodes(stream, nodep->right, indent + 2); 899783e9e51SPaolo Bonzini } 900783e9e51SPaolo Bonzini 901783e9e51SPaolo Bonzini static inline sparsebit_idx_t node_first_set(struct node *nodep, int start) 902783e9e51SPaolo Bonzini { 903783e9e51SPaolo Bonzini mask_t leading = (mask_t)1 << start; 904783e9e51SPaolo Bonzini int n1 = __builtin_ctz(nodep->mask & -leading); 905783e9e51SPaolo Bonzini 906783e9e51SPaolo Bonzini return nodep->idx + n1; 907783e9e51SPaolo Bonzini } 908783e9e51SPaolo Bonzini 909783e9e51SPaolo Bonzini static inline sparsebit_idx_t node_first_clear(struct node *nodep, int start) 910783e9e51SPaolo Bonzini { 911783e9e51SPaolo Bonzini mask_t leading = (mask_t)1 << start; 912783e9e51SPaolo Bonzini int n1 = __builtin_ctz(~nodep->mask & -leading); 913783e9e51SPaolo Bonzini 914783e9e51SPaolo Bonzini return nodep->idx + n1; 915783e9e51SPaolo Bonzini } 916783e9e51SPaolo Bonzini 917783e9e51SPaolo Bonzini /* Dumps to the FILE stream specified by stream, the implementation dependent 918783e9e51SPaolo Bonzini * internal state of s. Each line of output is prefixed with the number 919783e9e51SPaolo Bonzini * of spaces given by indent. The output is completely implementation 920783e9e51SPaolo Bonzini * dependent and subject to change. Output from this function should only 921783e9e51SPaolo Bonzini * be used for diagnostic purposes. For example, this function can be 922783e9e51SPaolo Bonzini * used by test cases after they detect an unexpected condition, as a means 923783e9e51SPaolo Bonzini * to capture diagnostic information. 924783e9e51SPaolo Bonzini */ 925783e9e51SPaolo Bonzini static void sparsebit_dump_internal(FILE *stream, struct sparsebit *s, 926783e9e51SPaolo Bonzini unsigned int indent) 927783e9e51SPaolo Bonzini { 928783e9e51SPaolo Bonzini /* Dump the contents of s */ 929783e9e51SPaolo Bonzini fprintf(stream, "%*sroot: %p\n", indent, "", s->root); 930783e9e51SPaolo Bonzini fprintf(stream, "%*snum_set: 0x%lx\n", indent, "", s->num_set); 931783e9e51SPaolo Bonzini 932783e9e51SPaolo Bonzini if (s->root) 933783e9e51SPaolo Bonzini dump_nodes(stream, s->root, indent); 934783e9e51SPaolo Bonzini } 935783e9e51SPaolo Bonzini 936783e9e51SPaolo Bonzini /* Allocates and returns a new sparsebit array. The initial state 937783e9e51SPaolo Bonzini * of the newly allocated sparsebit array has all bits cleared. 938783e9e51SPaolo Bonzini */ 939783e9e51SPaolo Bonzini struct sparsebit *sparsebit_alloc(void) 940783e9e51SPaolo Bonzini { 941783e9e51SPaolo Bonzini struct sparsebit *s; 942783e9e51SPaolo Bonzini 943783e9e51SPaolo Bonzini /* Allocate top level structure. */ 944783e9e51SPaolo Bonzini s = calloc(1, sizeof(*s)); 945783e9e51SPaolo Bonzini if (!s) { 946783e9e51SPaolo Bonzini perror("calloc"); 947783e9e51SPaolo Bonzini abort(); 948783e9e51SPaolo Bonzini } 949783e9e51SPaolo Bonzini 950783e9e51SPaolo Bonzini return s; 951783e9e51SPaolo Bonzini } 952783e9e51SPaolo Bonzini 953783e9e51SPaolo Bonzini /* Frees the implementation dependent data for the sparsebit array 954783e9e51SPaolo Bonzini * pointed to by s and poisons the pointer to that data. 955783e9e51SPaolo Bonzini */ 956783e9e51SPaolo Bonzini void sparsebit_free(struct sparsebit **sbitp) 957783e9e51SPaolo Bonzini { 958783e9e51SPaolo Bonzini struct sparsebit *s = *sbitp; 959783e9e51SPaolo Bonzini 960783e9e51SPaolo Bonzini if (!s) 961783e9e51SPaolo Bonzini return; 962783e9e51SPaolo Bonzini 963783e9e51SPaolo Bonzini sparsebit_clear_all(s); 964783e9e51SPaolo Bonzini free(s); 965783e9e51SPaolo Bonzini *sbitp = NULL; 966783e9e51SPaolo Bonzini } 967783e9e51SPaolo Bonzini 968783e9e51SPaolo Bonzini /* Makes a copy of the sparsebit array given by s, to the sparsebit 969783e9e51SPaolo Bonzini * array given by d. Note, d must have already been allocated via 970783e9e51SPaolo Bonzini * sparsebit_alloc(). It can though already have bits set, which 971783e9e51SPaolo Bonzini * if different from src will be cleared. 972783e9e51SPaolo Bonzini */ 973783e9e51SPaolo Bonzini void sparsebit_copy(struct sparsebit *d, struct sparsebit *s) 974783e9e51SPaolo Bonzini { 975783e9e51SPaolo Bonzini /* First clear any bits already set in the destination */ 976783e9e51SPaolo Bonzini sparsebit_clear_all(d); 977783e9e51SPaolo Bonzini 978783e9e51SPaolo Bonzini if (s->root) { 979783e9e51SPaolo Bonzini d->root = node_copy_subtree(s->root); 980783e9e51SPaolo Bonzini d->num_set = s->num_set; 981783e9e51SPaolo Bonzini } 982783e9e51SPaolo Bonzini } 983783e9e51SPaolo Bonzini 984783e9e51SPaolo Bonzini /* Returns whether num consecutive bits starting at idx are all set. */ 985783e9e51SPaolo Bonzini bool sparsebit_is_set_num(struct sparsebit *s, 986783e9e51SPaolo Bonzini sparsebit_idx_t idx, sparsebit_num_t num) 987783e9e51SPaolo Bonzini { 988783e9e51SPaolo Bonzini sparsebit_idx_t next_cleared; 989783e9e51SPaolo Bonzini 990783e9e51SPaolo Bonzini assert(num > 0); 991783e9e51SPaolo Bonzini assert(idx + num - 1 >= idx); 992783e9e51SPaolo Bonzini 993783e9e51SPaolo Bonzini /* With num > 0, the first bit must be set. */ 994783e9e51SPaolo Bonzini if (!sparsebit_is_set(s, idx)) 995783e9e51SPaolo Bonzini return false; 996783e9e51SPaolo Bonzini 997783e9e51SPaolo Bonzini /* Find the next cleared bit */ 998783e9e51SPaolo Bonzini next_cleared = sparsebit_next_clear(s, idx); 999783e9e51SPaolo Bonzini 1000783e9e51SPaolo Bonzini /* 1001783e9e51SPaolo Bonzini * If no cleared bits beyond idx, then there are at least num 1002783e9e51SPaolo Bonzini * set bits. idx + num doesn't wrap. Otherwise check if 1003783e9e51SPaolo Bonzini * there are enough set bits between idx and the next cleared bit. 1004783e9e51SPaolo Bonzini */ 1005783e9e51SPaolo Bonzini return next_cleared == 0 || next_cleared - idx >= num; 1006783e9e51SPaolo Bonzini } 1007783e9e51SPaolo Bonzini 1008783e9e51SPaolo Bonzini /* Returns whether the bit at the index given by idx. */ 1009783e9e51SPaolo Bonzini bool sparsebit_is_clear(struct sparsebit *s, 1010783e9e51SPaolo Bonzini sparsebit_idx_t idx) 1011783e9e51SPaolo Bonzini { 1012783e9e51SPaolo Bonzini return !sparsebit_is_set(s, idx); 1013783e9e51SPaolo Bonzini } 1014783e9e51SPaolo Bonzini 1015783e9e51SPaolo Bonzini /* Returns whether num consecutive bits starting at idx are all cleared. */ 1016783e9e51SPaolo Bonzini bool sparsebit_is_clear_num(struct sparsebit *s, 1017783e9e51SPaolo Bonzini sparsebit_idx_t idx, sparsebit_num_t num) 1018783e9e51SPaolo Bonzini { 1019783e9e51SPaolo Bonzini sparsebit_idx_t next_set; 1020783e9e51SPaolo Bonzini 1021783e9e51SPaolo Bonzini assert(num > 0); 1022783e9e51SPaolo Bonzini assert(idx + num - 1 >= idx); 1023783e9e51SPaolo Bonzini 1024783e9e51SPaolo Bonzini /* With num > 0, the first bit must be cleared. */ 1025783e9e51SPaolo Bonzini if (!sparsebit_is_clear(s, idx)) 1026783e9e51SPaolo Bonzini return false; 1027783e9e51SPaolo Bonzini 1028783e9e51SPaolo Bonzini /* Find the next set bit */ 1029783e9e51SPaolo Bonzini next_set = sparsebit_next_set(s, idx); 1030783e9e51SPaolo Bonzini 1031783e9e51SPaolo Bonzini /* 1032783e9e51SPaolo Bonzini * If no set bits beyond idx, then there are at least num 1033783e9e51SPaolo Bonzini * cleared bits. idx + num doesn't wrap. Otherwise check if 1034783e9e51SPaolo Bonzini * there are enough cleared bits between idx and the next set bit. 1035783e9e51SPaolo Bonzini */ 1036783e9e51SPaolo Bonzini return next_set == 0 || next_set - idx >= num; 1037783e9e51SPaolo Bonzini } 1038783e9e51SPaolo Bonzini 1039783e9e51SPaolo Bonzini /* Returns the total number of bits set. Note: 0 is also returned for 1040783e9e51SPaolo Bonzini * the case of all bits set. This is because with all bits set, there 1041783e9e51SPaolo Bonzini * is 1 additional bit set beyond what can be represented in the return 1042783e9e51SPaolo Bonzini * value. Use sparsebit_any_set(), instead of sparsebit_num_set() > 0, 1043783e9e51SPaolo Bonzini * to determine if the sparsebit array has any bits set. 1044783e9e51SPaolo Bonzini */ 1045783e9e51SPaolo Bonzini sparsebit_num_t sparsebit_num_set(struct sparsebit *s) 1046783e9e51SPaolo Bonzini { 1047783e9e51SPaolo Bonzini return s->num_set; 1048783e9e51SPaolo Bonzini } 1049783e9e51SPaolo Bonzini 1050783e9e51SPaolo Bonzini /* Returns whether any bit is set in the sparsebit array. */ 1051783e9e51SPaolo Bonzini bool sparsebit_any_set(struct sparsebit *s) 1052783e9e51SPaolo Bonzini { 1053783e9e51SPaolo Bonzini /* 1054783e9e51SPaolo Bonzini * Nodes only describe set bits. If any nodes then there 1055783e9e51SPaolo Bonzini * is at least 1 bit set. 1056783e9e51SPaolo Bonzini */ 1057783e9e51SPaolo Bonzini if (!s->root) 1058783e9e51SPaolo Bonzini return false; 1059783e9e51SPaolo Bonzini 1060783e9e51SPaolo Bonzini /* 1061783e9e51SPaolo Bonzini * Every node should have a non-zero mask. For now will 1062783e9e51SPaolo Bonzini * just assure that the root node has a non-zero mask, 1063783e9e51SPaolo Bonzini * which is a quick check that at least 1 bit is set. 1064783e9e51SPaolo Bonzini */ 1065783e9e51SPaolo Bonzini assert(s->root->mask != 0); 1066783e9e51SPaolo Bonzini assert(s->num_set > 0 || 1067783e9e51SPaolo Bonzini (s->root->num_after == ((sparsebit_num_t) 0) - MASK_BITS && 1068783e9e51SPaolo Bonzini s->root->mask == ~(mask_t) 0)); 1069783e9e51SPaolo Bonzini 1070783e9e51SPaolo Bonzini return true; 1071783e9e51SPaolo Bonzini } 1072783e9e51SPaolo Bonzini 1073783e9e51SPaolo Bonzini /* Returns whether all the bits in the sparsebit array are cleared. */ 1074783e9e51SPaolo Bonzini bool sparsebit_all_clear(struct sparsebit *s) 1075783e9e51SPaolo Bonzini { 1076783e9e51SPaolo Bonzini return !sparsebit_any_set(s); 1077783e9e51SPaolo Bonzini } 1078783e9e51SPaolo Bonzini 1079783e9e51SPaolo Bonzini /* Returns whether all the bits in the sparsebit array are set. */ 1080783e9e51SPaolo Bonzini bool sparsebit_any_clear(struct sparsebit *s) 1081783e9e51SPaolo Bonzini { 1082783e9e51SPaolo Bonzini return !sparsebit_all_set(s); 1083783e9e51SPaolo Bonzini } 1084783e9e51SPaolo Bonzini 1085783e9e51SPaolo Bonzini /* Returns the index of the first set bit. Abort if no bits are set. 1086783e9e51SPaolo Bonzini */ 1087783e9e51SPaolo Bonzini sparsebit_idx_t sparsebit_first_set(struct sparsebit *s) 1088783e9e51SPaolo Bonzini { 1089783e9e51SPaolo Bonzini struct node *nodep; 1090783e9e51SPaolo Bonzini 1091783e9e51SPaolo Bonzini /* Validate at least 1 bit is set */ 1092783e9e51SPaolo Bonzini assert(sparsebit_any_set(s)); 1093783e9e51SPaolo Bonzini 1094783e9e51SPaolo Bonzini nodep = node_first(s); 1095783e9e51SPaolo Bonzini return node_first_set(nodep, 0); 1096783e9e51SPaolo Bonzini } 1097783e9e51SPaolo Bonzini 1098783e9e51SPaolo Bonzini /* Returns the index of the first cleared bit. Abort if 1099783e9e51SPaolo Bonzini * no bits are cleared. 1100783e9e51SPaolo Bonzini */ 1101783e9e51SPaolo Bonzini sparsebit_idx_t sparsebit_first_clear(struct sparsebit *s) 1102783e9e51SPaolo Bonzini { 1103783e9e51SPaolo Bonzini struct node *nodep1, *nodep2; 1104783e9e51SPaolo Bonzini 1105783e9e51SPaolo Bonzini /* Validate at least 1 bit is cleared. */ 1106783e9e51SPaolo Bonzini assert(sparsebit_any_clear(s)); 1107783e9e51SPaolo Bonzini 1108783e9e51SPaolo Bonzini /* If no nodes or first node index > 0 then lowest cleared is 0 */ 1109783e9e51SPaolo Bonzini nodep1 = node_first(s); 1110783e9e51SPaolo Bonzini if (!nodep1 || nodep1->idx > 0) 1111783e9e51SPaolo Bonzini return 0; 1112783e9e51SPaolo Bonzini 1113783e9e51SPaolo Bonzini /* Does the mask in the first node contain any cleared bits. */ 1114783e9e51SPaolo Bonzini if (nodep1->mask != ~(mask_t) 0) 1115783e9e51SPaolo Bonzini return node_first_clear(nodep1, 0); 1116783e9e51SPaolo Bonzini 1117783e9e51SPaolo Bonzini /* 1118783e9e51SPaolo Bonzini * All mask bits set in first node. If there isn't a second node 1119783e9e51SPaolo Bonzini * then the first cleared bit is the first bit after the bits 1120783e9e51SPaolo Bonzini * described by the first node. 1121783e9e51SPaolo Bonzini */ 1122783e9e51SPaolo Bonzini nodep2 = node_next(s, nodep1); 1123783e9e51SPaolo Bonzini if (!nodep2) { 1124783e9e51SPaolo Bonzini /* 1125783e9e51SPaolo Bonzini * No second node. First cleared bit is first bit beyond 1126783e9e51SPaolo Bonzini * bits described by first node. 1127783e9e51SPaolo Bonzini */ 1128783e9e51SPaolo Bonzini assert(nodep1->mask == ~(mask_t) 0); 1129783e9e51SPaolo Bonzini assert(nodep1->idx + MASK_BITS + nodep1->num_after != (sparsebit_idx_t) 0); 1130783e9e51SPaolo Bonzini return nodep1->idx + MASK_BITS + nodep1->num_after; 1131783e9e51SPaolo Bonzini } 1132783e9e51SPaolo Bonzini 1133783e9e51SPaolo Bonzini /* 1134783e9e51SPaolo Bonzini * There is a second node. 1135783e9e51SPaolo Bonzini * If it is not adjacent to the first node, then there is a gap 1136783e9e51SPaolo Bonzini * of cleared bits between the nodes, and the first cleared bit 1137783e9e51SPaolo Bonzini * is the first bit within the gap. 1138783e9e51SPaolo Bonzini */ 1139783e9e51SPaolo Bonzini if (nodep1->idx + MASK_BITS + nodep1->num_after != nodep2->idx) 1140783e9e51SPaolo Bonzini return nodep1->idx + MASK_BITS + nodep1->num_after; 1141783e9e51SPaolo Bonzini 1142783e9e51SPaolo Bonzini /* 1143783e9e51SPaolo Bonzini * Second node is adjacent to the first node. 1144783e9e51SPaolo Bonzini * Because it is adjacent, its mask should be non-zero. If all 1145783e9e51SPaolo Bonzini * its mask bits are set, then with it being adjacent, it should 1146783e9e51SPaolo Bonzini * have had the mask bits moved into the num_after setting of the 1147783e9e51SPaolo Bonzini * previous node. 1148783e9e51SPaolo Bonzini */ 1149783e9e51SPaolo Bonzini return node_first_clear(nodep2, 0); 1150783e9e51SPaolo Bonzini } 1151783e9e51SPaolo Bonzini 1152783e9e51SPaolo Bonzini /* Returns index of next bit set within s after the index given by prev. 1153783e9e51SPaolo Bonzini * Returns 0 if there are no bits after prev that are set. 1154783e9e51SPaolo Bonzini */ 1155783e9e51SPaolo Bonzini sparsebit_idx_t sparsebit_next_set(struct sparsebit *s, 1156783e9e51SPaolo Bonzini sparsebit_idx_t prev) 1157783e9e51SPaolo Bonzini { 1158783e9e51SPaolo Bonzini sparsebit_idx_t lowest_possible = prev + 1; 1159783e9e51SPaolo Bonzini sparsebit_idx_t start; 1160783e9e51SPaolo Bonzini struct node *nodep; 1161783e9e51SPaolo Bonzini 1162783e9e51SPaolo Bonzini /* A bit after the highest index can't be set. */ 1163783e9e51SPaolo Bonzini if (lowest_possible == 0) 1164783e9e51SPaolo Bonzini return 0; 1165783e9e51SPaolo Bonzini 1166783e9e51SPaolo Bonzini /* 1167783e9e51SPaolo Bonzini * Find the leftmost 'candidate' overlapping or to the right 1168783e9e51SPaolo Bonzini * of lowest_possible. 1169783e9e51SPaolo Bonzini */ 1170783e9e51SPaolo Bonzini struct node *candidate = NULL; 1171783e9e51SPaolo Bonzini 1172783e9e51SPaolo Bonzini /* True iff lowest_possible is within candidate */ 1173783e9e51SPaolo Bonzini bool contains = false; 1174783e9e51SPaolo Bonzini 1175783e9e51SPaolo Bonzini /* 1176783e9e51SPaolo Bonzini * Find node that describes setting of bit at lowest_possible. 1177783e9e51SPaolo Bonzini * If such a node doesn't exist, find the node with the lowest 1178783e9e51SPaolo Bonzini * starting index that is > lowest_possible. 1179783e9e51SPaolo Bonzini */ 1180783e9e51SPaolo Bonzini for (nodep = s->root; nodep;) { 1181783e9e51SPaolo Bonzini if ((nodep->idx + MASK_BITS + nodep->num_after - 1) 1182783e9e51SPaolo Bonzini >= lowest_possible) { 1183783e9e51SPaolo Bonzini candidate = nodep; 1184783e9e51SPaolo Bonzini if (candidate->idx <= lowest_possible) { 1185783e9e51SPaolo Bonzini contains = true; 1186783e9e51SPaolo Bonzini break; 1187783e9e51SPaolo Bonzini } 1188783e9e51SPaolo Bonzini nodep = nodep->left; 1189783e9e51SPaolo Bonzini } else { 1190783e9e51SPaolo Bonzini nodep = nodep->right; 1191783e9e51SPaolo Bonzini } 1192783e9e51SPaolo Bonzini } 1193783e9e51SPaolo Bonzini if (!candidate) 1194783e9e51SPaolo Bonzini return 0; 1195783e9e51SPaolo Bonzini 1196783e9e51SPaolo Bonzini assert(candidate->mask != 0); 1197783e9e51SPaolo Bonzini 1198783e9e51SPaolo Bonzini /* Does the candidate node describe the setting of lowest_possible? */ 1199783e9e51SPaolo Bonzini if (!contains) { 1200783e9e51SPaolo Bonzini /* 1201783e9e51SPaolo Bonzini * Candidate doesn't describe setting of bit at lowest_possible. 1202783e9e51SPaolo Bonzini * Candidate points to the first node with a starting index 1203783e9e51SPaolo Bonzini * > lowest_possible. 1204783e9e51SPaolo Bonzini */ 1205783e9e51SPaolo Bonzini assert(candidate->idx > lowest_possible); 1206783e9e51SPaolo Bonzini 1207783e9e51SPaolo Bonzini return node_first_set(candidate, 0); 1208783e9e51SPaolo Bonzini } 1209783e9e51SPaolo Bonzini 1210783e9e51SPaolo Bonzini /* 1211783e9e51SPaolo Bonzini * Candidate describes setting of bit at lowest_possible. 1212783e9e51SPaolo Bonzini * Note: although the node describes the setting of the bit 1213783e9e51SPaolo Bonzini * at lowest_possible, its possible that its setting and the 1214783e9e51SPaolo Bonzini * setting of all latter bits described by this node are 0. 1215783e9e51SPaolo Bonzini * For now, just handle the cases where this node describes 1216783e9e51SPaolo Bonzini * a bit at or after an index of lowest_possible that is set. 1217783e9e51SPaolo Bonzini */ 1218783e9e51SPaolo Bonzini start = lowest_possible - candidate->idx; 1219783e9e51SPaolo Bonzini 1220783e9e51SPaolo Bonzini if (start < MASK_BITS && candidate->mask >= (1 << start)) 1221783e9e51SPaolo Bonzini return node_first_set(candidate, start); 1222783e9e51SPaolo Bonzini 1223783e9e51SPaolo Bonzini if (candidate->num_after) { 1224783e9e51SPaolo Bonzini sparsebit_idx_t first_num_after_idx = candidate->idx + MASK_BITS; 1225783e9e51SPaolo Bonzini 1226783e9e51SPaolo Bonzini return lowest_possible < first_num_after_idx 1227783e9e51SPaolo Bonzini ? first_num_after_idx : lowest_possible; 1228783e9e51SPaolo Bonzini } 1229783e9e51SPaolo Bonzini 1230783e9e51SPaolo Bonzini /* 1231783e9e51SPaolo Bonzini * Although candidate node describes setting of bit at 1232783e9e51SPaolo Bonzini * the index of lowest_possible, all bits at that index and 1233783e9e51SPaolo Bonzini * latter that are described by candidate are cleared. With 1234783e9e51SPaolo Bonzini * this, the next bit is the first bit in the next node, if 1235783e9e51SPaolo Bonzini * such a node exists. If a next node doesn't exist, then 1236783e9e51SPaolo Bonzini * there is no next set bit. 1237783e9e51SPaolo Bonzini */ 1238783e9e51SPaolo Bonzini candidate = node_next(s, candidate); 1239783e9e51SPaolo Bonzini if (!candidate) 1240783e9e51SPaolo Bonzini return 0; 1241783e9e51SPaolo Bonzini 1242783e9e51SPaolo Bonzini return node_first_set(candidate, 0); 1243783e9e51SPaolo Bonzini } 1244783e9e51SPaolo Bonzini 1245783e9e51SPaolo Bonzini /* Returns index of next bit cleared within s after the index given by prev. 1246783e9e51SPaolo Bonzini * Returns 0 if there are no bits after prev that are cleared. 1247783e9e51SPaolo Bonzini */ 1248783e9e51SPaolo Bonzini sparsebit_idx_t sparsebit_next_clear(struct sparsebit *s, 1249783e9e51SPaolo Bonzini sparsebit_idx_t prev) 1250783e9e51SPaolo Bonzini { 1251783e9e51SPaolo Bonzini sparsebit_idx_t lowest_possible = prev + 1; 1252783e9e51SPaolo Bonzini sparsebit_idx_t idx; 1253783e9e51SPaolo Bonzini struct node *nodep1, *nodep2; 1254783e9e51SPaolo Bonzini 1255783e9e51SPaolo Bonzini /* A bit after the highest index can't be set. */ 1256783e9e51SPaolo Bonzini if (lowest_possible == 0) 1257783e9e51SPaolo Bonzini return 0; 1258783e9e51SPaolo Bonzini 1259783e9e51SPaolo Bonzini /* 1260783e9e51SPaolo Bonzini * Does a node describing the setting of lowest_possible exist? 1261783e9e51SPaolo Bonzini * If not, the bit at lowest_possible is cleared. 1262783e9e51SPaolo Bonzini */ 1263783e9e51SPaolo Bonzini nodep1 = node_find(s, lowest_possible); 1264783e9e51SPaolo Bonzini if (!nodep1) 1265783e9e51SPaolo Bonzini return lowest_possible; 1266783e9e51SPaolo Bonzini 1267783e9e51SPaolo Bonzini /* Does a mask bit in node 1 describe the next cleared bit. */ 1268783e9e51SPaolo Bonzini for (idx = lowest_possible - nodep1->idx; idx < MASK_BITS; idx++) 1269783e9e51SPaolo Bonzini if (!(nodep1->mask & (1 << idx))) 1270783e9e51SPaolo Bonzini return nodep1->idx + idx; 1271783e9e51SPaolo Bonzini 1272783e9e51SPaolo Bonzini /* 1273783e9e51SPaolo Bonzini * Next cleared bit is not described by node 1. If there 1274783e9e51SPaolo Bonzini * isn't a next node, then next cleared bit is described 1275783e9e51SPaolo Bonzini * by bit after the bits described by the first node. 1276783e9e51SPaolo Bonzini */ 1277783e9e51SPaolo Bonzini nodep2 = node_next(s, nodep1); 1278783e9e51SPaolo Bonzini if (!nodep2) 1279783e9e51SPaolo Bonzini return nodep1->idx + MASK_BITS + nodep1->num_after; 1280783e9e51SPaolo Bonzini 1281783e9e51SPaolo Bonzini /* 1282783e9e51SPaolo Bonzini * There is a second node. 1283783e9e51SPaolo Bonzini * If it is not adjacent to the first node, then there is a gap 1284783e9e51SPaolo Bonzini * of cleared bits between the nodes, and the next cleared bit 1285783e9e51SPaolo Bonzini * is the first bit within the gap. 1286783e9e51SPaolo Bonzini */ 1287783e9e51SPaolo Bonzini if (nodep1->idx + MASK_BITS + nodep1->num_after != nodep2->idx) 1288783e9e51SPaolo Bonzini return nodep1->idx + MASK_BITS + nodep1->num_after; 1289783e9e51SPaolo Bonzini 1290783e9e51SPaolo Bonzini /* 1291783e9e51SPaolo Bonzini * Second node is adjacent to the first node. 1292783e9e51SPaolo Bonzini * Because it is adjacent, its mask should be non-zero. If all 1293783e9e51SPaolo Bonzini * its mask bits are set, then with it being adjacent, it should 1294783e9e51SPaolo Bonzini * have had the mask bits moved into the num_after setting of the 1295783e9e51SPaolo Bonzini * previous node. 1296783e9e51SPaolo Bonzini */ 1297783e9e51SPaolo Bonzini return node_first_clear(nodep2, 0); 1298783e9e51SPaolo Bonzini } 1299783e9e51SPaolo Bonzini 1300783e9e51SPaolo Bonzini /* Starting with the index 1 greater than the index given by start, finds 1301783e9e51SPaolo Bonzini * and returns the index of the first sequence of num consecutively set 1302783e9e51SPaolo Bonzini * bits. Returns a value of 0 of no such sequence exists. 1303783e9e51SPaolo Bonzini */ 1304783e9e51SPaolo Bonzini sparsebit_idx_t sparsebit_next_set_num(struct sparsebit *s, 1305783e9e51SPaolo Bonzini sparsebit_idx_t start, sparsebit_num_t num) 1306783e9e51SPaolo Bonzini { 1307783e9e51SPaolo Bonzini sparsebit_idx_t idx; 1308783e9e51SPaolo Bonzini 1309783e9e51SPaolo Bonzini assert(num >= 1); 1310783e9e51SPaolo Bonzini 1311783e9e51SPaolo Bonzini for (idx = sparsebit_next_set(s, start); 1312783e9e51SPaolo Bonzini idx != 0 && idx + num - 1 >= idx; 1313783e9e51SPaolo Bonzini idx = sparsebit_next_set(s, idx)) { 1314783e9e51SPaolo Bonzini assert(sparsebit_is_set(s, idx)); 1315783e9e51SPaolo Bonzini 1316783e9e51SPaolo Bonzini /* 1317783e9e51SPaolo Bonzini * Does the sequence of bits starting at idx consist of 1318783e9e51SPaolo Bonzini * num set bits? 1319783e9e51SPaolo Bonzini */ 1320783e9e51SPaolo Bonzini if (sparsebit_is_set_num(s, idx, num)) 1321783e9e51SPaolo Bonzini return idx; 1322783e9e51SPaolo Bonzini 1323783e9e51SPaolo Bonzini /* 1324783e9e51SPaolo Bonzini * Sequence of set bits at idx isn't large enough. 1325783e9e51SPaolo Bonzini * Skip this entire sequence of set bits. 1326783e9e51SPaolo Bonzini */ 1327783e9e51SPaolo Bonzini idx = sparsebit_next_clear(s, idx); 1328783e9e51SPaolo Bonzini if (idx == 0) 1329783e9e51SPaolo Bonzini return 0; 1330783e9e51SPaolo Bonzini } 1331783e9e51SPaolo Bonzini 1332783e9e51SPaolo Bonzini return 0; 1333783e9e51SPaolo Bonzini } 1334783e9e51SPaolo Bonzini 1335783e9e51SPaolo Bonzini /* Starting with the index 1 greater than the index given by start, finds 1336783e9e51SPaolo Bonzini * and returns the index of the first sequence of num consecutively cleared 1337783e9e51SPaolo Bonzini * bits. Returns a value of 0 of no such sequence exists. 1338783e9e51SPaolo Bonzini */ 1339783e9e51SPaolo Bonzini sparsebit_idx_t sparsebit_next_clear_num(struct sparsebit *s, 1340783e9e51SPaolo Bonzini sparsebit_idx_t start, sparsebit_num_t num) 1341783e9e51SPaolo Bonzini { 1342783e9e51SPaolo Bonzini sparsebit_idx_t idx; 1343783e9e51SPaolo Bonzini 1344783e9e51SPaolo Bonzini assert(num >= 1); 1345783e9e51SPaolo Bonzini 1346783e9e51SPaolo Bonzini for (idx = sparsebit_next_clear(s, start); 1347783e9e51SPaolo Bonzini idx != 0 && idx + num - 1 >= idx; 1348783e9e51SPaolo Bonzini idx = sparsebit_next_clear(s, idx)) { 1349783e9e51SPaolo Bonzini assert(sparsebit_is_clear(s, idx)); 1350783e9e51SPaolo Bonzini 1351783e9e51SPaolo Bonzini /* 1352783e9e51SPaolo Bonzini * Does the sequence of bits starting at idx consist of 1353783e9e51SPaolo Bonzini * num cleared bits? 1354783e9e51SPaolo Bonzini */ 1355783e9e51SPaolo Bonzini if (sparsebit_is_clear_num(s, idx, num)) 1356783e9e51SPaolo Bonzini return idx; 1357783e9e51SPaolo Bonzini 1358783e9e51SPaolo Bonzini /* 1359783e9e51SPaolo Bonzini * Sequence of cleared bits at idx isn't large enough. 1360783e9e51SPaolo Bonzini * Skip this entire sequence of cleared bits. 1361783e9e51SPaolo Bonzini */ 1362783e9e51SPaolo Bonzini idx = sparsebit_next_set(s, idx); 1363783e9e51SPaolo Bonzini if (idx == 0) 1364783e9e51SPaolo Bonzini return 0; 1365783e9e51SPaolo Bonzini } 1366783e9e51SPaolo Bonzini 1367783e9e51SPaolo Bonzini return 0; 1368783e9e51SPaolo Bonzini } 1369783e9e51SPaolo Bonzini 1370783e9e51SPaolo Bonzini /* Sets the bits * in the inclusive range idx through idx + num - 1. */ 1371783e9e51SPaolo Bonzini void sparsebit_set_num(struct sparsebit *s, 1372783e9e51SPaolo Bonzini sparsebit_idx_t start, sparsebit_num_t num) 1373783e9e51SPaolo Bonzini { 1374783e9e51SPaolo Bonzini struct node *nodep, *next; 1375783e9e51SPaolo Bonzini unsigned int n1; 1376783e9e51SPaolo Bonzini sparsebit_idx_t idx; 1377783e9e51SPaolo Bonzini sparsebit_num_t n; 1378783e9e51SPaolo Bonzini sparsebit_idx_t middle_start, middle_end; 1379783e9e51SPaolo Bonzini 1380783e9e51SPaolo Bonzini assert(num > 0); 1381783e9e51SPaolo Bonzini assert(start + num - 1 >= start); 1382783e9e51SPaolo Bonzini 1383783e9e51SPaolo Bonzini /* 1384783e9e51SPaolo Bonzini * Leading - bits before first mask boundary. 1385783e9e51SPaolo Bonzini * 1386783e9e51SPaolo Bonzini * TODO(lhuemill): With some effort it may be possible to 1387783e9e51SPaolo Bonzini * replace the following loop with a sequential sequence 1388783e9e51SPaolo Bonzini * of statements. High level sequence would be: 1389783e9e51SPaolo Bonzini * 1390783e9e51SPaolo Bonzini * 1. Use node_split() to force node that describes setting 1391783e9e51SPaolo Bonzini * of idx to be within the mask portion of a node. 1392783e9e51SPaolo Bonzini * 2. Form mask of bits to be set. 1393783e9e51SPaolo Bonzini * 3. Determine number of mask bits already set in the node 1394783e9e51SPaolo Bonzini * and store in a local variable named num_already_set. 1395783e9e51SPaolo Bonzini * 4. Set the appropriate mask bits within the node. 1396783e9e51SPaolo Bonzini * 5. Increment struct sparsebit_pvt num_set member 1397783e9e51SPaolo Bonzini * by the number of bits that were actually set. 1398783e9e51SPaolo Bonzini * Exclude from the counts bits that were already set. 1399783e9e51SPaolo Bonzini * 6. Before returning to the caller, use node_reduce() to 1400783e9e51SPaolo Bonzini * handle the multiple corner cases that this method 1401783e9e51SPaolo Bonzini * introduces. 1402783e9e51SPaolo Bonzini */ 1403783e9e51SPaolo Bonzini for (idx = start, n = num; n > 0 && idx % MASK_BITS != 0; idx++, n--) 1404783e9e51SPaolo Bonzini bit_set(s, idx); 1405783e9e51SPaolo Bonzini 1406783e9e51SPaolo Bonzini /* Middle - bits spanning one or more entire mask */ 1407783e9e51SPaolo Bonzini middle_start = idx; 1408783e9e51SPaolo Bonzini middle_end = middle_start + (n & -MASK_BITS) - 1; 1409783e9e51SPaolo Bonzini if (n >= MASK_BITS) { 1410783e9e51SPaolo Bonzini nodep = node_split(s, middle_start); 1411783e9e51SPaolo Bonzini 1412783e9e51SPaolo Bonzini /* 1413783e9e51SPaolo Bonzini * As needed, split just after end of middle bits. 1414783e9e51SPaolo Bonzini * No split needed if end of middle bits is at highest 1415783e9e51SPaolo Bonzini * supported bit index. 1416783e9e51SPaolo Bonzini */ 1417783e9e51SPaolo Bonzini if (middle_end + 1 > middle_end) 1418783e9e51SPaolo Bonzini (void) node_split(s, middle_end + 1); 1419783e9e51SPaolo Bonzini 1420783e9e51SPaolo Bonzini /* Delete nodes that only describe bits within the middle. */ 1421783e9e51SPaolo Bonzini for (next = node_next(s, nodep); 1422783e9e51SPaolo Bonzini next && (next->idx < middle_end); 1423783e9e51SPaolo Bonzini next = node_next(s, nodep)) { 1424783e9e51SPaolo Bonzini assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); 1425783e9e51SPaolo Bonzini node_rm(s, next); 1426783e9e51SPaolo Bonzini next = NULL; 1427783e9e51SPaolo Bonzini } 1428783e9e51SPaolo Bonzini 1429783e9e51SPaolo Bonzini /* As needed set each of the mask bits */ 1430783e9e51SPaolo Bonzini for (n1 = 0; n1 < MASK_BITS; n1++) { 1431783e9e51SPaolo Bonzini if (!(nodep->mask & (1 << n1))) { 1432783e9e51SPaolo Bonzini nodep->mask |= 1 << n1; 1433783e9e51SPaolo Bonzini s->num_set++; 1434783e9e51SPaolo Bonzini } 1435783e9e51SPaolo Bonzini } 1436783e9e51SPaolo Bonzini 1437783e9e51SPaolo Bonzini s->num_set -= nodep->num_after; 1438783e9e51SPaolo Bonzini nodep->num_after = middle_end - middle_start + 1 - MASK_BITS; 1439783e9e51SPaolo Bonzini s->num_set += nodep->num_after; 1440783e9e51SPaolo Bonzini 1441783e9e51SPaolo Bonzini node_reduce(s, nodep); 1442783e9e51SPaolo Bonzini } 1443783e9e51SPaolo Bonzini idx = middle_end + 1; 1444783e9e51SPaolo Bonzini n -= middle_end - middle_start + 1; 1445783e9e51SPaolo Bonzini 1446783e9e51SPaolo Bonzini /* Trailing - bits at and beyond last mask boundary */ 1447783e9e51SPaolo Bonzini assert(n < MASK_BITS); 1448783e9e51SPaolo Bonzini for (; n > 0; idx++, n--) 1449783e9e51SPaolo Bonzini bit_set(s, idx); 1450783e9e51SPaolo Bonzini } 1451783e9e51SPaolo Bonzini 1452783e9e51SPaolo Bonzini /* Clears the bits * in the inclusive range idx through idx + num - 1. */ 1453783e9e51SPaolo Bonzini void sparsebit_clear_num(struct sparsebit *s, 1454783e9e51SPaolo Bonzini sparsebit_idx_t start, sparsebit_num_t num) 1455783e9e51SPaolo Bonzini { 1456783e9e51SPaolo Bonzini struct node *nodep, *next; 1457783e9e51SPaolo Bonzini unsigned int n1; 1458783e9e51SPaolo Bonzini sparsebit_idx_t idx; 1459783e9e51SPaolo Bonzini sparsebit_num_t n; 1460783e9e51SPaolo Bonzini sparsebit_idx_t middle_start, middle_end; 1461783e9e51SPaolo Bonzini 1462783e9e51SPaolo Bonzini assert(num > 0); 1463783e9e51SPaolo Bonzini assert(start + num - 1 >= start); 1464783e9e51SPaolo Bonzini 1465783e9e51SPaolo Bonzini /* Leading - bits before first mask boundary */ 1466783e9e51SPaolo Bonzini for (idx = start, n = num; n > 0 && idx % MASK_BITS != 0; idx++, n--) 1467783e9e51SPaolo Bonzini bit_clear(s, idx); 1468783e9e51SPaolo Bonzini 1469783e9e51SPaolo Bonzini /* Middle - bits spanning one or more entire mask */ 1470783e9e51SPaolo Bonzini middle_start = idx; 1471783e9e51SPaolo Bonzini middle_end = middle_start + (n & -MASK_BITS) - 1; 1472783e9e51SPaolo Bonzini if (n >= MASK_BITS) { 1473783e9e51SPaolo Bonzini nodep = node_split(s, middle_start); 1474783e9e51SPaolo Bonzini 1475783e9e51SPaolo Bonzini /* 1476783e9e51SPaolo Bonzini * As needed, split just after end of middle bits. 1477783e9e51SPaolo Bonzini * No split needed if end of middle bits is at highest 1478783e9e51SPaolo Bonzini * supported bit index. 1479783e9e51SPaolo Bonzini */ 1480783e9e51SPaolo Bonzini if (middle_end + 1 > middle_end) 1481783e9e51SPaolo Bonzini (void) node_split(s, middle_end + 1); 1482783e9e51SPaolo Bonzini 1483783e9e51SPaolo Bonzini /* Delete nodes that only describe bits within the middle. */ 1484783e9e51SPaolo Bonzini for (next = node_next(s, nodep); 1485783e9e51SPaolo Bonzini next && (next->idx < middle_end); 1486783e9e51SPaolo Bonzini next = node_next(s, nodep)) { 1487783e9e51SPaolo Bonzini assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); 1488783e9e51SPaolo Bonzini node_rm(s, next); 1489783e9e51SPaolo Bonzini next = NULL; 1490783e9e51SPaolo Bonzini } 1491783e9e51SPaolo Bonzini 1492783e9e51SPaolo Bonzini /* As needed clear each of the mask bits */ 1493783e9e51SPaolo Bonzini for (n1 = 0; n1 < MASK_BITS; n1++) { 1494783e9e51SPaolo Bonzini if (nodep->mask & (1 << n1)) { 1495783e9e51SPaolo Bonzini nodep->mask &= ~(1 << n1); 1496783e9e51SPaolo Bonzini s->num_set--; 1497783e9e51SPaolo Bonzini } 1498783e9e51SPaolo Bonzini } 1499783e9e51SPaolo Bonzini 1500783e9e51SPaolo Bonzini /* Clear any bits described by num_after */ 1501783e9e51SPaolo Bonzini s->num_set -= nodep->num_after; 1502783e9e51SPaolo Bonzini nodep->num_after = 0; 1503783e9e51SPaolo Bonzini 1504783e9e51SPaolo Bonzini /* 1505783e9e51SPaolo Bonzini * Delete the node that describes the beginning of 1506783e9e51SPaolo Bonzini * the middle bits and perform any allowed reductions 1507783e9e51SPaolo Bonzini * with the nodes prev or next of nodep. 1508783e9e51SPaolo Bonzini */ 1509783e9e51SPaolo Bonzini node_reduce(s, nodep); 1510783e9e51SPaolo Bonzini nodep = NULL; 1511783e9e51SPaolo Bonzini } 1512783e9e51SPaolo Bonzini idx = middle_end + 1; 1513783e9e51SPaolo Bonzini n -= middle_end - middle_start + 1; 1514783e9e51SPaolo Bonzini 1515783e9e51SPaolo Bonzini /* Trailing - bits at and beyond last mask boundary */ 1516783e9e51SPaolo Bonzini assert(n < MASK_BITS); 1517783e9e51SPaolo Bonzini for (; n > 0; idx++, n--) 1518783e9e51SPaolo Bonzini bit_clear(s, idx); 1519783e9e51SPaolo Bonzini } 1520783e9e51SPaolo Bonzini 1521783e9e51SPaolo Bonzini /* Sets the bit at the index given by idx. */ 1522783e9e51SPaolo Bonzini void sparsebit_set(struct sparsebit *s, sparsebit_idx_t idx) 1523783e9e51SPaolo Bonzini { 1524783e9e51SPaolo Bonzini sparsebit_set_num(s, idx, 1); 1525783e9e51SPaolo Bonzini } 1526783e9e51SPaolo Bonzini 1527783e9e51SPaolo Bonzini /* Clears the bit at the index given by idx. */ 1528783e9e51SPaolo Bonzini void sparsebit_clear(struct sparsebit *s, sparsebit_idx_t idx) 1529783e9e51SPaolo Bonzini { 1530783e9e51SPaolo Bonzini sparsebit_clear_num(s, idx, 1); 1531783e9e51SPaolo Bonzini } 1532783e9e51SPaolo Bonzini 1533783e9e51SPaolo Bonzini /* Sets the bits in the entire addressable range of the sparsebit array. */ 1534783e9e51SPaolo Bonzini void sparsebit_set_all(struct sparsebit *s) 1535783e9e51SPaolo Bonzini { 1536783e9e51SPaolo Bonzini sparsebit_set(s, 0); 1537783e9e51SPaolo Bonzini sparsebit_set_num(s, 1, ~(sparsebit_idx_t) 0); 1538783e9e51SPaolo Bonzini assert(sparsebit_all_set(s)); 1539783e9e51SPaolo Bonzini } 1540783e9e51SPaolo Bonzini 1541783e9e51SPaolo Bonzini /* Clears the bits in the entire addressable range of the sparsebit array. */ 1542783e9e51SPaolo Bonzini void sparsebit_clear_all(struct sparsebit *s) 1543783e9e51SPaolo Bonzini { 1544783e9e51SPaolo Bonzini sparsebit_clear(s, 0); 1545783e9e51SPaolo Bonzini sparsebit_clear_num(s, 1, ~(sparsebit_idx_t) 0); 1546783e9e51SPaolo Bonzini assert(!sparsebit_any_set(s)); 1547783e9e51SPaolo Bonzini } 1548783e9e51SPaolo Bonzini 1549783e9e51SPaolo Bonzini static size_t display_range(FILE *stream, sparsebit_idx_t low, 1550783e9e51SPaolo Bonzini sparsebit_idx_t high, bool prepend_comma_space) 1551783e9e51SPaolo Bonzini { 1552783e9e51SPaolo Bonzini char *fmt_str; 1553783e9e51SPaolo Bonzini size_t sz; 1554783e9e51SPaolo Bonzini 1555783e9e51SPaolo Bonzini /* Determine the printf format string */ 1556783e9e51SPaolo Bonzini if (low == high) 1557783e9e51SPaolo Bonzini fmt_str = prepend_comma_space ? ", 0x%lx" : "0x%lx"; 1558783e9e51SPaolo Bonzini else 1559783e9e51SPaolo Bonzini fmt_str = prepend_comma_space ? ", 0x%lx:0x%lx" : "0x%lx:0x%lx"; 1560783e9e51SPaolo Bonzini 1561783e9e51SPaolo Bonzini /* 1562783e9e51SPaolo Bonzini * When stream is NULL, just determine the size of what would 1563783e9e51SPaolo Bonzini * have been printed, else print the range. 1564783e9e51SPaolo Bonzini */ 1565783e9e51SPaolo Bonzini if (!stream) 1566783e9e51SPaolo Bonzini sz = snprintf(NULL, 0, fmt_str, low, high); 1567783e9e51SPaolo Bonzini else 1568783e9e51SPaolo Bonzini sz = fprintf(stream, fmt_str, low, high); 1569783e9e51SPaolo Bonzini 1570783e9e51SPaolo Bonzini return sz; 1571783e9e51SPaolo Bonzini } 1572783e9e51SPaolo Bonzini 1573783e9e51SPaolo Bonzini 1574783e9e51SPaolo Bonzini /* Dumps to the FILE stream given by stream, the bit settings 1575783e9e51SPaolo Bonzini * of s. Each line of output is prefixed with the number of 1576783e9e51SPaolo Bonzini * spaces given by indent. The length of each line is implementation 1577783e9e51SPaolo Bonzini * dependent and does not depend on the indent amount. The following 1578783e9e51SPaolo Bonzini * is an example output of a sparsebit array that has bits: 1579783e9e51SPaolo Bonzini * 1580783e9e51SPaolo Bonzini * 0x5, 0x8, 0xa:0xe, 0x12 1581783e9e51SPaolo Bonzini * 1582783e9e51SPaolo Bonzini * This corresponds to a sparsebit whose bits 5, 8, 10, 11, 12, 13, 14, 18 1583783e9e51SPaolo Bonzini * are set. Note that a ':', instead of a '-' is used to specify a range of 1584783e9e51SPaolo Bonzini * contiguous bits. This is done because '-' is used to specify command-line 1585783e9e51SPaolo Bonzini * options, and sometimes ranges are specified as command-line arguments. 1586783e9e51SPaolo Bonzini */ 1587783e9e51SPaolo Bonzini void sparsebit_dump(FILE *stream, struct sparsebit *s, 1588783e9e51SPaolo Bonzini unsigned int indent) 1589783e9e51SPaolo Bonzini { 1590783e9e51SPaolo Bonzini size_t current_line_len = 0; 1591783e9e51SPaolo Bonzini size_t sz; 1592783e9e51SPaolo Bonzini struct node *nodep; 1593783e9e51SPaolo Bonzini 1594783e9e51SPaolo Bonzini if (!sparsebit_any_set(s)) 1595783e9e51SPaolo Bonzini return; 1596783e9e51SPaolo Bonzini 1597783e9e51SPaolo Bonzini /* Display initial indent */ 1598783e9e51SPaolo Bonzini fprintf(stream, "%*s", indent, ""); 1599783e9e51SPaolo Bonzini 1600783e9e51SPaolo Bonzini /* For each node */ 1601783e9e51SPaolo Bonzini for (nodep = node_first(s); nodep; nodep = node_next(s, nodep)) { 1602783e9e51SPaolo Bonzini unsigned int n1; 1603783e9e51SPaolo Bonzini sparsebit_idx_t low, high; 1604783e9e51SPaolo Bonzini 1605783e9e51SPaolo Bonzini /* For each group of bits in the mask */ 1606783e9e51SPaolo Bonzini for (n1 = 0; n1 < MASK_BITS; n1++) { 1607783e9e51SPaolo Bonzini if (nodep->mask & (1 << n1)) { 1608783e9e51SPaolo Bonzini low = high = nodep->idx + n1; 1609783e9e51SPaolo Bonzini 1610783e9e51SPaolo Bonzini for (; n1 < MASK_BITS; n1++) { 1611783e9e51SPaolo Bonzini if (nodep->mask & (1 << n1)) 1612783e9e51SPaolo Bonzini high = nodep->idx + n1; 1613783e9e51SPaolo Bonzini else 1614783e9e51SPaolo Bonzini break; 1615783e9e51SPaolo Bonzini } 1616783e9e51SPaolo Bonzini 1617783e9e51SPaolo Bonzini if ((n1 == MASK_BITS) && nodep->num_after) 1618783e9e51SPaolo Bonzini high += nodep->num_after; 1619783e9e51SPaolo Bonzini 1620783e9e51SPaolo Bonzini /* 1621783e9e51SPaolo Bonzini * How much room will it take to display 1622783e9e51SPaolo Bonzini * this range. 1623783e9e51SPaolo Bonzini */ 1624783e9e51SPaolo Bonzini sz = display_range(NULL, low, high, 1625783e9e51SPaolo Bonzini current_line_len != 0); 1626783e9e51SPaolo Bonzini 1627783e9e51SPaolo Bonzini /* 1628783e9e51SPaolo Bonzini * If there is not enough room, display 1629783e9e51SPaolo Bonzini * a newline plus the indent of the next 1630783e9e51SPaolo Bonzini * line. 1631783e9e51SPaolo Bonzini */ 1632783e9e51SPaolo Bonzini if (current_line_len + sz > DUMP_LINE_MAX) { 1633783e9e51SPaolo Bonzini fputs("\n", stream); 1634783e9e51SPaolo Bonzini fprintf(stream, "%*s", indent, ""); 1635783e9e51SPaolo Bonzini current_line_len = 0; 1636783e9e51SPaolo Bonzini } 1637783e9e51SPaolo Bonzini 1638783e9e51SPaolo Bonzini /* Display the range */ 1639783e9e51SPaolo Bonzini sz = display_range(stream, low, high, 1640783e9e51SPaolo Bonzini current_line_len != 0); 1641783e9e51SPaolo Bonzini current_line_len += sz; 1642783e9e51SPaolo Bonzini } 1643783e9e51SPaolo Bonzini } 1644783e9e51SPaolo Bonzini 1645783e9e51SPaolo Bonzini /* 1646783e9e51SPaolo Bonzini * If num_after and most significant-bit of mask is not 1647783e9e51SPaolo Bonzini * set, then still need to display a range for the bits 1648783e9e51SPaolo Bonzini * described by num_after. 1649783e9e51SPaolo Bonzini */ 1650783e9e51SPaolo Bonzini if (!(nodep->mask & (1 << (MASK_BITS - 1))) && nodep->num_after) { 1651783e9e51SPaolo Bonzini low = nodep->idx + MASK_BITS; 1652783e9e51SPaolo Bonzini high = nodep->idx + MASK_BITS + nodep->num_after - 1; 1653783e9e51SPaolo Bonzini 1654783e9e51SPaolo Bonzini /* 1655783e9e51SPaolo Bonzini * How much room will it take to display 1656783e9e51SPaolo Bonzini * this range. 1657783e9e51SPaolo Bonzini */ 1658783e9e51SPaolo Bonzini sz = display_range(NULL, low, high, 1659783e9e51SPaolo Bonzini current_line_len != 0); 1660783e9e51SPaolo Bonzini 1661783e9e51SPaolo Bonzini /* 1662783e9e51SPaolo Bonzini * If there is not enough room, display 1663783e9e51SPaolo Bonzini * a newline plus the indent of the next 1664783e9e51SPaolo Bonzini * line. 1665783e9e51SPaolo Bonzini */ 1666783e9e51SPaolo Bonzini if (current_line_len + sz > DUMP_LINE_MAX) { 1667783e9e51SPaolo Bonzini fputs("\n", stream); 1668783e9e51SPaolo Bonzini fprintf(stream, "%*s", indent, ""); 1669783e9e51SPaolo Bonzini current_line_len = 0; 1670783e9e51SPaolo Bonzini } 1671783e9e51SPaolo Bonzini 1672783e9e51SPaolo Bonzini /* Display the range */ 1673783e9e51SPaolo Bonzini sz = display_range(stream, low, high, 1674783e9e51SPaolo Bonzini current_line_len != 0); 1675783e9e51SPaolo Bonzini current_line_len += sz; 1676783e9e51SPaolo Bonzini } 1677783e9e51SPaolo Bonzini } 1678783e9e51SPaolo Bonzini fputs("\n", stream); 1679783e9e51SPaolo Bonzini } 1680783e9e51SPaolo Bonzini 1681783e9e51SPaolo Bonzini /* Validates the internal state of the sparsebit array given by 1682783e9e51SPaolo Bonzini * s. On error, diagnostic information is printed to stderr and 1683783e9e51SPaolo Bonzini * abort is called. 1684783e9e51SPaolo Bonzini */ 1685783e9e51SPaolo Bonzini void sparsebit_validate_internal(struct sparsebit *s) 1686783e9e51SPaolo Bonzini { 1687783e9e51SPaolo Bonzini bool error_detected = false; 1688783e9e51SPaolo Bonzini struct node *nodep, *prev = NULL; 1689783e9e51SPaolo Bonzini sparsebit_num_t total_bits_set = 0; 1690783e9e51SPaolo Bonzini unsigned int n1; 1691783e9e51SPaolo Bonzini 1692783e9e51SPaolo Bonzini /* For each node */ 1693783e9e51SPaolo Bonzini for (nodep = node_first(s); nodep; 1694783e9e51SPaolo Bonzini prev = nodep, nodep = node_next(s, nodep)) { 1695783e9e51SPaolo Bonzini 1696783e9e51SPaolo Bonzini /* 1697783e9e51SPaolo Bonzini * Increase total bits set by the number of bits set 1698783e9e51SPaolo Bonzini * in this node. 1699783e9e51SPaolo Bonzini */ 1700783e9e51SPaolo Bonzini for (n1 = 0; n1 < MASK_BITS; n1++) 1701783e9e51SPaolo Bonzini if (nodep->mask & (1 << n1)) 1702783e9e51SPaolo Bonzini total_bits_set++; 1703783e9e51SPaolo Bonzini 1704783e9e51SPaolo Bonzini total_bits_set += nodep->num_after; 1705783e9e51SPaolo Bonzini 1706783e9e51SPaolo Bonzini /* 1707783e9e51SPaolo Bonzini * Arbitrary choice as to whether a mask of 0 is allowed 1708783e9e51SPaolo Bonzini * or not. For diagnostic purposes it is beneficial to 1709783e9e51SPaolo Bonzini * have only one valid means to represent a set of bits. 1710783e9e51SPaolo Bonzini * To support this an arbitrary choice has been made 1711783e9e51SPaolo Bonzini * to not allow a mask of zero. 1712783e9e51SPaolo Bonzini */ 1713783e9e51SPaolo Bonzini if (nodep->mask == 0) { 1714783e9e51SPaolo Bonzini fprintf(stderr, "Node mask of zero, " 1715783e9e51SPaolo Bonzini "nodep: %p nodep->mask: 0x%x", 1716783e9e51SPaolo Bonzini nodep, nodep->mask); 1717783e9e51SPaolo Bonzini error_detected = true; 1718783e9e51SPaolo Bonzini break; 1719783e9e51SPaolo Bonzini } 1720783e9e51SPaolo Bonzini 1721783e9e51SPaolo Bonzini /* 1722783e9e51SPaolo Bonzini * Validate num_after is not greater than the max index 1723783e9e51SPaolo Bonzini * - the number of mask bits. The num_after member 1724783e9e51SPaolo Bonzini * uses 0-based indexing and thus has no value that 1725783e9e51SPaolo Bonzini * represents all bits set. This limitation is handled 1726783e9e51SPaolo Bonzini * by requiring a non-zero mask. With a non-zero mask, 1727783e9e51SPaolo Bonzini * MASK_BITS worth of bits are described by the mask, 1728783e9e51SPaolo Bonzini * which makes the largest needed num_after equal to: 1729783e9e51SPaolo Bonzini * 1730783e9e51SPaolo Bonzini * (~(sparsebit_num_t) 0) - MASK_BITS + 1 1731783e9e51SPaolo Bonzini */ 1732783e9e51SPaolo Bonzini if (nodep->num_after 1733783e9e51SPaolo Bonzini > (~(sparsebit_num_t) 0) - MASK_BITS + 1) { 1734783e9e51SPaolo Bonzini fprintf(stderr, "num_after too large, " 1735783e9e51SPaolo Bonzini "nodep: %p nodep->num_after: 0x%lx", 1736783e9e51SPaolo Bonzini nodep, nodep->num_after); 1737783e9e51SPaolo Bonzini error_detected = true; 1738783e9e51SPaolo Bonzini break; 1739783e9e51SPaolo Bonzini } 1740783e9e51SPaolo Bonzini 1741783e9e51SPaolo Bonzini /* Validate node index is divisible by the mask size */ 1742783e9e51SPaolo Bonzini if (nodep->idx % MASK_BITS) { 17434d5f26eeSColin Ian King fprintf(stderr, "Node index not divisible by " 1744783e9e51SPaolo Bonzini "mask size,\n" 1745783e9e51SPaolo Bonzini " nodep: %p nodep->idx: 0x%lx " 1746783e9e51SPaolo Bonzini "MASK_BITS: %lu\n", 1747783e9e51SPaolo Bonzini nodep, nodep->idx, MASK_BITS); 1748783e9e51SPaolo Bonzini error_detected = true; 1749783e9e51SPaolo Bonzini break; 1750783e9e51SPaolo Bonzini } 1751783e9e51SPaolo Bonzini 1752783e9e51SPaolo Bonzini /* 1753783e9e51SPaolo Bonzini * Validate bits described by node don't wrap beyond the 1754783e9e51SPaolo Bonzini * highest supported index. 1755783e9e51SPaolo Bonzini */ 1756783e9e51SPaolo Bonzini if ((nodep->idx + MASK_BITS + nodep->num_after - 1) < nodep->idx) { 1757783e9e51SPaolo Bonzini fprintf(stderr, "Bits described by node wrap " 1758783e9e51SPaolo Bonzini "beyond highest supported index,\n" 1759783e9e51SPaolo Bonzini " nodep: %p nodep->idx: 0x%lx\n" 1760783e9e51SPaolo Bonzini " MASK_BITS: %lu nodep->num_after: 0x%lx", 1761783e9e51SPaolo Bonzini nodep, nodep->idx, MASK_BITS, nodep->num_after); 1762783e9e51SPaolo Bonzini error_detected = true; 1763783e9e51SPaolo Bonzini break; 1764783e9e51SPaolo Bonzini } 1765783e9e51SPaolo Bonzini 1766783e9e51SPaolo Bonzini /* Check parent pointers. */ 1767783e9e51SPaolo Bonzini if (nodep->left) { 1768783e9e51SPaolo Bonzini if (nodep->left->parent != nodep) { 1769783e9e51SPaolo Bonzini fprintf(stderr, "Left child parent pointer " 1770783e9e51SPaolo Bonzini "doesn't point to this node,\n" 1771783e9e51SPaolo Bonzini " nodep: %p nodep->left: %p " 1772783e9e51SPaolo Bonzini "nodep->left->parent: %p", 1773783e9e51SPaolo Bonzini nodep, nodep->left, 1774783e9e51SPaolo Bonzini nodep->left->parent); 1775783e9e51SPaolo Bonzini error_detected = true; 1776783e9e51SPaolo Bonzini break; 1777783e9e51SPaolo Bonzini } 1778783e9e51SPaolo Bonzini } 1779783e9e51SPaolo Bonzini 1780783e9e51SPaolo Bonzini if (nodep->right) { 1781783e9e51SPaolo Bonzini if (nodep->right->parent != nodep) { 1782783e9e51SPaolo Bonzini fprintf(stderr, "Right child parent pointer " 1783783e9e51SPaolo Bonzini "doesn't point to this node,\n" 1784783e9e51SPaolo Bonzini " nodep: %p nodep->right: %p " 1785783e9e51SPaolo Bonzini "nodep->right->parent: %p", 1786783e9e51SPaolo Bonzini nodep, nodep->right, 1787783e9e51SPaolo Bonzini nodep->right->parent); 1788783e9e51SPaolo Bonzini error_detected = true; 1789783e9e51SPaolo Bonzini break; 1790783e9e51SPaolo Bonzini } 1791783e9e51SPaolo Bonzini } 1792783e9e51SPaolo Bonzini 1793783e9e51SPaolo Bonzini if (!nodep->parent) { 1794783e9e51SPaolo Bonzini if (s->root != nodep) { 1795783e9e51SPaolo Bonzini fprintf(stderr, "Unexpected root node, " 1796783e9e51SPaolo Bonzini "s->root: %p nodep: %p", 1797783e9e51SPaolo Bonzini s->root, nodep); 1798783e9e51SPaolo Bonzini error_detected = true; 1799783e9e51SPaolo Bonzini break; 1800783e9e51SPaolo Bonzini } 1801783e9e51SPaolo Bonzini } 1802783e9e51SPaolo Bonzini 1803783e9e51SPaolo Bonzini if (prev) { 1804783e9e51SPaolo Bonzini /* 1805783e9e51SPaolo Bonzini * Is index of previous node before index of 1806783e9e51SPaolo Bonzini * current node? 1807783e9e51SPaolo Bonzini */ 1808783e9e51SPaolo Bonzini if (prev->idx >= nodep->idx) { 1809783e9e51SPaolo Bonzini fprintf(stderr, "Previous node index " 1810783e9e51SPaolo Bonzini ">= current node index,\n" 1811783e9e51SPaolo Bonzini " prev: %p prev->idx: 0x%lx\n" 1812783e9e51SPaolo Bonzini " nodep: %p nodep->idx: 0x%lx", 1813783e9e51SPaolo Bonzini prev, prev->idx, nodep, nodep->idx); 1814783e9e51SPaolo Bonzini error_detected = true; 1815783e9e51SPaolo Bonzini break; 1816783e9e51SPaolo Bonzini } 1817783e9e51SPaolo Bonzini 1818783e9e51SPaolo Bonzini /* 1819783e9e51SPaolo Bonzini * Nodes occur in asscending order, based on each 1820783e9e51SPaolo Bonzini * nodes starting index. 1821783e9e51SPaolo Bonzini */ 1822783e9e51SPaolo Bonzini if ((prev->idx + MASK_BITS + prev->num_after - 1) 1823783e9e51SPaolo Bonzini >= nodep->idx) { 1824783e9e51SPaolo Bonzini fprintf(stderr, "Previous node bit range " 1825783e9e51SPaolo Bonzini "overlap with current node bit range,\n" 1826783e9e51SPaolo Bonzini " prev: %p prev->idx: 0x%lx " 1827783e9e51SPaolo Bonzini "prev->num_after: 0x%lx\n" 1828783e9e51SPaolo Bonzini " nodep: %p nodep->idx: 0x%lx " 1829783e9e51SPaolo Bonzini "nodep->num_after: 0x%lx\n" 1830783e9e51SPaolo Bonzini " MASK_BITS: %lu", 1831783e9e51SPaolo Bonzini prev, prev->idx, prev->num_after, 1832783e9e51SPaolo Bonzini nodep, nodep->idx, nodep->num_after, 1833783e9e51SPaolo Bonzini MASK_BITS); 1834783e9e51SPaolo Bonzini error_detected = true; 1835783e9e51SPaolo Bonzini break; 1836783e9e51SPaolo Bonzini } 1837783e9e51SPaolo Bonzini 1838783e9e51SPaolo Bonzini /* 1839783e9e51SPaolo Bonzini * When the node has all mask bits set, it shouldn't 1840783e9e51SPaolo Bonzini * be adjacent to the last bit described by the 1841783e9e51SPaolo Bonzini * previous node. 1842783e9e51SPaolo Bonzini */ 1843783e9e51SPaolo Bonzini if (nodep->mask == ~(mask_t) 0 && 1844783e9e51SPaolo Bonzini prev->idx + MASK_BITS + prev->num_after == nodep->idx) { 1845783e9e51SPaolo Bonzini fprintf(stderr, "Current node has mask with " 1846783e9e51SPaolo Bonzini "all bits set and is adjacent to the " 1847783e9e51SPaolo Bonzini "previous node,\n" 1848783e9e51SPaolo Bonzini " prev: %p prev->idx: 0x%lx " 1849783e9e51SPaolo Bonzini "prev->num_after: 0x%lx\n" 1850783e9e51SPaolo Bonzini " nodep: %p nodep->idx: 0x%lx " 1851783e9e51SPaolo Bonzini "nodep->num_after: 0x%lx\n" 1852783e9e51SPaolo Bonzini " MASK_BITS: %lu", 1853783e9e51SPaolo Bonzini prev, prev->idx, prev->num_after, 1854783e9e51SPaolo Bonzini nodep, nodep->idx, nodep->num_after, 1855783e9e51SPaolo Bonzini MASK_BITS); 1856783e9e51SPaolo Bonzini 1857783e9e51SPaolo Bonzini error_detected = true; 1858783e9e51SPaolo Bonzini break; 1859783e9e51SPaolo Bonzini } 1860783e9e51SPaolo Bonzini } 1861783e9e51SPaolo Bonzini } 1862783e9e51SPaolo Bonzini 1863783e9e51SPaolo Bonzini if (!error_detected) { 1864783e9e51SPaolo Bonzini /* 1865783e9e51SPaolo Bonzini * Is sum of bits set in each node equal to the count 1866783e9e51SPaolo Bonzini * of total bits set. 1867783e9e51SPaolo Bonzini */ 1868783e9e51SPaolo Bonzini if (s->num_set != total_bits_set) { 1869783e9e51SPaolo Bonzini fprintf(stderr, "Number of bits set missmatch,\n" 1870783e9e51SPaolo Bonzini " s->num_set: 0x%lx total_bits_set: 0x%lx", 1871783e9e51SPaolo Bonzini s->num_set, total_bits_set); 1872783e9e51SPaolo Bonzini 1873783e9e51SPaolo Bonzini error_detected = true; 1874783e9e51SPaolo Bonzini } 1875783e9e51SPaolo Bonzini } 1876783e9e51SPaolo Bonzini 1877783e9e51SPaolo Bonzini if (error_detected) { 1878783e9e51SPaolo Bonzini fputs(" dump_internal:\n", stderr); 1879783e9e51SPaolo Bonzini sparsebit_dump_internal(stderr, s, 4); 1880783e9e51SPaolo Bonzini abort(); 1881783e9e51SPaolo Bonzini } 1882783e9e51SPaolo Bonzini } 1883783e9e51SPaolo Bonzini 1884783e9e51SPaolo Bonzini 1885783e9e51SPaolo Bonzini #ifdef FUZZ 1886783e9e51SPaolo Bonzini /* A simple but effective fuzzing driver. Look for bugs with the help 1887783e9e51SPaolo Bonzini * of some invariants and of a trivial representation of sparsebit. 1888783e9e51SPaolo Bonzini * Just use 512 bytes of /dev/zero and /dev/urandom as inputs, and let 1889783e9e51SPaolo Bonzini * afl-fuzz do the magic. :) 1890783e9e51SPaolo Bonzini */ 1891783e9e51SPaolo Bonzini 1892783e9e51SPaolo Bonzini #include <stdlib.h> 1893783e9e51SPaolo Bonzini #include <assert.h> 1894783e9e51SPaolo Bonzini 1895783e9e51SPaolo Bonzini struct range { 1896783e9e51SPaolo Bonzini sparsebit_idx_t first, last; 1897783e9e51SPaolo Bonzini bool set; 1898783e9e51SPaolo Bonzini }; 1899783e9e51SPaolo Bonzini 1900783e9e51SPaolo Bonzini struct sparsebit *s; 1901783e9e51SPaolo Bonzini struct range ranges[1000]; 1902783e9e51SPaolo Bonzini int num_ranges; 1903783e9e51SPaolo Bonzini 1904783e9e51SPaolo Bonzini static bool get_value(sparsebit_idx_t idx) 1905783e9e51SPaolo Bonzini { 1906783e9e51SPaolo Bonzini int i; 1907783e9e51SPaolo Bonzini 1908783e9e51SPaolo Bonzini for (i = num_ranges; --i >= 0; ) 1909783e9e51SPaolo Bonzini if (ranges[i].first <= idx && idx <= ranges[i].last) 1910783e9e51SPaolo Bonzini return ranges[i].set; 1911783e9e51SPaolo Bonzini 1912783e9e51SPaolo Bonzini return false; 1913783e9e51SPaolo Bonzini } 1914783e9e51SPaolo Bonzini 1915783e9e51SPaolo Bonzini static void operate(int code, sparsebit_idx_t first, sparsebit_idx_t last) 1916783e9e51SPaolo Bonzini { 1917783e9e51SPaolo Bonzini sparsebit_num_t num; 1918783e9e51SPaolo Bonzini sparsebit_idx_t next; 1919783e9e51SPaolo Bonzini 1920783e9e51SPaolo Bonzini if (first < last) { 1921783e9e51SPaolo Bonzini num = last - first + 1; 1922783e9e51SPaolo Bonzini } else { 1923783e9e51SPaolo Bonzini num = first - last + 1; 1924783e9e51SPaolo Bonzini first = last; 1925783e9e51SPaolo Bonzini last = first + num - 1; 1926783e9e51SPaolo Bonzini } 1927783e9e51SPaolo Bonzini 1928783e9e51SPaolo Bonzini switch (code) { 1929783e9e51SPaolo Bonzini case 0: 1930783e9e51SPaolo Bonzini sparsebit_set(s, first); 1931783e9e51SPaolo Bonzini assert(sparsebit_is_set(s, first)); 1932783e9e51SPaolo Bonzini assert(!sparsebit_is_clear(s, first)); 1933783e9e51SPaolo Bonzini assert(sparsebit_any_set(s)); 1934783e9e51SPaolo Bonzini assert(!sparsebit_all_clear(s)); 1935783e9e51SPaolo Bonzini if (get_value(first)) 1936783e9e51SPaolo Bonzini return; 1937783e9e51SPaolo Bonzini if (num_ranges == 1000) 1938783e9e51SPaolo Bonzini exit(0); 1939783e9e51SPaolo Bonzini ranges[num_ranges++] = (struct range) 1940783e9e51SPaolo Bonzini { .first = first, .last = first, .set = true }; 1941783e9e51SPaolo Bonzini break; 1942783e9e51SPaolo Bonzini case 1: 1943783e9e51SPaolo Bonzini sparsebit_clear(s, first); 1944783e9e51SPaolo Bonzini assert(!sparsebit_is_set(s, first)); 1945783e9e51SPaolo Bonzini assert(sparsebit_is_clear(s, first)); 1946783e9e51SPaolo Bonzini assert(sparsebit_any_clear(s)); 1947783e9e51SPaolo Bonzini assert(!sparsebit_all_set(s)); 1948783e9e51SPaolo Bonzini if (!get_value(first)) 1949783e9e51SPaolo Bonzini return; 1950783e9e51SPaolo Bonzini if (num_ranges == 1000) 1951783e9e51SPaolo Bonzini exit(0); 1952783e9e51SPaolo Bonzini ranges[num_ranges++] = (struct range) 1953783e9e51SPaolo Bonzini { .first = first, .last = first, .set = false }; 1954783e9e51SPaolo Bonzini break; 1955783e9e51SPaolo Bonzini case 2: 1956783e9e51SPaolo Bonzini assert(sparsebit_is_set(s, first) == get_value(first)); 1957783e9e51SPaolo Bonzini assert(sparsebit_is_clear(s, first) == !get_value(first)); 1958783e9e51SPaolo Bonzini break; 1959783e9e51SPaolo Bonzini case 3: 1960783e9e51SPaolo Bonzini if (sparsebit_any_set(s)) 1961783e9e51SPaolo Bonzini assert(get_value(sparsebit_first_set(s))); 1962783e9e51SPaolo Bonzini if (sparsebit_any_clear(s)) 1963783e9e51SPaolo Bonzini assert(!get_value(sparsebit_first_clear(s))); 1964783e9e51SPaolo Bonzini sparsebit_set_all(s); 1965783e9e51SPaolo Bonzini assert(!sparsebit_any_clear(s)); 1966783e9e51SPaolo Bonzini assert(sparsebit_all_set(s)); 1967783e9e51SPaolo Bonzini num_ranges = 0; 1968783e9e51SPaolo Bonzini ranges[num_ranges++] = (struct range) 1969783e9e51SPaolo Bonzini { .first = 0, .last = ~(sparsebit_idx_t)0, .set = true }; 1970783e9e51SPaolo Bonzini break; 1971783e9e51SPaolo Bonzini case 4: 1972783e9e51SPaolo Bonzini if (sparsebit_any_set(s)) 1973783e9e51SPaolo Bonzini assert(get_value(sparsebit_first_set(s))); 1974783e9e51SPaolo Bonzini if (sparsebit_any_clear(s)) 1975783e9e51SPaolo Bonzini assert(!get_value(sparsebit_first_clear(s))); 1976783e9e51SPaolo Bonzini sparsebit_clear_all(s); 1977783e9e51SPaolo Bonzini assert(!sparsebit_any_set(s)); 1978783e9e51SPaolo Bonzini assert(sparsebit_all_clear(s)); 1979783e9e51SPaolo Bonzini num_ranges = 0; 1980783e9e51SPaolo Bonzini break; 1981783e9e51SPaolo Bonzini case 5: 1982783e9e51SPaolo Bonzini next = sparsebit_next_set(s, first); 1983783e9e51SPaolo Bonzini assert(next == 0 || next > first); 1984783e9e51SPaolo Bonzini assert(next == 0 || get_value(next)); 1985783e9e51SPaolo Bonzini break; 1986783e9e51SPaolo Bonzini case 6: 1987783e9e51SPaolo Bonzini next = sparsebit_next_clear(s, first); 1988783e9e51SPaolo Bonzini assert(next == 0 || next > first); 1989783e9e51SPaolo Bonzini assert(next == 0 || !get_value(next)); 1990783e9e51SPaolo Bonzini break; 1991783e9e51SPaolo Bonzini case 7: 1992783e9e51SPaolo Bonzini next = sparsebit_next_clear(s, first); 1993783e9e51SPaolo Bonzini if (sparsebit_is_set_num(s, first, num)) { 1994783e9e51SPaolo Bonzini assert(next == 0 || next > last); 1995783e9e51SPaolo Bonzini if (first) 1996783e9e51SPaolo Bonzini next = sparsebit_next_set(s, first - 1); 1997783e9e51SPaolo Bonzini else if (sparsebit_any_set(s)) 1998783e9e51SPaolo Bonzini next = sparsebit_first_set(s); 1999783e9e51SPaolo Bonzini else 2000783e9e51SPaolo Bonzini return; 2001783e9e51SPaolo Bonzini assert(next == first); 2002783e9e51SPaolo Bonzini } else { 2003783e9e51SPaolo Bonzini assert(sparsebit_is_clear(s, first) || next <= last); 2004783e9e51SPaolo Bonzini } 2005783e9e51SPaolo Bonzini break; 2006783e9e51SPaolo Bonzini case 8: 2007783e9e51SPaolo Bonzini next = sparsebit_next_set(s, first); 2008783e9e51SPaolo Bonzini if (sparsebit_is_clear_num(s, first, num)) { 2009783e9e51SPaolo Bonzini assert(next == 0 || next > last); 2010783e9e51SPaolo Bonzini if (first) 2011783e9e51SPaolo Bonzini next = sparsebit_next_clear(s, first - 1); 2012783e9e51SPaolo Bonzini else if (sparsebit_any_clear(s)) 2013783e9e51SPaolo Bonzini next = sparsebit_first_clear(s); 2014783e9e51SPaolo Bonzini else 2015783e9e51SPaolo Bonzini return; 2016783e9e51SPaolo Bonzini assert(next == first); 2017783e9e51SPaolo Bonzini } else { 2018783e9e51SPaolo Bonzini assert(sparsebit_is_set(s, first) || next <= last); 2019783e9e51SPaolo Bonzini } 2020783e9e51SPaolo Bonzini break; 2021783e9e51SPaolo Bonzini case 9: 2022783e9e51SPaolo Bonzini sparsebit_set_num(s, first, num); 2023783e9e51SPaolo Bonzini assert(sparsebit_is_set_num(s, first, num)); 2024783e9e51SPaolo Bonzini assert(!sparsebit_is_clear_num(s, first, num)); 2025783e9e51SPaolo Bonzini assert(sparsebit_any_set(s)); 2026783e9e51SPaolo Bonzini assert(!sparsebit_all_clear(s)); 2027783e9e51SPaolo Bonzini if (num_ranges == 1000) 2028783e9e51SPaolo Bonzini exit(0); 2029783e9e51SPaolo Bonzini ranges[num_ranges++] = (struct range) 2030783e9e51SPaolo Bonzini { .first = first, .last = last, .set = true }; 2031783e9e51SPaolo Bonzini break; 2032783e9e51SPaolo Bonzini case 10: 2033783e9e51SPaolo Bonzini sparsebit_clear_num(s, first, num); 2034783e9e51SPaolo Bonzini assert(!sparsebit_is_set_num(s, first, num)); 2035783e9e51SPaolo Bonzini assert(sparsebit_is_clear_num(s, first, num)); 2036783e9e51SPaolo Bonzini assert(sparsebit_any_clear(s)); 2037783e9e51SPaolo Bonzini assert(!sparsebit_all_set(s)); 2038783e9e51SPaolo Bonzini if (num_ranges == 1000) 2039783e9e51SPaolo Bonzini exit(0); 2040783e9e51SPaolo Bonzini ranges[num_ranges++] = (struct range) 2041783e9e51SPaolo Bonzini { .first = first, .last = last, .set = false }; 2042783e9e51SPaolo Bonzini break; 2043783e9e51SPaolo Bonzini case 11: 2044783e9e51SPaolo Bonzini sparsebit_validate_internal(s); 2045783e9e51SPaolo Bonzini break; 2046783e9e51SPaolo Bonzini default: 2047783e9e51SPaolo Bonzini break; 2048783e9e51SPaolo Bonzini } 2049783e9e51SPaolo Bonzini } 2050783e9e51SPaolo Bonzini 2051783e9e51SPaolo Bonzini unsigned char get8(void) 2052783e9e51SPaolo Bonzini { 2053783e9e51SPaolo Bonzini int ch; 2054783e9e51SPaolo Bonzini 2055783e9e51SPaolo Bonzini ch = getchar(); 2056783e9e51SPaolo Bonzini if (ch == EOF) 2057783e9e51SPaolo Bonzini exit(0); 2058783e9e51SPaolo Bonzini return ch; 2059783e9e51SPaolo Bonzini } 2060783e9e51SPaolo Bonzini 2061783e9e51SPaolo Bonzini uint64_t get64(void) 2062783e9e51SPaolo Bonzini { 2063783e9e51SPaolo Bonzini uint64_t x; 2064783e9e51SPaolo Bonzini 2065783e9e51SPaolo Bonzini x = get8(); 2066783e9e51SPaolo Bonzini x = (x << 8) | get8(); 2067783e9e51SPaolo Bonzini x = (x << 8) | get8(); 2068783e9e51SPaolo Bonzini x = (x << 8) | get8(); 2069783e9e51SPaolo Bonzini x = (x << 8) | get8(); 2070783e9e51SPaolo Bonzini x = (x << 8) | get8(); 2071783e9e51SPaolo Bonzini x = (x << 8) | get8(); 2072783e9e51SPaolo Bonzini return (x << 8) | get8(); 2073783e9e51SPaolo Bonzini } 2074783e9e51SPaolo Bonzini 2075783e9e51SPaolo Bonzini int main(void) 2076783e9e51SPaolo Bonzini { 2077783e9e51SPaolo Bonzini s = sparsebit_alloc(); 2078783e9e51SPaolo Bonzini for (;;) { 2079783e9e51SPaolo Bonzini uint8_t op = get8() & 0xf; 2080783e9e51SPaolo Bonzini uint64_t first = get64(); 2081783e9e51SPaolo Bonzini uint64_t last = get64(); 2082783e9e51SPaolo Bonzini 2083783e9e51SPaolo Bonzini operate(op, first, last); 2084783e9e51SPaolo Bonzini } 2085783e9e51SPaolo Bonzini } 2086783e9e51SPaolo Bonzini #endif 2087