tests/arg.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ b[i0] : i0 >= 0 and i0 <= 10 }'
   5   element_type: int
   6 - context: '{  :  }'
   7   extent: '{ a[] }'
   8   element_type: int
   9 statements:
  10 - line: 11
  11   domain: '{ S_0[i] : i >= 0 and i <= 9 }'
  12   schedule: '{ S_0[i] -> [0, i, 0] }'
  13   body:
  14     type: call
  15     name: f
  16     arguments:
  17     - type: access
  18       relation: '{ S_0[i] -> a[] }'
  19       read: 1
  20       write: 0
  21     - type: access
  22       relation: '{ S_0[i] -> a[] }'
  23       read: 0
  24       write: 1
  25 - line: 12
  26   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  27   schedule: '{ S_1[i] -> [0, i, 1] }'
  28   body:
  29     type: call
  30     name: f
  31     arguments:
  32     - type: access
  33       relation: '{ S_1[i] -> b[i] }'
  34       read: 1
  35       write: 0
  36     - type: access
  37       relation: '{ S_1[i] -> b[1 + i] }'
  38       read: 0
  39       write: 1