tests/arg.scop

   1 start: 72
   2 end: 166
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ b[i0] : i0 >= 0 and i0 <= 10 }'
   7   element_type: int
   8   element_size: 4
   9 - context: '{  :  }'
  10   extent: '{ a[] }'
  11   element_type: int
  12   element_size: 4
  13 statements:
  14 - line: 11
  15   domain: '{ S_0[i] : i >= 0 and i <= 9 }'
  16   schedule: '{ S_0[i] -> [0, i, 0] }'
  17   body:
  18     type: call
  19     name: f
  20     arguments:
  21     - type: unary
  22       operation: '&'
  23       arguments:
  24       - type: access
  25         relation: '{ S_0[i] -> a[] }'
  26         read: 1
  27         write: 0
  28     - type: unary
  29       operation: '&'
  30       arguments:
  31       - type: access
  32         relation: '{ S_0[i] -> a[] }'
  33         read: 0
  34         write: 1
  35 - line: 12
  36   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  37   schedule: '{ S_1[i] -> [0, i, 1] }'
  38   body:
  39     type: call
  40     name: f
  41     arguments:
  42     - type: unary
  43       operation: '&'
  44       arguments:
  45       - type: access
  46         relation: '{ S_1[i] -> b[i] }'
  47         read: 1
  48         write: 0
  49     - type: unary
  50       operation: '&'
  51       arguments:
  52       - type: access
  53         relation: '{ S_1[i] -> b[1 + i] }'
  54         read: 0
  55         write: 1