tests/while_affine.scop

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