xref: /minix3/common/lib/libc/gen/ptree.c (revision f14fb602092e015ff630df58e17c2a9cd57d29b3)
1*f14fb602SLionel Sambuc /*	$NetBSD: ptree.c,v 1.10 2012/10/06 22:15:09 matt Exp $	*/
2b6cbf720SGianluca Guida 
3b6cbf720SGianluca Guida /*-
4b6cbf720SGianluca Guida  * Copyright (c) 2008 The NetBSD Foundation, Inc.
5b6cbf720SGianluca Guida  * All rights reserved.
6b6cbf720SGianluca Guida  *
7b6cbf720SGianluca Guida  * This code is derived from software contributed to The NetBSD Foundation
8b6cbf720SGianluca Guida  * by Matt Thomas <matt@3am-software.com>.
9b6cbf720SGianluca Guida  *
10b6cbf720SGianluca Guida  * Redistribution and use in source and binary forms, with or without
11b6cbf720SGianluca Guida  * modification, are permitted provided that the following conditions
12b6cbf720SGianluca Guida  * are met:
13b6cbf720SGianluca Guida  * 1. Redistributions of source code must retain the above copyright
14b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer.
15b6cbf720SGianluca Guida  * 2. Redistributions in binary form must reproduce the above copyright
16b6cbf720SGianluca Guida  *    notice, this list of conditions and the following disclaimer in the
17b6cbf720SGianluca Guida  *    documentation and/or other materials provided with the distribution.
18b6cbf720SGianluca Guida  *
19b6cbf720SGianluca Guida  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20b6cbf720SGianluca Guida  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21b6cbf720SGianluca Guida  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22b6cbf720SGianluca Guida  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23b6cbf720SGianluca Guida  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24b6cbf720SGianluca Guida  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25b6cbf720SGianluca Guida  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26b6cbf720SGianluca Guida  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27b6cbf720SGianluca Guida  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28b6cbf720SGianluca Guida  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29b6cbf720SGianluca Guida  * POSSIBILITY OF SUCH DAMAGE.
30b6cbf720SGianluca Guida  */
31b6cbf720SGianluca Guida 
32b6cbf720SGianluca Guida #define _PT_PRIVATE
33b6cbf720SGianluca Guida 
34b6cbf720SGianluca Guida #if defined(PTCHECK) && !defined(PTDEBUG)
35b6cbf720SGianluca Guida #define PTDEBUG
36b6cbf720SGianluca Guida #endif
37b6cbf720SGianluca Guida 
38b6cbf720SGianluca Guida #if defined(_KERNEL) || defined(_STANDALONE)
39b6cbf720SGianluca Guida #include <sys/param.h>
40b6cbf720SGianluca Guida #include <sys/types.h>
41b6cbf720SGianluca Guida #include <sys/systm.h>
42b6cbf720SGianluca Guida #include <lib/libkern/libkern.h>
43*f14fb602SLionel Sambuc __KERNEL_RCSID(0, "$NetBSD: ptree.c,v 1.10 2012/10/06 22:15:09 matt Exp $");
44b6cbf720SGianluca Guida #else
45b6cbf720SGianluca Guida #include <stddef.h>
46b6cbf720SGianluca Guida #include <stdint.h>
47b6cbf720SGianluca Guida #include <limits.h>
48b6cbf720SGianluca Guida #include <stdbool.h>
49b6cbf720SGianluca Guida #include <string.h>
50b6cbf720SGianluca Guida #ifdef PTDEBUG
51b6cbf720SGianluca Guida #include <assert.h>
52b6cbf720SGianluca Guida #define	KASSERT(e)	assert(e)
53b6cbf720SGianluca Guida #else
54b6cbf720SGianluca Guida #define	KASSERT(e)	do { } while (/*CONSTCOND*/ 0)
55b6cbf720SGianluca Guida #endif
56*f14fb602SLionel Sambuc __RCSID("$NetBSD: ptree.c,v 1.10 2012/10/06 22:15:09 matt Exp $");
57b6cbf720SGianluca Guida #endif /* _KERNEL || _STANDALONE */
58b6cbf720SGianluca Guida 
59b6cbf720SGianluca Guida #ifdef _LIBC
60b6cbf720SGianluca Guida #include "namespace.h"
61b6cbf720SGianluca Guida #endif
62b6cbf720SGianluca Guida 
63b6cbf720SGianluca Guida #ifdef PTTEST
64b6cbf720SGianluca Guida #include "ptree.h"
65b6cbf720SGianluca Guida #else
66b6cbf720SGianluca Guida #include <sys/ptree.h>
67b6cbf720SGianluca Guida #endif
68b6cbf720SGianluca Guida 
69b6cbf720SGianluca Guida /*
70b6cbf720SGianluca Guida  * This is an implementation of a radix / PATRICIA tree.  As in a traditional
71b6cbf720SGianluca Guida  * patricia tree, all the data is at the leaves of the tree.  An N-value
72b6cbf720SGianluca Guida  * tree would have N leaves, N-1 branching nodes, and a root pointer.  Each
73b6cbf720SGianluca Guida  * branching node would have left(0) and right(1) pointers that either point
74b6cbf720SGianluca Guida  * to another branching node or a leaf node.  The root pointer would also
75b6cbf720SGianluca Guida  * point to either the first branching node or a leaf node.  Leaf nodes
76b6cbf720SGianluca Guida  * have no need for pointers.
77b6cbf720SGianluca Guida  *
78b6cbf720SGianluca Guida  * However, allocation for these branching nodes is problematic since the
79b6cbf720SGianluca Guida  * allocation could fail.  This would cause insertions to fail for reasons
80*f14fb602SLionel Sambuc  * beyond the user's control.  So to prevent this, in this implementation
81b6cbf720SGianluca Guida  * each node has two identities: its leaf identity and its branch identity.
82b6cbf720SGianluca Guida  * Each is separate from the other.  Every branch is tagged as to whether
83b6cbf720SGianluca Guida  * it points to a leaf or a branch.  This is not an attribute of the object
84b6cbf720SGianluca Guida  * but of the pointer to the object.  The low bit of the pointer is used as
85b6cbf720SGianluca Guida  * the tag to determine whether it points to a leaf or branch identity, with
86b6cbf720SGianluca Guida  * branch identities having the low bit set.
87b6cbf720SGianluca Guida  *
88b6cbf720SGianluca Guida  * A node's branch identity has one rule: when traversing the tree from the
89b6cbf720SGianluca Guida  * root to the node's leaf identity, one of the branches traversed will be via
90b6cbf720SGianluca Guida  * the node's branch identity.  Of course, that has an exception: since to
91b6cbf720SGianluca Guida  * store N leaves, you need N-1 branches.  That one node whose branch identity
92b6cbf720SGianluca Guida  * isn't used is stored as "oddman"-out in the root.
93b6cbf720SGianluca Guida  *
94b6cbf720SGianluca Guida  * Branching nodes also has a bit offset and a bit length which determines
95b6cbf720SGianluca Guida  * which branch slot is used.  The bit length can be zero resulting in a
96*f14fb602SLionel Sambuc  * one-way branch.  This happens in two special cases: the root and
97b6cbf720SGianluca Guida  * interior mask nodes.
98b6cbf720SGianluca Guida  *
99b6cbf720SGianluca Guida  * To support longest match first lookups, when a mask node (one that only
100b6cbf720SGianluca Guida  * match the first N bits) has children who first N bits match the mask nodes,
101b6cbf720SGianluca Guida  * that mask node is converted from being a leaf node to being a one-way
102b6cbf720SGianluca Guida  * branch-node.  The mask becomes fixed in position in the tree.  The mask
103b6cbf720SGianluca Guida  * will always be the longest mask match for its descendants (unless they
104b6cbf720SGianluca Guida  * traverse an even longer match).
105b6cbf720SGianluca Guida  */
106b6cbf720SGianluca Guida 
107b6cbf720SGianluca Guida #define	NODETOITEM(pt, ptn)	\
108b6cbf720SGianluca Guida 	((void *)((uintptr_t)(ptn) - (pt)->pt_node_offset))
109b6cbf720SGianluca Guida #define	NODETOKEY(pt, ptn)	\
110b6cbf720SGianluca Guida 	((void *)((uintptr_t)(ptn) - (pt)->pt_node_offset + pt->pt_key_offset))
111b6cbf720SGianluca Guida #define	ITEMTONODE(pt, ptn)	\
112b6cbf720SGianluca Guida 	((pt_node_t *)((uintptr_t)(ptn) + (pt)->pt_node_offset))
113b6cbf720SGianluca Guida 
114b6cbf720SGianluca Guida bool ptree_check(const pt_tree_t *);
115b6cbf720SGianluca Guida #if PTCHECK > 1
116b6cbf720SGianluca Guida #define	PTREE_CHECK(pt)		ptree_check(pt)
117b6cbf720SGianluca Guida #else
118b6cbf720SGianluca Guida #define	PTREE_CHECK(pt)		do { } while (/*CONSTCOND*/ 0)
119b6cbf720SGianluca Guida #endif
120b6cbf720SGianluca Guida 
121b6cbf720SGianluca Guida static inline bool
ptree_matchnode(const pt_tree_t * pt,const pt_node_t * target,const pt_node_t * ptn,pt_bitoff_t max_bitoff,pt_bitoff_t * bitoff_p,pt_slot_t * slots_p)122b6cbf720SGianluca Guida ptree_matchnode(const pt_tree_t *pt, const pt_node_t *target,
123b6cbf720SGianluca Guida 	const pt_node_t *ptn, pt_bitoff_t max_bitoff,
124b6cbf720SGianluca Guida 	pt_bitoff_t *bitoff_p, pt_slot_t *slots_p)
125b6cbf720SGianluca Guida {
126b6cbf720SGianluca Guida 	return (*pt->pt_ops->ptto_matchnode)(NODETOKEY(pt, target),
127*f14fb602SLionel Sambuc 	    (ptn != NULL ? NODETOKEY(pt, ptn) : NULL),
128*f14fb602SLionel Sambuc 	    max_bitoff, bitoff_p, slots_p, pt->pt_context);
129b6cbf720SGianluca Guida }
130b6cbf720SGianluca Guida 
131b6cbf720SGianluca Guida static inline pt_slot_t
ptree_testnode(const pt_tree_t * pt,const pt_node_t * target,const pt_node_t * ptn)132b6cbf720SGianluca Guida ptree_testnode(const pt_tree_t *pt, const pt_node_t *target,
133b6cbf720SGianluca Guida 	const pt_node_t *ptn)
134b6cbf720SGianluca Guida {
135b6cbf720SGianluca Guida 	const pt_bitlen_t bitlen = PTN_BRANCH_BITLEN(ptn);
136b6cbf720SGianluca Guida 	if (bitlen == 0)
137*f14fb602SLionel Sambuc 		return PT_SLOT_ROOT;	/* mask or root, doesn't matter */
138b6cbf720SGianluca Guida 	return (*pt->pt_ops->ptto_testnode)(NODETOKEY(pt, target),
139*f14fb602SLionel Sambuc 	    PTN_BRANCH_BITOFF(ptn), bitlen, pt->pt_context);
140b6cbf720SGianluca Guida }
141b6cbf720SGianluca Guida 
142b6cbf720SGianluca Guida static inline bool
ptree_matchkey(const pt_tree_t * pt,const void * key,const pt_node_t * ptn,pt_bitoff_t bitoff,pt_bitlen_t bitlen)143b6cbf720SGianluca Guida ptree_matchkey(const pt_tree_t *pt, const void *key,
144b6cbf720SGianluca Guida 	const pt_node_t *ptn, pt_bitoff_t bitoff, pt_bitlen_t bitlen)
145b6cbf720SGianluca Guida {
146b6cbf720SGianluca Guida 	return (*pt->pt_ops->ptto_matchkey)(key, NODETOKEY(pt, ptn),
147*f14fb602SLionel Sambuc 	    bitoff, bitlen, pt->pt_context);
148b6cbf720SGianluca Guida }
149b6cbf720SGianluca Guida 
150b6cbf720SGianluca Guida static inline pt_slot_t
ptree_testkey(const pt_tree_t * pt,const void * key,const pt_node_t * ptn)151b6cbf720SGianluca Guida ptree_testkey(const pt_tree_t *pt, const void *key, const pt_node_t *ptn)
152b6cbf720SGianluca Guida {
153*f14fb602SLionel Sambuc 	const pt_bitlen_t bitlen = PTN_BRANCH_BITLEN(ptn);
154*f14fb602SLionel Sambuc 	if (bitlen == 0)
155*f14fb602SLionel Sambuc 		return PT_SLOT_ROOT;	/* mask or root, doesn't matter */
156*f14fb602SLionel Sambuc 	return (*pt->pt_ops->ptto_testkey)(key, PTN_BRANCH_BITOFF(ptn),
157*f14fb602SLionel Sambuc 	    PTN_BRANCH_BITLEN(ptn), pt->pt_context);
158b6cbf720SGianluca Guida }
159b6cbf720SGianluca Guida 
160b6cbf720SGianluca Guida static inline void
ptree_set_position(uintptr_t node,pt_slot_t position)161b6cbf720SGianluca Guida ptree_set_position(uintptr_t node, pt_slot_t position)
162b6cbf720SGianluca Guida {
163b6cbf720SGianluca Guida 	if (PT_LEAF_P(node))
164b6cbf720SGianluca Guida 		PTN_SET_LEAF_POSITION(PT_NODE(node), position);
165b6cbf720SGianluca Guida 	else
166b6cbf720SGianluca Guida 		PTN_SET_BRANCH_POSITION(PT_NODE(node), position);
167b6cbf720SGianluca Guida }
168b6cbf720SGianluca Guida 
169b6cbf720SGianluca Guida void
ptree_init(pt_tree_t * pt,const pt_tree_ops_t * ops,void * context,size_t node_offset,size_t key_offset)170*f14fb602SLionel Sambuc ptree_init(pt_tree_t *pt, const pt_tree_ops_t *ops, void *context,
171*f14fb602SLionel Sambuc 	size_t node_offset, size_t key_offset)
172b6cbf720SGianluca Guida {
173b6cbf720SGianluca Guida 	memset(pt, 0, sizeof(*pt));
174b6cbf720SGianluca Guida 	pt->pt_node_offset = node_offset;
175b6cbf720SGianluca Guida 	pt->pt_key_offset = key_offset;
176*f14fb602SLionel Sambuc 	pt->pt_context = context;
177b6cbf720SGianluca Guida 	pt->pt_ops = ops;
178b6cbf720SGianluca Guida }
179b6cbf720SGianluca Guida 
180b6cbf720SGianluca Guida typedef struct {
181b6cbf720SGianluca Guida 	uintptr_t *id_insertp;
182b6cbf720SGianluca Guida 	pt_node_t *id_parent;
183b6cbf720SGianluca Guida 	uintptr_t id_node;
184b6cbf720SGianluca Guida 	pt_slot_t id_parent_slot;
185b6cbf720SGianluca Guida 	pt_bitoff_t id_bitoff;
186b6cbf720SGianluca Guida 	pt_slot_t id_slot;
187b6cbf720SGianluca Guida } pt_insertdata_t;
188b6cbf720SGianluca Guida 
189b6cbf720SGianluca Guida typedef bool (*pt_insertfunc_t)(pt_tree_t *, pt_node_t *, pt_insertdata_t *);
190b6cbf720SGianluca Guida 
191b6cbf720SGianluca Guida /*
192b6cbf720SGianluca Guida  * Move a branch identify from src to dst.  The leaves don't care since
193b6cbf720SGianluca Guida  * nothing for them has changed.
194b6cbf720SGianluca Guida  */
195b6cbf720SGianluca Guida /*ARGSUSED*/
196b6cbf720SGianluca Guida static uintptr_t
ptree_move_branch(pt_tree_t * const pt,pt_node_t * const dst,const pt_node_t * const src)197b6cbf720SGianluca Guida ptree_move_branch(pt_tree_t * const pt, pt_node_t * const dst,
198b6cbf720SGianluca Guida 	const pt_node_t * const src)
199b6cbf720SGianluca Guida {
200b6cbf720SGianluca Guida 	KASSERT(PTN_BRANCH_BITLEN(src) == 1);
201b6cbf720SGianluca Guida 	/* set branch bitlen and bitoff in one step.  */
202b6cbf720SGianluca Guida 	dst->ptn_branchdata = src->ptn_branchdata;
203b6cbf720SGianluca Guida 	PTN_SET_BRANCH_POSITION(dst, PTN_BRANCH_POSITION(src));
204b6cbf720SGianluca Guida 	PTN_COPY_BRANCH_SLOTS(dst, src);
205b6cbf720SGianluca Guida 	return PTN_BRANCH(dst);
206b6cbf720SGianluca Guida }
207b6cbf720SGianluca Guida 
208b6cbf720SGianluca Guida #ifndef PTNOMASK
209b6cbf720SGianluca Guida static inline uintptr_t *
ptree_find_branch(pt_tree_t * const pt,uintptr_t branch_node)210b6cbf720SGianluca Guida ptree_find_branch(pt_tree_t * const pt, uintptr_t branch_node)
211b6cbf720SGianluca Guida {
212b6cbf720SGianluca Guida 	pt_node_t * const branch = PT_NODE(branch_node);
213b6cbf720SGianluca Guida 	pt_node_t *parent;
214b6cbf720SGianluca Guida 
215b6cbf720SGianluca Guida 	for (parent = &pt->pt_rootnode;;) {
216b6cbf720SGianluca Guida 		uintptr_t *nodep =
217b6cbf720SGianluca Guida 		    &PTN_BRANCH_SLOT(parent, ptree_testnode(pt, branch, parent));
218b6cbf720SGianluca Guida 		if (*nodep == branch_node)
219b6cbf720SGianluca Guida 			return nodep;
220b6cbf720SGianluca Guida 		if (PT_LEAF_P(*nodep))
221b6cbf720SGianluca Guida 			return NULL;
222b6cbf720SGianluca Guida 		parent = PT_NODE(*nodep);
223b6cbf720SGianluca Guida 	}
224b6cbf720SGianluca Guida }
225b6cbf720SGianluca Guida 
226b6cbf720SGianluca Guida static bool
ptree_insert_leaf_after_mask(pt_tree_t * const pt,pt_node_t * const target,pt_insertdata_t * const id)227b6cbf720SGianluca Guida ptree_insert_leaf_after_mask(pt_tree_t * const pt, pt_node_t * const target,
228b6cbf720SGianluca Guida 	pt_insertdata_t * const id)
229b6cbf720SGianluca Guida {
230b6cbf720SGianluca Guida 	const uintptr_t target_node = PTN_LEAF(target);
231b6cbf720SGianluca Guida 	const uintptr_t mask_node = id->id_node;
232b6cbf720SGianluca Guida 	pt_node_t * const mask = PT_NODE(mask_node);
233b6cbf720SGianluca Guida 	const pt_bitlen_t mask_len = PTN_MASK_BITLEN(mask);
234b6cbf720SGianluca Guida 
235b6cbf720SGianluca Guida 	KASSERT(PT_LEAF_P(mask_node));
236b6cbf720SGianluca Guida 	KASSERT(PTN_LEAF_POSITION(mask) == id->id_parent_slot);
237b6cbf720SGianluca Guida 	KASSERT(mask_len <= id->id_bitoff);
238b6cbf720SGianluca Guida 	KASSERT(PTN_ISMASK_P(mask));
239b6cbf720SGianluca Guida 	KASSERT(!PTN_ISMASK_P(target) || mask_len < PTN_MASK_BITLEN(target));
240b6cbf720SGianluca Guida 
241b6cbf720SGianluca Guida 	if (mask_node == PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode)) {
242b6cbf720SGianluca Guida 		KASSERT(id->id_parent != mask);
243b6cbf720SGianluca Guida 		/*
244b6cbf720SGianluca Guida 		 * Nice, mask was an oddman.  So just set the oddman to target.
245b6cbf720SGianluca Guida 		 */
246b6cbf720SGianluca Guida 		PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = target_node;
247b6cbf720SGianluca Guida 	} else {
248b6cbf720SGianluca Guida 		/*
249b6cbf720SGianluca Guida 		 * We need to find out who's pointing to mask's branch
250b6cbf720SGianluca Guida 		 * identity.  We know that between root and the leaf identity,
251b6cbf720SGianluca Guida 		 * we must traverse the node's branch identity.
252b6cbf720SGianluca Guida 		 */
253b6cbf720SGianluca Guida 		uintptr_t * const mask_nodep = ptree_find_branch(pt, PTN_BRANCH(mask));
254b6cbf720SGianluca Guida 		KASSERT(mask_nodep != NULL);
255b6cbf720SGianluca Guida 		KASSERT(*mask_nodep == PTN_BRANCH(mask));
256b6cbf720SGianluca Guida 		KASSERT(PTN_BRANCH_BITLEN(mask) == 1);
257b6cbf720SGianluca Guida 
258b6cbf720SGianluca Guida 		/*
259b6cbf720SGianluca Guida 		 * Alas, mask was used as a branch.  Since the mask is becoming
260b6cbf720SGianluca Guida 		 * a one-way branch, we need make target take over mask's
261b6cbf720SGianluca Guida 		 * branching responsibilities.  Only then can we change it.
262b6cbf720SGianluca Guida 		 */
263b6cbf720SGianluca Guida 		*mask_nodep = ptree_move_branch(pt, target, mask);
264b6cbf720SGianluca Guida 
265b6cbf720SGianluca Guida 		/*
266b6cbf720SGianluca Guida 		 * However, it's possible that mask's parent is itself.  If
267b6cbf720SGianluca Guida 		 * that's true, update the insert point to use target since it
268b6cbf720SGianluca Guida 		 * has taken over mask's branching duties.
269b6cbf720SGianluca Guida 		 */
270b6cbf720SGianluca Guida 		if (id->id_parent == mask)
271b6cbf720SGianluca Guida 			id->id_insertp = &PTN_BRANCH_SLOT(target,
272b6cbf720SGianluca Guida 			    id->id_parent_slot);
273b6cbf720SGianluca Guida 	}
274b6cbf720SGianluca Guida 
275b6cbf720SGianluca Guida 	PTN_SET_BRANCH_BITLEN(mask, 0);
276b6cbf720SGianluca Guida 	PTN_SET_BRANCH_BITOFF(mask, mask_len);
277b6cbf720SGianluca Guida 
278b6cbf720SGianluca Guida 	PTN_BRANCH_ROOT_SLOT(mask) = target_node;
279b6cbf720SGianluca Guida 	PTN_BRANCH_ODDMAN_SLOT(mask) = PT_NULL;
280b6cbf720SGianluca Guida 	PTN_SET_LEAF_POSITION(target, PT_SLOT_ROOT);
281b6cbf720SGianluca Guida 	PTN_SET_BRANCH_POSITION(mask, id->id_parent_slot);
282b6cbf720SGianluca Guida 
283b6cbf720SGianluca Guida 	/*
284b6cbf720SGianluca Guida 	 * Now that everything is done, to make target visible we need to
285b6cbf720SGianluca Guida 	 * change mask from a leaf to a branch.
286b6cbf720SGianluca Guida 	 */
287b6cbf720SGianluca Guida 	*id->id_insertp = PTN_BRANCH(mask);
288b6cbf720SGianluca Guida 	PTREE_CHECK(pt);
289b6cbf720SGianluca Guida 	return true;
290b6cbf720SGianluca Guida }
291b6cbf720SGianluca Guida 
292b6cbf720SGianluca Guida /*ARGSUSED*/
293b6cbf720SGianluca Guida static bool
ptree_insert_mask_before_node(pt_tree_t * const pt,pt_node_t * const target,pt_insertdata_t * const id)294b6cbf720SGianluca Guida ptree_insert_mask_before_node(pt_tree_t * const pt, pt_node_t * const target,
295b6cbf720SGianluca Guida 	pt_insertdata_t * const id)
296b6cbf720SGianluca Guida {
297b6cbf720SGianluca Guida 	const uintptr_t node = id->id_node;
298b6cbf720SGianluca Guida 	pt_node_t * const ptn = PT_NODE(node);
299b6cbf720SGianluca Guida 	const pt_slot_t mask_len = PTN_MASK_BITLEN(target);
300b6cbf720SGianluca Guida 	const pt_bitlen_t node_mask_len = PTN_MASK_BITLEN(ptn);
301b6cbf720SGianluca Guida 
302b6cbf720SGianluca Guida 	KASSERT(PT_LEAF_P(node) || id->id_parent_slot == PTN_BRANCH_POSITION(ptn));
303b6cbf720SGianluca Guida 	KASSERT(PT_BRANCH_P(node) || id->id_parent_slot == PTN_LEAF_POSITION(ptn));
304b6cbf720SGianluca Guida 	KASSERT(PTN_ISMASK_P(target));
305b6cbf720SGianluca Guida 
306b6cbf720SGianluca Guida 	/*
307b6cbf720SGianluca Guida 	 * If the node we are placing ourself in front is a mask with the
308b6cbf720SGianluca Guida 	 * same mask length as us, return failure.
309b6cbf720SGianluca Guida 	 */
310b6cbf720SGianluca Guida 	if (PTN_ISMASK_P(ptn) && node_mask_len == mask_len)
311b6cbf720SGianluca Guida 		return false;
312b6cbf720SGianluca Guida 
313b6cbf720SGianluca Guida 	PTN_SET_BRANCH_BITLEN(target, 0);
314b6cbf720SGianluca Guida 	PTN_SET_BRANCH_BITOFF(target, mask_len);
315b6cbf720SGianluca Guida 
316b6cbf720SGianluca Guida 	PTN_BRANCH_SLOT(target, PT_SLOT_ROOT) = node;
317b6cbf720SGianluca Guida 	*id->id_insertp = PTN_BRANCH(target);
318b6cbf720SGianluca Guida 
319b6cbf720SGianluca Guida 	PTN_SET_BRANCH_POSITION(target, id->id_parent_slot);
320b6cbf720SGianluca Guida 	ptree_set_position(node, PT_SLOT_ROOT);
321b6cbf720SGianluca Guida 
322b6cbf720SGianluca Guida 	PTREE_CHECK(pt);
323b6cbf720SGianluca Guida 	return true;
324b6cbf720SGianluca Guida }
325b6cbf720SGianluca Guida #endif /* !PTNOMASK */
326b6cbf720SGianluca Guida 
327b6cbf720SGianluca Guida /*ARGSUSED*/
328b6cbf720SGianluca Guida static bool
ptree_insert_branch_at_node(pt_tree_t * const pt,pt_node_t * const target,pt_insertdata_t * const id)329b6cbf720SGianluca Guida ptree_insert_branch_at_node(pt_tree_t * const pt, pt_node_t * const target,
330b6cbf720SGianluca Guida 	pt_insertdata_t * const id)
331b6cbf720SGianluca Guida {
332b6cbf720SGianluca Guida 	const uintptr_t target_node = PTN_LEAF(target);
333b6cbf720SGianluca Guida 	const uintptr_t node = id->id_node;
334b6cbf720SGianluca Guida 	const pt_slot_t other_slot = id->id_slot ^ PT_SLOT_OTHER;
335b6cbf720SGianluca Guida 
336b6cbf720SGianluca Guida 	KASSERT(PT_BRANCH_P(node) || id->id_parent_slot == PTN_LEAF_POSITION(PT_NODE(node)));
337b6cbf720SGianluca Guida 	KASSERT(PT_LEAF_P(node) || id->id_parent_slot == PTN_BRANCH_POSITION(PT_NODE(node)));
338b6cbf720SGianluca Guida 	KASSERT((node == pt->pt_root) == (id->id_parent == &pt->pt_rootnode));
339b6cbf720SGianluca Guida #ifndef PTNOMASK
340b6cbf720SGianluca Guida 	KASSERT(!PTN_ISMASK_P(target) || id->id_bitoff <= PTN_MASK_BITLEN(target));
341b6cbf720SGianluca Guida #endif
342b6cbf720SGianluca Guida 	KASSERT(node == pt->pt_root || PTN_BRANCH_BITOFF(id->id_parent) + PTN_BRANCH_BITLEN(id->id_parent) <= id->id_bitoff);
343b6cbf720SGianluca Guida 
344b6cbf720SGianluca Guida 	PTN_SET_BRANCH_BITOFF(target, id->id_bitoff);
345b6cbf720SGianluca Guida 	PTN_SET_BRANCH_BITLEN(target, 1);
346b6cbf720SGianluca Guida 
347b6cbf720SGianluca Guida 	PTN_BRANCH_SLOT(target, id->id_slot) = target_node;
348b6cbf720SGianluca Guida 	PTN_BRANCH_SLOT(target, other_slot) = node;
349b6cbf720SGianluca Guida 	*id->id_insertp = PTN_BRANCH(target);
350b6cbf720SGianluca Guida 
351b6cbf720SGianluca Guida 	PTN_SET_LEAF_POSITION(target, id->id_slot);
352b6cbf720SGianluca Guida 	ptree_set_position(node, other_slot);
353b6cbf720SGianluca Guida 
354b6cbf720SGianluca Guida 	PTN_SET_BRANCH_POSITION(target, id->id_parent_slot);
355b6cbf720SGianluca Guida 	PTREE_CHECK(pt);
356b6cbf720SGianluca Guida 	return true;
357b6cbf720SGianluca Guida }
358b6cbf720SGianluca Guida 
359b6cbf720SGianluca Guida static bool
ptree_insert_leaf(pt_tree_t * const pt,pt_node_t * const target,pt_insertdata_t * const id)360b6cbf720SGianluca Guida ptree_insert_leaf(pt_tree_t * const pt, pt_node_t * const target,
361b6cbf720SGianluca Guida 	pt_insertdata_t * const id)
362b6cbf720SGianluca Guida {
363b6cbf720SGianluca Guida 	const uintptr_t leaf_node = id->id_node;
364b6cbf720SGianluca Guida 	pt_node_t * const leaf = PT_NODE(leaf_node);
365b6cbf720SGianluca Guida #ifdef PTNOMASK
366b6cbf720SGianluca Guida 	const bool inserting_mask = false;
367b6cbf720SGianluca Guida 	const bool at_mask = false;
368b6cbf720SGianluca Guida #else
369b6cbf720SGianluca Guida 	const bool inserting_mask = PTN_ISMASK_P(target);
370b6cbf720SGianluca Guida 	const bool at_mask = PTN_ISMASK_P(leaf);
371b6cbf720SGianluca Guida 	const pt_bitlen_t leaf_masklen = PTN_MASK_BITLEN(leaf);
372b6cbf720SGianluca Guida 	const pt_bitlen_t target_masklen = PTN_MASK_BITLEN(target);
373b6cbf720SGianluca Guida #endif
374b6cbf720SGianluca Guida 	pt_insertfunc_t insertfunc = ptree_insert_branch_at_node;
375b6cbf720SGianluca Guida 	bool matched;
376b6cbf720SGianluca Guida 
377b6cbf720SGianluca Guida 	/*
378b6cbf720SGianluca Guida 	 * In all likelyhood we are going simply going to insert a branch
379b6cbf720SGianluca Guida 	 * where this leaf is which will point to the old and new leaves.
380b6cbf720SGianluca Guida 	 */
381b6cbf720SGianluca Guida 	KASSERT(PT_LEAF_P(leaf_node));
382b6cbf720SGianluca Guida 	KASSERT(PTN_LEAF_POSITION(leaf) == id->id_parent_slot);
383b6cbf720SGianluca Guida 	matched = ptree_matchnode(pt, target, leaf, UINT_MAX,
384b6cbf720SGianluca Guida 	    &id->id_bitoff, &id->id_slot);
385b6cbf720SGianluca Guida 	if (__predict_false(!inserting_mask)) {
386b6cbf720SGianluca Guida 		/*
387b6cbf720SGianluca Guida 		 * We aren't inserting a mask nor is the leaf a mask, which
388b6cbf720SGianluca Guida 		 * means we are trying to insert a duplicate leaf.  Can't do
389b6cbf720SGianluca Guida 		 * that.
390b6cbf720SGianluca Guida 		 */
391b6cbf720SGianluca Guida 		if (!at_mask && matched)
392b6cbf720SGianluca Guida 			return false;
393b6cbf720SGianluca Guida 
394b6cbf720SGianluca Guida #ifndef PTNOMASK
395b6cbf720SGianluca Guida 		/*
396b6cbf720SGianluca Guida 		 * We are at a mask and the leaf we are about to insert
397b6cbf720SGianluca Guida 		 * is at or beyond the mask, we need to convert the mask
398b6cbf720SGianluca Guida 		 * from a leaf to a one-way branch interior mask.
399b6cbf720SGianluca Guida 		 */
400b6cbf720SGianluca Guida 		if (at_mask && id->id_bitoff >= leaf_masklen)
401b6cbf720SGianluca Guida 			insertfunc = ptree_insert_leaf_after_mask;
402b6cbf720SGianluca Guida #endif /* PTNOMASK */
403b6cbf720SGianluca Guida 	}
404b6cbf720SGianluca Guida #ifndef PTNOMASK
405b6cbf720SGianluca Guida 	else {
406b6cbf720SGianluca Guida 		/*
407b6cbf720SGianluca Guida 		 * We are inserting a mask.
408b6cbf720SGianluca Guida 		 */
409b6cbf720SGianluca Guida 		if (matched) {
410b6cbf720SGianluca Guida 			/*
411b6cbf720SGianluca Guida 			 * If the leaf isn't a mask, we obviously have to
412b6cbf720SGianluca Guida 			 * insert the new mask before non-mask leaf.  If the
413b6cbf720SGianluca Guida 			 * leaf is a mask, and the new node has a LEQ mask
414b6cbf720SGianluca Guida 			 * length it too needs to inserted before leaf (*).
415b6cbf720SGianluca Guida 			 *
416b6cbf720SGianluca Guida 			 * In other cases, we place the new mask as leaf after
417b6cbf720SGianluca Guida 			 * leaf mask.  Which mask comes first will be a one-way
418b6cbf720SGianluca Guida 			 * branch interior mask node which has the other mask
419b6cbf720SGianluca Guida 			 * node as a child.
420b6cbf720SGianluca Guida 			 *
421b6cbf720SGianluca Guida 			 * (*) ptree_insert_mask_before_node can detect a
422b6cbf720SGianluca Guida 			 * duplicate mask and return failure if needed.
423b6cbf720SGianluca Guida 			 */
424b6cbf720SGianluca Guida 			if (!at_mask || target_masklen <= leaf_masklen)
425b6cbf720SGianluca Guida 				insertfunc = ptree_insert_mask_before_node;
426b6cbf720SGianluca Guida 			else
427b6cbf720SGianluca Guida 				insertfunc = ptree_insert_leaf_after_mask;
428b6cbf720SGianluca Guida 		} else if (at_mask && id->id_bitoff >= leaf_masklen) {
429b6cbf720SGianluca Guida 			/*
430b6cbf720SGianluca Guida 			 * If the new mask has a bit offset GEQ than the leaf's
431b6cbf720SGianluca Guida 			 * mask length, convert the left to a one-way branch
432b6cbf720SGianluca Guida 			 * interior mask and make that point to the new [leaf]
433b6cbf720SGianluca Guida 			 * mask.
434b6cbf720SGianluca Guida 			 */
435b6cbf720SGianluca Guida 			insertfunc = ptree_insert_leaf_after_mask;
436b6cbf720SGianluca Guida 		} else {
437b6cbf720SGianluca Guida 			/*
438b6cbf720SGianluca Guida 			 * The new mask has a bit offset less than the leaf's
439b6cbf720SGianluca Guida 			 * mask length or if the leaf isn't a mask at all, the
440b6cbf720SGianluca Guida 			 * new mask deserves to be its own leaf so we use the
441b6cbf720SGianluca Guida 			 * default insertfunc to do that.
442b6cbf720SGianluca Guida 			 */
443b6cbf720SGianluca Guida 		}
444b6cbf720SGianluca Guida 	}
445b6cbf720SGianluca Guida #endif /* PTNOMASK */
446b6cbf720SGianluca Guida 
447b6cbf720SGianluca Guida 	return (*insertfunc)(pt, target, id);
448b6cbf720SGianluca Guida }
449b6cbf720SGianluca Guida 
450b6cbf720SGianluca Guida static bool
ptree_insert_node_common(pt_tree_t * pt,void * item)451b6cbf720SGianluca Guida ptree_insert_node_common(pt_tree_t *pt, void *item)
452b6cbf720SGianluca Guida {
453b6cbf720SGianluca Guida 	pt_node_t * const target = ITEMTONODE(pt, item);
454b6cbf720SGianluca Guida #ifndef PTNOMASK
455b6cbf720SGianluca Guida 	const bool inserting_mask = PTN_ISMASK_P(target);
456b6cbf720SGianluca Guida 	const pt_bitlen_t target_masklen = PTN_MASK_BITLEN(target);
457b6cbf720SGianluca Guida #endif
458b6cbf720SGianluca Guida 	pt_insertfunc_t insertfunc;
459b6cbf720SGianluca Guida 	pt_insertdata_t id;
460b6cbf720SGianluca Guida 
461b6cbf720SGianluca Guida 	/*
462*f14fb602SLionel Sambuc 	 * If this node already exists in the tree, return failure.
463*f14fb602SLionel Sambuc 	 */
464*f14fb602SLionel Sambuc 	if (target == PT_NODE(pt->pt_root))
465*f14fb602SLionel Sambuc 		return false;
466*f14fb602SLionel Sambuc 
467*f14fb602SLionel Sambuc 	/*
468b6cbf720SGianluca Guida 	 * We need a leaf so we can match against.  Until we get a leaf
469b6cbf720SGianluca Guida 	 * we having nothing to test against.
470b6cbf720SGianluca Guida 	 */
471b6cbf720SGianluca Guida 	if (__predict_false(PT_NULL_P(pt->pt_root))) {
472b6cbf720SGianluca Guida 		PTN_BRANCH_ROOT_SLOT(&pt->pt_rootnode) = PTN_LEAF(target);
473b6cbf720SGianluca Guida 		PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = PTN_LEAF(target);
474b6cbf720SGianluca Guida 		PTN_SET_LEAF_POSITION(target, PT_SLOT_ROOT);
475b6cbf720SGianluca Guida 		PTREE_CHECK(pt);
476b6cbf720SGianluca Guida 		return true;
477b6cbf720SGianluca Guida 	}
478b6cbf720SGianluca Guida 
479b6cbf720SGianluca Guida 	id.id_bitoff = 0;
480b6cbf720SGianluca Guida 	id.id_parent = &pt->pt_rootnode;
481b6cbf720SGianluca Guida 	id.id_parent_slot = PT_SLOT_ROOT;
482b6cbf720SGianluca Guida 	id.id_insertp = &PTN_BRANCH_ROOT_SLOT(id.id_parent);
483b6cbf720SGianluca Guida 	for (;;) {
484b6cbf720SGianluca Guida 		pt_bitoff_t branch_bitoff;
485b6cbf720SGianluca Guida 		pt_node_t * const ptn = PT_NODE(*id.id_insertp);
486b6cbf720SGianluca Guida 		id.id_node = *id.id_insertp;
487b6cbf720SGianluca Guida 
488b6cbf720SGianluca Guida 		/*
489*f14fb602SLionel Sambuc 		 * If this node already exists in the tree, return failure.
490*f14fb602SLionel Sambuc 		 */
491*f14fb602SLionel Sambuc 		if (target == ptn)
492*f14fb602SLionel Sambuc 			return false;
493*f14fb602SLionel Sambuc 
494*f14fb602SLionel Sambuc 		/*
495b6cbf720SGianluca Guida 		 * If we hit a leaf, try to insert target at leaf.  We could
496b6cbf720SGianluca Guida 		 * have inlined ptree_insert_leaf here but that would have
497b6cbf720SGianluca Guida 		 * made this routine much harder to understand.  Trust the
498b6cbf720SGianluca Guida 		 * compiler to optimize this properly.
499b6cbf720SGianluca Guida 		 */
500b6cbf720SGianluca Guida 		if (PT_LEAF_P(id.id_node)) {
501b6cbf720SGianluca Guida 			KASSERT(PTN_LEAF_POSITION(ptn) == id.id_parent_slot);
502b6cbf720SGianluca Guida 			insertfunc = ptree_insert_leaf;
503b6cbf720SGianluca Guida 			break;
504b6cbf720SGianluca Guida 		}
505b6cbf720SGianluca Guida 
506b6cbf720SGianluca Guida 		/*
507b6cbf720SGianluca Guida 		 * If we aren't a leaf, we must be a branch.  Make sure we are
508b6cbf720SGianluca Guida 		 * in the slot we think we are.
509b6cbf720SGianluca Guida 		 */
510b6cbf720SGianluca Guida 		KASSERT(PT_BRANCH_P(id.id_node));
511b6cbf720SGianluca Guida 		KASSERT(PTN_BRANCH_POSITION(ptn) == id.id_parent_slot);
512b6cbf720SGianluca Guida 
513b6cbf720SGianluca Guida 		/*
514b6cbf720SGianluca Guida 		 * Where is this branch?
515b6cbf720SGianluca Guida 		 */
516b6cbf720SGianluca Guida 		branch_bitoff = PTN_BRANCH_BITOFF(ptn);
517b6cbf720SGianluca Guida 
518b6cbf720SGianluca Guida #ifndef PTNOMASK
519b6cbf720SGianluca Guida 		/*
520b6cbf720SGianluca Guida 		 * If this is a one-way mask node, its offset must equal
521b6cbf720SGianluca Guida 		 * its mask's bitlen.
522b6cbf720SGianluca Guida 		 */
523b6cbf720SGianluca Guida 		KASSERT(!(PTN_ISMASK_P(ptn) && PTN_BRANCH_BITLEN(ptn) == 0) || PTN_MASK_BITLEN(ptn) == branch_bitoff);
524b6cbf720SGianluca Guida 
525b6cbf720SGianluca Guida 		/*
526b6cbf720SGianluca Guida 		 * If we are inserting a mask, and we know that at this point
527b6cbf720SGianluca Guida 		 * all bits before the current bit offset match both the target
528b6cbf720SGianluca Guida 		 * and the branch.  If the target's mask length is LEQ than
529b6cbf720SGianluca Guida 		 * this branch's bit offset, then this is where the mask needs
530b6cbf720SGianluca Guida 		 * to added to the tree.
531b6cbf720SGianluca Guida 		 */
532b6cbf720SGianluca Guida 		if (__predict_false(inserting_mask)
533b6cbf720SGianluca Guida 		    && (PTN_ISROOT_P(pt, id.id_parent)
534b6cbf720SGianluca Guida 			|| id.id_bitoff < target_masklen)
535b6cbf720SGianluca Guida 		    && target_masklen <= branch_bitoff) {
536b6cbf720SGianluca Guida 			/*
537b6cbf720SGianluca Guida 			 * We don't know about the bits (if any) between
538b6cbf720SGianluca Guida 			 * id.id_bitoff and the target's mask length match
539b6cbf720SGianluca Guida 			 * both the target and the branch.  If the target's
540b6cbf720SGianluca Guida 			 * mask length is greater than the current bit offset
541b6cbf720SGianluca Guida 			 * make sure the untested bits match both the target
542b6cbf720SGianluca Guida 			 * and the branch.
543b6cbf720SGianluca Guida 			 */
544b6cbf720SGianluca Guida 			if (target_masklen == id.id_bitoff
545b6cbf720SGianluca Guida 			    || ptree_matchnode(pt, target, ptn, target_masklen,
546b6cbf720SGianluca Guida 				    &id.id_bitoff, &id.id_slot)) {
547b6cbf720SGianluca Guida 				/*
548b6cbf720SGianluca Guida 				 * The bits matched, so insert the mask as a
549b6cbf720SGianluca Guida 				 * one-way branch.
550b6cbf720SGianluca Guida 				 */
551b6cbf720SGianluca Guida 				insertfunc = ptree_insert_mask_before_node;
552b6cbf720SGianluca Guida 				break;
553b6cbf720SGianluca Guida 			} else if (id.id_bitoff < branch_bitoff) {
554b6cbf720SGianluca Guida 				/*
555b6cbf720SGianluca Guida 				 * They didn't match, so create a normal branch
556b6cbf720SGianluca Guida 				 * because this mask needs to a be a new leaf.
557b6cbf720SGianluca Guida 				 */
558b6cbf720SGianluca Guida 				insertfunc = ptree_insert_branch_at_node;
559b6cbf720SGianluca Guida 				break;
560b6cbf720SGianluca Guida 			}
561b6cbf720SGianluca Guida 		}
562b6cbf720SGianluca Guida #endif /* PTNOMASK */
563b6cbf720SGianluca Guida 
564b6cbf720SGianluca Guida 		/*
565b6cbf720SGianluca Guida 		 * If we are skipping some bits, verify they match the node.
566b6cbf720SGianluca Guida 		 * If they don't match, it means we have a leaf to insert.
567b6cbf720SGianluca Guida 		 * Note that if we are advancing bit by bit, we'll skip
568b6cbf720SGianluca Guida 		 * doing matchnode and walk the tree bit by bit via testnode.
569b6cbf720SGianluca Guida 		 */
570b6cbf720SGianluca Guida 		if (id.id_bitoff < branch_bitoff
571b6cbf720SGianluca Guida 		    && !ptree_matchnode(pt, target, ptn, branch_bitoff,
572b6cbf720SGianluca Guida 					&id.id_bitoff, &id.id_slot)) {
573b6cbf720SGianluca Guida 			KASSERT(id.id_bitoff < branch_bitoff);
574b6cbf720SGianluca Guida 			insertfunc = ptree_insert_branch_at_node;
575b6cbf720SGianluca Guida 			break;
576b6cbf720SGianluca Guida 		}
577b6cbf720SGianluca Guida 
578b6cbf720SGianluca Guida 		/*
579b6cbf720SGianluca Guida 		 * At this point, all bits before branch_bitoff are known
580b6cbf720SGianluca Guida 		 * to match the target.
581b6cbf720SGianluca Guida 		 */
582b6cbf720SGianluca Guida 		KASSERT(id.id_bitoff >= branch_bitoff);
583b6cbf720SGianluca Guida 
584b6cbf720SGianluca Guida 		/*
585b6cbf720SGianluca Guida 		 * Decend the tree one level.
586b6cbf720SGianluca Guida 		 */
587b6cbf720SGianluca Guida 		id.id_parent = ptn;
588b6cbf720SGianluca Guida 		id.id_parent_slot = ptree_testnode(pt, target, id.id_parent);
589b6cbf720SGianluca Guida 		id.id_bitoff += PTN_BRANCH_BITLEN(id.id_parent);
590b6cbf720SGianluca Guida 		id.id_insertp = &PTN_BRANCH_SLOT(id.id_parent, id.id_parent_slot);
591b6cbf720SGianluca Guida 	}
592b6cbf720SGianluca Guida 
593b6cbf720SGianluca Guida 	/*
594b6cbf720SGianluca Guida 	 * Do the actual insertion.
595b6cbf720SGianluca Guida 	 */
596b6cbf720SGianluca Guida 	return (*insertfunc)(pt, target, &id);
597b6cbf720SGianluca Guida }
598b6cbf720SGianluca Guida 
599b6cbf720SGianluca Guida bool
ptree_insert_node(pt_tree_t * pt,void * item)600b6cbf720SGianluca Guida ptree_insert_node(pt_tree_t *pt, void *item)
601b6cbf720SGianluca Guida {
602b6cbf720SGianluca Guida 	pt_node_t * const target = ITEMTONODE(pt, item);
603b6cbf720SGianluca Guida 
604b6cbf720SGianluca Guida 	memset(target, 0, sizeof(*target));
605b6cbf720SGianluca Guida 	return ptree_insert_node_common(pt, target);
606b6cbf720SGianluca Guida }
607b6cbf720SGianluca Guida 
608b6cbf720SGianluca Guida #ifndef PTNOMASK
609b6cbf720SGianluca Guida bool
ptree_insert_mask_node(pt_tree_t * pt,void * item,pt_bitlen_t mask_len)610b6cbf720SGianluca Guida ptree_insert_mask_node(pt_tree_t *pt, void *item, pt_bitlen_t mask_len)
611b6cbf720SGianluca Guida {
612b6cbf720SGianluca Guida 	pt_node_t * const target = ITEMTONODE(pt, item);
613b6cbf720SGianluca Guida 	pt_bitoff_t bitoff = mask_len;
614b6cbf720SGianluca Guida 	pt_slot_t slot;
615b6cbf720SGianluca Guida 
616b6cbf720SGianluca Guida 	memset(target, 0, sizeof(*target));
617b6cbf720SGianluca Guida 	KASSERT(mask_len == 0 || (~PT__MASK(PTN_MASK_BITLEN) & mask_len) == 0);
618b6cbf720SGianluca Guida 	/*
619b6cbf720SGianluca Guida 	 * Only the first <mask_len> bits can be non-zero.
620b6cbf720SGianluca Guida 	 * All other bits must be 0.
621b6cbf720SGianluca Guida 	 */
622b6cbf720SGianluca Guida 	if (!ptree_matchnode(pt, target, NULL, UINT_MAX, &bitoff, &slot))
623b6cbf720SGianluca Guida 		return false;
624b6cbf720SGianluca Guida 	PTN_SET_MASK_BITLEN(target, mask_len);
625b6cbf720SGianluca Guida 	PTN_MARK_MASK(target);
626b6cbf720SGianluca Guida 	return ptree_insert_node_common(pt, target);
627b6cbf720SGianluca Guida }
628b6cbf720SGianluca Guida #endif /* !PTNOMASH */
629b6cbf720SGianluca Guida 
630b6cbf720SGianluca Guida void *
ptree_find_filtered_node(pt_tree_t * pt,const void * key,pt_filter_t filter,void * filter_arg)631*f14fb602SLionel Sambuc ptree_find_filtered_node(pt_tree_t *pt, const void *key, pt_filter_t filter,
632b6cbf720SGianluca Guida 	void *filter_arg)
633b6cbf720SGianluca Guida {
634b6cbf720SGianluca Guida #ifndef PTNOMASK
635b6cbf720SGianluca Guida 	pt_node_t *mask = NULL;
636b6cbf720SGianluca Guida #endif
637b6cbf720SGianluca Guida 	bool at_mask = false;
638b6cbf720SGianluca Guida 	pt_node_t *ptn, *parent;
639b6cbf720SGianluca Guida 	pt_bitoff_t bitoff;
640b6cbf720SGianluca Guida 	pt_slot_t parent_slot;
641b6cbf720SGianluca Guida 
642b6cbf720SGianluca Guida 	if (PT_NULL_P(PTN_BRANCH_ROOT_SLOT(&pt->pt_rootnode)))
643b6cbf720SGianluca Guida 		return NULL;
644b6cbf720SGianluca Guida 
645b6cbf720SGianluca Guida 	bitoff = 0;
646b6cbf720SGianluca Guida 	parent = &pt->pt_rootnode;
647b6cbf720SGianluca Guida 	parent_slot = PT_SLOT_ROOT;
648b6cbf720SGianluca Guida 	for (;;) {
649b6cbf720SGianluca Guida 		const uintptr_t node = PTN_BRANCH_SLOT(parent, parent_slot);
650b6cbf720SGianluca Guida 		const pt_slot_t branch_bitoff = PTN_BRANCH_BITOFF(PT_NODE(node));
651b6cbf720SGianluca Guida 		ptn = PT_NODE(node);
652b6cbf720SGianluca Guida 
653b6cbf720SGianluca Guida 		if (PT_LEAF_P(node)) {
654b6cbf720SGianluca Guida #ifndef PTNOMASK
655b6cbf720SGianluca Guida 			at_mask = PTN_ISMASK_P(ptn);
656b6cbf720SGianluca Guida #endif
657b6cbf720SGianluca Guida 			break;
658b6cbf720SGianluca Guida 		}
659b6cbf720SGianluca Guida 
660b6cbf720SGianluca Guida 		if (bitoff < branch_bitoff) {
661b6cbf720SGianluca Guida 			if (!ptree_matchkey(pt, key, ptn, bitoff, branch_bitoff - bitoff)) {
662b6cbf720SGianluca Guida #ifndef PTNOMASK
663b6cbf720SGianluca Guida 				if (mask != NULL)
664b6cbf720SGianluca Guida 					return NODETOITEM(pt, mask);
665b6cbf720SGianluca Guida #endif
666b6cbf720SGianluca Guida 				return NULL;
667b6cbf720SGianluca Guida 			}
668b6cbf720SGianluca Guida 			bitoff = branch_bitoff;
669b6cbf720SGianluca Guida 		}
670b6cbf720SGianluca Guida 
671b6cbf720SGianluca Guida #ifndef PTNOMASK
672b6cbf720SGianluca Guida 		if (PTN_ISMASK_P(ptn) && PTN_BRANCH_BITLEN(ptn) == 0
673b6cbf720SGianluca Guida 		    && (!filter
674b6cbf720SGianluca Guida 		        || (*filter)(filter_arg, NODETOITEM(pt, ptn),
675b6cbf720SGianluca Guida 				     PT_FILTER_MASK)))
676b6cbf720SGianluca Guida 			mask = ptn;
677b6cbf720SGianluca Guida #endif
678b6cbf720SGianluca Guida 
679b6cbf720SGianluca Guida 		parent = ptn;
680b6cbf720SGianluca Guida 		parent_slot = ptree_testkey(pt, key, parent);
681b6cbf720SGianluca Guida 		bitoff += PTN_BRANCH_BITLEN(parent);
682b6cbf720SGianluca Guida 	}
683b6cbf720SGianluca Guida 
684b6cbf720SGianluca Guida 	KASSERT(PTN_ISROOT_P(pt, parent) || PTN_BRANCH_BITOFF(parent) + PTN_BRANCH_BITLEN(parent) == bitoff);
685b6cbf720SGianluca Guida 	if (!filter || (*filter)(filter_arg, NODETOITEM(pt, ptn), at_mask ? PT_FILTER_MASK : 0)) {
686b6cbf720SGianluca Guida #ifndef PTNOMASK
687b6cbf720SGianluca Guida 		if (PTN_ISMASK_P(ptn)) {
688b6cbf720SGianluca Guida 			const pt_bitlen_t mask_len = PTN_MASK_BITLEN(ptn);
689b6cbf720SGianluca Guida 			if (bitoff == PTN_MASK_BITLEN(ptn))
690b6cbf720SGianluca Guida 				return NODETOITEM(pt, ptn);
691b6cbf720SGianluca Guida 			if (ptree_matchkey(pt, key, ptn, bitoff, mask_len - bitoff))
692b6cbf720SGianluca Guida 				return NODETOITEM(pt, ptn);
693b6cbf720SGianluca Guida 		} else
694b6cbf720SGianluca Guida #endif /* !PTNOMASK */
695b6cbf720SGianluca Guida 		if (ptree_matchkey(pt, key, ptn, bitoff, UINT_MAX))
696b6cbf720SGianluca Guida 			return NODETOITEM(pt, ptn);
697b6cbf720SGianluca Guida 	}
698b6cbf720SGianluca Guida 
699b6cbf720SGianluca Guida #ifndef PTNOMASK
700b6cbf720SGianluca Guida 	/*
701b6cbf720SGianluca Guida 	 * By virtue of how the mask was placed in the tree,
702b6cbf720SGianluca Guida 	 * all nodes descended from it will match it.  But the bits
703b6cbf720SGianluca Guida 	 * before the mask still need to be checked and since the
704b6cbf720SGianluca Guida 	 * mask was a branch, that was done implicitly.
705b6cbf720SGianluca Guida 	 */
706b6cbf720SGianluca Guida 	if (mask != NULL) {
707b6cbf720SGianluca Guida 		KASSERT(ptree_matchkey(pt, key, mask, 0, PTN_MASK_BITLEN(mask)));
708b6cbf720SGianluca Guida 		return NODETOITEM(pt, mask);
709b6cbf720SGianluca Guida 	}
710b6cbf720SGianluca Guida #endif /* !PTNOMASK */
711b6cbf720SGianluca Guida 
712b6cbf720SGianluca Guida 	/*
713b6cbf720SGianluca Guida 	 * Nothing matched.
714b6cbf720SGianluca Guida 	 */
715b6cbf720SGianluca Guida 	return NULL;
716b6cbf720SGianluca Guida }
717b6cbf720SGianluca Guida 
718b6cbf720SGianluca Guida void *
ptree_iterate(pt_tree_t * pt,const void * item,pt_direction_t direction)719b6cbf720SGianluca Guida ptree_iterate(pt_tree_t *pt, const void *item, pt_direction_t direction)
720b6cbf720SGianluca Guida {
721b6cbf720SGianluca Guida 	const pt_node_t * const target = ITEMTONODE(pt, item);
722b6cbf720SGianluca Guida 	uintptr_t node, next_node;
723b6cbf720SGianluca Guida 
724b6cbf720SGianluca Guida 	if (direction != PT_ASCENDING && direction != PT_DESCENDING)
725b6cbf720SGianluca Guida 		return NULL;
726b6cbf720SGianluca Guida 
727b6cbf720SGianluca Guida 	node = PTN_BRANCH_ROOT_SLOT(&pt->pt_rootnode);
728b6cbf720SGianluca Guida 	if (PT_NULL_P(node))
729b6cbf720SGianluca Guida 		return NULL;
730b6cbf720SGianluca Guida 
731b6cbf720SGianluca Guida 	if (item == NULL) {
732b6cbf720SGianluca Guida 		pt_node_t * const ptn = PT_NODE(node);
733b6cbf720SGianluca Guida 		if (direction == PT_ASCENDING
734b6cbf720SGianluca Guida 		    && PTN_ISMASK_P(ptn) && PTN_BRANCH_BITLEN(ptn) == 0)
735b6cbf720SGianluca Guida 			return NODETOITEM(pt, ptn);
736b6cbf720SGianluca Guida 		next_node = node;
737b6cbf720SGianluca Guida 	} else {
738b6cbf720SGianluca Guida #ifndef PTNOMASK
739b6cbf720SGianluca Guida 		uintptr_t mask_node = PT_NULL;
740b6cbf720SGianluca Guida #endif /* !PTNOMASK */
741b6cbf720SGianluca Guida 		next_node = PT_NULL;
742b6cbf720SGianluca Guida 		while (!PT_LEAF_P(node)) {
743b6cbf720SGianluca Guida 			pt_node_t * const ptn = PT_NODE(node);
744b6cbf720SGianluca Guida 			pt_slot_t slot;
745b6cbf720SGianluca Guida #ifndef PTNOMASK
746b6cbf720SGianluca Guida 			if (PTN_ISMASK_P(ptn) && PTN_BRANCH_BITLEN(ptn) == 0) {
747b6cbf720SGianluca Guida 				if (ptn == target)
748b6cbf720SGianluca Guida 					break;
749b6cbf720SGianluca Guida 				if (direction == PT_DESCENDING) {
750b6cbf720SGianluca Guida 					mask_node = node;
751b6cbf720SGianluca Guida 					next_node = PT_NULL;
752b6cbf720SGianluca Guida 				}
753b6cbf720SGianluca Guida 			}
754b6cbf720SGianluca Guida #endif /* !PTNOMASK */
755b6cbf720SGianluca Guida 			slot = ptree_testnode(pt, target, ptn);
756b6cbf720SGianluca Guida 			node = PTN_BRANCH_SLOT(ptn, slot);
757b6cbf720SGianluca Guida 			if (direction == PT_ASCENDING) {
758b6cbf720SGianluca Guida 				if (slot != (pt_slot_t)((1 << PTN_BRANCH_BITLEN(ptn)) - 1))
759b6cbf720SGianluca Guida 					next_node = PTN_BRANCH_SLOT(ptn, slot + 1);
760b6cbf720SGianluca Guida 			} else {
761b6cbf720SGianluca Guida 				if (slot > 0) {
762b6cbf720SGianluca Guida #ifndef PTNOMASK
763b6cbf720SGianluca Guida 					mask_node = PT_NULL;
764b6cbf720SGianluca Guida #endif /* !PTNOMASK */
765b6cbf720SGianluca Guida 					next_node = PTN_BRANCH_SLOT(ptn, slot - 1);
766b6cbf720SGianluca Guida 				}
767b6cbf720SGianluca Guida 			}
768b6cbf720SGianluca Guida 		}
769b6cbf720SGianluca Guida 		if (PT_NODE(node) != target)
770b6cbf720SGianluca Guida 			return NULL;
771b6cbf720SGianluca Guida #ifndef PTNOMASK
772b6cbf720SGianluca Guida 		if (PT_BRANCH_P(node)) {
773b6cbf720SGianluca Guida 			pt_node_t *ptn = PT_NODE(node);
774b6cbf720SGianluca Guida 			KASSERT(PTN_ISMASK_P(PT_NODE(node)) && PTN_BRANCH_BITLEN(PT_NODE(node)) == 0);
775b6cbf720SGianluca Guida 			if (direction == PT_ASCENDING) {
776b6cbf720SGianluca Guida 				next_node = PTN_BRANCH_ROOT_SLOT(ptn);
777b6cbf720SGianluca Guida 				ptn = PT_NODE(next_node);
778b6cbf720SGianluca Guida 			}
779b6cbf720SGianluca Guida 		}
780b6cbf720SGianluca Guida 		/*
781b6cbf720SGianluca Guida 		 * When descending, if we countered a mask node then that's
782b6cbf720SGianluca Guida 		 * we want to return.
783b6cbf720SGianluca Guida 		 */
784b6cbf720SGianluca Guida 		if (direction == PT_DESCENDING && !PT_NULL_P(mask_node)) {
785b6cbf720SGianluca Guida 			KASSERT(PT_NULL_P(next_node));
786b6cbf720SGianluca Guida 			return NODETOITEM(pt, PT_NODE(mask_node));
787b6cbf720SGianluca Guida 		}
788b6cbf720SGianluca Guida #endif /* !PTNOMASK */
789b6cbf720SGianluca Guida 	}
790b6cbf720SGianluca Guida 
791b6cbf720SGianluca Guida 	node = next_node;
792b6cbf720SGianluca Guida 	if (PT_NULL_P(node))
793b6cbf720SGianluca Guida 		return NULL;
794b6cbf720SGianluca Guida 
795b6cbf720SGianluca Guida 	while (!PT_LEAF_P(node)) {
796b6cbf720SGianluca Guida 		pt_node_t * const ptn = PT_NODE(node);
797b6cbf720SGianluca Guida 		pt_slot_t slot;
798b6cbf720SGianluca Guida 		if (direction == PT_ASCENDING) {
799b6cbf720SGianluca Guida #ifndef PTNOMASK
800b6cbf720SGianluca Guida 			if (PT_BRANCH_P(node)
801b6cbf720SGianluca Guida 			    && PTN_ISMASK_P(ptn)
802b6cbf720SGianluca Guida 			    && PTN_BRANCH_BITLEN(ptn) == 0)
803b6cbf720SGianluca Guida 				return NODETOITEM(pt, ptn);
804b6cbf720SGianluca Guida #endif /* !PTNOMASK */
805b6cbf720SGianluca Guida 			slot = PT_SLOT_LEFT;
806b6cbf720SGianluca Guida 		} else {
807b6cbf720SGianluca Guida 			slot = (1 << PTN_BRANCH_BITLEN(ptn)) - 1;
808b6cbf720SGianluca Guida 		}
809b6cbf720SGianluca Guida 		node = PTN_BRANCH_SLOT(ptn, slot);
810b6cbf720SGianluca Guida 	}
811b6cbf720SGianluca Guida 	return NODETOITEM(pt, PT_NODE(node));
812b6cbf720SGianluca Guida }
813b6cbf720SGianluca Guida 
814b6cbf720SGianluca Guida void
ptree_remove_node(pt_tree_t * pt,void * item)815b6cbf720SGianluca Guida ptree_remove_node(pt_tree_t *pt, void *item)
816b6cbf720SGianluca Guida {
817b6cbf720SGianluca Guida 	pt_node_t * const target = ITEMTONODE(pt, item);
818b6cbf720SGianluca Guida 	const pt_slot_t leaf_slot = PTN_LEAF_POSITION(target);
819b6cbf720SGianluca Guida 	const pt_slot_t branch_slot = PTN_BRANCH_POSITION(target);
820b6cbf720SGianluca Guida 	pt_node_t *ptn, *parent;
821b6cbf720SGianluca Guida 	uintptr_t node;
822b6cbf720SGianluca Guida 	uintptr_t *removep;
823b6cbf720SGianluca Guida 	uintptr_t *nodep;
824b6cbf720SGianluca Guida 	pt_bitoff_t bitoff;
825b6cbf720SGianluca Guida 	pt_slot_t parent_slot;
826b6cbf720SGianluca Guida #ifndef PTNOMASK
827b6cbf720SGianluca Guida 	bool at_mask;
828b6cbf720SGianluca Guida #endif
829b6cbf720SGianluca Guida 
830b6cbf720SGianluca Guida 	if (PT_NULL_P(PTN_BRANCH_ROOT_SLOT(&pt->pt_rootnode))) {
831b6cbf720SGianluca Guida 		KASSERT(!PT_NULL_P(PTN_BRANCH_ROOT_SLOT(&pt->pt_rootnode)));
832b6cbf720SGianluca Guida 		return;
833b6cbf720SGianluca Guida 	}
834b6cbf720SGianluca Guida 
835b6cbf720SGianluca Guida 	bitoff = 0;
836b6cbf720SGianluca Guida 	removep = NULL;
837b6cbf720SGianluca Guida 	nodep = NULL;
838b6cbf720SGianluca Guida 	parent = &pt->pt_rootnode;
839b6cbf720SGianluca Guida 	parent_slot = PT_SLOT_ROOT;
840b6cbf720SGianluca Guida 	for (;;) {
841b6cbf720SGianluca Guida 		node = PTN_BRANCH_SLOT(parent, parent_slot);
842b6cbf720SGianluca Guida 		ptn = PT_NODE(node);
843b6cbf720SGianluca Guida #ifndef PTNOMASK
844b6cbf720SGianluca Guida 		at_mask = PTN_ISMASK_P(ptn);
845b6cbf720SGianluca Guida #endif
846b6cbf720SGianluca Guida 
847b6cbf720SGianluca Guida 		if (PT_LEAF_P(node))
848b6cbf720SGianluca Guida 			break;
849b6cbf720SGianluca Guida 
850b6cbf720SGianluca Guida 		/*
851b6cbf720SGianluca Guida 		 * If we are at the target, then we are looking at its branch
852b6cbf720SGianluca Guida 		 * identity.  We need to remember who's pointing at it so we
853b6cbf720SGianluca Guida 		 * stop them from doing that.
854b6cbf720SGianluca Guida 		 */
855b6cbf720SGianluca Guida 		if (__predict_false(ptn == target)) {
856b6cbf720SGianluca Guida 			KASSERT(nodep == NULL);
857b6cbf720SGianluca Guida #ifndef PTNOMASK
858b6cbf720SGianluca Guida 			/*
859b6cbf720SGianluca Guida 			 * Interior mask nodes are trivial to get rid of.
860b6cbf720SGianluca Guida 			 */
861b6cbf720SGianluca Guida 			if (at_mask && PTN_BRANCH_BITLEN(ptn) == 0) {
862b6cbf720SGianluca Guida 				PTN_BRANCH_SLOT(parent, parent_slot) =
863b6cbf720SGianluca Guida 				    PTN_BRANCH_ROOT_SLOT(ptn);
864b6cbf720SGianluca Guida 				KASSERT(PT_NULL_P(PTN_BRANCH_ODDMAN_SLOT(ptn)));
865b6cbf720SGianluca Guida 				PTREE_CHECK(pt);
866b6cbf720SGianluca Guida 				return;
867b6cbf720SGianluca Guida 			}
868b6cbf720SGianluca Guida #endif /* !PTNOMASK */
869b6cbf720SGianluca Guida 			nodep = &PTN_BRANCH_SLOT(parent, parent_slot);
870b6cbf720SGianluca Guida 			KASSERT(*nodep == PTN_BRANCH(target));
871b6cbf720SGianluca Guida 		}
872b6cbf720SGianluca Guida 		/*
873b6cbf720SGianluca Guida 		 * We need also need to know who's pointing at our parent.
874b6cbf720SGianluca Guida 		 * After we remove ourselves from our parent, he'll only
875b6cbf720SGianluca Guida 		 * have one child and that's unacceptable.  So we replace
876b6cbf720SGianluca Guida 		 * the pointer to the parent with our abadoned sibling.
877b6cbf720SGianluca Guida 		 */
878b6cbf720SGianluca Guida 		removep = &PTN_BRANCH_SLOT(parent, parent_slot);
879b6cbf720SGianluca Guida 
880b6cbf720SGianluca Guida 		/*
881b6cbf720SGianluca Guida 		 * Descend into the tree.
882b6cbf720SGianluca Guida 		 */
883b6cbf720SGianluca Guida 		parent = ptn;
884b6cbf720SGianluca Guida 		parent_slot = ptree_testnode(pt, target, parent);
885b6cbf720SGianluca Guida 		bitoff += PTN_BRANCH_BITLEN(parent);
886b6cbf720SGianluca Guida 	}
887b6cbf720SGianluca Guida 
888b6cbf720SGianluca Guida 	/*
889b6cbf720SGianluca Guida 	 * We better have found that the leaf we are looking for is target.
890b6cbf720SGianluca Guida 	 */
891b6cbf720SGianluca Guida 	if (target != ptn) {
892b6cbf720SGianluca Guida 		KASSERT(target == ptn);
893b6cbf720SGianluca Guida 		return;
894b6cbf720SGianluca Guida 	}
895b6cbf720SGianluca Guida 
896b6cbf720SGianluca Guida 	/*
897b6cbf720SGianluca Guida 	 * If we didn't encounter target as branch, then target must be the
898b6cbf720SGianluca Guida 	 * oddman-out.
899b6cbf720SGianluca Guida 	 */
900b6cbf720SGianluca Guida 	if (nodep == NULL) {
901b6cbf720SGianluca Guida 		KASSERT(PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) == PTN_LEAF(target));
902b6cbf720SGianluca Guida 		KASSERT(nodep == NULL);
903b6cbf720SGianluca Guida 		nodep = &PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode);
904b6cbf720SGianluca Guida 	}
905b6cbf720SGianluca Guida 
906b6cbf720SGianluca Guida 	KASSERT((removep == NULL) == (parent == &pt->pt_rootnode));
907b6cbf720SGianluca Guida 
908b6cbf720SGianluca Guida 	/*
909b6cbf720SGianluca Guida 	 * We have to special remove the last leaf from the root since
910b6cbf720SGianluca Guida 	 * the only time the tree can a PT_NULL node is when it's empty.
911b6cbf720SGianluca Guida 	 */
912b6cbf720SGianluca Guida 	if (__predict_false(PTN_ISROOT_P(pt, parent))) {
913b6cbf720SGianluca Guida 		KASSERT(removep == NULL);
914b6cbf720SGianluca Guida 		KASSERT(parent == &pt->pt_rootnode);
915b6cbf720SGianluca Guida 		KASSERT(nodep == &PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode));
916b6cbf720SGianluca Guida 		KASSERT(*nodep == PTN_LEAF(target));
917b6cbf720SGianluca Guida 		PTN_BRANCH_ROOT_SLOT(&pt->pt_rootnode) = PT_NULL;
918b6cbf720SGianluca Guida 		PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = PT_NULL;
919b6cbf720SGianluca Guida 		return;
920b6cbf720SGianluca Guida 	}
921b6cbf720SGianluca Guida 
922b6cbf720SGianluca Guida 	KASSERT((parent == target) == (removep == nodep));
923b6cbf720SGianluca Guida 	if (PTN_BRANCH(parent) == PTN_BRANCH_SLOT(target, PTN_BRANCH_POSITION(parent))) {
924b6cbf720SGianluca Guida 		/*
925b6cbf720SGianluca Guida 		 * The pointer to the parent actually lives in the target's
926b6cbf720SGianluca Guida 		 * branch identity.  We can't just move the target's branch
927b6cbf720SGianluca Guida 		 * identity since that would result in the parent pointing
928b6cbf720SGianluca Guida 		 * to its own branch identity and that's fobidden.
929b6cbf720SGianluca Guida 		 */
930b6cbf720SGianluca Guida 		const pt_slot_t slot = PTN_BRANCH_POSITION(parent);
931b6cbf720SGianluca Guida 		const pt_slot_t other_slot = slot ^ PT_SLOT_OTHER;
932b6cbf720SGianluca Guida 		const pt_bitlen_t parent_bitlen = PTN_BRANCH_BITLEN(parent);
933b6cbf720SGianluca Guida 
934b6cbf720SGianluca Guida 		KASSERT(PTN_BRANCH_BITOFF(target) < PTN_BRANCH_BITOFF(parent));
935b6cbf720SGianluca Guida 
936b6cbf720SGianluca Guida 		/*
937b6cbf720SGianluca Guida 		 * This gets so confusing.  The target's branch identity
938b6cbf720SGianluca Guida 		 * points to the branch identity of the parent of the target's
939b6cbf720SGianluca Guida 		 * leaf identity:
940b6cbf720SGianluca Guida 		 *
941b6cbf720SGianluca Guida 		 * 	TB = { X, PB = { TL, Y } }
942b6cbf720SGianluca Guida 		 *   or TB = { X, PB = { TL } }
943b6cbf720SGianluca Guida 		 *
944b6cbf720SGianluca Guida 		 * So we can't move the target's branch identity to the parent
945b6cbf720SGianluca Guida 		 * because that would corrupt the tree.
946b6cbf720SGianluca Guida 		 */
947b6cbf720SGianluca Guida 		if (__predict_true(parent_bitlen > 0)) {
948b6cbf720SGianluca Guida 			/*
949b6cbf720SGianluca Guida 			 * The parent is a two-way branch.  We have to have
950b6cbf720SGianluca Guida 			 * do to this chang in two steps to keep internally
951b6cbf720SGianluca Guida 			 * consistent.  First step is to copy our sibling from
952b6cbf720SGianluca Guida 			 * our parent to where we are pointing to parent's
953b6cbf720SGianluca Guida 			 * branch identiy.  This remove all references to his
954b6cbf720SGianluca Guida 			 * branch identity from the tree.  We then simply make
955b6cbf720SGianluca Guida 			 * the parent assume the target's branching duties.
956b6cbf720SGianluca Guida 			 *
957b6cbf720SGianluca Guida 			 *   TB = { X, PB = { Y, TL } } --> PB = { X, Y }.
958b6cbf720SGianluca Guida 			 *   TB = { X, PB = { TL, Y } } --> PB = { X, Y }.
959b6cbf720SGianluca Guida 			 *   TB = { PB = { Y, TL }, X } --> PB = { Y, X }.
960b6cbf720SGianluca Guida 			 *   TB = { PB = { TL, Y }, X } --> PB = { Y, X }.
961b6cbf720SGianluca Guida 			 */
962b6cbf720SGianluca Guida 			PTN_BRANCH_SLOT(target, slot) =
963b6cbf720SGianluca Guida 			    PTN_BRANCH_SLOT(parent, parent_slot ^ PT_SLOT_OTHER);
964b6cbf720SGianluca Guida 			*nodep = ptree_move_branch(pt, parent, target);
965b6cbf720SGianluca Guida 			PTREE_CHECK(pt);
966b6cbf720SGianluca Guida 			return;
967b6cbf720SGianluca Guida 		} else {
968b6cbf720SGianluca Guida 			/*
969b6cbf720SGianluca Guida 			 * If parent was a one-way branch, it must have been
970b6cbf720SGianluca Guida 			 * mask which pointed to a single leaf which we are
971b6cbf720SGianluca Guida 			 * removing.  This means we have to convert the
972b6cbf720SGianluca Guida 			 * parent back to a leaf node.  So in the same
973b6cbf720SGianluca Guida 			 * position that target pointed to parent, we place
974b6cbf720SGianluca Guida 			 * leaf pointer to parent.  In the other position,
975b6cbf720SGianluca Guida 			 * we just put the other node from target.
976b6cbf720SGianluca Guida 			 *
977b6cbf720SGianluca Guida 			 *   TB = { X, PB = { TL } } --> PB = { X, PL }
978b6cbf720SGianluca Guida 			 */
979b6cbf720SGianluca Guida 			KASSERT(PTN_ISMASK_P(parent));
980b6cbf720SGianluca Guida 			KASSERT(slot == ptree_testnode(pt, parent, target));
981b6cbf720SGianluca Guida 			PTN_BRANCH_SLOT(parent, slot) = PTN_LEAF(parent);
982b6cbf720SGianluca Guida 			PTN_BRANCH_SLOT(parent, other_slot) =
983b6cbf720SGianluca Guida 			   PTN_BRANCH_SLOT(target, other_slot);
984b6cbf720SGianluca Guida 			PTN_SET_LEAF_POSITION(parent,slot);
985b6cbf720SGianluca Guida 			PTN_SET_BRANCH_BITLEN(parent, 1);
986b6cbf720SGianluca Guida 		}
987b6cbf720SGianluca Guida 		PTN_SET_BRANCH_BITOFF(parent, PTN_BRANCH_BITOFF(target));
988b6cbf720SGianluca Guida 		PTN_SET_BRANCH_POSITION(parent, PTN_BRANCH_POSITION(target));
989b6cbf720SGianluca Guida 
990b6cbf720SGianluca Guida 		*nodep = PTN_BRANCH(parent);
991b6cbf720SGianluca Guida 		PTREE_CHECK(pt);
992b6cbf720SGianluca Guida 		return;
993b6cbf720SGianluca Guida 	}
994b6cbf720SGianluca Guida 
995b6cbf720SGianluca Guida #ifndef PTNOMASK
996b6cbf720SGianluca Guida 	if (__predict_false(PTN_BRANCH_BITLEN(parent) == 0)) {
997b6cbf720SGianluca Guida 		/*
998b6cbf720SGianluca Guida 		 * Parent was a one-way branch which is changing back to a leaf.
999b6cbf720SGianluca Guida 		 * Since parent is no longer a one-way branch, it can take over
1000b6cbf720SGianluca Guida 		 * target's branching duties.
1001b6cbf720SGianluca Guida 		 *
1002b6cbf720SGianluca Guida 		 *  GB = { PB = { TL } }	--> GB = { PL }
1003b6cbf720SGianluca Guida 		 *  TB = { X, Y }		--> PB = { X, Y }
1004b6cbf720SGianluca Guida 		 */
1005b6cbf720SGianluca Guida 		KASSERT(PTN_ISMASK_P(parent));
1006b6cbf720SGianluca Guida 		KASSERT(parent != target);
1007b6cbf720SGianluca Guida 		*removep = PTN_LEAF(parent);
1008b6cbf720SGianluca Guida 	} else
1009b6cbf720SGianluca Guida #endif /* !PTNOMASK */
1010b6cbf720SGianluca Guida 	{
1011b6cbf720SGianluca Guida 		/*
1012b6cbf720SGianluca Guida 		 * Now we are the normal removal case.  Since after the
1013b6cbf720SGianluca Guida 		 * target's leaf identity is removed from the its parent,
1014b6cbf720SGianluca Guida 		 * that parent will only have one decendent.  So we can
1015b6cbf720SGianluca Guida 		 * just as easily replace the node that has the parent's
1016b6cbf720SGianluca Guida 		 * branch identity with the surviving node.  This freeing
1017b6cbf720SGianluca Guida 		 * parent from its branching duties which means it can
1018b6cbf720SGianluca Guida 		 * take over target's branching duties.
1019b6cbf720SGianluca Guida 		 *
1020b6cbf720SGianluca Guida 		 *  GB = { PB = { X, TL } }	--> GB = { X }
1021b6cbf720SGianluca Guida 		 *  TB = { V, W }		--> PB = { V, W }
1022b6cbf720SGianluca Guida 		 */
1023b6cbf720SGianluca Guida 		const pt_slot_t other_slot = parent_slot ^ PT_SLOT_OTHER;
1024b6cbf720SGianluca Guida 		uintptr_t other_node = PTN_BRANCH_SLOT(parent, other_slot);
1025b6cbf720SGianluca Guida 		const pt_slot_t target_slot = (parent == target ? branch_slot : leaf_slot);
1026b6cbf720SGianluca Guida 
1027b6cbf720SGianluca Guida 		*removep = other_node;
1028b6cbf720SGianluca Guida 
1029b6cbf720SGianluca Guida 		ptree_set_position(other_node, target_slot);
1030b6cbf720SGianluca Guida 
1031b6cbf720SGianluca Guida 		/*
1032b6cbf720SGianluca Guida 		 * If target's branch identity contained its leaf identity, we
1033b6cbf720SGianluca Guida 		 * have nothing left to do.  We've already moved 'X' so there
1034b6cbf720SGianluca Guida 		 * is no longer anything in the target's branch identiy that
1035b6cbf720SGianluca Guida 		 * has to be preserved.
1036b6cbf720SGianluca Guida 		 */
1037b6cbf720SGianluca Guida 		if (parent == target) {
1038b6cbf720SGianluca Guida 			/*
1039b6cbf720SGianluca Guida 			 *  GB = { TB = { X, TL } }	--> GB = { X }
1040b6cbf720SGianluca Guida 			 *  TB = { X, TL }		--> don't care
1041b6cbf720SGianluca Guida 			 */
1042b6cbf720SGianluca Guida 			PTREE_CHECK(pt);
1043b6cbf720SGianluca Guida 			return;
1044b6cbf720SGianluca Guida 		}
1045b6cbf720SGianluca Guida 	}
1046b6cbf720SGianluca Guida 
1047b6cbf720SGianluca Guida 	/*
1048b6cbf720SGianluca Guida 	 * If target wasn't used as a branch, then it must have been the
1049b6cbf720SGianluca Guida 	 * oddman-out of the tree (the one node that doesn't have a branch
1050b6cbf720SGianluca Guida 	 * identity).  This makes parent the new oddman-out.
1051b6cbf720SGianluca Guida 	 */
1052b6cbf720SGianluca Guida 	if (*nodep == PTN_LEAF(target)) {
1053b6cbf720SGianluca Guida 		KASSERT(nodep == &PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode));
1054b6cbf720SGianluca Guida 		PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = PTN_LEAF(parent);
1055b6cbf720SGianluca Guida 		PTREE_CHECK(pt);
1056b6cbf720SGianluca Guida 		return;
1057b6cbf720SGianluca Guida 	}
1058b6cbf720SGianluca Guida 
1059b6cbf720SGianluca Guida 	/*
1060b6cbf720SGianluca Guida 	 * Finally move the target's branching duties to the parent.
1061b6cbf720SGianluca Guida 	 */
1062b6cbf720SGianluca Guida 	KASSERT(PTN_BRANCH_BITOFF(parent) > PTN_BRANCH_BITOFF(target));
1063b6cbf720SGianluca Guida 	*nodep = ptree_move_branch(pt, parent, target);
1064b6cbf720SGianluca Guida 	PTREE_CHECK(pt);
1065b6cbf720SGianluca Guida }
1066b6cbf720SGianluca Guida 
1067b6cbf720SGianluca Guida #ifdef PTCHECK
1068b6cbf720SGianluca Guida static const pt_node_t *
ptree_check_find_node2(const pt_tree_t * pt,const pt_node_t * parent,uintptr_t target)1069b6cbf720SGianluca Guida ptree_check_find_node2(const pt_tree_t *pt, const pt_node_t *parent,
1070b6cbf720SGianluca Guida 	uintptr_t target)
1071b6cbf720SGianluca Guida {
1072b6cbf720SGianluca Guida 	const pt_bitlen_t slots = 1 << PTN_BRANCH_BITLEN(parent);
1073b6cbf720SGianluca Guida 	pt_slot_t slot;
1074b6cbf720SGianluca Guida 
1075b6cbf720SGianluca Guida 	for (slot = 0; slot < slots; slot++) {
1076b6cbf720SGianluca Guida 		const uintptr_t node = PTN_BRANCH_SLOT(parent, slot);
1077b6cbf720SGianluca Guida 		if (PTN_BRANCH_SLOT(parent, slot) == node)
1078b6cbf720SGianluca Guida 			return parent;
1079b6cbf720SGianluca Guida 	}
1080b6cbf720SGianluca Guida 	for (slot = 0; slot < slots; slot++) {
1081b6cbf720SGianluca Guida 		const uintptr_t node = PTN_BRANCH_SLOT(parent, slot);
1082b6cbf720SGianluca Guida 		const pt_node_t *branch;
1083b6cbf720SGianluca Guida 		if (!PT_BRANCH_P(node))
1084b6cbf720SGianluca Guida 			continue;
1085b6cbf720SGianluca Guida 		branch = ptree_check_find_node2(pt, PT_NODE(node), target);
1086b6cbf720SGianluca Guida 		if (branch != NULL)
1087b6cbf720SGianluca Guida 			return branch;
1088b6cbf720SGianluca Guida 	}
1089b6cbf720SGianluca Guida 
1090b6cbf720SGianluca Guida 	return NULL;
1091b6cbf720SGianluca Guida }
1092b6cbf720SGianluca Guida 
1093b6cbf720SGianluca Guida static bool
ptree_check_leaf(const pt_tree_t * pt,const pt_node_t * parent,const pt_node_t * ptn)1094b6cbf720SGianluca Guida ptree_check_leaf(const pt_tree_t *pt, const pt_node_t *parent,
1095b6cbf720SGianluca Guida 	const pt_node_t *ptn)
1096b6cbf720SGianluca Guida {
1097b6cbf720SGianluca Guida 	const pt_bitoff_t leaf_position = PTN_LEAF_POSITION(ptn);
1098b6cbf720SGianluca Guida 	const pt_bitlen_t bitlen = PTN_BRANCH_BITLEN(ptn);
1099b6cbf720SGianluca Guida 	const pt_bitlen_t mask_len = PTN_MASK_BITLEN(ptn);
1100b6cbf720SGianluca Guida 	const uintptr_t leaf_node = PTN_LEAF(ptn);
1101b6cbf720SGianluca Guida 	const bool is_parent_root = (parent == &pt->pt_rootnode);
1102b6cbf720SGianluca Guida 	const bool is_mask = PTN_ISMASK_P(ptn);
1103b6cbf720SGianluca Guida 	bool ok = true;
1104b6cbf720SGianluca Guida 
1105b6cbf720SGianluca Guida 	if (is_parent_root) {
1106b6cbf720SGianluca Guida 		ok = ok && PTN_BRANCH_ODDMAN_SLOT(parent) == leaf_node;
1107b6cbf720SGianluca Guida 		KASSERT(ok);
1108b6cbf720SGianluca Guida 		return ok;
1109b6cbf720SGianluca Guida 	}
1110b6cbf720SGianluca Guida 
1111b6cbf720SGianluca Guida 	if (is_mask && PTN_ISMASK_P(parent) && PTN_BRANCH_BITLEN(parent) == 0) {
1112b6cbf720SGianluca Guida 		ok = ok && PTN_MASK_BITLEN(parent) < mask_len;
1113b6cbf720SGianluca Guida 		KASSERT(ok);
1114b6cbf720SGianluca Guida 		ok = ok && PTN_BRANCH_BITOFF(parent) < mask_len;
1115b6cbf720SGianluca Guida 		KASSERT(ok);
1116b6cbf720SGianluca Guida 	}
1117b6cbf720SGianluca Guida 	ok = ok && PTN_BRANCH_SLOT(parent, leaf_position) == leaf_node;
1118b6cbf720SGianluca Guida 	KASSERT(ok);
1119b6cbf720SGianluca Guida 	ok = ok && leaf_position == ptree_testnode(pt, ptn, parent);
1120b6cbf720SGianluca Guida 	KASSERT(ok);
1121b6cbf720SGianluca Guida 	if (PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) != leaf_node) {
1122b6cbf720SGianluca Guida 		ok = ok && bitlen > 0;
1123b6cbf720SGianluca Guida 		KASSERT(ok);
1124b6cbf720SGianluca Guida 		ok = ok && ptn == ptree_check_find_node2(pt, ptn, PTN_LEAF(ptn));
1125b6cbf720SGianluca Guida 		KASSERT(ok);
1126b6cbf720SGianluca Guida 	}
1127b6cbf720SGianluca Guida 	return ok;
1128b6cbf720SGianluca Guida }
1129b6cbf720SGianluca Guida 
1130b6cbf720SGianluca Guida static bool
ptree_check_branch(const pt_tree_t * pt,const pt_node_t * parent,const pt_node_t * ptn)1131b6cbf720SGianluca Guida ptree_check_branch(const pt_tree_t *pt, const pt_node_t *parent,
1132b6cbf720SGianluca Guida 	const pt_node_t *ptn)
1133b6cbf720SGianluca Guida {
1134b6cbf720SGianluca Guida 	const bool is_parent_root = (parent == &pt->pt_rootnode);
1135b6cbf720SGianluca Guida 	const pt_slot_t branch_slot = PTN_BRANCH_POSITION(ptn);
1136b6cbf720SGianluca Guida 	const pt_bitoff_t bitoff = PTN_BRANCH_BITOFF(ptn);
1137b6cbf720SGianluca Guida 	const pt_bitoff_t bitlen = PTN_BRANCH_BITLEN(ptn);
1138b6cbf720SGianluca Guida 	const pt_bitoff_t parent_bitoff = PTN_BRANCH_BITOFF(parent);
1139b6cbf720SGianluca Guida 	const pt_bitoff_t parent_bitlen = PTN_BRANCH_BITLEN(parent);
1140b6cbf720SGianluca Guida 	const bool is_parent_mask = PTN_ISMASK_P(parent) && parent_bitlen == 0;
1141b6cbf720SGianluca Guida 	const bool is_mask = PTN_ISMASK_P(ptn) && bitlen == 0;
1142b6cbf720SGianluca Guida 	const pt_bitoff_t parent_mask_len = PTN_MASK_BITLEN(parent);
1143b6cbf720SGianluca Guida 	const pt_bitoff_t mask_len = PTN_MASK_BITLEN(ptn);
1144b6cbf720SGianluca Guida 	const pt_bitlen_t slots = 1 << bitlen;
1145b6cbf720SGianluca Guida 	pt_slot_t slot;
1146b6cbf720SGianluca Guida 	bool ok = true;
1147b6cbf720SGianluca Guida 
1148b6cbf720SGianluca Guida 	ok = ok && PTN_BRANCH_SLOT(parent, branch_slot) == PTN_BRANCH(ptn);
1149b6cbf720SGianluca Guida 	KASSERT(ok);
1150b6cbf720SGianluca Guida 	ok = ok && branch_slot == ptree_testnode(pt, ptn, parent);
1151b6cbf720SGianluca Guida 	KASSERT(ok);
1152b6cbf720SGianluca Guida 
1153b6cbf720SGianluca Guida 	if (is_mask) {
1154b6cbf720SGianluca Guida 		ok = ok && bitoff == mask_len;
1155b6cbf720SGianluca Guida 		KASSERT(ok);
1156b6cbf720SGianluca Guida 		if (is_parent_mask) {
1157b6cbf720SGianluca Guida 			ok = ok && parent_mask_len < mask_len;
1158b6cbf720SGianluca Guida 			KASSERT(ok);
1159b6cbf720SGianluca Guida 			ok = ok && parent_bitoff < bitoff;
1160b6cbf720SGianluca Guida 			KASSERT(ok);
1161b6cbf720SGianluca Guida 		}
1162b6cbf720SGianluca Guida 	} else {
1163b6cbf720SGianluca Guida 		if (is_parent_mask) {
1164b6cbf720SGianluca Guida 			ok = ok && parent_bitoff <= bitoff;
1165b6cbf720SGianluca Guida 		} else if (!is_parent_root) {
1166b6cbf720SGianluca Guida 			ok = ok && parent_bitoff < bitoff;
1167b6cbf720SGianluca Guida 		}
1168b6cbf720SGianluca Guida 		KASSERT(ok);
1169b6cbf720SGianluca Guida 	}
1170b6cbf720SGianluca Guida 
1171b6cbf720SGianluca Guida 	for (slot = 0; slot < slots; slot++) {
1172b6cbf720SGianluca Guida 		const uintptr_t node = PTN_BRANCH_SLOT(ptn, slot);
1173b6cbf720SGianluca Guida 		pt_bitoff_t tmp_bitoff = 0;
1174b6cbf720SGianluca Guida 		pt_slot_t tmp_slot;
1175b6cbf720SGianluca Guida 		ok = ok && node != PTN_BRANCH(ptn);
1176b6cbf720SGianluca Guida 		KASSERT(ok);
1177b6cbf720SGianluca Guida 		if (bitlen > 0) {
1178b6cbf720SGianluca Guida 			ok = ok && ptree_matchnode(pt, PT_NODE(node), ptn, bitoff, &tmp_bitoff, &tmp_slot);
1179b6cbf720SGianluca Guida 			KASSERT(ok);
1180b6cbf720SGianluca Guida 			tmp_slot = ptree_testnode(pt, PT_NODE(node), ptn);
1181b6cbf720SGianluca Guida 			ok = ok && slot == tmp_slot;
1182b6cbf720SGianluca Guida 			KASSERT(ok);
1183b6cbf720SGianluca Guida 		}
1184b6cbf720SGianluca Guida 		if (PT_LEAF_P(node))
1185b6cbf720SGianluca Guida 			ok = ok && ptree_check_leaf(pt, ptn, PT_NODE(node));
1186b6cbf720SGianluca Guida 		else
1187b6cbf720SGianluca Guida 			ok = ok && ptree_check_branch(pt, ptn, PT_NODE(node));
1188b6cbf720SGianluca Guida 	}
1189b6cbf720SGianluca Guida 
1190b6cbf720SGianluca Guida 	return ok;
1191b6cbf720SGianluca Guida }
1192b6cbf720SGianluca Guida #endif /* PTCHECK */
1193b6cbf720SGianluca Guida 
1194b6cbf720SGianluca Guida /*ARGSUSED*/
1195b6cbf720SGianluca Guida bool
ptree_check(const pt_tree_t * pt)1196b6cbf720SGianluca Guida ptree_check(const pt_tree_t *pt)
1197b6cbf720SGianluca Guida {
1198b6cbf720SGianluca Guida 	bool ok = true;
1199b6cbf720SGianluca Guida #ifdef PTCHECK
1200b6cbf720SGianluca Guida 	const pt_node_t * const parent = &pt->pt_rootnode;
1201b6cbf720SGianluca Guida 	const uintptr_t node = pt->pt_root;
1202b6cbf720SGianluca Guida 	const pt_node_t * const ptn = PT_NODE(node);
1203b6cbf720SGianluca Guida 
1204b6cbf720SGianluca Guida 	ok = ok && PTN_BRANCH_BITOFF(parent) == 0;
1205b6cbf720SGianluca Guida 	ok = ok && !PTN_ISMASK_P(parent);
1206b6cbf720SGianluca Guida 
1207b6cbf720SGianluca Guida 	if (PT_NULL_P(node))
1208b6cbf720SGianluca Guida 		return ok;
1209b6cbf720SGianluca Guida 
1210b6cbf720SGianluca Guida 	if (PT_LEAF_P(node))
1211b6cbf720SGianluca Guida 		ok = ok && ptree_check_leaf(pt, parent, ptn);
1212b6cbf720SGianluca Guida 	else
1213b6cbf720SGianluca Guida 		ok = ok && ptree_check_branch(pt, parent, ptn);
1214b6cbf720SGianluca Guida #endif
1215b6cbf720SGianluca Guida 	return ok;
1216b6cbf720SGianluca Guida }
1217*f14fb602SLionel Sambuc 
1218*f14fb602SLionel Sambuc bool
ptree_mask_node_p(pt_tree_t * pt,const void * item,pt_bitlen_t * lenp)1219*f14fb602SLionel Sambuc ptree_mask_node_p(pt_tree_t *pt, const void *item, pt_bitlen_t *lenp)
1220*f14fb602SLionel Sambuc {
1221*f14fb602SLionel Sambuc 	const pt_node_t * const mask = ITEMTONODE(pt, item);
1222*f14fb602SLionel Sambuc 
1223*f14fb602SLionel Sambuc 	if (!PTN_ISMASK_P(mask))
1224*f14fb602SLionel Sambuc 		return false;
1225*f14fb602SLionel Sambuc 
1226*f14fb602SLionel Sambuc 	if (lenp != NULL)
1227*f14fb602SLionel Sambuc 		*lenp = PTN_MASK_BITLEN(mask);
1228*f14fb602SLionel Sambuc 
1229*f14fb602SLionel Sambuc 	return true;
1230*f14fb602SLionel Sambuc }
1231