tests/arg.scop

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