tests/decl5.scop

   1 start: 16
   2 end: 110
   3 indent: "\t"
   4 context: '[n] -> {  : n >= 0 and n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_0[]; S_2[i] : i >= 0 and i <= -1 + n; S_1[i] : i
   6   >= 0 and i <= -1 + n }", child: { sequence: [ { filter: "[n] -> { S_0[] }" }, {
   7   filter: "[n] -> { S_2[i]; S_1[i] }", child: { schedule: "[n] -> L_0[{ S_2[i] ->
   8   [(i)]; S_1[i] -> [(i)] }]", child: { sequence: [ { filter: "[n] -> { S_1[i] }" },
   9   { filter: "[n] -> { S_2[i] }" } ] } } } ] } }'
  10 arrays:
  11 - context: '[n] -> {  : n >= 0 }'
  12   extent: '[n] -> { a[i0] : i0 >= 0 and i0 <= -1 + n }'
  13   element_type: float
  14   element_size: 4
  15   declared: 1
  16   exposed: 1
  17 - context: '[n] -> {  : n >= 0 }'
  18   extent: '[n] -> { b[i0, i1] : i1 >= 0 and i1 <= -1 + n and i0 >= 0 and i0 <= -1
  19     + n }'
  20   element_type: float
  21   element_size: 4
  22   declared: 1
  23 statements:
  24 - line: 4
  25   domain: '[n] -> { S_0[] }'
  26   body:
  27     type: expression
  28     expr:
  29       type: op
  30       operation: kill
  31       arguments:
  32       - type: access
  33         killed: '[n] -> { S_0[] -> a[o0] : o0 >= 0 and o0 <= -1 + n }'
  34         index: '[n] -> { S_0[] -> a[] }'
  35         depth: 1
  36         reference: __pet_ref_0
  37         kill: 1
  38 - line: 7
  39   domain: '[n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
  40   body:
  41     type: expression
  42     expr:
  43       type: op
  44       operation: kill
  45       arguments:
  46       - type: access
  47         killed: '[n] -> { S_1[i] -> b[o0, o1] : o0 <= -1 + n and o1 >= 0 and o1 <=
  48           -1 + n and o0 >= 0 }'
  49         index: '[n] -> { S_1[i] -> b[] }'
  50         depth: 2
  51         reference: __pet_ref_1
  52         kill: 1
  53 - line: 7
  54   domain: '[n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
  55   body:
  56     type: expression
  57     expr:
  58       type: op
  59       operation: kill
  60       arguments:
  61       - type: access
  62         killed: '[n] -> { S_2[i] -> b[o0, o1] : o0 <= -1 + n and o1 >= 0 and o1 <=
  63           -1 + n and o0 >= 0 }'
  64         index: '[n] -> { S_2[i] -> b[] }'
  65         depth: 2
  66         reference: __pet_ref_2
  67         kill: 1