isl backend: remove use of isl_basic_set_first_constraint
[cloog/bastoul.git] / test / 
tree09af14cbae9022d3ef95c3a37cb0dd21f7950a2a
drwxr-xr-x   ..
-rw-r--r-- 111 0D-1.c
-rw-r--r-- 30 0D-1.cloog
-rw-r--r-- 416 0D-1.good.c
-rw-r--r-- 129 0D-2.c
-rw-r--r-- 36 0D-2.cloog
-rw-r--r-- 443 0D-2.good.c
-rw-r--r-- 111 0D-3.c
-rw-r--r-- 42 0D-3.cloog
-rw-r--r-- 421 0D-3.good.c
-rw-r--r-- 120 1point-1.c
-rw-r--r-- 199 1point-1.cloog
-rw-r--r-- 502 1point-1.good.c
-rw-r--r-- 122 1point-2.c
-rw-r--r-- 198 1point-2.cloog
-rw-r--r-- 523 1point-2.good.c
-rw-r--r-- 346 4-param.c
-rw-r--r-- 343 4-param.cloog
-rw-r--r-- 789 4-param.good.c
-rw-r--r-- 15319 Makefile.am
-rw-r--r-- 461 ard.cloog
-rw-r--r-- 353 ard.dat
-rw-r--r-- 116 backtrack.c
-rw-r--r-- 132 backtrack.cloog
-rw-r--r-- 508 backtrack.good.c
-rw-r--r-- 147 basic-bounds-1.c
-rw-r--r-- 141 basic-bounds-1.cloog
-rw-r--r-- 502 basic-bounds-1.good.c
-rw-r--r-- 122 basic-bounds-2.c
-rw-r--r-- 141 basic-bounds-2.cloog
-rw-r--r-- 473 basic-bounds-2.good.c
-rw-r--r-- 147 basic-bounds-3.c
-rw-r--r-- 168 basic-bounds-3.cloog
-rw-r--r-- 507 basic-bounds-3.good.c
-rw-r--r-- 149 basic-bounds-4.c
-rw-r--r-- 168 basic-bounds-4.cloog
-rw-r--r-- 509 basic-bounds-4.good.c
-rw-r--r-- 144 basic-bounds-5.c
-rw-r--r-- 199 basic-bounds-5.cloog
-rw-r--r-- 516 basic-bounds-5.good.c
-rw-r--r-- 123 basic-bounds-6.c
-rw-r--r-- 139 basic-bounds-6.cloog
-rw-r--r-- 474 basic-bounds-6.good.c
drwxr-xr-x - bigs
-rw-r--r-- 134 block.c
-rw-r--r-- 210 block.cloog
-rw-r--r-- 584 block.good.c
-rw-r--r-- 171 block2.c
-rw-r--r-- 1274 block2.cloog
-rw-r--r-- 683 block2.good.c
-rw-r--r-- 130 block3.c
-rw-r--r-- 112 block3.cloog
-rw-r--r-- 580 block3.good.c
-rw-r--r-- 419 byu98-1-2-3.c
-rw-r--r-- 926 byu98-1-2-3.cloog
-rw-r--r-- 860 byu98-1-2-3.good.c
-rw-r--r-- 169 ceilfloor.cloog
drwxr-xr-x - challenges
-rw-r--r-- 5963 cholesau_allocation.cloog
-rw-r--r-- 5392 cholesau_original.cloog
-rw-r--r-- 627 cholesky.c
-rw-r--r-- 2176 cholesky.cloog
-rw-r--r-- 1254 cholesky.good.c
-rw-r--r-- 1146 cholesky2.c
-rw-r--r-- 1395 cholesky2.cloog
-rw-r--r-- 2354 cholesky2.good.c
-rw-r--r-- 356 christian.c
-rw-r--r-- 1107 christian.cloog
-rw-r--r-- 843 christian.good.c
-rw-r--r-- 3066 classen.c
-rw-r--r-- 5244 classen.cloog
-rw-r--r-- 11623 classen.good.c
-rw-r--r-- 2135 classen2.c
-rw-r--r-- 1327 classen2.cloog
-rw-r--r-- 2887 classen2.good.c
-rw-r--r-- 352 constant.c
-rw-r--r-- 2251 constant.cloog
-rw-r--r-- 963 constant.good.c
-rw-r--r-- 336 constbound.c
-rw-r--r-- 555 constbound.cloog
-rw-r--r-- 860 constbound.good.c
-rw-r--r-- 2734 daegon_lu_osp.cloog
-rw-r--r-- 1601 darte.c
-rw-r--r-- 696 darte.cloog
-rw-r--r-- 11009 darte.good.c
-rw-r--r-- 8584 dartef.c
-rw-r--r-- 702 dartef.cloog
-rw-r--r-- 1640 dartef.f
-rw-r--r-- 367 dealII.c
-rw-r--r-- 1166 dealII.cloog
-rw-r--r-- 831 dealII.good.c
-rw-r--r-- 361 diagonal.cloog
-rw-r--r-- 230 donotsimp.c
-rw-r--r-- 956 donotsimp.cloog
-rw-r--r-- 705 donotsimp.good.c
-rw-r--r-- 202 dot.c
-rw-r--r-- 396 dot.cloog
-rw-r--r-- 640 dot.good.c
-rw-r--r-- 286 dot2.c
-rw-r--r-- 302 dot2.cloog
-rw-r--r-- 725 dot2.good.c
-rw-r--r-- 236 double.c
-rw-r--r-- 809 double.cloog
-rw-r--r-- 714 double.good.c
-rw-r--r-- 424 durbin_e_s.c
-rw-r--r-- 1404 durbin_e_s.cloog
-rw-r--r-- 1730 durbin_e_s.good.c
-rw-r--r-- 638 elimination.cloog
-rw-r--r-- 302 emploi.c
-rw-r--r-- 1107 emploi.cloog
-rw-r--r-- 785 emploi.good.c
-rw-r--r-- 281 equality.c
-rw-r--r-- 356 equality.cloog
-rw-r--r-- 721 equality.good.c
-rw-r--r-- 501 equality2.c
-rw-r--r-- 2662 equality2.cloog
-rw-r--r-- 1304 equality2.good.c
-rw-r--r-- 304 esced.c
-rw-r--r-- 297 esced.cloog
-rw-r--r-- 699 esced.good.c
-rw-r--r-- 339 ex1.c
-rw-r--r-- 342 ex1.cloog
-rw-r--r-- 788 ex1.good.c
-rw-r--r-- 148318 faber.c
-rw-r--r-- 2047 faber.cloog
-rw-r--r-- 236 forwardsub-1-1-2.c
-rw-r--r-- 710 forwardsub-1-1-2.cloog
-rw-r--r-- 765 forwardsub-1-1-2.good.c
-rw-r--r-- 257 forwardsub-2-1-2-3.c
-rw-r--r-- 805 forwardsub-2-1-2-3.cloog
-rw-r--r-- 813 forwardsub-2-1-2-3.good.c
-rw-r--r-- 418 forwardsub-3-1-2.c
-rw-r--r-- 728 forwardsub-3-1-2.cloog
-rw-r--r-- 983 forwardsub-3-1-2.good.c
-rw-r--r-- 390 gauss.c
-rw-r--r-- 967 gauss.cloog
-rw-r--r-- 888 gauss.good.c
-rw-r--r-- 3609 generate_test.c
-rw-r--r-- 392 gesced.c
-rw-r--r-- 665 gesced.cloog
-rw-r--r-- 1000 gesced.good.c
-rw-r--r-- 526 gesced2.c
-rw-r--r-- 1127 gesced2.cloog
-rw-r--r-- 1484 gesced2.good.c
-rw-r--r-- 259 gesced3.c
-rw-r--r-- 393 gesced3.cloog
-rw-r--r-- 780 gesced3.good.c
-rw-r--r-- 201 guide.c
-rw-r--r-- 759 guide.cloog
-rw-r--r-- 659 guide.good.c
-rw-r--r-- 160 iftest.c
-rw-r--r-- 506 iftest.cloog
-rw-r--r-- 583 iftest.good.c
-rw-r--r-- 210 iftest2.c
-rw-r--r-- 594 iftest2.cloog
-rw-r--r-- 685 iftest2.good.c
-rw-r--r-- 513 iftestf.cloog
-rw-r--r-- 158 iftestf.f
-rw-r--r-- 243 infinite.c
-rw-r--r-- 338 infinite.cloog
-rw-r--r-- 348 infinite.omega
-rw-r--r-- 214 infinite2.c
-rw-r--r-- 337 infinite2.cloog
-rw-r--r-- 321 infinite3.c
-rw-r--r-- 337 infinite3.cloog
-rw-r--r-- 135 infinite4.c
-rw-r--r-- 112 infinite4.cloog
drwxr-xr-x - isl
-rw-r--r-- 248 ispdc.cloog
-rw-r--r-- 755 issues
-rw-r--r-- 206 largeur.c
-rw-r--r-- 285 largeur.cloog
-rw-r--r-- 602 largeur.good.c
-rw-r--r-- 661 levenshtein-1-2-3.c
-rw-r--r-- 1898 levenshtein-1-2-3.cloog
-rw-r--r-- 1489 levenshtein-1-2-3.good.c
-rw-r--r-- 664 levenshtein-1-2-3f.c
-rw-r--r-- 1904 levenshtein-1-2-3f.cloog
-rw-r--r-- 640 levenshtein-1-2-3f.f
-rw-r--r-- 153 lex.c
-rw-r--r-- 165 lex.cloog
-rw-r--r-- 587 lex.good.c
-rw-r--r-- 245 lineality-1-2.c
-rw-r--r-- 416 lineality-1-2.cloog
-rw-r--r-- 815 lineality-1-2.good.c
-rw-r--r-- 321 lineality-2-1-2.c
-rw-r--r-- 366 lineality-2-1-2.cloog
-rw-r--r-- 926 lineality-2-1-2.good.c
-rw-r--r-- 366 logo.c
-rw-r--r-- 324 logo.cloog
-rw-r--r-- 906 logo.good.c
-rw-r--r-- 375 logopar.c
-rw-r--r-- 412 logopar.cloog
-rw-r--r-- 1065 logopar.good.c
-rw-r--r-- 425 lu.c
-rw-r--r-- 578 lu.cloog
-rw-r--r-- 997 lu.good.c
-rw-r--r-- 425 lu2.c
-rw-r--r-- 546 lu2.cloog
-rw-r--r-- 1005 lu2.good.c
-rw-r--r-- 290 lub.c
-rw-r--r-- 694 lub.cloog
-rw-r--r-- 808 lub.good.c
-rw-r--r-- 424 lux.c
-rw-r--r-- 545 lux.cloog
-rw-r--r-- 943 lux.good.c
-rw-r--r-- 951 manual_basic.cloog
-rw-r--r-- 2405 manual_gauss.cloog
-rw-r--r-- 1715 manual_scattering.cloog
-rw-r--r-- 182 merge.c
-rw-r--r-- 180 merge.cloog
-rw-r--r-- 689 merge.good.c
-rw-r--r-- 228 min-1-1.c
-rw-r--r-- 337 min-1-1.cloog
-rw-r--r-- 603 min-1-1.good.c
-rw-r--r-- 284 min-2-1.c
-rw-r--r-- 426 min-2-1.cloog
-rw-r--r-- 677 min-2-1.good.c
-rw-r--r-- 187 min-3-1.c
-rw-r--r-- 241 min-3-1.cloog
-rw-r--r-- 565 min-3-1.good.c
-rw-r--r-- 219 min-4-1.c
-rw-r--r-- 270 min-4-1.cloog
-rw-r--r-- 530 min-4-1.good.c
-rw-r--r-- 237 mod4.c
-rw-r--r-- 948 mod4.cloog
-rw-r--r-- 462 mode.c
-rw-r--r-- 378 mode.cloog
-rw-r--r-- 1055 mode.good.c
-rw-r--r-- 238 multi-mm-1.c
-rw-r--r-- 366 multi-mm-1.cloog
-rw-r--r-- 763 multi-mm-1.good.c
-rw-r--r-- 112 multi-stride.c
-rw-r--r-- 220 multi-stride.cloog
-rw-r--r-- 165 multi-stride2.c
-rw-r--r-- 220 multi-stride2.cloog
-rw-r--r-- 119 no_lindep.c
-rw-r--r-- 209 no_lindep.cloog
-rw-r--r-- 551 no_lindep.good.c
drwxr-xr-x - non_optimal
-rw-r--r-- 170 nul_basic1.c
-rw-r--r-- 273 nul_basic1.cloog
-rw-r--r-- 186 nul_basic2.c
-rw-r--r-- 733 nul_basic2.cloog
-rw-r--r-- 2808 nul_girbal.cloog
-rw-r--r-- 627 nul_ispdc.cloog
-rw-r--r-- 327 nul_lcpc.c
-rw-r--r-- 623 nul_lcpc.cloog
-rw-r--r-- 0 oc.out
-rw-r--r-- 1006 orc.c
-rw-r--r-- 2672 orc.cloog
-rw-r--r-- 2265 orc.good.c
-rw-r--r-- 3267 otl.c
-rw-r--r-- 2752 otl.cloog
-rw-r--r-- 4267 otl.good.c
-rw-r--r-- 473 overlap.cloog
-rw-r--r-- 200 param-split.c
-rw-r--r-- 72 param-split.cloog
-rw-r--r-- 614 param-split.good.c
-rw-r--r-- 664 pouchet.c
-rw-r--r-- 2315 pouchet.cloog
-rw-r--r-- 1258 pouchet.good.c
drwxr-xr-x - published
-rw-r--r-- 444 quillere.cloog
-rw-r--r-- 236 rational.cloog
-rw-r--r-- 430 readme.cloog
-rw-r--r-- 199 rectangle.c
-rw-r--r-- 304 rectangle.cloog
-rw-r--r-- 634 rectangle.good.c
drwxr-xr-x - reports
drwxr-xr-x - reservoir
-rw-r--r-- 124 singleton.c
-rw-r--r-- 73 singleton.cloog
-rw-r--r-- 457 singleton.good.c
-rw-r--r-- 929 sor1d.c
-rw-r--r-- 5388 sor1d.cloog
-rw-r--r-- 1925 sor1d.good.c
-rw-r--r-- 289 square+triangle-1-1-2-3.c
-rw-r--r-- 360 square+triangle-1-1-2-3.cloog
-rw-r--r-- 831 square+triangle-1-1-2-3.good.c
-rwxr-xr-x 363 stage.cloog
-rw-r--r-- 184 stride.c
-rw-r--r-- 143 stride.cloog
-rw-r--r-- 644 stride.good.c
-rw-r--r-- 161 stride2.c
-rw-r--r-- 143 stride2.cloog
-rw-r--r-- 617 stride2.good.c
-rw-r--r-- 198 stride3.c
-rw-r--r-- 1090 stride3.cloog
-rw-r--r-- 184 stride4.c
-rw-r--r-- 423 stride4.cloog
-rw-r--r-- 11545 swim.c
-rw-r--r-- 143673 swim.cloog
-rw-r--r-- 17887 swim.good.c
-rw-r--r-- 365 test.c
-rw-r--r-- 374 test.cloog
-rw-r--r-- 912 test.good.c
-rw-r--r-- 166 tete.cloog
-rw-r--r-- 1055 thomasset.c
-rw-r--r-- 905 thomasset.cloog
-rw-r--r-- 2836 thomasset.good.c
-rw-r--r-- 202 tiling.c
-rw-r--r-- 320 tiling.cloog
-rw-r--r-- 590 tiling.good.c
-rw-r--r-- 406 tiling2.cloog
-rw-r--r-- 495 tiling3.cloog
-rw-r--r-- 222 uday_scalars.c
-rw-r--r-- 1497 uday_scalars.cloog
-rw-r--r-- 686 uday_scalars.good.c
-rw-r--r-- 302 union.c
-rw-r--r-- 135 union.cloog
-rw-r--r-- 755 union.good.c
drwxr-xr-x - urgent
-rw-r--r-- 604 vasilache.c
-rw-r--r-- 11325 vasilache.cloog
-rw-r--r-- 1628 vasilache.good.c
-rw-r--r-- 3941 vivien.c
-rw-r--r-- 3033 vivien.cloog
-rw-r--r-- 18265 vivien.good.c
-rw-r--r-- 3206 vivien2.c
-rw-r--r-- 3035 vivien2.cloog
-rw-r--r-- 14653 vivien2.good.c
-rw-r--r-- 478 walters.c
-rw-r--r-- 1446 walters.cloog
-rw-r--r-- 1418 walters.good.c
-rw-r--r-- 267 walters2.c
-rw-r--r-- 847 walters2.cloog
-rw-r--r-- 733 walters2.good.c
-rw-r--r-- 203 walters3.c
-rw-r--r-- 507 walters3.cloog
-rw-r--r-- 653 walters3.good.c
-rw-r--r-- 246 wavefront.c
-rw-r--r-- 272 wavefront.cloog
-rw-r--r-- 699 wavefront.good.c
-rw-r--r-- 430 yosr.c
-rw-r--r-- 872 yosr.cloog
-rw-r--r-- 941 yosr.good.c
-rw-r--r-- 479 yosr.omega
-rw-r--r-- 433 yosr2.c
-rw-r--r-- 753 yosr2.cloog
-rw-r--r-- 1031 yosr2.good.c
-rw-r--r-- 1349 yosr_sync.cloog
-rw-r--r-- 874 yosrf.cloog
-rw-r--r-- 379 yosrf.f
-rw-r--r-- 537 youcefn.cloog