tests/unsigned_break1.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ a[] }'
   5   element_type: int
   6   element_size: 4
   7 statements:
   8 - line: 8
   9   domain: '{ S_0[k] : exists (e0 = [(507 - k)/256]: k >= 0 and k <= 255 and 256e0
  10     <= 257 - k and 256e0 >= 252 - k) }'
  11   schedule: '{ S_0[k] -> [0, o1, 0] : exists (e0 = [(k - o1)/256]: 256e0 = k - o1
  12     and o1 >= 252 and k <= 255 and k >= 0 and o1 <= 257) }'
  13   body:
  14     type: binary
  15     operation: =
  16     arguments:
  17     - type: access
  18       relation: '{ S_0[k] -> a[] }'
  19       read: 0
  20       write: 1
  21     - type: access
  22       relation: '{ S_0[k] -> [5] }'
  23       read: 1
  24       write: 0
  25 - line: 11
  26   domain: '{ S_1[k] : k <= 255 and k >= 252; S_1[0] }'
  27   schedule: '{ S_1[k] -> [0, o1, 2] : exists (e0 = [(k - o1)/256]: 256e0 = k - o1
  28     and o1 >= 252 and k <= 255 and k >= 0 and o1 <= 257) }'
  29   body:
  30     type: binary
  31     operation: =
  32     arguments:
  33     - type: access
  34       relation: '{ S_1[k] -> a[] }'
  35       read: 0
  36       write: 1
  37     - type: access
  38       relation: '{ S_1[k] -> [6] }'
  39       read: 1
  40       write: 0