00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047
00048
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059
00060
00061
00062
00063 #include "defs.h"
00064 #include "erglob.h"
00065 #include "cxx_memory.h"
00066 #include "tracing.h"
00067 #include "ip_graph.h"
00068
00069
00070
00071
00072 void
00073 GRAPH::Build()
00074 {
00075
00076 NODE_INDEX i;
00077
00078
00079 if (vmax != 0) {
00080 v = (GRAPH::NODE_TYPE *)
00081 MEM_POOL_Alloc(m, sizeof(GRAPH::NODE_TYPE) * vmax);
00082 BZERO(v, sizeof(GRAPH::NODE_TYPE) * vmax);
00083 }
00084
00085
00086 if (emax != 0) {
00087 e = (GRAPH::EDGE_TYPE *)
00088 MEM_POOL_Alloc(m, sizeof(GRAPH::EDGE_TYPE) * emax);
00089 BZERO(e, sizeof(GRAPH::EDGE_TYPE) * emax);
00090 }
00091
00092
00093 for (i = 0; i < vmax; ++i) {
00094 NODE_from(&v[i]) = i+1;
00095 NODE_fcnt(&v[i]) = -1;
00096 }
00097
00098 NODE_from(&v[vmax-1]) = INVALID_NODE_INDEX;
00099
00100
00101 for (i = 0; i < emax; ++i) {
00102 EDGE_nfrom(&e[i]) = i+1;
00103 EDGE_from(&e[i]) = INVALID_NODE_INDEX;
00104 }
00105
00106 EDGE_nfrom(&e[emax-1]) = -1;
00107 }
00108
00109
00110
00111
00112
00113 void
00114 GRAPH::Grow_Node_Array()
00115 {
00116 NODE_INDEX new_max = (vmax < 8 ? 16 : vmax * 2);
00117
00118 v = (GRAPH::NODE_TYPE *)
00119 MEM_POOL_Realloc (m, v,
00120 sizeof(GRAPH::NODE_TYPE) * vmax,
00121 sizeof(GRAPH::NODE_TYPE) * new_max);
00122
00123 for (NODE_INDEX i = vmax; i < new_max; ++i) {
00124 NODE_from(&v[i]) = i+1;
00125 NODE_fcnt(&v[i]) = -1;
00126 }
00127
00128 NODE_from(&v[new_max-1]) = INVALID_NODE_INDEX;
00129
00130 vfree = vmax;
00131 vmax = new_max;
00132 }
00133
00134
00135
00136
00137
00138 void
00139 GRAPH::Grow_Edge_Array()
00140 {
00141 EDGE_INDEX new_max = (emax < 8 ? 16 : emax * 2);
00142
00143 e = (GRAPH::EDGE_TYPE *)
00144 MEM_POOL_Realloc (m, e,
00145 sizeof(GRAPH::EDGE_TYPE) * emax,
00146 sizeof(GRAPH::EDGE_TYPE) * new_max);
00147
00148 for (EDGE_INDEX i = emax; i < new_max; ++i) {
00149 EDGE_nfrom(&e[i]) = i+1;
00150 EDGE_from(&e[i]) = INVALID_EDGE_INDEX;
00151 }
00152
00153 EDGE_nfrom(&e[new_max-1]) = INVALID_EDGE_INDEX;
00154
00155 efree = emax;
00156 emax = new_max;
00157 }
00158
00159
00160
00161
00162
00163 NODE_INDEX
00164 GRAPH::Add_Node(void *user)
00165 {
00166
00167 if (vfree == -1) {
00168 Grow_Node_Array();
00169 }
00170
00171
00172 NODE_INDEX new_node_idx = vfree;
00173
00174
00175 vfree = NODE_from(&v[new_node_idx]);
00176
00177
00178 NODE_user(&v[new_node_idx]) = user;
00179
00180
00181 NODE_from(&v[new_node_idx]) = INVALID_EDGE_INDEX;
00182 NODE_to(&v[new_node_idx]) = INVALID_EDGE_INDEX;
00183 NODE_fcnt(&v[new_node_idx]) = 0;
00184 NODE_tcnt(&v[new_node_idx]) = 0;
00185 NODE_level(&v[new_node_idx]) = -1;
00186
00187
00188 vcnt++;
00189
00190 return new_node_idx;
00191 }
00192
00193
00194
00195
00196
00197
00198 EDGE_INDEX
00199 GRAPH::Add_Edge(NODE_INDEX from, NODE_INDEX to, void *user)
00200 {
00201
00202 if(efree == -1) {
00203 Grow_Edge_Array();
00204 }
00205
00206
00207 EDGE_INDEX new_edge_idx = efree;
00208
00209
00210 efree = EDGE_nfrom(&e[new_edge_idx]);
00211
00212
00213 EDGE_user(&e[new_edge_idx]) = user;
00214
00215
00216 EDGE_from(&e[new_edge_idx]) = from;
00217
00218
00219 EDGE_to(&e[new_edge_idx]) = to;
00220
00221
00222 NODE_fcnt(&v[from])++;
00223
00224
00225 NODE_tcnt(&v[to])++;
00226
00227
00228 ecnt++;
00229
00230
00231 EDGE_nfrom(&e[new_edge_idx]) = NODE_from(&v[from]);
00232 NODE_from(&v[from]) = new_edge_idx;
00233
00234
00235 EDGE_nto(&e[new_edge_idx]) = NODE_to(&v[to]);
00236 NODE_to(&v[to]) = new_edge_idx;
00237
00238
00239 EDGE_etype(&e[new_edge_idx]) = 0;
00240
00241 return new_edge_idx;
00242 }
00243
00244
00245
00246
00247
00248 void
00249 GRAPH::Delete_Edge(EDGE_INDEX edge)
00250 {
00251
00252
00253 NODE_INDEX from_vertex = EDGE_from(&e[edge]);
00254
00255
00256 NODE_fcnt(&v[from_vertex])--;
00257
00258
00259 EDGE_INDEX next_edge = EDGE_nfrom(&e[edge]);
00260
00261
00262 EDGE_INDEX head_edge = NODE_from(&v[from_vertex]);
00263
00264
00265
00266 if (head_edge == edge) {
00267 NODE_from(&v[from_vertex]) = next_edge;
00268 }
00269 else {
00270
00271
00272 while (EDGE_nfrom(&e[head_edge]) != edge) {
00273 head_edge = EDGE_nfrom(&e[head_edge]);
00274 }
00275 EDGE_nfrom(&e[head_edge]) = next_edge;
00276 }
00277
00278
00279
00280
00281 NODE_INDEX to_vertex = EDGE_to(&e[edge]);
00282
00283
00284 NODE_tcnt(&v[to_vertex])--;
00285
00286
00287 next_edge = EDGE_nto(&e[edge]);
00288
00289
00290 head_edge = NODE_to(&v[to_vertex]);
00291
00292
00293
00294 if (head_edge == edge) {
00295 NODE_to(&v[to_vertex]) = next_edge;
00296 }
00297 else {
00298
00299
00300 while (EDGE_nto(&e[head_edge]) != edge) {
00301 head_edge = EDGE_nto(&e[head_edge]);
00302 }
00303 EDGE_nto(&e[head_edge]) = next_edge;
00304 }
00305
00306
00307 EDGE_nfrom(&e[edge]) = efree;
00308 EDGE_from(&e[edge]) = INVALID_NODE_INDEX;
00309 efree = edge;
00310
00311
00312 ecnt--;
00313 }
00314
00315
00316
00317
00318
00319 void*
00320 GRAPH::Delete_Node(NODE_INDEX vertex)
00321 {
00322 void* user = NODE_user(&v[vertex]);
00323
00324
00325 EDGE_INDEX nfrom;
00326 EDGE_INDEX from = NODE_from(&v[vertex]);
00327 while (from != INVALID_EDGE_INDEX) {
00328 nfrom = EDGE_nfrom(&e[from]);
00329 Delete_Edge(from);
00330 from = nfrom;
00331 }
00332
00333
00334 EDGE_INDEX nto;
00335 EDGE_INDEX to = NODE_to(&v[vertex]);
00336 while (to != INVALID_EDGE_INDEX) {
00337 nto = EDGE_nto(&e[to]);
00338 Delete_Edge(to);
00339 to = nto;
00340 }
00341
00342
00343 NODE_fcnt(&v[vertex]) = -1;
00344 NODE_from(&v[vertex]) = vfree;
00345 vfree = vertex;
00346
00347
00348 vcnt--;
00349
00350 return user;
00351 }
00352
00353
00354
00355
00356
00357 NODE_INDEX
00358 NODE_ITER::First_Pred()
00359 {
00360
00361 if ( to_e == INVALID_EDGE_INDEX ) {
00362 return INVALID_NODE_INDEX;
00363 }
00364
00365
00366 NODE_INDEX from = EDGE_from(&GRAPH_e_i(g, to_e));
00367
00368
00369 nto = EDGE_nto(&GRAPH_e_i(g, to_e));
00370
00371
00372 c_e = to_e;
00373
00374 return from;
00375 }
00376
00377
00378
00379
00380
00381 NODE_INDEX
00382 NODE_ITER::Next_Pred()
00383 {
00384
00385 if (nto == -1) {
00386 return INVALID_NODE_INDEX;
00387 }
00388
00389
00390 EDGE_INDEX e = nto;
00391
00392
00393 NODE_INDEX from = EDGE_from(&GRAPH_e_i(g, e));
00394
00395
00396 nto = EDGE_nto(&GRAPH_e_i(g, e));
00397
00398
00399 c_e = e;
00400
00401 return from;
00402 }
00403
00404
00405
00406
00407
00408 NODE_INDEX
00409 NODE_ITER::First_Succ()
00410 {
00411
00412 if ( from_e == INVALID_EDGE_INDEX ) {
00413 return INVALID_NODE_INDEX;
00414 }
00415
00416
00417 NODE_INDEX to = EDGE_to(&GRAPH_e_i(g, from_e));
00418
00419
00420 nfrom = EDGE_nfrom(&GRAPH_e_i(g, from_e));
00421
00422
00423 c_e = from_e;
00424
00425 return to;
00426 }
00427
00428
00429
00430
00431 NODE_INDEX
00432 NODE_ITER::Next_Succ()
00433 {
00434
00435 if ( nfrom == -1 ) {
00436 return INVALID_NODE_INDEX;
00437 }
00438
00439 EDGE_INDEX e = nfrom;
00440
00441
00442 NODE_INDEX to = EDGE_to(&GRAPH_e_i(g, e));
00443
00444
00445 nfrom = EDGE_nfrom(&GRAPH_e_i(g, e));
00446
00447
00448 c_e = e;
00449
00450 return to;
00451 }
00452
00453
00454
00455
00456
00457
00458
00459
00460
00461
00462
00463
00464
00465
00466
00467
00468
00469
00470
00471
00472
00473
00474
00475
00476
00477 #define VISITED TRUE
00478
00479 static void
00480 Search ( GRAPH *g, NODE_INDEX v, DFN *d, mBOOL *visit )
00481 {
00482 visit[v] = VISITED;
00483
00484
00485 NODE_ITER v_iter(g, v);
00486
00487 for ( NODE_INDEX vtx = v_iter.First_Succ();
00488 vtx != INVALID_NODE_INDEX ;
00489 vtx = v_iter.Next_Succ() )
00490 {
00491
00492 if ( !visit[vtx] ) {
00493 Search ( g, vtx, d, visit );
00494 }
00495 }
00496
00497
00498 DFN_v_list_i ( d, --DFN_first(d) ) = v;
00499 }
00500
00501
00502
00503
00504
00505
00506
00507
00508
00509
00510
00511
00512
00513 DFN *
00514 Depth_First_Ordering ( GRAPH *g, MEM_POOL* m )
00515 {
00516 NODE_INDEX vertex_count = GRAPH_vcnt(g);
00517 EDGE_INDEX edge_count = GRAPH_ecnt(g);
00518 INT vertex_max = GRAPH_vmax(g);
00519 DFN *d;
00520 mBOOL *visit;
00521
00522
00523 Is_True ( GRAPH_root(g) != INVALID_NODE_INDEX,
00524 ( "Invalid root for graph at %lx\n", g ) );
00525 if ( Get_Trace ( TP_IPA, 8 ) ) {
00526 fprintf ( TFile, "Depth_First_Ordering: vertex count = %d \n",
00527 vertex_count );
00528 }
00529
00530
00531 d = (DFN*) MEM_POOL_Alloc ( m, sizeof(DFN) );
00532 if ( d == NULL ) {
00533 ErrMsg ( EC_No_Mem, "Depth_First_Ordering: d" );
00534 }
00535 DFN_v_list(d) = (NODE_INDEX*)
00536 MEM_POOL_Alloc ( m, sizeof(NODE_INDEX) * vertex_count );
00537 if ( DFN_v_list(d) == NULL ) {
00538 ErrMsg ( EC_No_Mem, "Depth_First_Ordering: list" );
00539 }
00540
00541
00542 visit = (mBOOL*) MEM_POOL_Alloc ( m, sizeof(mBOOL)*vertex_max );
00543 if ( visit == NULL ) {
00544 ErrMsg ( EC_No_Mem, "Depth_First_Ordering: visit" );
00545 }
00546 BZERO ( visit, sizeof(mBOOL)*vertex_max );
00547
00548
00549
00550
00551 DFN_first(d) = DFN_end(d) = vertex_count;
00552
00553
00554 Search ( g, GRAPH_root(g), d, visit );
00555
00556
00557 MEM_POOL_FREE(m, visit);
00558
00559 return(d);
00560 }
00561
00562
00563
00564
00565
00566
00567
00568
00569
00570
00571 void Print_DFN ( const FILE *fp, DFN* d )
00572 {
00573 NODE_INDEX i, j;
00574
00575 fprintf ( (FILE *)fp, "%sDepth First Numbering: [%d..%d)\n%s",
00576 SBar, DFN_first(d), DFN_end(d), SBar );
00577 for ( i = DFN_first(d), j=1; i< DFN_end(d); i++, j++ ) {
00578 fprintf ( (FILE *)fp, " %3d", DFN_v_list_i(d,i) );
00579 if ( j == 18 ) {
00580 fprintf ( (FILE *)fp, "\n" );
00581 j = 0;
00582 }
00583 }
00584 fprintf ( (FILE *)fp, "\n%s", SBar );
00585 }
00586
00587
00588
00589
00590
00591
00592
00593
00594
00595
00596
00597 void
00598 Free_DFN ( DFN* d, MEM_POOL* m )
00599 {
00600 MEM_POOL_FREE ( m, DFN_v_list(d) );
00601 MEM_POOL_FREE ( m, d );
00602 }