test/byu98-1-2-3.cloog

   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
  35 c
  36
  37 # Context
  38 #{ | 1>=0}
  39 1   2
  40 1   1
  41 0
  42
  43 2 # Number of statements
  44
  45 1
  46 # {i,j | (-j+6,2)<=i<=j+1; 3<=j<=6}
  47 5 4
  48 #  i  j  1
  49 1  1  1 -6
  50 1  1  0 -2
  51 1  0  1 -3
  52 1  0 -1  6
  53 1 -1  1  1
  54 0  0  0
  55
  56 1
  57 # {i,j | i=-j+9; 1<=j<=5}
  58 3 4
  59 0  1  1 -9
  60 1  0  1 -1
  61 1  0 -1  5
  62 0  0  0
  63 0
  64
  65 0 # Scattering functions