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