xref: /dflybsd-src/contrib/gcc-4.7/gcc/graphds.c (revision 04febcfb30580676d3e95f58a16c5137ee478b32)
1*e4b17023SJohn Marino /* Graph representation and manipulation functions.
2*e4b17023SJohn Marino    Copyright (C) 2007
3*e4b17023SJohn Marino    Free Software Foundation, Inc.
4*e4b17023SJohn Marino 
5*e4b17023SJohn Marino This file is part of GCC.
6*e4b17023SJohn Marino 
7*e4b17023SJohn Marino GCC is free software; you can redistribute it and/or modify it under
8*e4b17023SJohn Marino the terms of the GNU General Public License as published by the Free
9*e4b17023SJohn Marino Software Foundation; either version 3, or (at your option) any later
10*e4b17023SJohn Marino version.
11*e4b17023SJohn Marino 
12*e4b17023SJohn Marino GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13*e4b17023SJohn Marino WARRANTY; without even the implied warranty of MERCHANTABILITY or
14*e4b17023SJohn Marino FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15*e4b17023SJohn Marino for more details.
16*e4b17023SJohn Marino 
17*e4b17023SJohn Marino You should have received a copy of the GNU General Public License
18*e4b17023SJohn Marino along with GCC; see the file COPYING3.  If not see
19*e4b17023SJohn Marino <http://www.gnu.org/licenses/>.  */
20*e4b17023SJohn Marino 
21*e4b17023SJohn Marino #include "config.h"
22*e4b17023SJohn Marino #include "system.h"
23*e4b17023SJohn Marino #include "coretypes.h"
24*e4b17023SJohn Marino #include "obstack.h"
25*e4b17023SJohn Marino #include "bitmap.h"
26*e4b17023SJohn Marino #include "vec.h"
27*e4b17023SJohn Marino #include "vecprim.h"
28*e4b17023SJohn Marino #include "graphds.h"
29*e4b17023SJohn Marino 
30*e4b17023SJohn Marino /* Dumps graph G into F.  */
31*e4b17023SJohn Marino 
32*e4b17023SJohn Marino void
dump_graph(FILE * f,struct graph * g)33*e4b17023SJohn Marino dump_graph (FILE *f, struct graph *g)
34*e4b17023SJohn Marino {
35*e4b17023SJohn Marino   int i;
36*e4b17023SJohn Marino   struct graph_edge *e;
37*e4b17023SJohn Marino 
38*e4b17023SJohn Marino   for (i = 0; i < g->n_vertices; i++)
39*e4b17023SJohn Marino     {
40*e4b17023SJohn Marino       if (!g->vertices[i].pred
41*e4b17023SJohn Marino 	  && !g->vertices[i].succ)
42*e4b17023SJohn Marino 	continue;
43*e4b17023SJohn Marino 
44*e4b17023SJohn Marino       fprintf (f, "%d (%d)\t<-", i, g->vertices[i].component);
45*e4b17023SJohn Marino       for (e = g->vertices[i].pred; e; e = e->pred_next)
46*e4b17023SJohn Marino 	fprintf (f, " %d", e->src);
47*e4b17023SJohn Marino       fprintf (f, "\n");
48*e4b17023SJohn Marino 
49*e4b17023SJohn Marino       fprintf (f, "\t->");
50*e4b17023SJohn Marino       for (e = g->vertices[i].succ; e; e = e->succ_next)
51*e4b17023SJohn Marino 	fprintf (f, " %d", e->dest);
52*e4b17023SJohn Marino       fprintf (f, "\n");
53*e4b17023SJohn Marino     }
54*e4b17023SJohn Marino }
55*e4b17023SJohn Marino 
56*e4b17023SJohn Marino /* Creates a new graph with N_VERTICES vertices.  */
57*e4b17023SJohn Marino 
58*e4b17023SJohn Marino struct graph *
new_graph(int n_vertices)59*e4b17023SJohn Marino new_graph (int n_vertices)
60*e4b17023SJohn Marino {
61*e4b17023SJohn Marino   struct graph *g = XNEW (struct graph);
62*e4b17023SJohn Marino 
63*e4b17023SJohn Marino   g->n_vertices = n_vertices;
64*e4b17023SJohn Marino   g->vertices = XCNEWVEC (struct vertex, n_vertices);
65*e4b17023SJohn Marino 
66*e4b17023SJohn Marino   return g;
67*e4b17023SJohn Marino }
68*e4b17023SJohn Marino 
69*e4b17023SJohn Marino /* Adds an edge from F to T to graph G.  The new edge is returned.  */
70*e4b17023SJohn Marino 
71*e4b17023SJohn Marino struct graph_edge *
add_edge(struct graph * g,int f,int t)72*e4b17023SJohn Marino add_edge (struct graph *g, int f, int t)
73*e4b17023SJohn Marino {
74*e4b17023SJohn Marino   struct graph_edge *e = XNEW (struct graph_edge);
75*e4b17023SJohn Marino   struct vertex *vf = &g->vertices[f], *vt = &g->vertices[t];
76*e4b17023SJohn Marino 
77*e4b17023SJohn Marino 
78*e4b17023SJohn Marino   e->src = f;
79*e4b17023SJohn Marino   e->dest = t;
80*e4b17023SJohn Marino 
81*e4b17023SJohn Marino   e->pred_next = vt->pred;
82*e4b17023SJohn Marino   vt->pred = e;
83*e4b17023SJohn Marino 
84*e4b17023SJohn Marino   e->succ_next = vf->succ;
85*e4b17023SJohn Marino   vf->succ = e;
86*e4b17023SJohn Marino 
87*e4b17023SJohn Marino   return e;
88*e4b17023SJohn Marino }
89*e4b17023SJohn Marino 
90*e4b17023SJohn Marino /* Moves all the edges incident with U to V.  */
91*e4b17023SJohn Marino 
92*e4b17023SJohn Marino void
identify_vertices(struct graph * g,int v,int u)93*e4b17023SJohn Marino identify_vertices (struct graph *g, int v, int u)
94*e4b17023SJohn Marino {
95*e4b17023SJohn Marino   struct vertex *vv = &g->vertices[v];
96*e4b17023SJohn Marino   struct vertex *uu = &g->vertices[u];
97*e4b17023SJohn Marino   struct graph_edge *e, *next;
98*e4b17023SJohn Marino 
99*e4b17023SJohn Marino   for (e = uu->succ; e; e = next)
100*e4b17023SJohn Marino     {
101*e4b17023SJohn Marino       next = e->succ_next;
102*e4b17023SJohn Marino 
103*e4b17023SJohn Marino       e->src = v;
104*e4b17023SJohn Marino       e->succ_next = vv->succ;
105*e4b17023SJohn Marino       vv->succ = e;
106*e4b17023SJohn Marino     }
107*e4b17023SJohn Marino   uu->succ = NULL;
108*e4b17023SJohn Marino 
109*e4b17023SJohn Marino   for (e = uu->pred; e; e = next)
110*e4b17023SJohn Marino     {
111*e4b17023SJohn Marino       next = e->pred_next;
112*e4b17023SJohn Marino 
113*e4b17023SJohn Marino       e->dest = v;
114*e4b17023SJohn Marino       e->pred_next = vv->pred;
115*e4b17023SJohn Marino       vv->pred = e;
116*e4b17023SJohn Marino     }
117*e4b17023SJohn Marino   uu->pred = NULL;
118*e4b17023SJohn Marino }
119*e4b17023SJohn Marino 
120*e4b17023SJohn Marino /* Helper function for graphds_dfs.  Returns the source vertex of E, in the
121*e4b17023SJohn Marino    direction given by FORWARD.  */
122*e4b17023SJohn Marino 
123*e4b17023SJohn Marino static inline int
dfs_edge_src(struct graph_edge * e,bool forward)124*e4b17023SJohn Marino dfs_edge_src (struct graph_edge *e, bool forward)
125*e4b17023SJohn Marino {
126*e4b17023SJohn Marino   return forward ? e->src : e->dest;
127*e4b17023SJohn Marino }
128*e4b17023SJohn Marino 
129*e4b17023SJohn Marino /* Helper function for graphds_dfs.  Returns the destination vertex of E, in
130*e4b17023SJohn Marino    the direction given by FORWARD.  */
131*e4b17023SJohn Marino 
132*e4b17023SJohn Marino static inline int
dfs_edge_dest(struct graph_edge * e,bool forward)133*e4b17023SJohn Marino dfs_edge_dest (struct graph_edge *e, bool forward)
134*e4b17023SJohn Marino {
135*e4b17023SJohn Marino   return forward ? e->dest : e->src;
136*e4b17023SJohn Marino }
137*e4b17023SJohn Marino 
138*e4b17023SJohn Marino /* Helper function for graphds_dfs.  Returns the first edge after E (including
139*e4b17023SJohn Marino    E), in the graph direction given by FORWARD, that belongs to SUBGRAPH.  */
140*e4b17023SJohn Marino 
141*e4b17023SJohn Marino static inline struct graph_edge *
foll_in_subgraph(struct graph_edge * e,bool forward,bitmap subgraph)142*e4b17023SJohn Marino foll_in_subgraph (struct graph_edge *e, bool forward, bitmap subgraph)
143*e4b17023SJohn Marino {
144*e4b17023SJohn Marino   int d;
145*e4b17023SJohn Marino 
146*e4b17023SJohn Marino   if (!subgraph)
147*e4b17023SJohn Marino     return e;
148*e4b17023SJohn Marino 
149*e4b17023SJohn Marino   while (e)
150*e4b17023SJohn Marino     {
151*e4b17023SJohn Marino       d = dfs_edge_dest (e, forward);
152*e4b17023SJohn Marino       if (bitmap_bit_p (subgraph, d))
153*e4b17023SJohn Marino 	return e;
154*e4b17023SJohn Marino 
155*e4b17023SJohn Marino       e = forward ? e->succ_next : e->pred_next;
156*e4b17023SJohn Marino     }
157*e4b17023SJohn Marino 
158*e4b17023SJohn Marino   return e;
159*e4b17023SJohn Marino }
160*e4b17023SJohn Marino 
161*e4b17023SJohn Marino /* Helper function for graphds_dfs.  Select the first edge from V in G, in the
162*e4b17023SJohn Marino    direction given by FORWARD, that belongs to SUBGRAPH.  */
163*e4b17023SJohn Marino 
164*e4b17023SJohn Marino static inline struct graph_edge *
dfs_fst_edge(struct graph * g,int v,bool forward,bitmap subgraph)165*e4b17023SJohn Marino dfs_fst_edge (struct graph *g, int v, bool forward, bitmap subgraph)
166*e4b17023SJohn Marino {
167*e4b17023SJohn Marino   struct graph_edge *e;
168*e4b17023SJohn Marino 
169*e4b17023SJohn Marino   e = (forward ? g->vertices[v].succ : g->vertices[v].pred);
170*e4b17023SJohn Marino   return foll_in_subgraph (e, forward, subgraph);
171*e4b17023SJohn Marino }
172*e4b17023SJohn Marino 
173*e4b17023SJohn Marino /* Helper function for graphds_dfs.  Returns the next edge after E, in the
174*e4b17023SJohn Marino    graph direction given by FORWARD, that belongs to SUBGRAPH.  */
175*e4b17023SJohn Marino 
176*e4b17023SJohn Marino static inline struct graph_edge *
dfs_next_edge(struct graph_edge * e,bool forward,bitmap subgraph)177*e4b17023SJohn Marino dfs_next_edge (struct graph_edge *e, bool forward, bitmap subgraph)
178*e4b17023SJohn Marino {
179*e4b17023SJohn Marino   return foll_in_subgraph (forward ? e->succ_next : e->pred_next,
180*e4b17023SJohn Marino 			   forward, subgraph);
181*e4b17023SJohn Marino }
182*e4b17023SJohn Marino 
183*e4b17023SJohn Marino /* Runs dfs search over vertices of G, from NQ vertices in queue QS.
184*e4b17023SJohn Marino    The vertices in postorder are stored into QT.  If FORWARD is false,
185*e4b17023SJohn Marino    backward dfs is run.  If SUBGRAPH is not NULL, it specifies the
186*e4b17023SJohn Marino    subgraph of G to run DFS on.  Returns the number of the components
187*e4b17023SJohn Marino    of the graph (number of the restarts of DFS).  */
188*e4b17023SJohn Marino 
189*e4b17023SJohn Marino int
graphds_dfs(struct graph * g,int * qs,int nq,VEC (int,heap)** qt,bool forward,bitmap subgraph)190*e4b17023SJohn Marino graphds_dfs (struct graph *g, int *qs, int nq, VEC (int, heap) **qt,
191*e4b17023SJohn Marino 	     bool forward, bitmap subgraph)
192*e4b17023SJohn Marino {
193*e4b17023SJohn Marino   int i, tick = 0, v, comp = 0, top;
194*e4b17023SJohn Marino   struct graph_edge *e;
195*e4b17023SJohn Marino   struct graph_edge **stack = XNEWVEC (struct graph_edge *, g->n_vertices);
196*e4b17023SJohn Marino   bitmap_iterator bi;
197*e4b17023SJohn Marino   unsigned av;
198*e4b17023SJohn Marino 
199*e4b17023SJohn Marino   if (subgraph)
200*e4b17023SJohn Marino     {
201*e4b17023SJohn Marino       EXECUTE_IF_SET_IN_BITMAP (subgraph, 0, av, bi)
202*e4b17023SJohn Marino 	{
203*e4b17023SJohn Marino 	  g->vertices[av].component = -1;
204*e4b17023SJohn Marino 	  g->vertices[av].post = -1;
205*e4b17023SJohn Marino 	}
206*e4b17023SJohn Marino     }
207*e4b17023SJohn Marino   else
208*e4b17023SJohn Marino     {
209*e4b17023SJohn Marino       for (i = 0; i < g->n_vertices; i++)
210*e4b17023SJohn Marino 	{
211*e4b17023SJohn Marino 	  g->vertices[i].component = -1;
212*e4b17023SJohn Marino 	  g->vertices[i].post = -1;
213*e4b17023SJohn Marino 	}
214*e4b17023SJohn Marino     }
215*e4b17023SJohn Marino 
216*e4b17023SJohn Marino   for (i = 0; i < nq; i++)
217*e4b17023SJohn Marino     {
218*e4b17023SJohn Marino       v = qs[i];
219*e4b17023SJohn Marino       if (g->vertices[v].post != -1)
220*e4b17023SJohn Marino 	continue;
221*e4b17023SJohn Marino 
222*e4b17023SJohn Marino       g->vertices[v].component = comp++;
223*e4b17023SJohn Marino       e = dfs_fst_edge (g, v, forward, subgraph);
224*e4b17023SJohn Marino       top = 0;
225*e4b17023SJohn Marino 
226*e4b17023SJohn Marino       while (1)
227*e4b17023SJohn Marino 	{
228*e4b17023SJohn Marino 	  while (e)
229*e4b17023SJohn Marino 	    {
230*e4b17023SJohn Marino 	      if (g->vertices[dfs_edge_dest (e, forward)].component
231*e4b17023SJohn Marino 		  == -1)
232*e4b17023SJohn Marino 		break;
233*e4b17023SJohn Marino 	      e = dfs_next_edge (e, forward, subgraph);
234*e4b17023SJohn Marino 	    }
235*e4b17023SJohn Marino 
236*e4b17023SJohn Marino 	  if (!e)
237*e4b17023SJohn Marino 	    {
238*e4b17023SJohn Marino 	      if (qt)
239*e4b17023SJohn Marino 		VEC_safe_push (int, heap, *qt, v);
240*e4b17023SJohn Marino 	      g->vertices[v].post = tick++;
241*e4b17023SJohn Marino 
242*e4b17023SJohn Marino 	      if (!top)
243*e4b17023SJohn Marino 		break;
244*e4b17023SJohn Marino 
245*e4b17023SJohn Marino 	      e = stack[--top];
246*e4b17023SJohn Marino 	      v = dfs_edge_src (e, forward);
247*e4b17023SJohn Marino 	      e = dfs_next_edge (e, forward, subgraph);
248*e4b17023SJohn Marino 	      continue;
249*e4b17023SJohn Marino 	    }
250*e4b17023SJohn Marino 
251*e4b17023SJohn Marino 	  stack[top++] = e;
252*e4b17023SJohn Marino 	  v = dfs_edge_dest (e, forward);
253*e4b17023SJohn Marino 	  e = dfs_fst_edge (g, v, forward, subgraph);
254*e4b17023SJohn Marino 	  g->vertices[v].component = comp - 1;
255*e4b17023SJohn Marino 	}
256*e4b17023SJohn Marino     }
257*e4b17023SJohn Marino 
258*e4b17023SJohn Marino   free (stack);
259*e4b17023SJohn Marino 
260*e4b17023SJohn Marino   return comp;
261*e4b17023SJohn Marino }
262*e4b17023SJohn Marino 
263*e4b17023SJohn Marino /* Determines the strongly connected components of G, using the algorithm of
264*e4b17023SJohn Marino    Tarjan -- first determine the postorder dfs numbering in reversed graph,
265*e4b17023SJohn Marino    then run the dfs on the original graph in the order given by decreasing
266*e4b17023SJohn Marino    numbers assigned by the previous pass.  If SUBGRAPH is not NULL, it
267*e4b17023SJohn Marino    specifies the subgraph of G whose strongly connected components we want
268*e4b17023SJohn Marino    to determine.
269*e4b17023SJohn Marino 
270*e4b17023SJohn Marino    After running this function, v->component is the number of the strongly
271*e4b17023SJohn Marino    connected component for each vertex of G.  Returns the number of the
272*e4b17023SJohn Marino    sccs of G.  */
273*e4b17023SJohn Marino 
274*e4b17023SJohn Marino int
graphds_scc(struct graph * g,bitmap subgraph)275*e4b17023SJohn Marino graphds_scc (struct graph *g, bitmap subgraph)
276*e4b17023SJohn Marino {
277*e4b17023SJohn Marino   int *queue = XNEWVEC (int, g->n_vertices);
278*e4b17023SJohn Marino   VEC (int, heap) *postorder = NULL;
279*e4b17023SJohn Marino   int nq, i, comp;
280*e4b17023SJohn Marino   unsigned v;
281*e4b17023SJohn Marino   bitmap_iterator bi;
282*e4b17023SJohn Marino 
283*e4b17023SJohn Marino   if (subgraph)
284*e4b17023SJohn Marino     {
285*e4b17023SJohn Marino       nq = 0;
286*e4b17023SJohn Marino       EXECUTE_IF_SET_IN_BITMAP (subgraph, 0, v, bi)
287*e4b17023SJohn Marino 	{
288*e4b17023SJohn Marino 	  queue[nq++] = v;
289*e4b17023SJohn Marino 	}
290*e4b17023SJohn Marino     }
291*e4b17023SJohn Marino   else
292*e4b17023SJohn Marino     {
293*e4b17023SJohn Marino       for (i = 0; i < g->n_vertices; i++)
294*e4b17023SJohn Marino 	queue[i] = i;
295*e4b17023SJohn Marino       nq = g->n_vertices;
296*e4b17023SJohn Marino     }
297*e4b17023SJohn Marino 
298*e4b17023SJohn Marino   graphds_dfs (g, queue, nq, &postorder, false, subgraph);
299*e4b17023SJohn Marino   gcc_assert (VEC_length (int, postorder) == (unsigned) nq);
300*e4b17023SJohn Marino 
301*e4b17023SJohn Marino   for (i = 0; i < nq; i++)
302*e4b17023SJohn Marino     queue[i] = VEC_index (int, postorder, nq - i - 1);
303*e4b17023SJohn Marino   comp = graphds_dfs (g, queue, nq, NULL, true, subgraph);
304*e4b17023SJohn Marino 
305*e4b17023SJohn Marino   free (queue);
306*e4b17023SJohn Marino   VEC_free (int, heap, postorder);
307*e4b17023SJohn Marino 
308*e4b17023SJohn Marino   return comp;
309*e4b17023SJohn Marino }
310*e4b17023SJohn Marino 
311*e4b17023SJohn Marino /* Runs CALLBACK for all edges in G.  */
312*e4b17023SJohn Marino 
313*e4b17023SJohn Marino void
for_each_edge(struct graph * g,graphds_edge_callback callback)314*e4b17023SJohn Marino for_each_edge (struct graph *g, graphds_edge_callback callback)
315*e4b17023SJohn Marino {
316*e4b17023SJohn Marino   struct graph_edge *e;
317*e4b17023SJohn Marino   int i;
318*e4b17023SJohn Marino 
319*e4b17023SJohn Marino   for (i = 0; i < g->n_vertices; i++)
320*e4b17023SJohn Marino     for (e = g->vertices[i].succ; e; e = e->succ_next)
321*e4b17023SJohn Marino       callback (g, e);
322*e4b17023SJohn Marino }
323*e4b17023SJohn Marino 
324*e4b17023SJohn Marino /* Releases the memory occupied by G.  */
325*e4b17023SJohn Marino 
326*e4b17023SJohn Marino void
free_graph(struct graph * g)327*e4b17023SJohn Marino free_graph (struct graph *g)
328*e4b17023SJohn Marino {
329*e4b17023SJohn Marino   struct graph_edge *e, *n;
330*e4b17023SJohn Marino   struct vertex *v;
331*e4b17023SJohn Marino   int i;
332*e4b17023SJohn Marino 
333*e4b17023SJohn Marino   for (i = 0; i < g->n_vertices; i++)
334*e4b17023SJohn Marino     {
335*e4b17023SJohn Marino       v = &g->vertices[i];
336*e4b17023SJohn Marino       for (e = v->succ; e; e = n)
337*e4b17023SJohn Marino 	{
338*e4b17023SJohn Marino 	  n = e->succ_next;
339*e4b17023SJohn Marino 	  free (e);
340*e4b17023SJohn Marino 	}
341*e4b17023SJohn Marino     }
342*e4b17023SJohn Marino   free (g->vertices);
343*e4b17023SJohn Marino   free (g);
344*e4b17023SJohn Marino }
345*e4b17023SJohn Marino 
346*e4b17023SJohn Marino /* Returns the nearest common ancestor of X and Y in tree whose parent
347*e4b17023SJohn Marino    links are given by PARENT.  MARKS is the array used to mark the
348*e4b17023SJohn Marino    vertices of the tree, and MARK is the number currently used as a mark.  */
349*e4b17023SJohn Marino 
350*e4b17023SJohn Marino static int
tree_nca(int x,int y,int * parent,int * marks,int mark)351*e4b17023SJohn Marino tree_nca (int x, int y, int *parent, int *marks, int mark)
352*e4b17023SJohn Marino {
353*e4b17023SJohn Marino   if (x == -1 || x == y)
354*e4b17023SJohn Marino     return y;
355*e4b17023SJohn Marino 
356*e4b17023SJohn Marino   /* We climb with X and Y up the tree, marking the visited nodes.  When
357*e4b17023SJohn Marino      we first arrive to a marked node, it is the common ancestor.  */
358*e4b17023SJohn Marino   marks[x] = mark;
359*e4b17023SJohn Marino   marks[y] = mark;
360*e4b17023SJohn Marino 
361*e4b17023SJohn Marino   while (1)
362*e4b17023SJohn Marino     {
363*e4b17023SJohn Marino       x = parent[x];
364*e4b17023SJohn Marino       if (x == -1)
365*e4b17023SJohn Marino 	break;
366*e4b17023SJohn Marino       if (marks[x] == mark)
367*e4b17023SJohn Marino 	return x;
368*e4b17023SJohn Marino       marks[x] = mark;
369*e4b17023SJohn Marino 
370*e4b17023SJohn Marino       y = parent[y];
371*e4b17023SJohn Marino       if (y == -1)
372*e4b17023SJohn Marino 	break;
373*e4b17023SJohn Marino       if (marks[y] == mark)
374*e4b17023SJohn Marino 	return y;
375*e4b17023SJohn Marino       marks[y] = mark;
376*e4b17023SJohn Marino     }
377*e4b17023SJohn Marino 
378*e4b17023SJohn Marino   /* If we reached the root with one of the vertices, continue
379*e4b17023SJohn Marino      with the other one till we reach the marked part of the
380*e4b17023SJohn Marino      tree.  */
381*e4b17023SJohn Marino   if (x == -1)
382*e4b17023SJohn Marino     {
383*e4b17023SJohn Marino       for (y = parent[y]; marks[y] != mark; y = parent[y])
384*e4b17023SJohn Marino 	continue;
385*e4b17023SJohn Marino 
386*e4b17023SJohn Marino       return y;
387*e4b17023SJohn Marino     }
388*e4b17023SJohn Marino   else
389*e4b17023SJohn Marino     {
390*e4b17023SJohn Marino       for (x = parent[x]; marks[x] != mark; x = parent[x])
391*e4b17023SJohn Marino 	continue;
392*e4b17023SJohn Marino 
393*e4b17023SJohn Marino       return x;
394*e4b17023SJohn Marino     }
395*e4b17023SJohn Marino }
396*e4b17023SJohn Marino 
397*e4b17023SJohn Marino /* Determines the dominance tree of G (stored in the PARENT, SON and BROTHER
398*e4b17023SJohn Marino    arrays), where the entry node is ENTRY.  */
399*e4b17023SJohn Marino 
400*e4b17023SJohn Marino void
graphds_domtree(struct graph * g,int entry,int * parent,int * son,int * brother)401*e4b17023SJohn Marino graphds_domtree (struct graph *g, int entry,
402*e4b17023SJohn Marino 		 int *parent, int *son, int *brother)
403*e4b17023SJohn Marino {
404*e4b17023SJohn Marino   VEC (int, heap) *postorder = NULL;
405*e4b17023SJohn Marino   int *marks = XCNEWVEC (int, g->n_vertices);
406*e4b17023SJohn Marino   int mark = 1, i, v, idom;
407*e4b17023SJohn Marino   bool changed = true;
408*e4b17023SJohn Marino   struct graph_edge *e;
409*e4b17023SJohn Marino 
410*e4b17023SJohn Marino   /* We use a slight modification of the standard iterative algorithm, as
411*e4b17023SJohn Marino      described in
412*e4b17023SJohn Marino 
413*e4b17023SJohn Marino      K. D. Cooper, T. J. Harvey and K. Kennedy: A Simple, Fast Dominance
414*e4b17023SJohn Marino 	Algorithm
415*e4b17023SJohn Marino 
416*e4b17023SJohn Marino      sort vertices in reverse postorder
417*e4b17023SJohn Marino      foreach v
418*e4b17023SJohn Marino        dom(v) = everything
419*e4b17023SJohn Marino      dom(entry) = entry;
420*e4b17023SJohn Marino 
421*e4b17023SJohn Marino      while (anything changes)
422*e4b17023SJohn Marino        foreach v
423*e4b17023SJohn Marino          dom(v) = {v} union (intersection of dom(p) over all predecessors of v)
424*e4b17023SJohn Marino 
425*e4b17023SJohn Marino      The sets dom(v) are represented by the parent links in the current version
426*e4b17023SJohn Marino      of the dominance tree.  */
427*e4b17023SJohn Marino 
428*e4b17023SJohn Marino   for (i = 0; i < g->n_vertices; i++)
429*e4b17023SJohn Marino     {
430*e4b17023SJohn Marino       parent[i] = -1;
431*e4b17023SJohn Marino       son[i] = -1;
432*e4b17023SJohn Marino       brother[i] = -1;
433*e4b17023SJohn Marino     }
434*e4b17023SJohn Marino   graphds_dfs (g, &entry, 1, &postorder, true, NULL);
435*e4b17023SJohn Marino   gcc_assert (VEC_length (int, postorder) == (unsigned) g->n_vertices);
436*e4b17023SJohn Marino   gcc_assert (VEC_index (int, postorder, g->n_vertices - 1) == entry);
437*e4b17023SJohn Marino 
438*e4b17023SJohn Marino   while (changed)
439*e4b17023SJohn Marino     {
440*e4b17023SJohn Marino       changed = false;
441*e4b17023SJohn Marino 
442*e4b17023SJohn Marino       for (i = g->n_vertices - 2; i >= 0; i--)
443*e4b17023SJohn Marino 	{
444*e4b17023SJohn Marino 	  v = VEC_index (int, postorder, i);
445*e4b17023SJohn Marino 	  idom = -1;
446*e4b17023SJohn Marino 	  for (e = g->vertices[v].pred; e; e = e->pred_next)
447*e4b17023SJohn Marino 	    {
448*e4b17023SJohn Marino 	      if (e->src != entry
449*e4b17023SJohn Marino 		  && parent[e->src] == -1)
450*e4b17023SJohn Marino 		continue;
451*e4b17023SJohn Marino 
452*e4b17023SJohn Marino 	      idom = tree_nca (idom, e->src, parent, marks, mark++);
453*e4b17023SJohn Marino 	    }
454*e4b17023SJohn Marino 
455*e4b17023SJohn Marino 	  if (idom != parent[v])
456*e4b17023SJohn Marino 	    {
457*e4b17023SJohn Marino 	      parent[v] = idom;
458*e4b17023SJohn Marino 	      changed = true;
459*e4b17023SJohn Marino 	    }
460*e4b17023SJohn Marino 	}
461*e4b17023SJohn Marino     }
462*e4b17023SJohn Marino 
463*e4b17023SJohn Marino   free (marks);
464*e4b17023SJohn Marino   VEC_free (int, heap, postorder);
465*e4b17023SJohn Marino 
466*e4b17023SJohn Marino   for (i = 0; i < g->n_vertices; i++)
467*e4b17023SJohn Marino     if (parent[i] != -1)
468*e4b17023SJohn Marino       {
469*e4b17023SJohn Marino 	brother[i] = son[parent[i]];
470*e4b17023SJohn Marino 	son[parent[i]] = i;
471*e4b17023SJohn Marino       }
472*e4b17023SJohn Marino }
473