isl_tab_pip.c: extract out shared sol_init
[isl.git] / test_inputs / codegen / omega / 
tree117483c606a43a8f1d340eb635916471bef4d01f
drwxr-xr-x   ..
-rw-r--r-- 243 README
-rw-r--r-- 155 basics-0.c
-rw-r--r-- 228 basics-0.in
-rw-r--r-- 119 basics-1.c
-rw-r--r-- 186 basics-1.in
-rw-r--r-- 173 chosol-0.c
-rw-r--r-- 267 chosol-0.in
-rw-r--r-- 173 chosol-1.c
-rw-r--r-- 267 chosol-1.in
-rw-r--r-- 175 code_gen-0.c
-rw-r--r-- 250 code_gen-0.in
-rw-r--r-- 367 code_gen-1.c
-rw-r--r-- 250 code_gen-1.in
-rw-r--r-- 404 code_gen-2.c
-rw-r--r-- 251 code_gen-2.in
-rw-r--r-- 394 collard-0.c
-rw-r--r-- 448 collard-0.in
-rw-r--r-- 60 dagstuhl1-0.c
-rw-r--r-- 142 dagstuhl1-0.in
-rw-r--r-- 64 dagstuhl1-1.c
-rw-r--r-- 131 dagstuhl1-1.in
-rw-r--r-- 230 fc1-0.c
-rw-r--r-- 291 fc1-0.in
-rw-r--r-- 469 fc1-1.c
-rw-r--r-- 457 fc1-1.in
-rw-r--r-- 469 fc1-2.c
-rw-r--r-- 457 fc1-2.in
-rw-r--r-- 230 fc2-0.c
-rw-r--r-- 291 fc2-0.in
-rw-r--r-- 469 fc2-1.c
-rw-r--r-- 457 fc2-1.in
-rw-r--r-- 80 floor_bound-0.c
-rw-r--r-- 186 floor_bound-0.in
-rw-r--r-- 56 floor_bound-1.c
-rw-r--r-- 149 floor_bound-1.in
-rw-r--r-- 60 floor_bound-2.c
-rw-r--r-- 199 floor_bound-2.in
-rw-r--r-- 79 floor_bound-3.c
-rw-r--r-- 250 floor_bound-3.in
-rw-r--r-- 99 floor_bound-4.c
-rw-r--r-- 203 floor_bound-4.in
-rw-r--r-- 61 floor_bound-5.c
-rw-r--r-- 203 floor_bound-5.in
-rw-r--r-- 100 floor_bound-6.c
-rw-r--r-- 256 floor_bound-6.in
-rw-r--r-- 45 gc-0.c
-rw-r--r-- 164 gc-0.in
-rw-r--r-- 188 ge-0.c
-rw-r--r-- 265 ge-0.in
-rw-r--r-- 188 ge-1.c
-rw-r--r-- 265 ge-1.in
-rw-r--r-- 89 gist-0.c
-rw-r--r-- 284 gist-0.in
-rw-r--r-- 89 gist-1.c
-rw-r--r-- 272 gist-1.in
-rw-r--r-- 91 gist-2.c
-rw-r--r-- 270 gist-2.in
-rw-r--r-- 92 gist-3.c
-rw-r--r-- 284 gist-3.in
-rw-r--r-- 89 gist-4.c
-rw-r--r-- 284 gist-4.in
-rw-r--r-- 90 gist-5.c
-rw-r--r-- 286 gist-5.in
-rw-r--r-- 38 guard1-0.c
-rw-r--r-- 175 guard1-0.in
-rw-r--r-- 38 guard1-1.c
-rw-r--r-- 175 guard1-1.in
-rw-r--r-- 169 hpf-0.c
-rw-r--r-- 360 hpf-0.in
-rw-r--r-- 332 if_then-0.c
-rw-r--r-- 422 if_then-0.in
-rw-r--r-- 162 if_then-1.c
-rw-r--r-- 348 if_then-1.in
-rw-r--r-- 228 if_then-2.c
-rw-r--r-- 348 if_then-2.in
-rw-r--r-- 265 if_then-3.c
-rw-r--r-- 349 if_then-3.in
-rw-r--r-- 187 if_then-4.c
-rw-r--r-- 357 if_then-4.in
-rw-r--r-- 187 if_then-5.c
-rw-r--r-- 357 if_then-5.in
-rw-r--r-- 45 iter1-0.c
-rw-r--r-- 123 iter1-0.in
-rw-r--r-- 92 iter2-0.c
-rw-r--r-- 174 iter2-0.in
-rw-r--r-- 93 iter3-0.c
-rw-r--r-- 163 iter3-0.in
-rw-r--r-- 98 iter4-0.c
-rw-r--r-- 181 iter4-0.in
-rw-r--r-- 107 iter5-0.c
-rw-r--r-- 196 iter5-0.in
-rw-r--r-- 90 iter6-0.c
-rw-r--r-- 172 iter6-0.in
-rw-r--r-- 70 iter6-1.c
-rw-r--r-- 194 iter6-1.in
-rw-r--r-- 65 iter7-0.c
-rw-r--r-- 184 iter7-0.in
-rw-r--r-- 118 iter8-0.c
-rw-r--r-- 489 iter8-0.in
-rw-r--r-- 232 iter9-0.c
-rw-r--r-- 1131 iter9-0.in
-rw-r--r-- 521 lefur00-0.c
-rw-r--r-- 346 lefur00-0.in
-rw-r--r-- 521 lefur01-0.c
-rw-r--r-- 346 lefur01-0.in
-rw-r--r-- 521 lefur01-1.c
-rw-r--r-- 346 lefur01-1.in
-rw-r--r-- 917 lefur03-0.c
-rw-r--r-- 514 lefur03-0.in
-rw-r--r-- 1253 lefur04-0.c
-rw-r--r-- 652 lefur04-0.in
-rw-r--r-- 311 lift1-0.c
-rw-r--r-- 539 lift1-0.in
-rw-r--r-- 437 lift1-1.c
-rw-r--r-- 539 lift1-1.in
-rw-r--r-- 476 lift1-2.c
-rw-r--r-- 539 lift1-2.in
-rw-r--r-- 513 lift1-3.c
-rw-r--r-- 539 lift1-3.in
-rw-r--r-- 548 lift1-4.c
-rw-r--r-- 539 lift1-4.in
-rw-r--r-- 556 lift1-5.c
-rw-r--r-- 540 lift1-5.in
-rw-r--r-- 322 lift2-0.c
-rw-r--r-- 539 lift2-0.in
-rw-r--r-- 550 lift2-1.c
-rw-r--r-- 539 lift2-1.in
-rw-r--r-- 632 lift2-2.c
-rw-r--r-- 539 lift2-2.in
-rw-r--r-- 710 lift2-3.c
-rw-r--r-- 539 lift2-3.in
-rw-r--r-- 784 lift2-4.c
-rw-r--r-- 539 lift2-4.in
-rw-r--r-- 805 lift2-5.c
-rw-r--r-- 540 lift2-5.in
-rw-r--r-- 416 lu-0.c
-rw-r--r-- 561 lu-0.in
-rw-r--r-- 416 lu-1.c
-rw-r--r-- 561 lu-1.in
-rw-r--r-- 416 lu-2.c
-rw-r--r-- 561 lu-2.in
-rw-r--r-- 597 lu-3.c
-rw-r--r-- 561 lu-3.in
-rw-r--r-- 188 lu_ijk-0.c
-rw-r--r-- 265 lu_ijk-0.in
-rw-r--r-- 188 lu_ijk-1.c
-rw-r--r-- 265 lu_ijk-1.in
-rw-r--r-- 295 lu_ijk-2.c
-rw-r--r-- 265 lu_ijk-2.in
-rw-r--r-- 354 lu_spmd-0.c
-rw-r--r-- 648 lu_spmd-0.in
-rw-r--r-- 354 lu_spmd-1.c
-rw-r--r-- 648 lu_spmd-1.in
-rw-r--r-- 128 m1-0.c
-rw-r--r-- 200 m1-0.in
-rw-r--r-- 290 m1-1.c
-rw-r--r-- 200 m1-1.in
-rw-r--r-- 157 m10-0.c
-rw-r--r-- 224 m10-0.in
-rw-r--r-- 353 m10-1.c
-rw-r--r-- 224 m10-1.in
-rw-r--r-- 547 m11-0.c
-rw-r--r-- 565 m11-0.in
-rw-r--r-- 94 m12-0.c
-rw-r--r-- 218 m12-0.in
-rw-r--r-- 539 m12-1.c
-rw-r--r-- 964 m12-1.in
-rw-r--r-- 226 m2-0.c
-rw-r--r-- 256 m2-0.in
-rw-r--r-- 239 m2-1.c
-rw-r--r-- 257 m2-1.in
-rw-r--r-- 119 m3-0.c
-rw-r--r-- 186 m3-0.in
-rw-r--r-- 110 m4-0.c
-rw-r--r-- 222 m4-0.in
-rw-r--r-- 110 m4-1.c
-rw-r--r-- 222 m4-1.in
-rw-r--r-- 133 m7-0.c
-rw-r--r-- 257 m7-0.in
-rw-r--r-- 221 m7-1.c
-rw-r--r-- 257 m7-1.in
-rw-r--r-- 133 m8-0.c
-rw-r--r-- 292 m8-0.in
-rw-r--r-- 221 m8-1.c
-rw-r--r-- 292 m8-1.in
-rw-r--r-- 110 m9-0.c
-rw-r--r-- 224 m9-0.in
-rw-r--r-- 110 m9-1.c
-rw-r--r-- 224 m9-1.in
-rw-r--r-- 212 olda-0.c
-rw-r--r-- 324 olda-0.in
-rw-r--r-- 250 olda-1.c
-rw-r--r-- 324 olda-1.in
-rw-r--r-- 169 p.delft-0.c
-rw-r--r-- 360 p.delft-0.in
-rw-r--r-- 643 p.delft2-0.c
-rw-r--r-- 1350 p.delft2-0.in
-rw-r--r-- 155 p6-0.c
-rw-r--r-- 228 p6-0.in
-rw-r--r-- 119 p6-1.c
-rw-r--r-- 186 p6-1.in
-rw-r--r-- 45 stride1-0.c
-rw-r--r-- 164 stride1-0.in
-rw-r--r-- 104 stride2-0.c
-rw-r--r-- 238 stride2-0.in
-rw-r--r-- 104 stride3-0.c
-rw-r--r-- 248 stride3-0.in
-rw-r--r-- 47 stride4-0.c
-rw-r--r-- 176 stride4-0.in
-rw-r--r-- 120 stride5-0.c
-rw-r--r-- 269 stride5-0.in
-rw-r--r-- 115 stride6-0.c
-rw-r--r-- 218 stride6-0.in
-rw-r--r-- 93 stride6-1.c
-rw-r--r-- 250 stride6-1.in
-rw-r--r-- 93 stride6-2.c
-rw-r--r-- 250 stride6-2.in
-rw-r--r-- 343 stride7-0.c
-rw-r--r-- 223 stride7-0.in
-rw-r--r-- 341 stride7-1.c
-rw-r--r-- 224 stride7-1.in
-rw-r--r-- 140 substitution-0.c
-rw-r--r-- 155 substitution-0.in
-rw-r--r-- 183 substitution-1.c
-rw-r--r-- 156 substitution-1.in
-rw-r--r-- 55 substitution-2.c
-rw-r--r-- 134 substitution-2.in
-rw-r--r-- 12 substitution-3.c
-rw-r--r-- 115 substitution-3.in
-rw-r--r-- 11 substitution-4.c
-rw-r--r-- 189 substitution-4.in
-rw-r--r-- 233 syr2k-0.c
-rw-r--r-- 243 syr2k-0.in
-rw-r--r-- 207 syr2k-1.c
-rw-r--r-- 270 syr2k-1.in
-rw-r--r-- 233 syr2k-2.c
-rw-r--r-- 243 syr2k-2.in
-rw-r--r-- 207 syr2k-3.c
-rw-r--r-- 270 syr2k-3.in
-rw-r--r-- 529 ts1d-check-sblock-0.c
-rw-r--r-- 456 ts1d-check-sblock-0.in
-rw-r--r-- 610 ts1d-check0-0.c
-rw-r--r-- 631 ts1d-check0-0.in
-rw-r--r-- 2805 ts1d-mp-i_ts-m_b-0.c
-rw-r--r-- 1616 ts1d-mp-i_ts-m_b-0.in
-rw-r--r-- 240 ts1d-orig0-0.c
-rw-r--r-- 455 ts1d-orig0-0.in
-rw-r--r-- 730 wak1-0.c
-rw-r--r-- 207 wak1-0.in
-rw-r--r-- 1780 wak1-1.c
-rw-r--r-- 207 wak1-1.in
-rw-r--r-- 814 wak2-0.c
-rw-r--r-- 248 wak2-0.in
-rw-r--r-- 1111 wak2-1.c
-rw-r--r-- 248 wak2-1.in
-rw-r--r-- 151 wak3-0.c
-rw-r--r-- 235 wak3-0.in
-rw-r--r-- 479 wak3-1.c
-rw-r--r-- 236 wak3-1.in
-rw-r--r-- 133 wak4-0.c
-rw-r--r-- 442 wak4-0.in
-rw-r--r-- 133 wak4-1.c
-rw-r--r-- 443 wak4-1.in
-rw-r--r-- 541 x-0.c
-rw-r--r-- 239 x-0.in
-rw-r--r-- 541 x-1.c
-rw-r--r-- 239 x-1.in