tests/decl8.scop

   1 start: 28
   2 end: 252
   3 indent: "\t"
   4 context: '[n] -> {  : n >= 0 and n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_6[i] : i >= 0 and i <= -1 + n; S_4[i] : i >= 0 and
   6   i <= -1 + n; S_0[]; S_2[i] : i >= 0 and i <= -1 + n; S_3[i] : i >= 0 and i <= -1
   7   + n; S_5[i] : i >= 0 and i <= -1 + n; S_1[i] : i >= 0 and i <= -1 + n }", child:
   8   { sequence: [ { filter: "[n] -> { S_0[] }" }, { filter: "[n] -> { S_1[i] }", child:
   9   { schedule: "[n] -> L_0[{ S_1[i] -> [(i)] }]" } }, { filter: "[n] -> { S_4[i]; S_2[i];
  10   S_3[i]; S_5[i] }", child: { schedule: "[n] -> L_1[{ S_4[i] -> [(i)]; S_2[i] -> [(i)];
  11   S_3[i] -> [(i)]; S_5[i] -> [(i)] }]", child: { sequence: [ { filter: "[n] -> { S_2[i]
  12   }" }, { filter: "[n] -> { S_4[i] }" }, { filter: "[n] -> { S_5[i] }" }, { filter:
  13   "[n] -> { S_3[i] }" } ] } } }, { filter: "[n] -> { S_6[i] }", child: { schedule:
  14   "[n] -> L_2[{ S_6[i] -> [(i)] }]" } } ] } }'
  15 arrays:
  16 - context: '[n] -> {  : n >= 0 }'
  17   extent: '[n] -> { a[i0] : i0 >= 0 and i0 <= -1 + n }'
  18   element_type: float
  19   element_size: 4
  20   declared: 1
  21   exposed: 1
  22 - context: '[n] -> {  : n >= 0 }'
  23   extent: '[n] -> { b_0[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1
  24     + n }'
  25   element_type: float
  26   element_size: 4
  27   declared: 1
  28 statements:
  29 - line: 4
  30   domain: '[n] -> { S_0[] }'
  31   body:
  32     type: expression
  33     expr:
  34       type: op
  35       operation: kill
  36       arguments:
  37       - type: access
  38         killed: '[n] -> { S_0[] -> a[o0] : o0 >= 0 and o0 <= -1 + n }'
  39         index: '[n] -> { S_0[] -> a[] }'
  40         depth: 1
  41         reference: __pet_ref_0
  42         kill: 1
  43 - line: 7
  44   domain: '[n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
  45   body:
  46     type: expression
  47     expr:
  48       type: op
  49       operation: =
  50       arguments:
  51       - type: access
  52         index: '[n] -> { S_1[i] -> a[(i)] }'
  53         reference: __pet_ref_1
  54         read: 0
  55         write: 1
  56       - type: access
  57         index: '[n] -> { S_1[i] -> b[(i)] }'
  58         reference: __pet_ref_2
  59         read: 1
  60         write: 0
  61 - line: 10
  62   domain: '[n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
  63   body:
  64     type: expression
  65     expr:
  66       type: op
  67       operation: kill
  68       arguments:
  69       - type: access
  70         killed: '[n] -> { S_2[i] -> b_0[o0, o1] : o0 >= 0 and o0 <= -1 + n and o1
  71           >= 0 and o1 <= -1 + n }'
  72         index: '[n] -> { S_2[i] -> b_0[] }'
  73         depth: 2
  74         reference: __pet_ref_3
  75         kill: 1
  76 - line: 11
  77   domain: '[n] -> { S_4[i] : i >= 0 and i <= -1 + n }'
  78   body:
  79     type: expression
  80     expr:
  81       type: op
  82       operation: =
  83       arguments:
  84       - type: access
  85         index: '[n] -> { S_4[i] -> b_0[(i), (i)] }'
  86         reference: __pet_ref_4
  87         read: 0
  88         write: 1
  89       - type: op
  90         operation: +
  91         arguments:
  92         - type: access
  93           index: '[n] -> { S_4[i] -> a[(i)] }'
  94           reference: __pet_ref_5
  95           read: 1
  96           write: 0
  97         - type: int
  98           value: 1
  99 - line: 12
 100   domain: '[n] -> { S_5[i] : i >= 0 and i <= -1 + n }'
 101   body:
 102     type: expression
 103     expr:
 104       type: op
 105       operation: =
 106       arguments:
 107       - type: access
 108         index: '[n] -> { S_5[i] -> a[(i)] }'
 109         reference: __pet_ref_6
 110         read: 0
 111         write: 1
 112       - type: access
 113         index: '[n] -> { S_5[i] -> b_0[(i), (i)] }'
 114         reference: __pet_ref_7
 115         read: 1
 116         write: 0
 117 - line: 10
 118   domain: '[n] -> { S_3[i] : i >= 0 and i <= -1 + n }'
 119   body:
 120     type: expression
 121     expr:
 122       type: op
 123       operation: kill
 124       arguments:
 125       - type: access
 126         killed: '[n] -> { S_3[i] -> b_0[o0, o1] : o0 >= 0 and o0 <= -1 + n and o1
 127           >= 0 and o1 <= -1 + n }'
 128         index: '[n] -> { S_3[i] -> b_0[] }'
 129         depth: 2
 130         reference: __pet_ref_8
 131         kill: 1
 132 - line: 16
 133   domain: '[n] -> { S_6[i] : i >= 0 and i <= -1 + n }'
 134   body:
 135     type: expression
 136     expr:
 137       type: op
 138       operation: =
 139       arguments:
 140       - type: access
 141         index: '[n] -> { S_6[i] -> b[(i)] }'
 142         reference: __pet_ref_9
 143         read: 0
 144         write: 1
 145       - type: access
 146         index: '[n] -> { S_6[i] -> a[(i)] }'
 147         reference: __pet_ref_10
 148         read: 1
 149         write: 0