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