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: expression
  20     expr:
  21       type: call
  22       name: f
  23       arguments:
  24       - type: op
  25         operation: '&'
  26         arguments:
  27         - type: access
  28           relation: '{ S_0[i] -> a[] }'
  29           index: '{ S_0[i] -> a[] }'
  30           reference: __pet_ref_0
  31           read: 1
  32           write: 0
  33       - type: op
  34         operation: '&'
  35         arguments:
  36         - type: access
  37           relation: '{ S_0[i] -> a[] }'
  38           index: '{ S_0[i] -> a[] }'
  39           reference: __pet_ref_1
  40           read: 0
  41           write: 1
  42 - line: 12
  43   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  44   schedule: '{ S_1[i] -> [0, i, 1] }'
  45   body:
  46     type: expression
  47     expr:
  48       type: call
  49       name: f
  50       arguments:
  51       - type: op
  52         operation: '&'
  53         arguments:
  54         - type: access
  55           relation: '{ S_1[i] -> b[i] }'
  56           index: '{ S_1[i] -> b[(i)] }'
  57           reference: __pet_ref_2
  58           read: 1
  59           write: 0
  60       - type: op
  61         operation: '&'
  62         arguments:
  63         - type: access
  64           relation: '{ S_1[i] -> b[1 + i] }'
  65           index: '{ S_1[i] -> b[(1 + i)] }'
  66           reference: __pet_ref_3
  67           read: 0
  68           write: 1