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         reference: __pet_ref_0
  27         read: 1
  28         write: 0
  29     - type: unary
  30       operation: '&'
  31       arguments:
  32       - type: access
  33         relation: '{ S_0[i] -> a[] }'
  34         reference: __pet_ref_1
  35         read: 0
  36         write: 1
  37 - line: 12
  38   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  39   schedule: '{ S_1[i] -> [0, i, 1] }'
  40   body:
  41     type: call
  42     name: f
  43     arguments:
  44     - type: unary
  45       operation: '&'
  46       arguments:
  47       - type: access
  48         relation: '{ S_1[i] -> b[i] }'
  49         reference: __pet_ref_2
  50         read: 1
  51         write: 0
  52     - type: unary
  53       operation: '&'
  54       arguments:
  55       - type: access
  56         relation: '{ S_1[i] -> b[1 + i] }'
  57         reference: __pet_ref_3
  58         read: 0
  59         write: 1