tests/decl7.scop

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