tests/static.scop

   1 context: '[n] -> {  : n >= 0 and n <= 2147483647 }'
   2 arrays:
   3 - context: '[n] -> {  : n >= 0 }'
   4   extent: '[n] -> { A[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1
   5     + n }'
   6   element_type: int
   7   element_size: 4
   8 statements:
   9 - line: 6
  10   domain: '[n] -> { S_0[i, j] : i >= 0 and i <= -1 + n and j >= 0 and j <= -1 + n
  11     }'
  12   schedule: '[n] -> { S_0[i, j] -> [0, i, j] }'
  13   body:
  14     type: binary
  15     operation: =
  16     arguments:
  17     - type: access
  18       relation: '[n] -> { S_0[i, j] -> A[i, j] }'
  19       read: 0
  20       write: 1
  21     - type: access
  22       relation: '[n] -> { S_0[i, j] -> [0] }'
  23       read: 1
  24       write: 0