tests/unsigned1.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ a[] }'
   5   element_type: int
   6 statements:
   7 - line: 10
   8   domain: '{ S_0[i, j, k] : (k >= 0 and k <= 255 and i >= 0 and i <= 199 and k <=
   9     -1 + i + j and j >= 0 and j <= 199) or (k >= 0 and k <= 255 and i <= 199 and j
  10     >= 256 - i and j <= 199) }'
  11   schedule: '{ S_0[i, j, k] -> [0, i, j, o3] : (exists (e0 = [(-k + o3)/256]: 256e0
  12     = -k + o3 and o3 >= 0 and o3 <= -1 + i + j and j <= 2147483647 - i and k >= 0
  13     and k <= 255)) or (exists (e0 = [(-k + o3)/256]: 256e0 = -k + o3 and o3 >= 0 and
  14     o3 >= i + j and j >= 256 - i and j <= 2147483647 - i and k >= 0 and k <= 255))
  15     }'
  16   body:
  17     type: binary
  18     operation: =
  19     arguments:
  20     - type: access
  21       relation: '{ S_0[i, j, k] -> a[] }'
  22       read: 0
  23       write: 1
  24     - type: access
  25       relation: '{ S_0[i, j, k] -> [5] }'
  26       read: 1
  27       write: 0