1 /* 2 * Copyright 2008-2009 Katholieke Universiteit Leuven 3 * Copyright 2011 INRIA Saclay 4 * Copyright 2012-2013 Ecole Normale Superieure 5 * Copyright 2017 Sven Verdoolaege 6 * 7 * Use of this software is governed by the MIT license 8 * 9 * Written by Sven Verdoolaege, K.U.Leuven, Departement 10 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium 11 * and INRIA Saclay - Ile-de-France, Parc Club Orsay Universite, 12 * ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France 13 * and Ecole Normale Superieure, 45 rue dUlm, 75230 Paris, France 14 */ 15 16 #include <isl_sort.h> 17 #include <isl_tarjan.h> 18 #include <isl/printer.h> 19 20 #include <isl_list_macro.h> 21 22 #define xS(TYPE,NAME) struct TYPE ## _ ## NAME 23 #define S(TYPE,NAME) xS(TYPE,NAME) 24 25 isl_ctx *FN(LIST(EL),get_ctx)(__isl_keep LIST(EL) *list) 26 { 27 return list ? list->ctx : NULL; 28 } 29 30 __isl_give LIST(EL) *FN(LIST(EL),alloc)(isl_ctx *ctx, int n) 31 { 32 LIST(EL) *list; 33 34 if (n < 0) 35 isl_die(ctx, isl_error_invalid, 36 "cannot create list of negative length", 37 return NULL); 38 list = isl_alloc(ctx, LIST(EL), 39 sizeof(LIST(EL)) + (n - 1) * sizeof(struct EL *)); 40 if (!list) 41 return NULL; 42 43 list->ctx = ctx; 44 isl_ctx_ref(ctx); 45 list->ref = 1; 46 list->size = n; 47 list->n = 0; 48 return list; 49 } 50 51 __isl_give LIST(EL) *FN(LIST(EL),copy)(__isl_keep LIST(EL) *list) 52 { 53 if (!list) 54 return NULL; 55 56 list->ref++; 57 return list; 58 } 59 60 __isl_give LIST(EL) *FN(LIST(EL),dup)(__isl_keep LIST(EL) *list) 61 { 62 int i; 63 LIST(EL) *dup; 64 65 if (!list) 66 return NULL; 67 68 dup = FN(LIST(EL),alloc)(FN(LIST(EL),get_ctx)(list), list->n); 69 if (!dup) 70 return NULL; 71 for (i = 0; i < list->n; ++i) 72 dup = FN(LIST(EL),add)(dup, FN(EL,copy)(list->p[i])); 73 return dup; 74 } 75 76 __isl_give LIST(EL) *FN(LIST(EL),cow)(__isl_take LIST(EL) *list) 77 { 78 if (!list) 79 return NULL; 80 81 if (list->ref == 1) 82 return list; 83 list->ref--; 84 return FN(LIST(EL),dup)(list); 85 } 86 87 /* Make sure "list" has room for at least "n" more pieces. 88 * Always return a list with a single reference. 89 * 90 * If there is only one reference to list, we extend it in place. 91 * Otherwise, we create a new LIST(EL) and copy the elements. 92 */ 93 static __isl_give LIST(EL) *FN(LIST(EL),grow)(__isl_take LIST(EL) *list, int n) 94 { 95 isl_ctx *ctx; 96 int i, new_size; 97 LIST(EL) *res; 98 99 if (!list) 100 return NULL; 101 if (list->ref == 1 && list->n + n <= list->size) 102 return list; 103 104 ctx = FN(LIST(EL),get_ctx)(list); 105 new_size = ((list->n + n + 1) * 3) / 2; 106 if (list->ref == 1) { 107 res = isl_realloc(ctx, list, LIST(EL), 108 sizeof(LIST(EL)) + (new_size - 1) * sizeof(EL *)); 109 if (!res) 110 return FN(LIST(EL),free)(list); 111 res->size = new_size; 112 return res; 113 } 114 115 if (list->n + n <= list->size && list->size < new_size) 116 new_size = list->size; 117 118 res = FN(LIST(EL),alloc)(ctx, new_size); 119 if (!res) 120 return FN(LIST(EL),free)(list); 121 122 for (i = 0; i < list->n; ++i) 123 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i])); 124 125 FN(LIST(EL),free)(list); 126 return res; 127 } 128 129 /* Check that "index" is a valid position in "list". 130 */ 131 static isl_stat FN(LIST(EL),check_index)(__isl_keep LIST(EL) *list, int index) 132 { 133 if (!list) 134 return isl_stat_error; 135 if (index < 0 || index >= list->n) 136 isl_die(FN(LIST(EL),get_ctx)(list), isl_error_invalid, 137 "index out of bounds", return isl_stat_error); 138 return isl_stat_ok; 139 } 140 141 __isl_give LIST(EL) *FN(LIST(EL),add)(__isl_take LIST(EL) *list, 142 __isl_take struct EL *el) 143 { 144 list = FN(LIST(EL),grow)(list, 1); 145 if (!list || !el) 146 goto error; 147 list->p[list->n] = el; 148 list->n++; 149 return list; 150 error: 151 FN(EL,free)(el); 152 FN(LIST(EL),free)(list); 153 return NULL; 154 } 155 156 /* Remove the "n" elements starting at "first" from "list". 157 */ 158 __isl_give LIST(EL) *FN(LIST(EL),drop)(__isl_take LIST(EL) *list, 159 unsigned first, unsigned n) 160 { 161 int i; 162 163 if (!list) 164 return NULL; 165 if (first + n > list->n || first + n < first) 166 isl_die(list->ctx, isl_error_invalid, 167 "index out of bounds", return FN(LIST(EL),free)(list)); 168 if (n == 0) 169 return list; 170 list = FN(LIST(EL),cow)(list); 171 if (!list) 172 return NULL; 173 for (i = 0; i < n; ++i) 174 FN(EL,free)(list->p[first + i]); 175 for (i = first; i + n < list->n; ++i) 176 list->p[i] = list->p[i + n]; 177 list->n -= n; 178 return list; 179 } 180 181 /* Remove all elements from "list". 182 */ 183 __isl_give LIST(EL) *FN(LIST(EL),clear)(__isl_take LIST(EL) *list) 184 { 185 if (!list) 186 return NULL; 187 return FN(LIST(EL),drop)(list, 0, list->n); 188 } 189 190 /* Insert "el" at position "pos" in "list". 191 * 192 * If there is only one reference to "list" and if it already has space 193 * for one extra element, we insert it directly into "list". 194 * Otherwise, we create a new list consisting of "el" and copied 195 * elements from "list". 196 */ 197 __isl_give LIST(EL) *FN(LIST(EL),insert)(__isl_take LIST(EL) *list, 198 unsigned pos, __isl_take struct EL *el) 199 { 200 int i; 201 isl_ctx *ctx; 202 LIST(EL) *res; 203 204 if (!list || !el) 205 goto error; 206 ctx = FN(LIST(EL),get_ctx)(list); 207 if (pos > list->n) 208 isl_die(ctx, isl_error_invalid, 209 "index out of bounds", goto error); 210 211 if (list->ref == 1 && list->size > list->n) { 212 for (i = list->n; i > pos; --i) 213 list->p[i] = list->p[i - 1]; 214 list->n++; 215 list->p[pos] = el; 216 return list; 217 } 218 219 res = FN(LIST(EL),alloc)(ctx, list->n + 1); 220 for (i = 0; i < pos; ++i) 221 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i])); 222 res = FN(LIST(EL),add)(res, el); 223 for (i = pos; i < list->n; ++i) 224 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i])); 225 FN(LIST(EL),free)(list); 226 227 return res; 228 error: 229 FN(EL,free)(el); 230 FN(LIST(EL),free)(list); 231 return NULL; 232 } 233 234 __isl_null LIST(EL) *FN(LIST(EL),free)(__isl_take LIST(EL) *list) 235 { 236 int i; 237 238 if (!list) 239 return NULL; 240 241 if (--list->ref > 0) 242 return NULL; 243 244 isl_ctx_deref(list->ctx); 245 for (i = 0; i < list->n; ++i) 246 FN(EL,free)(list->p[i]); 247 free(list); 248 249 return NULL; 250 } 251 252 /* Return the number of elements in "list". 253 */ 254 isl_size FN(LIST(EL),size)(__isl_keep LIST(EL) *list) 255 { 256 return list ? list->n : isl_size_error; 257 } 258 259 /* This is an alternative name for the function above. 260 */ 261 isl_size FN(FN(LIST(EL),n),EL_BASE)(__isl_keep LIST(EL) *list) 262 { 263 return FN(LIST(EL),size)(list); 264 } 265 266 /* Return the element at position "index" in "list". 267 */ 268 __isl_keep EL *FN(LIST(EL),peek)(__isl_keep LIST(EL) *list, int index) 269 { 270 if (FN(LIST(EL),check_index)(list, index) < 0) 271 return NULL; 272 return list->p[index]; 273 } 274 275 /* Return a copy of the element at position "index" in "list". 276 */ 277 __isl_give EL *FN(LIST(EL),get_at)(__isl_keep LIST(EL) *list, int index) 278 { 279 return FN(EL,copy)(FN(LIST(EL),peek)(list, index)); 280 } 281 282 /* This is an alternative name for the function above. 283 */ 284 __isl_give EL *FN(FN(LIST(EL),get),EL_BASE)(__isl_keep LIST(EL) *list, 285 int index) 286 { 287 return FN(LIST(EL),get_at)(list, index); 288 } 289 290 /* Replace the element at position "index" in "list" by "el". 291 */ 292 __isl_give LIST(EL) *FN(LIST(EL),set_at)(__isl_take LIST(EL) *list, 293 int index, __isl_take EL *el) 294 { 295 if (!list || !el) 296 goto error; 297 if (FN(LIST(EL),check_index)(list, index) < 0) 298 goto error; 299 if (list->p[index] == el) { 300 FN(EL,free)(el); 301 return list; 302 } 303 list = FN(LIST(EL),cow)(list); 304 if (!list) 305 goto error; 306 FN(EL,free)(list->p[index]); 307 list->p[index] = el; 308 return list; 309 error: 310 FN(EL,free)(el); 311 FN(LIST(EL),free)(list); 312 return NULL; 313 } 314 315 /* This is an alternative name for the function above. 316 */ 317 __isl_give LIST(EL) *FN(FN(LIST(EL),set),EL_BASE)(__isl_take LIST(EL) *list, 318 int index, __isl_take EL *el) 319 { 320 return FN(LIST(EL),set_at)(list, index, el); 321 } 322 323 /* Return the element at position "index" of "list". 324 * This may be either a copy or the element itself 325 * if there is only one reference to "list". 326 * This allows the element to be modified inplace 327 * if both the list and the element have only a single reference. 328 * The caller is not allowed to modify "list" between 329 * this call to isl_list_*_take_* and a subsequent call 330 * to isl_list_*_restore_*. 331 * The only exception is that isl_list_*_free can be called instead. 332 */ 333 static __isl_give EL *FN(FN(LIST(EL),take),EL_BASE)(__isl_keep LIST(EL) *list, 334 int index) 335 { 336 EL *el; 337 338 if (FN(LIST(EL),check_index)(list, index) < 0) 339 return NULL; 340 if (list->ref != 1) 341 return FN(FN(LIST(EL),get),EL_BASE)(list, index); 342 el = list->p[index]; 343 list->p[index] = NULL; 344 return el; 345 } 346 347 /* Set the element at position "index" of "list" to "el", 348 * where the position may be empty due to a previous call 349 * to isl_list_*_take_*. 350 */ 351 static __isl_give LIST(EL) *FN(FN(LIST(EL),restore),EL_BASE)( 352 __isl_take LIST(EL) *list, int index, __isl_take EL *el) 353 { 354 return FN(FN(LIST(EL),set),EL_BASE)(list, index, el); 355 } 356 357 /* Swap the elements of "list" in positions "pos1" and "pos2". 358 */ 359 __isl_give LIST(EL) *FN(LIST(EL),swap)(__isl_take LIST(EL) *list, 360 unsigned pos1, unsigned pos2) 361 { 362 EL *el1, *el2; 363 364 if (pos1 == pos2) 365 return list; 366 el1 = FN(FN(LIST(EL),take),EL_BASE)(list, pos1); 367 el2 = FN(FN(LIST(EL),take),EL_BASE)(list, pos2); 368 list = FN(FN(LIST(EL),restore),EL_BASE)(list, pos1, el2); 369 list = FN(FN(LIST(EL),restore),EL_BASE)(list, pos2, el1); 370 return list; 371 } 372 373 /* Reverse the elements of "list". 374 */ 375 __isl_give LIST(EL) *FN(LIST(EL),reverse)(__isl_take LIST(EL) *list) 376 { 377 int i, n; 378 379 n = FN(LIST(EL),size)(list); 380 for (i = 0; i < n - 1 - i; ++i) 381 list = FN(LIST(EL),swap)(list, i, n - 1 - i); 382 return list; 383 } 384 385 isl_stat FN(LIST(EL),foreach)(__isl_keep LIST(EL) *list, 386 isl_stat (*fn)(__isl_take EL *el, void *user), void *user) 387 { 388 int i; 389 390 if (!list) 391 return isl_stat_error; 392 393 for (i = 0; i < list->n; ++i) { 394 EL *el = FN(EL,copy)(list->p[i]); 395 if (!el) 396 return isl_stat_error; 397 if (fn(el, user) < 0) 398 return isl_stat_error; 399 } 400 401 return isl_stat_ok; 402 } 403 404 /* Does "test" succeed on every element of "list"? 405 */ 406 isl_bool FN(LIST(EL),every)(__isl_keep LIST(EL) *list, 407 isl_bool (*test)(__isl_keep EL *el, void *user), void *user) 408 { 409 int i; 410 411 if (!list) 412 return isl_bool_error; 413 414 for (i = 0; i < list->n; ++i) { 415 isl_bool r; 416 417 r = test(list->p[i], user); 418 if (r < 0 || !r) 419 return r; 420 } 421 422 return isl_bool_true; 423 } 424 425 /* Replace each element in "list" by the result of calling "fn" 426 * on the element. 427 */ 428 __isl_give LIST(EL) *FN(LIST(EL),map)(__isl_keep LIST(EL) *list, 429 __isl_give EL *(*fn)(__isl_take EL *el, void *user), void *user) 430 { 431 int i, n; 432 433 if (!list) 434 return NULL; 435 436 n = list->n; 437 for (i = 0; i < n; ++i) { 438 EL *el = FN(FN(LIST(EL),take),EL_BASE)(list, i); 439 if (!el) 440 return FN(LIST(EL),free)(list); 441 el = fn(el, user); 442 list = FN(FN(LIST(EL),restore),EL_BASE)(list, i, el); 443 } 444 445 return list; 446 } 447 448 /* Internal data structure for isl_*_list_sort. 449 * 450 * "cmp" is the original comparison function. 451 * "user" is a user provided pointer that should be passed to "cmp". 452 */ 453 S(LIST(EL),sort_data) { 454 int (*cmp)(__isl_keep EL *a, __isl_keep EL *b, void *user); 455 void *user; 456 }; 457 458 /* Compare two entries of an isl_*_list based on the user provided 459 * comparison function on pairs of isl_* objects. 460 */ 461 static int FN(LIST(EL),cmp)(const void *a, const void *b, void *user) 462 { 463 S(LIST(EL),sort_data) *data = user; 464 EL * const *el1 = a; 465 EL * const *el2 = b; 466 467 return data->cmp(*el1, *el2, data->user); 468 } 469 470 /* Sort the elements of "list" in ascending order according to 471 * comparison function "cmp". 472 */ 473 __isl_give LIST(EL) *FN(LIST(EL),sort)(__isl_take LIST(EL) *list, 474 int (*cmp)(__isl_keep EL *a, __isl_keep EL *b, void *user), void *user) 475 { 476 S(LIST(EL),sort_data) data = { cmp, user }; 477 478 if (!list) 479 return NULL; 480 if (list->n <= 1) 481 return list; 482 list = FN(LIST(EL),cow)(list); 483 if (!list) 484 return NULL; 485 486 if (isl_sort(list->p, list->n, sizeof(list->p[0]), 487 &FN(LIST(EL),cmp), &data) < 0) 488 return FN(LIST(EL),free)(list); 489 490 return list; 491 } 492 493 /* Internal data structure for isl_*_list_foreach_scc. 494 * 495 * "list" is the original list. 496 * "follows" is the user provided callback that defines the edges of the graph. 497 */ 498 S(LIST(EL),foreach_scc_data) { 499 LIST(EL) *list; 500 isl_bool (*follows)(__isl_keep EL *a, __isl_keep EL *b, void *user); 501 void *follows_user; 502 }; 503 504 /* Does element i of data->list follow element j? 505 * 506 * Use the user provided callback to find out. 507 */ 508 static isl_bool FN(LIST(EL),follows)(int i, int j, void *user) 509 { 510 S(LIST(EL),foreach_scc_data) *data = user; 511 512 return data->follows(data->list->p[i], data->list->p[j], 513 data->follows_user); 514 } 515 516 /* Call "fn" on the sublist of "list" that consists of the elements 517 * with indices specified by the "n" elements of "pos". 518 */ 519 static isl_stat FN(LIST(EL),call_on_scc)(__isl_keep LIST(EL) *list, int *pos, 520 int n, isl_stat (*fn)(__isl_take LIST(EL) *scc, void *user), void *user) 521 { 522 int i; 523 isl_ctx *ctx; 524 LIST(EL) *slice; 525 526 ctx = FN(LIST(EL),get_ctx)(list); 527 slice = FN(LIST(EL),alloc)(ctx, n); 528 for (i = 0; i < n; ++i) { 529 EL *el; 530 531 el = FN(EL,copy)(list->p[pos[i]]); 532 slice = FN(LIST(EL),add)(slice, el); 533 } 534 535 return fn(slice, user); 536 } 537 538 /* Call "fn" on each of the strongly connected components (SCCs) of 539 * the graph with as vertices the elements of "list" and 540 * a directed edge from node b to node a iff follows(a, b) 541 * returns 1. follows should return -1 on error. 542 * 543 * If SCC a contains a node i that follows a node j in another SCC b 544 * (i.e., follows(i, j, user) returns 1), then fn will be called on SCC a 545 * after being called on SCC b. 546 * 547 * We simply call isl_tarjan_graph_init, extract the SCCs from the result and 548 * call fn on each of them. 549 */ 550 isl_stat FN(LIST(EL),foreach_scc)(__isl_keep LIST(EL) *list, 551 isl_bool (*follows)(__isl_keep EL *a, __isl_keep EL *b, void *user), 552 void *follows_user, 553 isl_stat (*fn)(__isl_take LIST(EL) *scc, void *user), void *fn_user) 554 { 555 S(LIST(EL),foreach_scc_data) data = { list, follows, follows_user }; 556 int i, n; 557 isl_ctx *ctx; 558 struct isl_tarjan_graph *g; 559 560 if (!list) 561 return isl_stat_error; 562 if (list->n == 0) 563 return isl_stat_ok; 564 if (list->n == 1) 565 return fn(FN(LIST(EL),copy)(list), fn_user); 566 567 ctx = FN(LIST(EL),get_ctx)(list); 568 n = list->n; 569 g = isl_tarjan_graph_init(ctx, n, &FN(LIST(EL),follows), &data); 570 if (!g) 571 return isl_stat_error; 572 573 i = 0; 574 do { 575 int first; 576 577 if (g->order[i] == -1) 578 isl_die(ctx, isl_error_internal, "cannot happen", 579 break); 580 first = i; 581 while (g->order[i] != -1) { 582 ++i; --n; 583 } 584 if (first == 0 && n == 0) { 585 isl_tarjan_graph_free(g); 586 return fn(FN(LIST(EL),copy)(list), fn_user); 587 } 588 if (FN(LIST(EL),call_on_scc)(list, g->order + first, i - first, 589 fn, fn_user) < 0) 590 break; 591 ++i; 592 } while (n); 593 594 isl_tarjan_graph_free(g); 595 596 return n > 0 ? isl_stat_error : isl_stat_ok; 597 } 598 599 __isl_give LIST(EL) *FN(FN(LIST(EL),from),EL_BASE)(__isl_take EL *el) 600 { 601 isl_ctx *ctx; 602 LIST(EL) *list; 603 604 if (!el) 605 return NULL; 606 ctx = FN(EL,get_ctx)(el); 607 list = FN(LIST(EL),alloc)(ctx, 1); 608 if (!list) 609 goto error; 610 list = FN(LIST(EL),add)(list, el); 611 return list; 612 error: 613 FN(EL,free)(el); 614 return NULL; 615 } 616 617 /* This function performs the same operation as isl_*_list_from_*, 618 * but is considered as a function on the element when exported. 619 */ 620 __isl_give LIST(EL) *FN(EL,to_list)(__isl_take EL *el) 621 { 622 return FN(FN(LIST(EL),from),EL_BASE)(el); 623 } 624 625 /* Append the elements of "list2" to "list1", where "list1" is known 626 * to have only a single reference and enough room to hold 627 * the extra elements. 628 */ 629 static __isl_give LIST(EL) *FN(LIST(EL),concat_inplace)( 630 __isl_take LIST(EL) *list1, __isl_take LIST(EL) *list2) 631 { 632 int i; 633 634 for (i = 0; i < list2->n; ++i) 635 list1 = FN(LIST(EL),add)(list1, FN(EL,copy)(list2->p[i])); 636 FN(LIST(EL),free)(list2); 637 return list1; 638 } 639 640 /* Concatenate "list1" and "list2". 641 * If "list1" has only one reference and has enough room 642 * for the elements of "list2", the add the elements to "list1" itself. 643 * Otherwise, create a new list to store the result. 644 */ 645 __isl_give LIST(EL) *FN(LIST(EL),concat)(__isl_take LIST(EL) *list1, 646 __isl_take LIST(EL) *list2) 647 { 648 int i; 649 isl_ctx *ctx; 650 LIST(EL) *res; 651 652 if (!list1 || !list2) 653 goto error; 654 655 if (list1->ref == 1 && list1->n + list2->n <= list1->size) 656 return FN(LIST(EL),concat_inplace)(list1, list2); 657 658 ctx = FN(LIST(EL),get_ctx)(list1); 659 res = FN(LIST(EL),alloc)(ctx, list1->n + list2->n); 660 for (i = 0; i < list1->n; ++i) 661 res = FN(LIST(EL),add)(res, FN(EL,copy)(list1->p[i])); 662 for (i = 0; i < list2->n; ++i) 663 res = FN(LIST(EL),add)(res, FN(EL,copy)(list2->p[i])); 664 665 FN(LIST(EL),free)(list1); 666 FN(LIST(EL),free)(list2); 667 return res; 668 error: 669 FN(LIST(EL),free)(list1); 670 FN(LIST(EL),free)(list2); 671 return NULL; 672 } 673 674 __isl_give isl_printer *CAT(isl_printer_print_,LIST(EL_BASE))( 675 __isl_take isl_printer *p, __isl_keep LIST(EL) *list) 676 { 677 int i; 678 679 if (!p || !list) 680 goto error; 681 p = isl_printer_print_str(p, "("); 682 for (i = 0; i < list->n; ++i) { 683 if (i) 684 p = isl_printer_print_str(p, ","); 685 p = CAT(isl_printer_print_,EL_BASE)(p, list->p[i]); 686 } 687 p = isl_printer_print_str(p, ")"); 688 return p; 689 error: 690 isl_printer_free(p); 691 return NULL; 692 } 693 694 #undef BASE 695 #define BASE LIST(EL_BASE) 696 697 #define PRINT_DUMP_DEFAULT 0 698 #include "print_templ.c" 699 #undef PRINT_DUMP_DEFAULT 700