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: unary
  18       operation: '&'
  19       arguments:
  20       - type: access
  21         relation: '{ S_0[i] -> a[] }'
  22         read: 1
  23         write: 0
  24     - type: unary
  25       operation: '&'
  26       arguments:
  27       - type: access
  28         relation: '{ S_0[i] -> a[] }'
  29         read: 0
  30         write: 1
  31 - line: 12
  32   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  33   schedule: '{ S_1[i] -> [0, i, 1] }'
  34   body:
  35     type: call
  36     name: f
  37     arguments:
  38     - type: unary
  39       operation: '&'
  40       arguments:
  41       - type: access
  42         relation: '{ S_1[i] -> b[i] }'
  43         read: 1
  44         write: 0
  45     - type: unary
  46       operation: '&'
  47       arguments:
  48       - type: access
  49         relation: '{ S_1[i] -> b[1 + i] }'
  50         read: 0
  51         write: 1