tests/arg.scop

   1 start: 72
   2 end: 166
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ a[] }'
   7   element_type: int
   8   element_size: 4
   9 - context: '{  :  }'
  10   extent: '{ b[i0] : i0 >= 0 and i0 <= 10 }'
  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: op
  22       operation: '&'
  23       arguments:
  24       - type: access
  25         relation: '{ S_0[i] -> a[] }'
  26         index: '{ S_0[i] -> a[] }'
  27         reference: __pet_ref_0
  28         read: 1
  29         write: 0
  30     - type: op
  31       operation: '&'
  32       arguments:
  33       - type: access
  34         relation: '{ S_0[i] -> a[] }'
  35         index: '{ S_0[i] -> a[] }'
  36         reference: __pet_ref_1
  37         read: 0
  38         write: 1
  39 - line: 12
  40   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  41   schedule: '{ S_1[i] -> [0, i, 1] }'
  42   body:
  43     type: call
  44     name: f
  45     arguments:
  46     - type: op
  47       operation: '&'
  48       arguments:
  49       - type: access
  50         relation: '{ S_1[i] -> b[i] }'
  51         index: '{ S_1[i] -> b[(i)] }'
  52         reference: __pet_ref_2
  53         read: 1
  54         write: 0
  55     - type: op
  56       operation: '&'
  57       arguments:
  58       - type: access
  59         relation: '{ S_1[i] -> b[1 + i] }'
  60         index: '{ S_1[i] -> b[(1 + i)] }'
  61         reference: __pet_ref_3
  62         read: 0
  63         write: 1