isl_transitive_closure.c: add_length: reuse increment
[isl.git] / test_inputs / codegen / cloog / 
tree492089e67f6f47f4ba88d7ed05881aab15581593
drwxr-xr-x   ..
-rw-r--r-- 6 0D-1.c
-rw-r--r-- 46 0D-1.st
-rw-r--r-- 20 0D-2.c
-rw-r--r-- 69 0D-2.st
-rw-r--r-- 6 0D-3.c
-rw-r--r-- 78 0D-3.st
-rw-r--r-- 14 1point-1.c
-rw-r--r-- 189 1point-1.st
-rw-r--r-- 18 1point-2.c
-rw-r--r-- 205 1point-2.st
-rw-r--r-- 347 4-param.c
-rw-r--r-- 379 4-param.st
-rw-r--r-- 87 README
-rw-r--r-- 7 backtrack.c
-rw-r--r-- 127 backtrack.st
-rw-r--r-- 45 basic-bounds-1.c
-rw-r--r-- 150 basic-bounds-1.st
-rw-r--r-- 7 basic-bounds-2.c
-rw-r--r-- 127 basic-bounds-2.st
-rw-r--r-- 45 basic-bounds-3.c
-rw-r--r-- 187 basic-bounds-3.st
-rw-r--r-- 49 basic-bounds-4.c
-rw-r--r-- 191 basic-bounds-4.st
-rw-r--r-- 25 basic-bounds-5.c
-rw-r--r-- 217 basic-bounds-5.st
-rw-r--r-- 8 basic-bounds-6.c
-rw-r--r-- 128 basic-bounds-6.st
-rw-r--r-- 38 block.c
-rw-r--r-- 281 block.st
-rw-r--r-- 78 block2.c
-rw-r--r-- 463 block2.st
-rw-r--r-- 69 block3.c
-rw-r--r-- 192 block3.st
-rw-r--r-- 408 byu98-1-2-3.c
-rw-r--r-- 406 byu98-1-2-3.st
-rw-r--r-- 253 cholesky.c
-rw-r--r-- 1411 cholesky.st
-rw-r--r-- 443 cholesky2.c
-rw-r--r-- 881 cholesky2.st
-rw-r--r-- 216 christian.c
-rw-r--r-- 324 christian.st
-rw-r--r-- 2648 classen.c
-rw-r--r-- 4224 classen.st
-rw-r--r-- 1098 classen2.c
-rw-r--r-- 1206 classen2.st
-rw-r--r-- 344 constant.c
-rw-r--r-- 780 constant.st
-rw-r--r-- 278 constbound.c
-rw-r--r-- 734 constbound.st
-rw-r--r-- 531 darte.c
-rw-r--r-- 505 darte.st
-rw-r--r-- 443 dealII.c
-rw-r--r-- 643 dealII.st
-rw-r--r-- 148 donotsimp.c
-rw-r--r-- 430 donotsimp.st
-rw-r--r-- 150 dot.c
-rw-r--r-- 469 dot.st
-rw-r--r-- 275 dot2.c
-rw-r--r-- 442 dot2.st
-rw-r--r-- 465 durbin_e_s.c
-rw-r--r-- 1351 durbin_e_s.st
-rw-r--r-- 102 emploi.c
-rw-r--r-- 474 emploi.st
-rw-r--r-- 182 equality.c
-rw-r--r-- 353 equality.st
-rw-r--r-- 450 equality2.c
-rw-r--r-- 2764 equality2.st
-rw-r--r-- 102 esced.c
-rw-r--r-- 422 esced.st
-rw-r--r-- 354 ex1.c
-rw-r--r-- 463 ex1.st
-rw-r--r-- 6526 faber.c
-rw-r--r-- 3310 faber.st
-rw-r--r-- 147 forwardsub-1-1-2.c
-rw-r--r-- 666 forwardsub-1-1-2.st
-rw-r--r-- 194 forwardsub-2-1-2-3.c
-rw-r--r-- 792 forwardsub-2-1-2-3.st
-rw-r--r-- 367 forwardsub-3-1-2.c
-rw-r--r-- 691 forwardsub-3-1-2.st
-rw-r--r-- 209 gauss.c
-rw-r--r-- 431 gauss.st
-rw-r--r-- 462 gesced.c
-rw-r--r-- 390 gesced.st
-rw-r--r-- 562 gesced2.c
-rw-r--r-- 365 gesced2.st
-rw-r--r-- 233 gesced3.c
-rw-r--r-- 267 gesced3.st
-rw-r--r-- 110 guide.c
-rw-r--r-- 400 guide.st
-rw-r--r-- 45 iftest.c
-rw-r--r-- 242 iftest.st
-rw-r--r-- 88 iftest2.c
-rw-r--r-- 312 iftest2.st
-rw-r--r-- 163 infinite2.c
-rw-r--r-- 430 infinite2.st
-rw-r--r-- 254 jacobi-shared.c
-rw-r--r-- 1517 jacobi-shared.st
-rw-r--r-- 89 largeur.c
-rw-r--r-- 246 largeur.st
-rw-r--r-- 764 levenshtein-1-2-3.c
-rw-r--r-- 1553 levenshtein-1-2-3.st
-rw-r--r-- 60 lex.c
-rw-r--r-- 285 lex.st
-rw-r--r-- 178 lineality-1-2.c
-rw-r--r-- 430 lineality-1-2.st
-rw-r--r-- 267 lineality-2-1-2.c
-rw-r--r-- 434 lineality-2-1-2.st
-rw-r--r-- 404 logo.c
-rw-r--r-- 439 logo.st
-rw-r--r-- 416 logopar.c
-rw-r--r-- 488 logopar.st
-rw-r--r-- 204 lu.c
-rw-r--r-- 388 lu.st
-rw-r--r-- 219 lu2.c
-rw-r--r-- 768 lu2.st
-rw-r--r-- 215 lux.c
-rw-r--r-- 767 lux.st
-rw-r--r-- 100 merge.c
-rw-r--r-- 337 merge.st
-rw-r--r-- 110 min-1-1.c
-rw-r--r-- 266 min-1-1.st
-rw-r--r-- 177 min-2-1.c
-rw-r--r-- 362 min-2-1.st
-rw-r--r-- 106 min-3-1.c
-rw-r--r-- 271 min-3-1.st
-rw-r--r-- 63 min-4-1.c
-rw-r--r-- 228 min-4-1.st
-rw-r--r-- 72 mod.c
-rw-r--r-- 216 mod.st
-rw-r--r-- 72 mod2.c
-rw-r--r-- 208 mod2.st
-rw-r--r-- 173 mod3.c
-rw-r--r-- 436 mod3.st
-rw-r--r-- 205 mod4.c
-rw-r--r-- 1456 mod4.st
-rw-r--r-- 247 mode.c
-rw-r--r-- 464 mode.st
-rw-r--r-- 181 multi-mm-1.c
-rw-r--r-- 473 multi-mm-1.st
-rw-r--r-- 4 multi-stride.c
-rw-r--r-- 264 multi-stride.st
-rw-r--r-- 75 multi-stride2.c
-rw-r--r-- 264 multi-stride2.st
-rw-r--r-- 132 mxm-shared.c
-rw-r--r-- 1692 mxm-shared.st
-rw-r--r-- 11 no_lindep.c
-rw-r--r-- 195 no_lindep.st
-rw-r--r-- 53 nul_basic1.c
-rw-r--r-- 225 nul_basic1.st
-rw-r--r-- 96 nul_basic2.c
-rw-r--r-- 432 nul_basic2.st
-rw-r--r-- 205 nul_complex1.c
-rw-r--r-- 250 nul_complex1.st
-rw-r--r-- 343 nul_lcpc.c
-rw-r--r-- 587 nul_lcpc.st
-rw-r--r-- 286 orc.c
-rw-r--r-- 907 orc.st
-rw-r--r-- 1081 otl.c
-rw-r--r-- 3070 otl.st
-rw-r--r-- 100 param-split.c
-rw-r--r-- 300 param-split.st
-rw-r--r-- 500 pouchet.c
-rw-r--r-- 829 pouchet.st
-rw-r--r-- 120 rectangle.c
-rw-r--r-- 224 rectangle.st
-rw-r--r-- 1205 reservoir-QR.c
-rw-r--r-- 2290 reservoir-QR.st
-rw-r--r-- 141 reservoir-bastoul3.c
-rw-r--r-- 280 reservoir-bastoul3.st
-rw-r--r-- 380 reservoir-cholesky2.c
-rw-r--r-- 886 reservoir-cholesky2.st
-rw-r--r-- 151 reservoir-fusion1.c
-rw-r--r-- 596 reservoir-fusion1.st
-rw-r--r-- 281 reservoir-fusion2.c
-rw-r--r-- 663 reservoir-fusion2.st
-rw-r--r-- 86 reservoir-jacobi2.c
-rw-r--r-- 333 reservoir-jacobi2.st
-rw-r--r-- 231 reservoir-jacobi3.c
-rw-r--r-- 1029 reservoir-jacobi3.st
-rw-r--r-- 286 reservoir-lim-lam1.c
-rw-r--r-- 504 reservoir-lim-lam1.st
-rw-r--r-- 240 reservoir-lim-lam2.c
-rw-r--r-- 961 reservoir-lim-lam2.st
-rw-r--r-- 582 reservoir-lim-lam3.c
-rw-r--r-- 1127 reservoir-lim-lam3.st
-rw-r--r-- 406 reservoir-lim-lam4.c
-rw-r--r-- 890 reservoir-lim-lam4.st
-rw-r--r-- 286 reservoir-lim-lam5.c
-rw-r--r-- 1043 reservoir-lim-lam5.st
-rw-r--r-- 192 reservoir-lim-lam6.c
-rw-r--r-- 721 reservoir-lim-lam6.st
-rw-r--r-- 638 reservoir-liu-zhuge1.c
-rw-r--r-- 796 reservoir-liu-zhuge1.st
-rw-r--r-- 171 reservoir-loechner3.c
-rw-r--r-- 458 reservoir-loechner3.st
-rw-r--r-- 216 reservoir-loechner4.c
-rw-r--r-- 633 reservoir-loechner4.st
-rw-r--r-- 180 reservoir-loechner5.c
-rw-r--r-- 628 reservoir-loechner5.st
-rw-r--r-- 362 reservoir-long.c
-rw-r--r-- 2601 reservoir-long.st
-rw-r--r-- 2630 reservoir-mg-interp.c
-rw-r--r-- 8591 reservoir-mg-interp.st
-rw-r--r-- 556 reservoir-mg-interp2.c
-rw-r--r-- 2809 reservoir-mg-interp2.st
-rw-r--r-- 265 reservoir-mg-psinv.c
-rw-r--r-- 1322 reservoir-mg-psinv.st
-rw-r--r-- 265 reservoir-mg-resid.c
-rw-r--r-- 1322 reservoir-mg-resid.st
-rw-r--r-- 894 reservoir-mg-rprj3.c
-rw-r--r-- 2088 reservoir-mg-rprj3.st
-rw-r--r-- 226 reservoir-pingali1.c
-rw-r--r-- 732 reservoir-pingali1.st
-rw-r--r-- 192 reservoir-pingali2.c
-rw-r--r-- 721 reservoir-pingali2.st
-rw-r--r-- 239 reservoir-pingali3.c
-rw-r--r-- 887 reservoir-pingali3.st
-rw-r--r-- 192 reservoir-pingali4.c
-rw-r--r-- 730 reservoir-pingali4.st
-rw-r--r-- 384 reservoir-pingali5.c
-rw-r--r-- 1180 reservoir-pingali5.st
-rw-r--r-- 231 reservoir-pingali6.c
-rw-r--r-- 1049 reservoir-pingali6.st
-rw-r--r-- 59 reservoir-stride.c
-rw-r--r-- 204 reservoir-stride.st
-rw-r--r-- 59 reservoir-stride2.c
-rw-r--r-- 204 reservoir-stride2.st
-rw-r--r-- 297 reservoir-tang-xue1.c
-rw-r--r-- 626 reservoir-tang-xue1.st
-rw-r--r-- 13 reservoir-two.c
-rw-r--r-- 260 reservoir-two.st
-rw-r--r-- 20 singleton.c
-rw-r--r-- 125 singleton.st
-rw-r--r-- 820 sor1d.c
-rw-r--r-- 3749 sor1d.st
-rw-r--r-- 186 square+triangle-1-1-2-3.c
-rw-r--r-- 443 square+triangle-1-1-2-3.st
-rw-r--r-- 132 stride.c
-rw-r--r-- 242 stride.st
-rw-r--r-- 145 stride2.c
-rw-r--r-- 242 stride2.st
-rw-r--r-- 53 stride3.c
-rw-r--r-- 200 stride3.st
-rw-r--r-- 77 stride4.c
-rw-r--r-- 287 stride4.st
-rw-r--r-- 2697 swim.c
-rw-r--r-- 22514 swim.st
-rw-r--r-- 369 test.c
-rw-r--r-- 459 test.st
-rw-r--r-- 385 thomasset.c
-rw-r--r-- 443 thomasset.st
-rw-r--r-- 117 tiling.c
-rw-r--r-- 247 tiling.st
-rw-r--r-- 114 uday_scalars.c
-rw-r--r-- 455 uday_scalars.st
-rw-r--r-- 130 union.c
-rw-r--r-- 239 union.st
-rw-r--r-- 104 unroll.c
-rw-r--r-- 172 unroll.st
-rw-r--r-- 65 unroll2.c
-rw-r--r-- 197 unroll2.st
-rw-r--r-- 6725 usvd_e_t.c
-rw-r--r-- 4931 usvd_e_t.st
-rw-r--r-- 600 vasilache.c
-rw-r--r-- 2061 vasilache.st
-rw-r--r-- 2568 vivien.c
-rw-r--r-- 892 vivien.st
-rw-r--r-- 2290 vivien2.c
-rw-r--r-- 902 vivien2.st
-rw-r--r-- 418 walters.c
-rw-r--r-- 1568 walters.st
-rw-r--r-- 244 walters2.c
-rw-r--r-- 451 walters2.st
-rw-r--r-- 119 walters3.c
-rw-r--r-- 466 walters3.st
-rw-r--r-- 124 wavefront.c
-rw-r--r-- 253 wavefront.st
-rw-r--r-- 318 yosr.c
-rw-r--r-- 347 yosr.st
-rw-r--r-- 319 yosr2.c
-rw-r--r-- 480 yosr2.st
-rw-r--r-- 120 youcef.c
-rw-r--r-- 490 youcef.st
-rw-r--r-- 192 youcefn.c
-rw-r--r-- 580 youcefn.st