tests/inf2.scop

   1 start: 74
   2 end: 208
   3 indent: '    '
   4 context: '[N] -> {  : N >= 8 and N <= 16 }'
   5 schedule: '{ domain: "[N] -> { S_4[]; S_1[t, j] : t >= 0 and j >= 0 and j <= -1 +
   6   N; S_0[t, j] : t >= 0 and j >= 0 and j <= -1 + N; S_3[]; S_2[] }", child: { sequence:
   7   [ { filter: "[N] -> { S_1[t, j]; S_0[t, j] }", child: { schedule: "[N] -> L_0[{
   8   S_1[t, j] -> [(t)]; S_0[t, j] -> [(t)] }]", child: { sequence: [ { filter: "[N]
   9   -> { S_0[t, j] }", child: { schedule: "[N] -> L_1[{ S_0[t, j] -> [(j)] }]" } },
  10   { filter: "[N] -> { S_1[t, j] }", child: { schedule: "[N] -> L_2[{ S_1[t, j] ->
  11   [(j)] }]" } } ] } } }, { filter: "[N] -> { S_4[]; S_3[]; S_2[] }", child: { set:
  12   [ { filter: "{ S_2[] }" }, { filter: "{ S_3[] }" }, { filter: "{ S_4[] }" } ] }
  13   } ] } }'
  14 arrays:
  15 - context: '[N] -> {  : N >= 0 }'
  16   extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
  17   element_type: int
  18   element_size: 4
  19 - context: '[N] -> {  : N >= 0 }'
  20   extent: '[N] -> { b[i0] : i0 >= 0 and i0 <= -1 + N }'
  21   element_type: int
  22   element_size: 4
  23 - context: '{  :  }'
  24   extent: '[N] -> { j[] }'
  25   element_type: int
  26   element_size: 4
  27 statements:
  28 - line: 12
  29   domain: '[N] -> { S_0[t, j] : t >= 0 and j >= 0 and j <= -1 + N }'
  30   body:
  31     type: expression
  32     expr:
  33       type: op
  34       operation: =
  35       arguments:
  36       - type: access
  37         index: '[N] -> { S_0[t, j] -> a[(j)] }'
  38         reference: __pet_ref_0
  39         read: 0
  40         write: 1
  41       - type: int
  42         value: 0
  43 - line: 14
  44   domain: '[N] -> { S_1[t, j] : t >= 0 and j >= 0 and j <= -1 + N }'
  45   body:
  46     type: expression
  47     expr:
  48       type: op
  49       operation: =
  50       arguments:
  51       - type: access
  52         index: '[N] -> { S_1[t, j] -> b[(j)] }'
  53         reference: __pet_ref_1
  54         read: 0
  55         write: 1
  56       - type: access
  57         index: '[N] -> { S_1[t, j] -> a[(j)] }'
  58         reference: __pet_ref_2
  59         read: 1
  60         write: 0
  61 - line: -1
  62   domain: '[N] -> { S_2[] }'
  63   body:
  64     type: expression
  65     expr:
  66       type: op
  67       operation: kill
  68       arguments:
  69       - type: access
  70         killed: '[N] -> { S_2[] -> j[] }'
  71         index: '[N] -> { S_2[] -> j[] }'
  72         reference: __pet_ref_3
  73         kill: 1
  74 - line: -1
  75   domain: '[N] -> { S_3[] }'
  76   body:
  77     type: expression
  78     expr:
  79       type: op
  80       operation: kill
  81       arguments:
  82       - type: access
  83         killed: '[N] -> { S_3[] -> a[o0] : o0 >= 0 and o0 <= -1 + N }'
  84         index: '[N] -> { S_3[] -> a[] }'
  85         depth: 1
  86         reference: __pet_ref_4
  87         kill: 1
  88 - line: -1
  89   domain: '[N] -> { S_4[] }'
  90   body:
  91     type: expression
  92     expr:
  93       type: op
  94       operation: kill
  95       arguments:
  96       - type: access
  97         killed: '[N] -> { S_4[] -> b[o0] : o0 >= 0 and o0 <= -1 + N }'
  98         index: '[N] -> { S_4[] -> b[] }'
  99         depth: 1
 100         reference: __pet_ref_5
 101         kill: 1