tests/inf2.scop

   1 start: 74
   2 end: 208
   3 indent: '    '
   4 context: '[N] -> {  : N >= 8 and N <= 16 }'
   5 schedule: '{ domain: "[N] -> { S_1[t, j] : t >= 0 and j >= 0 and j <= -1 + N; S_0[t,
   6   j] : t >= 0 and j >= 0 and j <= -1 + N }", child: { schedule: "[N] -> L_0[{ S_1[t,
   7   j] -> [(t)]; S_0[t, j] -> [(t)] }]", child: { sequence: [ { filter: "[N] -> { S_0[t,
   8   j] }", child: { schedule: "[N] -> L_1[{ S_0[t, j] -> [(j)] }]" } }, { filter: "[N]
   9   -> { S_1[t, j] }", child: { schedule: "[N] -> L_2[{ S_1[t, j] -> [(j)] }]" } } ]
  10   } } }'
  11 arrays:
  12 - context: '[N] -> {  : N >= 0 }'
  13   extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
  14   element_type: int
  15   element_size: 4
  16 - context: '[N] -> {  : N >= 0 }'
  17   extent: '[N] -> { b[i0] : i0 >= 0 and i0 <= -1 + N }'
  18   element_type: int
  19   element_size: 4
  20 statements:
  21 - line: 12
  22   domain: '[N] -> { S_0[t, j] : t >= 0 and j >= 0 and j <= -1 + N }'
  23   body:
  24     type: expression
  25     expr:
  26       type: op
  27       operation: =
  28       arguments:
  29       - type: access
  30         index: '[N] -> { S_0[t, j] -> a[(j)] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: int
  35         value: 0
  36 - line: 14
  37   domain: '[N] -> { S_1[t, j] : t >= 0 and j >= 0 and j <= -1 + N }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: =
  43       arguments:
  44       - type: access
  45         index: '[N] -> { S_1[t, j] -> b[(j)] }'
  46         reference: __pet_ref_1
  47         read: 0
  48         write: 1
  49       - type: access
  50         index: '[N] -> { S_1[t, j] -> a[(j)] }'
  51         reference: __pet_ref_2
  52         read: 1
  53         write: 0