1# Here is the result given by an old CLooG (the same was given up to 0.12.2),
2# the difference with the new constant spreading technique of 0.14.0 is
3# one of the most beautiful.
4#
5# /* Generated by CLooG v0.10.7 */
6# for (i=2;i<=3;i++) {
7#   for (j=-i+6;j<=6;j++) {
8#     S1 ;
9#   }
10# }
11# for (j=4-1;j<=-(4)+8;j++) {
12#   S1(i = 4) ;
13# }
14# j = -(4)+9 ;
15# S1(i = 4) ;
16# S2(i = 4) ;
17# for (j=-(4)+10;j<=6;j++) {
18#   S1(i = 4) ;
19# }
20# S1(i = 5,j = 4) ;
21# S2(i = 5,j = 4) ;
22# for (j=5;j<=6;j++) {
23#   S1(i = 5) ;
24# }
25# for (i=6;i<=7;i++) {
26#   j = -i+9 ;
27#   S2 ;
28#   for (j=i-1;j<=6;j++) {
29#     S1 ;
30#   }
31# }
32# S2(i = 8,j = 1) ;
33
34# language: C
35c
36
37# Context
38#{ | 1>=0}
391   2
401   1
410
42
432 # Number of statements
44
451
46# {i,j | (-j+6,2)<=i<=j+1; 3<=j<=6}
475 4
48#  i  j  1
491  1  1 -6
501  1  0 -2
511  0  1 -3
521  0 -1  6
531 -1  1  1
540  0  0
55
561
57# {i,j | i=-j+9; 1<=j<=5}
583 4
590  1  1 -9
601  0  1 -1
611  0 -1  5
620  0  0
630
64
650 # Scattering functions
66