tests/arg.scop

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