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           index: '{ S_0[i] -> a[] }'
  29           reference: __pet_ref_0
  30           read: 1
  31           write: 0
  32       - type: op
  33         operation: '&'
  34         arguments:
  35         - type: access
  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: expression
  45     expr:
  46       type: call
  47       name: f
  48       arguments:
  49       - type: op
  50         operation: '&'
  51         arguments:
  52         - type: access
  53           index: '{ S_1[i] -> b[(i)] }'
  54           reference: __pet_ref_2
  55           read: 1
  56           write: 0
  57       - type: op
  58         operation: '&'
  59         arguments:
  60         - type: access
  61           index: '{ S_1[i] -> b[(1 + i)] }'
  62           reference: __pet_ref_3
  63           read: 0
  64           write: 1