Turn off backtrack by default
[cloog/uuh.git] / test / reservoir / lim-lam1.c
blob469117cb5dd2fe7eda3eab0e91dfd8dbe9108ff7
1 /* Generated from /home/skimo/git/cloog/test/./reservoir/lim-lam1.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.01s. */
2 S1(1,100);
3 for (c2=-98;c2<=99;c2++) {
4 if (c2 <= 0) {
5 S1(1,-c2+1);
7 if (c2 >= 1) {
8 S2(c2,1);
10 for (c4=max(2,-2*c2+3);c4<=min(199,-2*c2+200);c4++) {
11 if (c4%2 == 0) {
12 S1((2*c2+c4)/2,c4/2);
14 if ((c4+1)%2 == 0) {
15 S2((2*c2+c4-1)/2,(c4+1)/2);
18 if (c2 <= 0) {
19 S1(c2+100,100);
21 if (c2 >= 1) {
22 S2(100,-c2+101);
25 S2(100,1);