tests/continue2.scop

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