1*fae548d3Szrj /* A Fibonacci heap datatype.
2*fae548d3Szrj    Copyright (C) 1998-2020 Free Software Foundation, Inc.
3*fae548d3Szrj    Contributed by Daniel Berlin (dan@cgsoftware.com).
4*fae548d3Szrj 
5*fae548d3Szrj This file is part of GNU CC.
6*fae548d3Szrj 
7*fae548d3Szrj GNU CC is free software; you can redistribute it and/or modify it
8*fae548d3Szrj under the terms of the GNU General Public License as published by
9*fae548d3Szrj the Free Software Foundation; either version 2, or (at your option)
10*fae548d3Szrj any later version.
11*fae548d3Szrj 
12*fae548d3Szrj GNU CC is distributed in the hope that it will be useful, but
13*fae548d3Szrj WITHOUT ANY WARRANTY; without even the implied warranty of
14*fae548d3Szrj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15*fae548d3Szrj General Public License for more details.
16*fae548d3Szrj 
17*fae548d3Szrj You should have received a copy of the GNU General Public License
18*fae548d3Szrj along with GNU CC; see the file COPYING.  If not, write to
19*fae548d3Szrj the Free Software Foundation, 51 Franklin Street - Fifth Floor,
20*fae548d3Szrj Boston, MA 02110-1301, USA.  */
21*fae548d3Szrj 
22*fae548d3Szrj #ifdef HAVE_CONFIG_H
23*fae548d3Szrj #include "config.h"
24*fae548d3Szrj #endif
25*fae548d3Szrj #ifdef HAVE_LIMITS_H
26*fae548d3Szrj #include <limits.h>
27*fae548d3Szrj #endif
28*fae548d3Szrj #ifdef HAVE_STDLIB_H
29*fae548d3Szrj #include <stdlib.h>
30*fae548d3Szrj #endif
31*fae548d3Szrj #ifdef HAVE_STRING_H
32*fae548d3Szrj #include <string.h>
33*fae548d3Szrj #endif
34*fae548d3Szrj #include "libiberty.h"
35*fae548d3Szrj #include "fibheap.h"
36*fae548d3Szrj 
37*fae548d3Szrj 
38*fae548d3Szrj #define FIBHEAPKEY_MIN	LONG_MIN
39*fae548d3Szrj 
40*fae548d3Szrj static void fibheap_ins_root (fibheap_t, fibnode_t);
41*fae548d3Szrj static void fibheap_rem_root (fibheap_t, fibnode_t);
42*fae548d3Szrj static void fibheap_consolidate (fibheap_t);
43*fae548d3Szrj static void fibheap_link (fibheap_t, fibnode_t, fibnode_t);
44*fae548d3Szrj static void fibheap_cut (fibheap_t, fibnode_t, fibnode_t);
45*fae548d3Szrj static void fibheap_cascading_cut (fibheap_t, fibnode_t);
46*fae548d3Szrj static fibnode_t fibheap_extr_min_node (fibheap_t);
47*fae548d3Szrj static int fibheap_compare (fibheap_t, fibnode_t, fibnode_t);
48*fae548d3Szrj static int fibheap_comp_data (fibheap_t, fibheapkey_t, void *, fibnode_t);
49*fae548d3Szrj static fibnode_t fibnode_new (void);
50*fae548d3Szrj static void fibnode_insert_after (fibnode_t, fibnode_t);
51*fae548d3Szrj #define fibnode_insert_before(a, b) fibnode_insert_after (a->left, b)
52*fae548d3Szrj static fibnode_t fibnode_remove (fibnode_t);
53*fae548d3Szrj 
54*fae548d3Szrj 
55*fae548d3Szrj /* Create a new fibonacci heap.  */
56*fae548d3Szrj fibheap_t
fibheap_new(void)57*fae548d3Szrj fibheap_new (void)
58*fae548d3Szrj {
59*fae548d3Szrj   return (fibheap_t) xcalloc (1, sizeof (struct fibheap));
60*fae548d3Szrj }
61*fae548d3Szrj 
62*fae548d3Szrj /* Create a new fibonacci heap node.  */
63*fae548d3Szrj static fibnode_t
fibnode_new(void)64*fae548d3Szrj fibnode_new (void)
65*fae548d3Szrj {
66*fae548d3Szrj   fibnode_t node;
67*fae548d3Szrj 
68*fae548d3Szrj   node = (fibnode_t) xcalloc (1, sizeof *node);
69*fae548d3Szrj   node->left = node;
70*fae548d3Szrj   node->right = node;
71*fae548d3Szrj 
72*fae548d3Szrj   return node;
73*fae548d3Szrj }
74*fae548d3Szrj 
75*fae548d3Szrj static inline int
fibheap_compare(fibheap_t heap ATTRIBUTE_UNUSED,fibnode_t a,fibnode_t b)76*fae548d3Szrj fibheap_compare (fibheap_t heap ATTRIBUTE_UNUSED, fibnode_t a, fibnode_t b)
77*fae548d3Szrj {
78*fae548d3Szrj   if (a->key < b->key)
79*fae548d3Szrj     return -1;
80*fae548d3Szrj   if (a->key > b->key)
81*fae548d3Szrj     return 1;
82*fae548d3Szrj   return 0;
83*fae548d3Szrj }
84*fae548d3Szrj 
85*fae548d3Szrj static inline int
fibheap_comp_data(fibheap_t heap,fibheapkey_t key,void * data,fibnode_t b)86*fae548d3Szrj fibheap_comp_data (fibheap_t heap, fibheapkey_t key, void *data, fibnode_t b)
87*fae548d3Szrj {
88*fae548d3Szrj   struct fibnode a;
89*fae548d3Szrj 
90*fae548d3Szrj   a.key = key;
91*fae548d3Szrj   a.data = data;
92*fae548d3Szrj 
93*fae548d3Szrj   return fibheap_compare (heap, &a, b);
94*fae548d3Szrj }
95*fae548d3Szrj 
96*fae548d3Szrj /* Insert DATA, with priority KEY, into HEAP.  */
97*fae548d3Szrj fibnode_t
fibheap_insert(fibheap_t heap,fibheapkey_t key,void * data)98*fae548d3Szrj fibheap_insert (fibheap_t heap, fibheapkey_t key, void *data)
99*fae548d3Szrj {
100*fae548d3Szrj   fibnode_t node;
101*fae548d3Szrj 
102*fae548d3Szrj   /* Create the new node.  */
103*fae548d3Szrj   node = fibnode_new ();
104*fae548d3Szrj 
105*fae548d3Szrj   /* Set the node's data.  */
106*fae548d3Szrj   node->data = data;
107*fae548d3Szrj   node->key = key;
108*fae548d3Szrj 
109*fae548d3Szrj   /* Insert it into the root list.  */
110*fae548d3Szrj   fibheap_ins_root (heap, node);
111*fae548d3Szrj 
112*fae548d3Szrj   /* If their was no minimum, or this key is less than the min,
113*fae548d3Szrj      it's the new min.  */
114*fae548d3Szrj   if (heap->min == NULL || node->key < heap->min->key)
115*fae548d3Szrj     heap->min = node;
116*fae548d3Szrj 
117*fae548d3Szrj   heap->nodes++;
118*fae548d3Szrj 
119*fae548d3Szrj   return node;
120*fae548d3Szrj }
121*fae548d3Szrj 
122*fae548d3Szrj /* Return the data of the minimum node (if we know it).  */
123*fae548d3Szrj void *
fibheap_min(fibheap_t heap)124*fae548d3Szrj fibheap_min (fibheap_t heap)
125*fae548d3Szrj {
126*fae548d3Szrj   /* If there is no min, we can't easily return it.  */
127*fae548d3Szrj   if (heap->min == NULL)
128*fae548d3Szrj     return NULL;
129*fae548d3Szrj   return heap->min->data;
130*fae548d3Szrj }
131*fae548d3Szrj 
132*fae548d3Szrj /* Return the key of the minimum node (if we know it).  */
133*fae548d3Szrj fibheapkey_t
fibheap_min_key(fibheap_t heap)134*fae548d3Szrj fibheap_min_key (fibheap_t heap)
135*fae548d3Szrj {
136*fae548d3Szrj   /* If there is no min, we can't easily return it.  */
137*fae548d3Szrj   if (heap->min == NULL)
138*fae548d3Szrj     return 0;
139*fae548d3Szrj   return heap->min->key;
140*fae548d3Szrj }
141*fae548d3Szrj 
142*fae548d3Szrj /* Union HEAPA and HEAPB into a new heap.  */
143*fae548d3Szrj fibheap_t
fibheap_union(fibheap_t heapa,fibheap_t heapb)144*fae548d3Szrj fibheap_union (fibheap_t heapa, fibheap_t heapb)
145*fae548d3Szrj {
146*fae548d3Szrj   fibnode_t a_root, b_root, temp;
147*fae548d3Szrj 
148*fae548d3Szrj   /* If one of the heaps is empty, the union is just the other heap.  */
149*fae548d3Szrj   if ((a_root = heapa->root) == NULL)
150*fae548d3Szrj     {
151*fae548d3Szrj       free (heapa);
152*fae548d3Szrj       return heapb;
153*fae548d3Szrj     }
154*fae548d3Szrj   if ((b_root = heapb->root) == NULL)
155*fae548d3Szrj     {
156*fae548d3Szrj       free (heapb);
157*fae548d3Szrj       return heapa;
158*fae548d3Szrj     }
159*fae548d3Szrj 
160*fae548d3Szrj   /* Merge them to the next nodes on the opposite chain.  */
161*fae548d3Szrj   a_root->left->right = b_root;
162*fae548d3Szrj   b_root->left->right = a_root;
163*fae548d3Szrj   temp = a_root->left;
164*fae548d3Szrj   a_root->left = b_root->left;
165*fae548d3Szrj   b_root->left = temp;
166*fae548d3Szrj   heapa->nodes += heapb->nodes;
167*fae548d3Szrj 
168*fae548d3Szrj   /* And set the new minimum, if it's changed.  */
169*fae548d3Szrj   if (fibheap_compare (heapa, heapb->min, heapa->min) < 0)
170*fae548d3Szrj     heapa->min = heapb->min;
171*fae548d3Szrj 
172*fae548d3Szrj   free (heapb);
173*fae548d3Szrj   return heapa;
174*fae548d3Szrj }
175*fae548d3Szrj 
176*fae548d3Szrj /* Extract the data of the minimum node from HEAP.  */
177*fae548d3Szrj void *
fibheap_extract_min(fibheap_t heap)178*fae548d3Szrj fibheap_extract_min (fibheap_t heap)
179*fae548d3Szrj {
180*fae548d3Szrj   fibnode_t z;
181*fae548d3Szrj   void *ret = NULL;
182*fae548d3Szrj 
183*fae548d3Szrj   /* If we don't have a min set, it means we have no nodes.  */
184*fae548d3Szrj   if (heap->min != NULL)
185*fae548d3Szrj     {
186*fae548d3Szrj       /* Otherwise, extract the min node, free the node, and return the
187*fae548d3Szrj          node's data.  */
188*fae548d3Szrj       z = fibheap_extr_min_node (heap);
189*fae548d3Szrj       ret = z->data;
190*fae548d3Szrj       free (z);
191*fae548d3Szrj     }
192*fae548d3Szrj 
193*fae548d3Szrj   return ret;
194*fae548d3Szrj }
195*fae548d3Szrj 
196*fae548d3Szrj /* Replace both the KEY and the DATA associated with NODE.  */
197*fae548d3Szrj void *
fibheap_replace_key_data(fibheap_t heap,fibnode_t node,fibheapkey_t key,void * data)198*fae548d3Szrj fibheap_replace_key_data (fibheap_t heap, fibnode_t node,
199*fae548d3Szrj                           fibheapkey_t key, void *data)
200*fae548d3Szrj {
201*fae548d3Szrj   void *odata;
202*fae548d3Szrj   fibheapkey_t okey;
203*fae548d3Szrj   fibnode_t y;
204*fae548d3Szrj 
205*fae548d3Szrj   /* If we wanted to, we could actually do a real increase by redeleting and
206*fae548d3Szrj      inserting. However, this would require O (log n) time. So just bail out
207*fae548d3Szrj      for now.  */
208*fae548d3Szrj   if (fibheap_comp_data (heap, key, data, node) > 0)
209*fae548d3Szrj     return NULL;
210*fae548d3Szrj 
211*fae548d3Szrj   odata = node->data;
212*fae548d3Szrj   okey = node->key;
213*fae548d3Szrj   node->data = data;
214*fae548d3Szrj   node->key = key;
215*fae548d3Szrj   y = node->parent;
216*fae548d3Szrj 
217*fae548d3Szrj   /* Short-circuit if the key is the same, as we then don't have to
218*fae548d3Szrj      do anything.  Except if we're trying to force the new node to
219*fae548d3Szrj      be the new minimum for delete.  */
220*fae548d3Szrj   if (okey == key && okey != FIBHEAPKEY_MIN)
221*fae548d3Szrj     return odata;
222*fae548d3Szrj 
223*fae548d3Szrj   /* These two compares are specifically <= 0 to make sure that in the case
224*fae548d3Szrj      of equality, a node we replaced the data on, becomes the new min.  This
225*fae548d3Szrj      is needed so that delete's call to extractmin gets the right node.  */
226*fae548d3Szrj   if (y != NULL && fibheap_compare (heap, node, y) <= 0)
227*fae548d3Szrj     {
228*fae548d3Szrj       fibheap_cut (heap, node, y);
229*fae548d3Szrj       fibheap_cascading_cut (heap, y);
230*fae548d3Szrj     }
231*fae548d3Szrj 
232*fae548d3Szrj   if (fibheap_compare (heap, node, heap->min) <= 0)
233*fae548d3Szrj     heap->min = node;
234*fae548d3Szrj 
235*fae548d3Szrj   return odata;
236*fae548d3Szrj }
237*fae548d3Szrj 
238*fae548d3Szrj /* Replace the DATA associated with NODE.  */
239*fae548d3Szrj void *
fibheap_replace_data(fibheap_t heap,fibnode_t node,void * data)240*fae548d3Szrj fibheap_replace_data (fibheap_t heap, fibnode_t node, void *data)
241*fae548d3Szrj {
242*fae548d3Szrj   return fibheap_replace_key_data (heap, node, node->key, data);
243*fae548d3Szrj }
244*fae548d3Szrj 
245*fae548d3Szrj /* Replace the KEY associated with NODE.  */
246*fae548d3Szrj fibheapkey_t
fibheap_replace_key(fibheap_t heap,fibnode_t node,fibheapkey_t key)247*fae548d3Szrj fibheap_replace_key (fibheap_t heap, fibnode_t node, fibheapkey_t key)
248*fae548d3Szrj {
249*fae548d3Szrj   int okey = node->key;
250*fae548d3Szrj   fibheap_replace_key_data (heap, node, key, node->data);
251*fae548d3Szrj   return okey;
252*fae548d3Szrj }
253*fae548d3Szrj 
254*fae548d3Szrj /* Delete NODE from HEAP.  */
255*fae548d3Szrj void *
fibheap_delete_node(fibheap_t heap,fibnode_t node)256*fae548d3Szrj fibheap_delete_node (fibheap_t heap, fibnode_t node)
257*fae548d3Szrj {
258*fae548d3Szrj   void *ret = node->data;
259*fae548d3Szrj 
260*fae548d3Szrj   /* To perform delete, we just make it the min key, and extract.  */
261*fae548d3Szrj   fibheap_replace_key (heap, node, FIBHEAPKEY_MIN);
262*fae548d3Szrj   if (node != heap->min)
263*fae548d3Szrj     {
264*fae548d3Szrj       fprintf (stderr, "Can't force minimum on fibheap.\n");
265*fae548d3Szrj       abort ();
266*fae548d3Szrj     }
267*fae548d3Szrj   fibheap_extract_min (heap);
268*fae548d3Szrj 
269*fae548d3Szrj   return ret;
270*fae548d3Szrj }
271*fae548d3Szrj 
272*fae548d3Szrj /* Delete HEAP.  */
273*fae548d3Szrj void
fibheap_delete(fibheap_t heap)274*fae548d3Szrj fibheap_delete (fibheap_t heap)
275*fae548d3Szrj {
276*fae548d3Szrj   while (heap->min != NULL)
277*fae548d3Szrj     free (fibheap_extr_min_node (heap));
278*fae548d3Szrj 
279*fae548d3Szrj   free (heap);
280*fae548d3Szrj }
281*fae548d3Szrj 
282*fae548d3Szrj /* Determine if HEAP is empty.  */
283*fae548d3Szrj int
fibheap_empty(fibheap_t heap)284*fae548d3Szrj fibheap_empty (fibheap_t heap)
285*fae548d3Szrj {
286*fae548d3Szrj   return heap->nodes == 0;
287*fae548d3Szrj }
288*fae548d3Szrj 
289*fae548d3Szrj /* Extract the minimum node of the heap.  */
290*fae548d3Szrj static fibnode_t
fibheap_extr_min_node(fibheap_t heap)291*fae548d3Szrj fibheap_extr_min_node (fibheap_t heap)
292*fae548d3Szrj {
293*fae548d3Szrj   fibnode_t ret = heap->min;
294*fae548d3Szrj   fibnode_t x, y, orig;
295*fae548d3Szrj 
296*fae548d3Szrj   /* Attach the child list of the minimum node to the root list of the heap.
297*fae548d3Szrj      If there is no child list, we don't do squat.  */
298*fae548d3Szrj   for (x = ret->child, orig = NULL; x != orig && x != NULL; x = y)
299*fae548d3Szrj     {
300*fae548d3Szrj       if (orig == NULL)
301*fae548d3Szrj 	orig = x;
302*fae548d3Szrj       y = x->right;
303*fae548d3Szrj       x->parent = NULL;
304*fae548d3Szrj       fibheap_ins_root (heap, x);
305*fae548d3Szrj     }
306*fae548d3Szrj 
307*fae548d3Szrj   /* Remove the old root.  */
308*fae548d3Szrj   fibheap_rem_root (heap, ret);
309*fae548d3Szrj   heap->nodes--;
310*fae548d3Szrj 
311*fae548d3Szrj   /* If we are left with no nodes, then the min is NULL.  */
312*fae548d3Szrj   if (heap->nodes == 0)
313*fae548d3Szrj     heap->min = NULL;
314*fae548d3Szrj   else
315*fae548d3Szrj     {
316*fae548d3Szrj       /* Otherwise, consolidate to find new minimum, as well as do the reorg
317*fae548d3Szrj          work that needs to be done.  */
318*fae548d3Szrj       heap->min = ret->right;
319*fae548d3Szrj       fibheap_consolidate (heap);
320*fae548d3Szrj     }
321*fae548d3Szrj 
322*fae548d3Szrj   return ret;
323*fae548d3Szrj }
324*fae548d3Szrj 
325*fae548d3Szrj /* Insert NODE into the root list of HEAP.  */
326*fae548d3Szrj static void
fibheap_ins_root(fibheap_t heap,fibnode_t node)327*fae548d3Szrj fibheap_ins_root (fibheap_t heap, fibnode_t node)
328*fae548d3Szrj {
329*fae548d3Szrj   /* If the heap is currently empty, the new node becomes the singleton
330*fae548d3Szrj      circular root list.  */
331*fae548d3Szrj   if (heap->root == NULL)
332*fae548d3Szrj     {
333*fae548d3Szrj       heap->root = node;
334*fae548d3Szrj       node->left = node;
335*fae548d3Szrj       node->right = node;
336*fae548d3Szrj       return;
337*fae548d3Szrj     }
338*fae548d3Szrj 
339*fae548d3Szrj   /* Otherwise, insert it in the circular root list between the root
340*fae548d3Szrj      and it's right node.  */
341*fae548d3Szrj   fibnode_insert_after (heap->root, node);
342*fae548d3Szrj }
343*fae548d3Szrj 
344*fae548d3Szrj /* Remove NODE from the rootlist of HEAP.  */
345*fae548d3Szrj static void
fibheap_rem_root(fibheap_t heap,fibnode_t node)346*fae548d3Szrj fibheap_rem_root (fibheap_t heap, fibnode_t node)
347*fae548d3Szrj {
348*fae548d3Szrj   if (node->left == node)
349*fae548d3Szrj     heap->root = NULL;
350*fae548d3Szrj   else
351*fae548d3Szrj     heap->root = fibnode_remove (node);
352*fae548d3Szrj }
353*fae548d3Szrj 
354*fae548d3Szrj /* Consolidate the heap.  */
355*fae548d3Szrj static void
fibheap_consolidate(fibheap_t heap)356*fae548d3Szrj fibheap_consolidate (fibheap_t heap)
357*fae548d3Szrj {
358*fae548d3Szrj   fibnode_t a[1 + 8 * sizeof (long)];
359*fae548d3Szrj   fibnode_t w;
360*fae548d3Szrj   fibnode_t y;
361*fae548d3Szrj   fibnode_t x;
362*fae548d3Szrj   int i;
363*fae548d3Szrj   int d;
364*fae548d3Szrj   int D;
365*fae548d3Szrj 
366*fae548d3Szrj   D = 1 + 8 * sizeof (long);
367*fae548d3Szrj 
368*fae548d3Szrj   memset (a, 0, sizeof (fibnode_t) * D);
369*fae548d3Szrj 
370*fae548d3Szrj   while ((w = heap->root) != NULL)
371*fae548d3Szrj     {
372*fae548d3Szrj       x = w;
373*fae548d3Szrj       fibheap_rem_root (heap, w);
374*fae548d3Szrj       d = x->degree;
375*fae548d3Szrj       while (a[d] != NULL)
376*fae548d3Szrj 	{
377*fae548d3Szrj 	  y = a[d];
378*fae548d3Szrj 	  if (fibheap_compare (heap, x, y) > 0)
379*fae548d3Szrj 	    {
380*fae548d3Szrj 	      fibnode_t temp;
381*fae548d3Szrj 	      temp = x;
382*fae548d3Szrj 	      x = y;
383*fae548d3Szrj 	      y = temp;
384*fae548d3Szrj 	    }
385*fae548d3Szrj 	  fibheap_link (heap, y, x);
386*fae548d3Szrj 	  a[d] = NULL;
387*fae548d3Szrj 	  d++;
388*fae548d3Szrj 	}
389*fae548d3Szrj       a[d] = x;
390*fae548d3Szrj     }
391*fae548d3Szrj   heap->min = NULL;
392*fae548d3Szrj   for (i = 0; i < D; i++)
393*fae548d3Szrj     if (a[i] != NULL)
394*fae548d3Szrj       {
395*fae548d3Szrj 	fibheap_ins_root (heap, a[i]);
396*fae548d3Szrj 	if (heap->min == NULL || fibheap_compare (heap, a[i], heap->min) < 0)
397*fae548d3Szrj 	  heap->min = a[i];
398*fae548d3Szrj       }
399*fae548d3Szrj }
400*fae548d3Szrj 
401*fae548d3Szrj /* Make NODE a child of PARENT.  */
402*fae548d3Szrj static void
fibheap_link(fibheap_t heap ATTRIBUTE_UNUSED,fibnode_t node,fibnode_t parent)403*fae548d3Szrj fibheap_link (fibheap_t heap ATTRIBUTE_UNUSED,
404*fae548d3Szrj               fibnode_t node, fibnode_t parent)
405*fae548d3Szrj {
406*fae548d3Szrj   if (parent->child == NULL)
407*fae548d3Szrj     parent->child = node;
408*fae548d3Szrj   else
409*fae548d3Szrj     fibnode_insert_before (parent->child, node);
410*fae548d3Szrj   node->parent = parent;
411*fae548d3Szrj   parent->degree++;
412*fae548d3Szrj   node->mark = 0;
413*fae548d3Szrj }
414*fae548d3Szrj 
415*fae548d3Szrj /* Remove NODE from PARENT's child list.  */
416*fae548d3Szrj static void
fibheap_cut(fibheap_t heap,fibnode_t node,fibnode_t parent)417*fae548d3Szrj fibheap_cut (fibheap_t heap, fibnode_t node, fibnode_t parent)
418*fae548d3Szrj {
419*fae548d3Szrj   fibnode_remove (node);
420*fae548d3Szrj   parent->degree--;
421*fae548d3Szrj   fibheap_ins_root (heap, node);
422*fae548d3Szrj   node->parent = NULL;
423*fae548d3Szrj   node->mark = 0;
424*fae548d3Szrj }
425*fae548d3Szrj 
426*fae548d3Szrj static void
fibheap_cascading_cut(fibheap_t heap,fibnode_t y)427*fae548d3Szrj fibheap_cascading_cut (fibheap_t heap, fibnode_t y)
428*fae548d3Szrj {
429*fae548d3Szrj   fibnode_t z;
430*fae548d3Szrj 
431*fae548d3Szrj   while ((z = y->parent) != NULL)
432*fae548d3Szrj     {
433*fae548d3Szrj       if (y->mark == 0)
434*fae548d3Szrj 	{
435*fae548d3Szrj 	  y->mark = 1;
436*fae548d3Szrj 	  return;
437*fae548d3Szrj 	}
438*fae548d3Szrj       else
439*fae548d3Szrj 	{
440*fae548d3Szrj 	  fibheap_cut (heap, y, z);
441*fae548d3Szrj 	  y = z;
442*fae548d3Szrj 	}
443*fae548d3Szrj     }
444*fae548d3Szrj }
445*fae548d3Szrj 
446*fae548d3Szrj static void
fibnode_insert_after(fibnode_t a,fibnode_t b)447*fae548d3Szrj fibnode_insert_after (fibnode_t a, fibnode_t b)
448*fae548d3Szrj {
449*fae548d3Szrj   if (a == a->right)
450*fae548d3Szrj     {
451*fae548d3Szrj       a->right = b;
452*fae548d3Szrj       a->left = b;
453*fae548d3Szrj       b->right = a;
454*fae548d3Szrj       b->left = a;
455*fae548d3Szrj     }
456*fae548d3Szrj   else
457*fae548d3Szrj     {
458*fae548d3Szrj       b->right = a->right;
459*fae548d3Szrj       a->right->left = b;
460*fae548d3Szrj       a->right = b;
461*fae548d3Szrj       b->left = a;
462*fae548d3Szrj     }
463*fae548d3Szrj }
464*fae548d3Szrj 
465*fae548d3Szrj static fibnode_t
fibnode_remove(fibnode_t node)466*fae548d3Szrj fibnode_remove (fibnode_t node)
467*fae548d3Szrj {
468*fae548d3Szrj   fibnode_t ret;
469*fae548d3Szrj 
470*fae548d3Szrj   if (node == node->left)
471*fae548d3Szrj     ret = NULL;
472*fae548d3Szrj   else
473*fae548d3Szrj     ret = node->left;
474*fae548d3Szrj 
475*fae548d3Szrj   if (node->parent != NULL && node->parent->child == node)
476*fae548d3Szrj     node->parent->child = ret;
477*fae548d3Szrj 
478*fae548d3Szrj   node->right->left = node->left;
479*fae548d3Szrj   node->left->right = node->right;
480*fae548d3Szrj 
481*fae548d3Szrj   node->parent = NULL;
482*fae548d3Szrj   node->left = node;
483*fae548d3Szrj   node->right = node;
484*fae548d3Szrj 
485*fae548d3Szrj   return ret;
486*fae548d3Szrj }
487