isl_basic_map_gist: drop irrelevant constraints from the context
[isl.git] / test_inputs / codegen / cloog / 
tree62539d71aa10584324b2e9d8ea6aeb29ab9bc0ba
drwxr-xr-x   ..
-rw-r--r-- 6 0D-1.c
-rw-r--r-- 48 0D-1.in
-rw-r--r-- 20 0D-2.c
-rw-r--r-- 78 0D-2.in
-rw-r--r-- 6 0D-3.c
-rw-r--r-- 84 0D-3.in
-rw-r--r-- 14 1point-1.c
-rw-r--r-- 87 1point-1.in
-rw-r--r-- 18 1point-2.c
-rw-r--r-- 104 1point-2.in
-rw-r--r-- 347 4-param.c
-rw-r--r-- 168 4-param.in
-rw-r--r-- 87 README
-rw-r--r-- 7 backtrack.c
-rw-r--r-- 53 backtrack.in
-rw-r--r-- 45 basic-bounds-1.c
-rw-r--r-- 79 basic-bounds-1.in
-rw-r--r-- 7 basic-bounds-2.c
-rw-r--r-- 55 basic-bounds-2.in
-rw-r--r-- 45 basic-bounds-3.c
-rw-r--r-- 106 basic-bounds-3.in
-rw-r--r-- 49 basic-bounds-4.c
-rw-r--r-- 110 basic-bounds-4.in
-rw-r--r-- 25 basic-bounds-5.c
-rw-r--r-- 115 basic-bounds-5.in
-rw-r--r-- 38 block.c
-rw-r--r-- 111 block.in
-rw-r--r-- 78 block2.c
-rw-r--r-- 183 block2.in
-rw-r--r-- 69 block3.c
-rw-r--r-- 99 block3.in
-rw-r--r-- 421 byu98-1-2-3.c
-rw-r--r-- 194 byu98-1-2-3.in
-rw-r--r-- 253 cholesky.c
-rw-r--r-- 562 cholesky.in
-rw-r--r-- 443 cholesky2.c
-rw-r--r-- 517 cholesky2.in
-rw-r--r-- 216 christian.c
-rw-r--r-- 222 christian.in
-rw-r--r-- 3384 classen.c
-rw-r--r-- 1590 classen.in
-rw-r--r-- 1098 classen2.c
-rw-r--r-- 764 classen2.in
-rw-r--r-- 344 constant.c
-rw-r--r-- 423 constant.in
-rw-r--r-- 278 constbound.c
-rw-r--r-- 289 constbound.in
-rw-r--r-- 527 darte.c
-rw-r--r-- 305 darte.in
-rw-r--r-- 262 dealII.c
-rw-r--r-- 398 dealII.in
-rw-r--r-- 148 donotsimp.c
-rw-r--r-- 237 donotsimp.in
-rw-r--r-- 150 dot.c
-rw-r--r-- 219 dot.in
-rw-r--r-- 275 dot2.c
-rw-r--r-- 205 dot2.in
-rw-r--r-- 465 durbin_e_s.c
-rw-r--r-- 482 durbin_e_s.in
-rw-r--r-- 102 emploi.c
-rw-r--r-- 240 emploi.in
-rw-r--r-- 196 equality.c
-rw-r--r-- 137 equality.in
-rw-r--r-- 450 equality2.c
-rw-r--r-- 674 equality2.in
-rw-r--r-- 102 esced.c
-rw-r--r-- 188 esced.in
-rw-r--r-- 354 ex1.c
-rw-r--r-- 223 ex1.in
-rw-r--r-- 147 forwardsub-1-1-2.c
-rw-r--r-- 285 forwardsub-1-1-2.in
-rw-r--r-- 194 forwardsub-2-1-2-3.c
-rw-r--r-- 303 forwardsub-2-1-2-3.in
-rw-r--r-- 367 forwardsub-3-1-2.c
-rw-r--r-- 321 forwardsub-3-1-2.in
-rw-r--r-- 209 gauss.c
-rw-r--r-- 276 gauss.in
-rw-r--r-- 462 gesced.c
-rw-r--r-- 272 gesced.in
-rw-r--r-- 562 gesced2.c
-rw-r--r-- 223 gesced2.in
-rw-r--r-- 233 gesced3.c
-rw-r--r-- 167 gesced3.in
-rw-r--r-- 110 guide.c
-rw-r--r-- 207 guide.in
-rw-r--r-- 45 iftest.c
-rw-r--r-- 161 iftest.in
-rw-r--r-- 88 iftest2.c
-rw-r--r-- 220 iftest2.in
-rw-r--r-- 163 infinite2.c
-rw-r--r-- 193 infinite2.in
-rw-r--r-- 267 jacobi-shared.c
-rw-r--r-- 1293 jacobi-shared.in
-rw-r--r-- 89 largeur.c
-rw-r--r-- 136 largeur.in
-rw-r--r-- 766 levenshtein-1-2-3.c
-rw-r--r-- 900 levenshtein-1-2-3.in
-rw-r--r-- 60 lex.c
-rw-r--r-- 132 lex.in
-rw-r--r-- 178 lineality-1-2.c
-rw-r--r-- 190 lineality-1-2.in
-rw-r--r-- 259 lineality-2-1-2.c
-rw-r--r-- 198 lineality-2-1-2.in
-rw-r--r-- 404 logo.c
-rw-r--r-- 202 logo.in
-rw-r--r-- 416 logopar.c
-rw-r--r-- 239 logopar.in
-rw-r--r-- 204 lu.c
-rw-r--r-- 241 lu.in
-rw-r--r-- 219 lu2.c
-rw-r--r-- 300 lu2.in
-rw-r--r-- 215 lux.c
-rw-r--r-- 298 lux.in
-rw-r--r-- 100 merge.c
-rw-r--r-- 137 merge.in
-rw-r--r-- 110 min-1-1.c
-rw-r--r-- 162 min-1-1.in
-rw-r--r-- 177 min-2-1.c
-rw-r--r-- 227 min-2-1.in
-rw-r--r-- 106 min-3-1.c
-rw-r--r-- 167 min-3-1.in
-rw-r--r-- 63 min-4-1.c
-rw-r--r-- 144 min-4-1.in
-rw-r--r-- 72 mod.c
-rw-r--r-- 140 mod.in
-rw-r--r-- 72 mod2.c
-rw-r--r-- 129 mod2.in
-rw-r--r-- 173 mod3.c
-rw-r--r-- 326 mod3.in
-rw-r--r-- 205 mod4.c
-rw-r--r-- 634 mod4.in
-rw-r--r-- 247 mode.c
-rw-r--r-- 218 mode.in
-rw-r--r-- 181 multi-mm-1.c
-rw-r--r-- 224 multi-mm-1.in
-rw-r--r-- 4 multi-stride.c
-rw-r--r-- 171 multi-stride.in
-rw-r--r-- 75 multi-stride2.c
-rw-r--r-- 171 multi-stride2.in
-rw-r--r-- 280 mxm-shared.c
-rw-r--r-- 2380 mxm-shared.in
-rw-r--r-- 11 no_lindep.c
-rw-r--r-- 93 no_lindep.in
-rw-r--r-- 53 nul_basic1.c
-rw-r--r-- 135 nul_basic1.in
-rw-r--r-- 96 nul_basic2.c
-rw-r--r-- 214 nul_basic2.in
-rw-r--r-- 213 nul_complex1.c
-rw-r--r-- 143 nul_complex1.in
-rw-r--r-- 343 nul_lcpc.c
-rw-r--r-- 320 nul_lcpc.in
-rw-r--r-- 286 orc.c
-rw-r--r-- 484 orc.in
-rw-r--r-- 1081 otl.c
-rw-r--r-- 1163 otl.in
-rw-r--r-- 107 param-split.c
-rw-r--r-- 115 param-split.in
-rw-r--r-- 490 pouchet.c
-rw-r--r-- 411 pouchet.in
-rw-r--r-- 120 rectangle.c
-rw-r--r-- 133 rectangle.in
-rw-r--r-- 1205 reservoir-QR.c
-rw-r--r-- 958 reservoir-QR.in
-rw-r--r-- 141 reservoir-bastoul3.c
-rw-r--r-- 171 reservoir-bastoul3.in
-rw-r--r-- 378 reservoir-cholesky2.c
-rw-r--r-- 336 reservoir-cholesky2.in
-rw-r--r-- 151 reservoir-fusion1.c
-rw-r--r-- 200 reservoir-fusion1.in
-rw-r--r-- 281 reservoir-fusion2.c
-rw-r--r-- 239 reservoir-fusion2.in
-rw-r--r-- 86 reservoir-jacobi2.c
-rw-r--r-- 163 reservoir-jacobi2.in
-rw-r--r-- 231 reservoir-jacobi3.c
-rw-r--r-- 337 reservoir-jacobi3.in
-rw-r--r-- 231 reservoir-lim-lam1.c
-rw-r--r-- 234 reservoir-lim-lam1.in
-rw-r--r-- 240 reservoir-lim-lam2.c
-rw-r--r-- 307 reservoir-lim-lam2.in
-rw-r--r-- 556 reservoir-lim-lam3.c
-rw-r--r-- 434 reservoir-lim-lam3.in
-rw-r--r-- 406 reservoir-lim-lam4.c
-rw-r--r-- 329 reservoir-lim-lam4.in
-rw-r--r-- 286 reservoir-lim-lam5.c
-rw-r--r-- 305 reservoir-lim-lam5.in
-rw-r--r-- 192 reservoir-lim-lam6.c
-rw-r--r-- 226 reservoir-lim-lam6.in
-rw-r--r-- 690 reservoir-liu-zhuge1.c
-rw-r--r-- 337 reservoir-liu-zhuge1.in
-rw-r--r-- 171 reservoir-loechner3.c
-rw-r--r-- 182 reservoir-loechner3.in
-rw-r--r-- 216 reservoir-loechner4.c
-rw-r--r-- 234 reservoir-loechner4.in
-rw-r--r-- 180 reservoir-loechner5.c
-rw-r--r-- 229 reservoir-loechner5.in
-rw-r--r-- 2630 reservoir-mg-interp.c
-rw-r--r-- 2109 reservoir-mg-interp.in
-rw-r--r-- 556 reservoir-mg-interp2.c
-rw-r--r-- 662 reservoir-mg-interp2.in
-rw-r--r-- 265 reservoir-mg-psinv.c
-rw-r--r-- 482 reservoir-mg-psinv.in
-rw-r--r-- 265 reservoir-mg-resid.c
-rw-r--r-- 482 reservoir-mg-resid.in
-rw-r--r-- 880 reservoir-mg-rprj3.c
-rw-r--r-- 775 reservoir-mg-rprj3.in
-rw-r--r-- 226 reservoir-pingali1.c
-rw-r--r-- 287 reservoir-pingali1.in
-rw-r--r-- 192 reservoir-pingali2.c
-rw-r--r-- 226 reservoir-pingali2.in
-rw-r--r-- 239 reservoir-pingali3.c
-rw-r--r-- 273 reservoir-pingali3.in
-rw-r--r-- 192 reservoir-pingali4.c
-rw-r--r-- 232 reservoir-pingali4.in
-rw-r--r-- 384 reservoir-pingali5.c
-rw-r--r-- 370 reservoir-pingali5.in
-rw-r--r-- 231 reservoir-pingali6.c
-rw-r--r-- 354 reservoir-pingali6.in
-rw-r--r-- 59 reservoir-stride.c
-rw-r--r-- 140 reservoir-stride.in
-rw-r--r-- 59 reservoir-stride2.c
-rw-r--r-- 140 reservoir-stride2.in
-rw-r--r-- 297 reservoir-tang-xue1.c
-rw-r--r-- 276 reservoir-tang-xue1.in
-rw-r--r-- 13 reservoir-two.c
-rw-r--r-- 165 reservoir-two.in
-rw-r--r-- 20 singleton.c
-rw-r--r-- 62 singleton.in
-rw-r--r-- 186 square+triangle-1-1-2-3.c
-rw-r--r-- 203 square+triangle-1-1-2-3.in
-rw-r--r-- 132 stride.c
-rw-r--r-- 129 stride.in
-rw-r--r-- 145 stride2.c
-rw-r--r-- 129 stride2.in
-rw-r--r-- 53 stride3.c
-rw-r--r-- 123 stride3.in
-rw-r--r-- 77 stride4.c
-rw-r--r-- 180 stride4.in
-rw-r--r-- 2697 swim.c
-rw-r--r-- 9613 swim.in
-rw-r--r-- 373 test.c
-rw-r--r-- 210 test.in
-rw-r--r-- 385 thomasset.c
-rw-r--r-- 297 thomasset.in
-rw-r--r-- 117 tiling.c
-rw-r--r-- 145 tiling.in
-rw-r--r-- 114 uday_scalars.c
-rw-r--r-- 171 uday_scalars.in
-rw-r--r-- 126 union.c
-rw-r--r-- 178 union.in
-rw-r--r-- 104 unroll.c
-rw-r--r-- 95 unroll.in
-rw-r--r-- 82 unroll2.c
-rw-r--r-- 120 unroll2.in
-rw-r--r-- 6725 usvd_e_t.c
-rw-r--r-- 2305 usvd_e_t.in
-rw-r--r-- 588 vasilache.c
-rw-r--r-- 830 vasilache.in
-rw-r--r-- 2458 vivien.c
-rw-r--r-- 567 vivien.in
-rw-r--r-- 2185 vivien2.c
-rw-r--r-- 574 vivien2.in
-rw-r--r-- 410 walters.c
-rw-r--r-- 791 walters.in
-rw-r--r-- 244 walters2.c
-rw-r--r-- 288 walters2.in
-rw-r--r-- 119 walters3.c
-rw-r--r-- 242 walters3.in
-rw-r--r-- 124 wavefront.c
-rw-r--r-- 143 wavefront.in
-rw-r--r-- 318 yosr.c
-rw-r--r-- 241 yosr.in
-rw-r--r-- 319 yosr2.c
-rw-r--r-- 347 yosr2.in
-rw-r--r-- 120 youcef.c
-rw-r--r-- 211 youcef.in
-rw-r--r-- 192 youcefn.c
-rw-r--r-- 258 youcefn.in