tests/decl7.scop

   1 start: 28
   2 end: 343
   3 indent: "\t"
   4 context: '[n] -> {  : 0 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_7[i] : 0 <= i < n; S_6[i] : 0 <= i < n; S_8[i] :
   6   0 <= i < n; S_4[i] : 0 <= i < n; S_0[]; S_2[i] : 0 <= i < n; S_3[i] : 0 <= i < n;
   7   S_5[i] : 0 <= i < n; S_1[i] : 0 <= i < n; S_10[i] : 0 <= i < n; S_9[i] : 0 <= i
   8   < n }", child: { sequence: [ { filter: "[n] -> { S_0[] }" }, { filter: "[n] -> {
   9   S_1[i] }", child: { schedule: "[n] -> L_0[{ S_1[i] -> [(i)] }]" } }, { filter: "[n]
  10   -> { S_4[i]; S_2[i]; S_3[i]; S_5[i] }", child: { schedule: "[n] -> L_1[{ S_4[i]
  11   -> [(i)]; S_2[i] -> [(i)]; S_3[i] -> [(i)]; S_5[i] -> [(i)] }]", child: { sequence:
  12   [ { filter: "[n] -> { S_2[i] }" }, { filter: "[n] -> { S_4[i] }" }, { filter: "[n]
  13   -> { S_5[i] }" }, { filter: "[n] -> { S_3[i] }" } ] } } }, { filter: "[n] -> { S_7[i];
  14   S_6[i]; S_8[i]; S_9[i] }", child: { schedule: "[n] -> L_2[{ S_7[i] -> [(i)]; S_6[i]
  15   -> [(i)]; S_8[i] -> [(i)]; S_9[i] -> [(i)] }]", child: { sequence: [ { filter: "[n]
  16   -> { S_6[i] }" }, { filter: "[n] -> { S_8[i] }" }, { filter: "[n] -> { S_9[i] }"
  17   }, { filter: "[n] -> { S_7[i] }" } ] } } }, { filter: "[n] -> { S_10[i] }", child:
  18   { schedule: "[n] -> L_3[{ S_10[i] -> [(i)] }]" } } ] } }'
  19 arrays:
  20 - context: '[n] -> {  : n >= 0 }'
  21   extent: '[n] -> { a[i0] : 0 <= i0 < n }'
  22   element_type: float
  23   element_size: 4
  24   declared: 1
  25   exposed: 1
  26 - context: '[n] -> {  : n >= 0 }'
  27   extent: '[n] -> { b_0[i0, i1] : 0 <= i0 < n and 0 <= i1 < n }'
  28   element_type: float
  29   element_size: 4
  30   declared: 1
  31 - context: '[n] -> {  : n >= 0 }'
  32   extent: '[n] -> { b_1[i0, i1] : 0 <= i0 < n and 0 <= i1 < n }'
  33   element_type: float
  34   element_size: 4
  35   declared: 1
  36 - context: '{  :  }'
  37   extent: '[n] -> { c[i0] : i0 >= 0 }'
  38   element_type: float
  39   element_size: 4
  40 statements:
  41 - line: 4
  42   domain: '[n] -> { S_0[] }'
  43   body:
  44     type: expression
  45     expr:
  46       type: op
  47       operation: kill
  48       arguments:
  49       - type: access
  50         killed: '[n] -> { S_0[] -> a[o0] : 0 <= o0 < n }'
  51         index: '[n] -> { S_0[] -> a[] }'
  52         depth: 1
  53         reference: __pet_ref_0
  54         kill: 1
  55 - line: 7
  56   domain: '[n] -> { S_1[i] : 0 <= i < n }'
  57   body:
  58     type: expression
  59     expr:
  60       type: op
  61       operation: =
  62       arguments:
  63       - type: access
  64         index: '[n] -> { S_1[i] -> a[(i)] }'
  65         reference: __pet_ref_1
  66         read: 0
  67         write: 1
  68       - type: access
  69         index: '[n] -> { S_1[i] -> c[(i)] }'
  70         reference: __pet_ref_2
  71         read: 1
  72         write: 0
  73 - line: 10
  74   domain: '[n] -> { S_2[i] : 0 <= i < n }'
  75   body:
  76     type: expression
  77     expr:
  78       type: op
  79       operation: kill
  80       arguments:
  81       - type: access
  82         killed: '[n] -> { S_2[i] -> b_0[o0, o1] : 0 <= o0 < n and 0 <= o1 < n }'
  83         index: '[n] -> { S_2[i] -> b_0[] }'
  84         depth: 2
  85         reference: __pet_ref_3
  86         kill: 1
  87 - line: 11
  88   domain: '[n] -> { S_4[i] : 0 <= i < n }'
  89   body:
  90     type: expression
  91     expr:
  92       type: op
  93       operation: =
  94       arguments:
  95       - type: access
  96         index: '[n] -> { S_4[i] -> b_0[(i), (i)] }'
  97         reference: __pet_ref_4
  98         read: 0
  99         write: 1
 100       - type: op
 101         operation: +
 102         arguments:
 103         - type: access
 104           index: '[n] -> { S_4[i] -> a[(i)] }'
 105           reference: __pet_ref_5
 106           read: 1
 107           write: 0
 108         - type: int
 109           value: 1
 110 - line: 12
 111   domain: '[n] -> { S_5[i] : 0 <= i < n }'
 112   body:
 113     type: expression
 114     expr:
 115       type: op
 116       operation: =
 117       arguments:
 118       - type: access
 119         index: '[n] -> { S_5[i] -> a[(i)] }'
 120         reference: __pet_ref_6
 121         read: 0
 122         write: 1
 123       - type: access
 124         index: '[n] -> { S_5[i] -> b_0[(i), (i)] }'
 125         reference: __pet_ref_7
 126         read: 1
 127         write: 0
 128 - line: 10
 129   domain: '[n] -> { S_3[i] : 0 <= i < n }'
 130   body:
 131     type: expression
 132     expr:
 133       type: op
 134       operation: kill
 135       arguments:
 136       - type: access
 137         killed: '[n] -> { S_3[i] -> b_0[o0, o1] : 0 <= o0 < n and 0 <= o1 < n }'
 138         index: '[n] -> { S_3[i] -> b_0[] }'
 139         depth: 2
 140         reference: __pet_ref_8
 141         kill: 1
 142 - line: 15
 143   domain: '[n] -> { S_6[i] : 0 <= i < n }'
 144   body:
 145     type: expression
 146     expr:
 147       type: op
 148       operation: kill
 149       arguments:
 150       - type: access
 151         killed: '[n] -> { S_6[i] -> b_1[o0, o1] : 0 <= o0 < n and 0 <= o1 < n }'
 152         index: '[n] -> { S_6[i] -> b_1[] }'
 153         depth: 2
 154         reference: __pet_ref_9
 155         kill: 1
 156 - line: 16
 157   domain: '[n] -> { S_8[i] : 0 <= i < n }'
 158   body:
 159     type: expression
 160     expr:
 161       type: op
 162       operation: =
 163       arguments:
 164       - type: access
 165         index: '[n] -> { S_8[i] -> b_1[(i), (i)] }'
 166         reference: __pet_ref_10
 167         read: 0
 168         write: 1
 169       - type: op
 170         operation: +
 171         arguments:
 172         - type: access
 173           index: '[n] -> { S_8[i] -> a[(i)] }'
 174           reference: __pet_ref_11
 175           read: 1
 176           write: 0
 177         - type: int
 178           value: 1
 179 - line: 17
 180   domain: '[n] -> { S_9[i] : 0 <= i < n }'
 181   body:
 182     type: expression
 183     expr:
 184       type: op
 185       operation: =
 186       arguments:
 187       - type: access
 188         index: '[n] -> { S_9[i] -> a[(i)] }'
 189         reference: __pet_ref_12
 190         read: 0
 191         write: 1
 192       - type: access
 193         index: '[n] -> { S_9[i] -> b_1[(i), (i)] }'
 194         reference: __pet_ref_13
 195         read: 1
 196         write: 0
 197 - line: 15
 198   domain: '[n] -> { S_7[i] : 0 <= i < n }'
 199   body:
 200     type: expression
 201     expr:
 202       type: op
 203       operation: kill
 204       arguments:
 205       - type: access
 206         killed: '[n] -> { S_7[i] -> b_1[o0, o1] : 0 <= o0 < n and 0 <= o1 < n }'
 207         index: '[n] -> { S_7[i] -> b_1[] }'
 208         depth: 2
 209         reference: __pet_ref_14
 210         kill: 1
 211 - line: 21
 212   domain: '[n] -> { S_10[i] : 0 <= i < n }'
 213   body:
 214     type: expression
 215     expr:
 216       type: op
 217       operation: =
 218       arguments:
 219       - type: access
 220         index: '[n] -> { S_10[i] -> c[(i)] }'
 221         reference: __pet_ref_15
 222         read: 0
 223         write: 1
 224       - type: access
 225         index: '[n] -> { S_10[i] -> a[(i)] }'
 226         reference: __pet_ref_16
 227         read: 1
 228         write: 0