2 * Copyright (c) 1983, 1993
3 * The Regents of the University of California. All rights reserved.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 * 3. Neither the name of the University nor the names of its contributors
14 * may be used to endorse or promote products derived from this software
15 * without specific prior written permission.
17 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
18 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
21 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 #include "libiberty.h"
31 #include "search_list.h"
38 #define DFN_INCR_DEPTH (128)
47 static boolean is_numbered PARAMS ((Sym *));
48 static boolean is_busy PARAMS ((Sym *));
49 static void find_cycle PARAMS ((Sym *));
50 static void pre_visit PARAMS ((Sym *));
51 static void post_visit PARAMS ((Sym *));
53 DFN_Stack *dfn_stack = NULL;
56 int dfn_counter = DFN_NAN;
60 * Is CHILD already numbered?
66 return child->cg.top_order != DFN_NAN && child->cg.top_order != DFN_BUSY;
71 * Is CHILD already busy?
77 if (child->cg.top_order == DFN_NAN)
86 * CHILD is part of a cycle. Find the top caller into this cycle
87 * that is not part of the cycle and make all functions in cycle
88 * members of that cycle (top caller == caller with smallest
89 * depth-first number).
100 for (cycle_top = dfn_depth; cycle_top > 0; --cycle_top)
102 head = dfn_stack[cycle_top].sym;
107 if (child->cg.cyc.head != child && child->cg.cyc.head == head)
114 fprintf (stderr, "[find_cycle] couldn't find head of cycle\n");
118 if (debug_level & DFNDEBUG)
120 printf ("[find_cycle] dfn_depth %d cycle_top %d ",
121 dfn_depth, cycle_top);
128 printf ("<unknown>");
133 if (cycle_top == dfn_depth)
136 * This is previous function, e.g. this calls itself. Sort of
139 * Since we are taking out self-cycles elsewhere no need for
140 * the special case, here.
143 printf ("[find_cycle] ");
150 * Glom intervening functions that aren't already glommed into
151 * this cycle. Things have been glommed when their cyclehead
152 * field points to the head of the cycle they are glommed
155 for (tail = head; tail->cg.cyc.next; tail = tail->cg.cyc.next)
157 /* void: chase down to tail of things already glommed */
159 printf ("[find_cycle] tail ");
164 * If what we think is the top of the cycle has a cyclehead
165 * field, then it's not really the head of the cycle, which is
166 * really what we want.
168 if (head->cg.cyc.head != head)
170 head = head->cg.cyc.head;
171 DBG (DFNDEBUG, printf ("[find_cycle] new cyclehead ");
175 for (index = cycle_top + 1; index <= dfn_depth; ++index)
177 child = dfn_stack[index].sym;
178 if (child->cg.cyc.head == child)
181 * Not yet glommed anywhere, glom it and fix any
182 * children it has glommed.
184 tail->cg.cyc.next = child;
185 child->cg.cyc.head = head;
186 DBG (DFNDEBUG, printf ("[find_cycle] glomming ");
191 for (tail = child; tail->cg.cyc.next; tail = tail->cg.cyc.next)
193 tail->cg.cyc.next->cg.cyc.head = head;
194 DBG (DFNDEBUG, printf ("[find_cycle] and its tail ");
195 print_name (tail->cg.cyc.next);
201 else if (child->cg.cyc.head != head /* firewall */ )
203 fprintf (stderr, "[find_cycle] glommed, but not to head\n");
212 * Prepare for visiting the children of PARENT. Push a parent onto
213 * the stack and mark it busy.
221 if (dfn_depth >= dfn_maxdepth)
223 dfn_maxdepth += DFN_INCR_DEPTH;
224 dfn_stack = xrealloc (dfn_stack, dfn_maxdepth * sizeof *dfn_stack);
227 dfn_stack[dfn_depth].sym = parent;
228 dfn_stack[dfn_depth].cycle_top = dfn_depth;
229 parent->cg.top_order = DFN_BUSY;
230 DBG (DFNDEBUG, printf ("[pre_visit]\t\t%d:", dfn_depth);
237 * Done with visiting node PARENT. Pop PARENT off dfn_stack
238 * and number functions if PARENT is head of a cycle.
246 DBG (DFNDEBUG, printf ("[post_visit]\t%d: ", dfn_depth);
250 * Number functions and things in their cycles unless the function
251 * is itself part of a cycle:
253 if (parent->cg.cyc.head == parent)
256 for (member = parent; member; member = member->cg.cyc.next)
258 member->cg.top_order = dfn_counter;
259 DBG (DFNDEBUG, printf ("[post_visit]\t\tmember ");
261 printf ("-> cg.top_order = %d\n", dfn_counter));
266 DBG (DFNDEBUG, printf ("[post_visit]\t\tis part of a cycle\n"));
273 * Given this PARENT, depth first number its children.
281 DBG (DFNDEBUG, printf ("[dfn] dfn( ");
285 * If we're already numbered, no need to look any further:
287 if (is_numbered (parent))
292 * If we're already busy, must be a cycle:
294 if (is_busy (parent))
301 * Recursively visit children:
303 for (arc = parent->cg.children; arc; arc = arc->next_child)