tests/continue2.scop

   1 start: 47
   2 end: 289
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i] : i >= 0 and i <= 59; S_5[i] : i >= 0 and i <= 59;
   6   S_6[i] : i >= 0 and i <= 59; S_12[]; S_9[i] : i >= 0 and i <= 99; S_11[]; S_8[i]
   7   : i >= 0 and i <= 99; S_2[i] : i >= 0 and i <= 59; S_13[]; S_7[i] : i >= 60 and
   8   i <= 99; S_4[i] : i >= 0 and i <= 59; S_10[i] : i >= 0 and i <= 99; S_0[i] : i >=
   9   0 and i <= 59; S_1[i] : i >= 0 and i <= 59 }", child: { sequence: [ { filter: "{
  10   S_3[i]; S_5[i]; S_6[i]; S_9[i]; S_8[i]; S_2[i]; S_7[i]; S_4[i]; S_10[i]; S_0[i];
  11   S_1[i] }", child: { schedule: "L_0[{ S_8[i] -> [(i)]; S_9[i] -> [(i)]; S_6[i] ->
  12   [(i)]; S_10[i] -> [(i)]; S_0[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i] -> [(i)]; S_5[i]
  13   -> [(i)]; S_2[i] -> [(i)]; S_1[i] -> [(i)]; S_7[i] -> [(i)] }]", child: { sequence:
  14   [ { filter: "{ S_3[i]; S_5[i]; S_6[i]; S_2[i]; S_7[i]; S_4[i]; S_0[i]; S_1[i] }",
  15   child: { set: [ { filter: "{ S_3[i]; S_5[i]; S_6[i]; S_2[i]; S_4[i]; S_0[i]; S_1[i]
  16   }", child: { sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_3[i]; S_2[i];
  17   S_4[i]; S_1[i] }", child: { set: [ { filter: "{ S_3[i]; S_2[i]; S_1[i] }", child:
  18   { sequence: [ { filter: "{ S_1[i] }" }, { filter: "{ S_2[i] }" }, { filter: "{ S_3[i]
  19   }" } ] } }, { filter: "{ S_4[i] }" } ] } }, { filter: "{ S_5[i] }" }, { filter:
  20   "{ S_6[i] }" } ] } }, { filter: "{ S_7[i] }" } ] } }, { filter: "{ S_8[i] }" },
  21   { filter: "{ S_9[i] }" }, { filter: "{ S_10[i] }" } ] } } }, { filter: "{ S_12[];
  22   S_11[]; S_13[] }", child: { set: [ { filter: "{ S_11[] }" }, { filter: "{ S_12[]
  23   }" }, { filter: "{ S_13[] }" } ] } } ] } }'
  24 arrays:
  25 - context: '{  :  }'
  26   extent: '{ __pet_test_0[i] : i >= 0 and i <= 59 }'
  27   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  28   element_type: int
  29   element_size: 4
  30   uniquely_defined: 1
  31 - context: '{  :  }'
  32   extent: '{ __pet_test_1[i] : i >= 0 and i <= 59 }'
  33   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  34   element_type: int
  35   element_size: 4
  36   uniquely_defined: 1
  37 - context: '{  :  }'
  38   extent: '{ __pet_test_2[i] : i >= 0 and i <= 59 }'
  39   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  40   element_type: int
  41   element_size: 4
  42   uniquely_defined: 1
  43 - context: '{  :  }'
  44   extent: '{ __pet_test_3[i] : i >= 0 and i <= 99 }'
  45   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  46   element_type: int
  47   element_size: 4
  48   uniquely_defined: 1
  49 - context: '{  :  }'
  50   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  51   element_type: int
  52   element_size: 4
  53 - context: '{  :  }'
  54   extent: '{ i[] }'
  55   element_type: int
  56   element_size: 4
  57 - context: '{  :  }'
  58   extent: '{ j[] }'
  59   element_type: int
  60   element_size: 4
  61 statements:
  62 - line: 10
  63   domain: '{ S_0[i] : i >= 0 and i <= 59 }'
  64   body:
  65     type: expression
  66     expr:
  67       type: op
  68       operation: =
  69       arguments:
  70       - type: access
  71         index: '{ S_0[i] -> __pet_test_0[(i)] }'
  72         reference: __pet_ref_0
  73         read: 0
  74         write: 1
  75       - type: op
  76         operation: '>'
  77         arguments:
  78         - type: access
  79           index: '{ S_0[i] -> a[(i)] }'
  80           reference: __pet_ref_1
  81           read: 1
  82           write: 0
  83         - type: int
  84           value: 5
  85 - line: 11
  86   domain: '{ [S_1[i] -> [1]] : i >= 0 and i <= 59 }'
  87   body:
  88     type: expression
  89     expr:
  90       type: op
  91       operation: =
  92       arguments:
  93       - type: access
  94         index: '{ S_1[i] -> j[] }'
  95         reference: __pet_ref_3
  96         read: 0
  97         write: 1
  98       - type: call
  99         name: f
 100   arguments:
 101   - type: access
 102     index: '{ S_1[i] -> __pet_test_0[(i)] }'
 103     reference: __pet_ref_2
 104     read: 1
 105     write: 0
 106 - line: 12
 107   domain: '{ [S_2[i] -> [1]] : i >= 0 and i <= 59 }'
 108   body:
 109     type: expression
 110     expr:
 111       type: op
 112       operation: =
 113       arguments:
 114       - type: access
 115         index: '{ S_2[i] -> __pet_test_1[(i)] }'
 116         reference: __pet_ref_5
 117         read: 0
 118         write: 1
 119       - type: op
 120         operation: ==
 121         arguments:
 122         - type: access
 123           index: '{ S_2[i] -> j[] }'
 124           reference: __pet_ref_6
 125           read: 1
 126           write: 0
 127         - type: int
 128           value: 0
 129   arguments:
 130   - type: access
 131     index: '{ S_2[i] -> __pet_test_0[(i)] }'
 132     reference: __pet_ref_4
 133     read: 1
 134     write: 0
 135 - line: 14
 136   domain: '{ [S_3[i] -> [1, 0]] : i >= 0 and i <= 59 }'
 137   body:
 138     type: expression
 139     expr:
 140       type: op
 141       operation: =
 142       arguments:
 143       - type: access
 144         index: '{ S_3[i] -> a[(i)] }'
 145         reference: __pet_ref_9
 146         read: 0
 147         write: 1
 148       - type: access
 149         index: '{ S_3[i] -> [(i)] }'
 150         reference: __pet_ref_10
 151         read: 1
 152         write: 0
 153   arguments:
 154   - type: access
 155     index: '{ S_3[i] -> __pet_test_0[(i)] }'
 156     reference: __pet_ref_7
 157     read: 1
 158     write: 0
 159   - type: access
 160     index: '{ S_3[i] -> __pet_test_1[(i)] }'
 161     reference: __pet_ref_8
 162     read: 1
 163     write: 0
 164 - line: 16
 165   domain: '{ [S_4[i] -> [0]] : i >= 0 and i <= 59 }'
 166   body:
 167     type: expression
 168     expr:
 169       type: op
 170       operation: =
 171       arguments:
 172       - type: access
 173         index: '{ S_4[i] -> a[(i)] }'
 174         reference: __pet_ref_12
 175         read: 0
 176         write: 1
 177       - type: int
 178         value: 0
 179   arguments:
 180   - type: access
 181     index: '{ S_4[i] -> __pet_test_0[(i)] }'
 182     reference: __pet_ref_11
 183     read: 1
 184     write: 0
 185 - line: -1
 186   domain: '{ S_5[i] : i >= 0 and i <= 59 }'
 187   body:
 188     type: expression
 189     expr:
 190       type: op
 191       operation: =
 192       arguments:
 193       - type: access
 194         index: '{ S_5[i] -> __pet_test_2[(i)] }'
 195         reference: __pet_ref_13
 196         read: 0
 197         write: 1
 198       - type: op
 199         operation: '?:'
 200         arguments:
 201         - type: access
 202           index: '{ S_5[i] -> __pet_test_0[(i)] }'
 203           reference: __pet_ref_14
 204           read: 1
 205           write: 0
 206         - type: access
 207           may_read: '{ [S_5[i] -> [1]] -> __pet_test_1[i] }'
 208           index: '{ [S_5[i] -> [__pet_test_0]] -> __pet_test_1[(i)] }'
 209           reference: __pet_ref_16
 210           read: 1
 211           write: 0
 212           arguments:
 213           - type: access
 214             index: '{ S_5[i] -> __pet_test_0[(i)] }'
 215             reference: __pet_ref_15
 216             read: 1
 217             write: 0
 218         - type: access
 219           index: '{ S_5[i] -> [(0)] }'
 220           reference: __pet_ref_17
 221           read: 1
 222           write: 0
 223 - line: 17
 224   domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 59 }'
 225   body:
 226     type: expression
 227     expr:
 228       type: op
 229       operation: =
 230       arguments:
 231       - type: access
 232         index: '{ S_6[i] -> j[] }'
 233         reference: __pet_ref_19
 234         read: 0
 235         write: 1
 236       - type: call
 237         name: f
 238   arguments:
 239   - type: access
 240     index: '{ S_6[i] -> __pet_test_2[(i)] }'
 241     reference: __pet_ref_18
 242     read: 1
 243     write: 0
 244 - line: 19
 245   domain: '{ S_7[i] : i >= 60 and i <= 99 }'
 246   body:
 247     type: expression
 248     expr:
 249       type: op
 250       operation: =
 251       arguments:
 252       - type: access
 253         index: '{ S_7[i] -> a[(i)] }'
 254         reference: __pet_ref_20
 255         read: 0
 256         write: 1
 257       - type: access
 258         index: '{ S_7[i] -> [(i)] }'
 259         reference: __pet_ref_21
 260         read: 1
 261         write: 0
 262 - line: -1
 263   domain: '{ S_8[i] : i >= 0 and i <= 99 }'
 264   body:
 265     type: expression
 266     expr:
 267       type: op
 268       operation: =
 269       arguments:
 270       - type: access
 271         index: '{ S_8[i] -> __pet_test_3[(i)] }'
 272         reference: __pet_ref_22
 273         read: 0
 274         write: 1
 275       - type: op
 276         operation: '?:'
 277         arguments:
 278         - type: access
 279           index: '{ S_8[i] -> [((1) : i <= 59; (0) : i >= 60)] }'
 280           reference: __pet_ref_23
 281           read: 1
 282           write: 0
 283         - type: access
 284           may_read: '{ S_8[i] -> __pet_test_2[i] : i <= 59 }'
 285           index: '{ S_8[i] -> __pet_test_2[(i)] }'
 286           reference: __pet_ref_24
 287           read: 1
 288           write: 0
 289         - type: access
 290           index: '{ S_8[i] -> [(0)] }'
 291           reference: __pet_ref_25
 292           read: 1
 293           write: 0
 294 - line: 20
 295   domain: '{ [S_9[i] -> [0]] : i >= 0 and i <= 99 }'
 296   body:
 297     type: expression
 298     expr:
 299       type: op
 300       operation: =
 301       arguments:
 302       - type: access
 303         index: '{ S_9[i] -> j[] }'
 304         reference: __pet_ref_27
 305         read: 0
 306         write: 1
 307       - type: call
 308         name: f
 309   arguments:
 310   - type: access
 311     index: '{ S_9[i] -> __pet_test_3[(i)] }'
 312     reference: __pet_ref_26
 313     read: 1
 314     write: 0
 315 - line: 21
 316   domain: '{ [S_10[i] -> [0]] : i >= 0 and i <= 99 }'
 317   body:
 318     type: expression
 319     expr:
 320       type: op
 321       operation: =
 322       arguments:
 323       - type: access
 324         index: '{ S_10[i] -> a[(i)] }'
 325         reference: __pet_ref_29
 326         read: 0
 327         write: 1
 328       - type: op
 329         operation: +
 330         arguments:
 331         - type: access
 332           index: '{ S_10[i] -> a[(i)] }'
 333           reference: __pet_ref_30
 334           read: 1
 335           write: 0
 336         - type: int
 337           value: 1
 338   arguments:
 339   - type: access
 340     index: '{ S_10[i] -> __pet_test_3[(i)] }'
 341     reference: __pet_ref_28
 342     read: 1
 343     write: 0
 344 - line: -1
 345   domain: '{ S_11[] }'
 346   body:
 347     type: expression
 348     expr:
 349       type: op
 350       operation: kill
 351       arguments:
 352       - type: access
 353         killed: '{ S_11[] -> i[] }'
 354         index: '{ S_11[] -> i[] }'
 355         reference: __pet_ref_31
 356         kill: 1
 357 - line: -1
 358   domain: '{ S_12[] }'
 359   body:
 360     type: expression
 361     expr:
 362       type: op
 363       operation: kill
 364       arguments:
 365       - type: access
 366         killed: '{ S_12[] -> j[] }'
 367         index: '{ S_12[] -> j[] }'
 368         reference: __pet_ref_32
 369         kill: 1
 370 - line: -1
 371   domain: '{ S_13[] }'
 372   body:
 373     type: expression
 374     expr:
 375       type: op
 376       operation: kill
 377       arguments:
 378       - type: access
 379         killed: '{ S_13[] -> a[o0] : o0 >= 0 and o0 <= 99 }'
 380         index: '{ S_13[] -> a[] }'
 381         depth: 1
 382         reference: __pet_ref_33
 383         kill: 1