test/isl/stride.cloog

   1 # CLooG script generated automatically by PLUTO 0.7.0
   2 # language: C
   3 c
   4
   5 [m] -> {:}
   6
   7 0
   8
   9 # Number of statements
  10 1
  11
  12 [m] -> { [i0, i1, i2, i3] : 0 <= i2 <= 2 and 1 <= i3 <= m - 2 and i3 >= 4i0 - 2i2 and i3 <= 3 + 4i0 - 2i2 and i3 <= -4i1 + 2i2 and i3 >= -3 - 4i1 + 2i2 }
  13
  14 0 0 0
  15
  16 # we want cloog to set the iterator names
  17 0
  18
  19 # of scattering functions
  20 1
  21 [m] -> { [i0, i1, i2, i3] -> [s0, i1, s2, s3]:
  22         i0 = s0 - i1 and 4i2 = -2 + s2 + s3 and 2i3 = s2 - s3 }
  23
  24
  25
  26 # we will set the scattering dimension names
  27 0
  28