| # Here is the result given by an old CLooG (the same was given up to 0.12.2), |
| # the difference with the new constant spreading technique of 0.14.0 is |
| # one of the most beautiful. |
| # |
| # /* Generated by CLooG v0.10.7 */ |
| # for (i=2;i<=3;i++) { |
| # for (j=-i+6;j<=6;j++) { |
| # S1 ; |
| # } |
| # } |
| # for (j=4-1;j<=-(4)+8;j++) { |
| # S1(i = 4) ; |
| # } |
| # j = -(4)+9 ; |
| # S1(i = 4) ; |
| # S2(i = 4) ; |
| # for (j=-(4)+10;j<=6;j++) { |
| # S1(i = 4) ; |
| # } |
| # S1(i = 5,j = 4) ; |
| # S2(i = 5,j = 4) ; |
| # for (j=5;j<=6;j++) { |
| # S1(i = 5) ; |
| # } |
| # for (i=6;i<=7;i++) { |
| # j = -i+9 ; |
| # S2 ; |
| # for (j=i-1;j<=6;j++) { |
| # S1 ; |
| # } |
| # } |
| # S2(i = 8,j = 1) ; |
| |
| # language: C |
| c |
| |
| # Context |
| #{ | 1>=0} |
| 1 2 |
| 1 1 |
| 0 |
| |
| 2 # Number of statements |
| |
| 1 |
| # {i,j | (-j+6,2)<=i<=j+1; 3<=j<=6} |
| 5 4 |
| # i j 1 |
| 1 1 1 -6 |
| 1 1 0 -2 |
| 1 0 1 -3 |
| 1 0 -1 6 |
| 1 -1 1 1 |
| 0 0 0 |
| |
| 1 |
| # {i,j | i=-j+9; 1<=j<=5} |
| 3 4 |
| 0 1 1 -9 |
| 1 0 1 -1 |
| 1 0 -1 5 |
| 0 0 0 |
| 0 |
| |
| 0 # Scattering functions |
