tests/break4.scop

   1 start: 43
   2 end: 357
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ __pet_test_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 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_1[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 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_5[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 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_2[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 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: '{ __pet_test_3[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  31   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  32   element_type: int
  33   element_size: 4
  34   uniquely_defined: 1
  35 - context: '{  :  }'
  36   extent: '{ __pet_test_4[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  37   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  38   element_type: int
  39   element_size: 4
  40   uniquely_defined: 1
  41 - context: '{  :  }'
  42   extent: '{ __pet_test_6[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  43   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  44   element_type: int
  45   element_size: 4
  46   uniquely_defined: 1
  47 - context: '{  :  }'
  48   extent: '{ __pet_test_7[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  49   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  50   element_type: int
  51   element_size: 4
  52   uniquely_defined: 1
  53 - context: '{  :  }'
  54   extent: '{ __pet_test_8[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  55   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  56   element_type: int
  57   element_size: 4
  58   uniquely_defined: 1
  59 - context: '{  :  }'
  60   extent: '{ __pet_test_9[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  61   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  62   element_type: int
  63   element_size: 4
  64   uniquely_defined: 1
  65 - context: '{  :  }'
  66   extent: '{ __pet_test_10[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  67   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  68   element_type: int
  69   element_size: 4
  70   uniquely_defined: 1
  71 - context: '{  :  }'
  72   extent: '{ __pet_test_11[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  73   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  74   element_type: int
  75   element_size: 4
  76   uniquely_defined: 1
  77 - context: '{  :  }'
  78   extent: '{ __pet_test_12[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  79   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  80   element_type: int
  81   element_size: 4
  82   uniquely_defined: 1
  83 - context: '{  :  }'
  84   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  85   element_type: int
  86   element_size: 4
  87 statements:
  88 - line: 10
  89   domain: '{ [S_0[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  90   schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
  91   body:
  92     type: binary
  93     operation: =
  94     arguments:
  95     - type: access
  96       relation: '{ S_0[i, j] -> a[i] }'
  97       index: '{ S_0[i, j] -> a[(i)] }'
  98       reference: __pet_ref_1
  99       read: 0
 100       write: 1
 101     - type: access
 102       relation: '{ S_0[i, j] -> [0] }'
 103       index: '{ S_0[i, j] -> [(0)] }'
 104       reference: __pet_ref_2
 105       read: 1
 106       write: 0
 107   arguments:
 108   - type: access
 109     relation: '{ S_0[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 110     index: '{ S_0[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 111     reference: __pet_ref_0
 112     read: 1
 113     write: 0
 114 - line: 12
 115   domain: '{ [S_1[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 81 and j <= 99 }'
 116   schedule: '{ S_1[i, j] -> [0, i, j, 1, 0, 0, 0] }'
 117   body:
 118     type: binary
 119     operation: =
 120     arguments:
 121     - type: access
 122       relation: '{ S_1[i, j] -> __pet_test_0[i, j] }'
 123       index: '{ S_1[i, j] -> __pet_test_0[(i), (j)] }'
 124       reference: __pet_ref_4
 125       read: 0
 126       write: 1
 127     - type: call
 128       name: f
 129   arguments:
 130   - type: access
 131     relation: '{ S_1[i, j] -> __pet_test_12[i, -1 + j] }'
 132     index: '{ S_1[i, j] -> __pet_test_12[(i), (-1 + j)] }'
 133     reference: __pet_ref_3
 134     read: 1
 135     write: 0
 136 - line: -1
 137   domain: '{ [S_2[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 138   schedule: '{ S_2[i, j] -> [0, i, j, 1, 1] }'
 139   body:
 140     type: binary
 141     operation: =
 142     arguments:
 143     - type: access
 144       relation: '{ S_2[i, j] -> __pet_test_1[i, j] }'
 145       index: '{ S_2[i, j] -> __pet_test_1[(i), (j)] }'
 146       reference: __pet_ref_6
 147       read: 0
 148       write: 1
 149     - type: ternary
 150       arguments:
 151       - type: access
 152         relation: '{ S_2[i, j] -> [1] : j >= 81; S_2[i, j] -> [0] : j <= 80 }'
 153         index: '{ S_2[i, j] -> [((1) : j >= 81; (0) : j <= 80)] }'
 154         reference: __pet_ref_7
 155         read: 1
 156         write: 0
 157       - type: access
 158         relation: '{ S_2[i, j] -> __pet_test_0[i, j] : j >= 81 }'
 159         index: '{ S_2[i, j] -> __pet_test_0[(i), (j)] }'
 160         reference: __pet_ref_8
 161         read: 1
 162         write: 0
 163       - type: access
 164         relation: '{ S_2[i, j] -> [0] }'
 165         index: '{ S_2[i, j] -> [(0)] }'
 166         reference: __pet_ref_9
 167         read: 1
 168         write: 0
 169   arguments:
 170   - type: access
 171     relation: '{ S_2[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 172     index: '{ S_2[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 173     reference: __pet_ref_5
 174     read: 1
 175     write: 0
 176 - line: 15
 177   domain: '{ [S_3[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 178   schedule: '{ S_3[i, j] -> [0, i, j, 2, 0, 0] }'
 179   body:
 180     type: binary
 181     operation: =
 182     arguments:
 183     - type: access
 184       relation: '{ S_3[i, j] -> __pet_test_5[i, j] }'
 185       index: '{ S_3[i, j] -> __pet_test_5[(i), (j)] }'
 186       reference: __pet_ref_12
 187       read: 0
 188       write: 1
 189     - type: call
 190       name: f
 191   arguments:
 192   - type: access
 193     relation: '{ S_3[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 194     index: '{ S_3[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 195     reference: __pet_ref_10
 196     read: 1
 197     write: 0
 198   - type: access
 199     relation: '{ S_3[i, j] -> __pet_test_1[i, j] }'
 200     index: '{ S_3[i, j] -> __pet_test_1[(i), (j)] }'
 201     reference: __pet_ref_11
 202     read: 1
 203     write: 0
 204 - line: 16
 205   domain: '{ [S_4[i, j] -> [0, 0, 1]] : i >= 0 and i <= 99 and j >= 0 and j <= 99
 206     }'
 207   schedule: '{ S_4[i, j] -> [0, i, j, 2, 0, 1, 0, 0] }'
 208   body:
 209     type: binary
 210     operation: =
 211     arguments:
 212     - type: access
 213       relation: '{ S_4[i, j] -> __pet_test_2[i, j] }'
 214       index: '{ S_4[i, j] -> __pet_test_2[(i), (j)] }'
 215       reference: __pet_ref_16
 216       read: 0
 217       write: 1
 218     - type: call
 219       name: f
 220   arguments:
 221   - type: access
 222     relation: '{ S_4[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 223     index: '{ S_4[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 224     reference: __pet_ref_13
 225     read: 1
 226     write: 0
 227   - type: access
 228     relation: '{ S_4[i, j] -> __pet_test_1[i, j] }'
 229     index: '{ S_4[i, j] -> __pet_test_1[(i), (j)] }'
 230     reference: __pet_ref_14
 231     read: 1
 232     write: 0
 233   - type: access
 234     relation: '{ S_4[i, j] -> __pet_test_5[i, j] }'
 235     index: '{ S_4[i, j] -> __pet_test_5[(i), (j)] }'
 236     reference: __pet_ref_15
 237     read: 1
 238     write: 0
 239 - line: 18
 240   domain: '{ [S_5[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
 241     99 }'
 242   schedule: '{ S_5[i, j] -> [0, i, j, 2, 0, 1, 1] }'
 243   body:
 244     type: binary
 245     operation: =
 246     arguments:
 247     - type: access
 248       relation: '{ S_5[i, j] -> a[i] }'
 249       index: '{ S_5[i, j] -> a[(i)] }'
 250       reference: __pet_ref_21
 251       read: 0
 252       write: 1
 253     - type: access
 254       relation: '{ S_5[i, j] -> [1] }'
 255       index: '{ S_5[i, j] -> [(1)] }'
 256       reference: __pet_ref_22
 257       read: 1
 258       write: 0
 259   arguments:
 260   - type: access
 261     relation: '{ S_5[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 262     index: '{ S_5[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 263     reference: __pet_ref_17
 264     read: 1
 265     write: 0
 266   - type: access
 267     relation: '{ S_5[i, j] -> __pet_test_1[i, j] }'
 268     index: '{ S_5[i, j] -> __pet_test_1[(i), (j)] }'
 269     reference: __pet_ref_18
 270     read: 1
 271     write: 0
 272   - type: access
 273     relation: '{ S_5[i, j] -> __pet_test_5[i, j] }'
 274     index: '{ S_5[i, j] -> __pet_test_5[(i), (j)] }'
 275     reference: __pet_ref_19
 276     read: 1
 277     write: 0
 278   - type: access
 279     relation: '{ S_5[i, j] -> __pet_test_2[i, j] }'
 280     index: '{ S_5[i, j] -> __pet_test_2[(i), (j)] }'
 281     reference: __pet_ref_20
 282     read: 1
 283     write: 0
 284 - line: 19
 285   domain: '{ [S_6[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
 286     99 }'
 287   schedule: '{ S_6[i, j] -> [0, i, j, 2, 0, 1, 2, 0, 0] }'
 288   body:
 289     type: binary
 290     operation: =
 291     arguments:
 292     - type: access
 293       relation: '{ S_6[i, j] -> __pet_test_3[i, j] }'
 294       index: '{ S_6[i, j] -> __pet_test_3[(i), (j)] }'
 295       reference: __pet_ref_27
 296       read: 0
 297       write: 1
 298     - type: call
 299       name: f
 300   arguments:
 301   - type: access
 302     relation: '{ S_6[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 303     index: '{ S_6[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 304     reference: __pet_ref_23
 305     read: 1
 306     write: 0
 307   - type: access
 308     relation: '{ S_6[i, j] -> __pet_test_1[i, j] }'
 309     index: '{ S_6[i, j] -> __pet_test_1[(i), (j)] }'
 310     reference: __pet_ref_24
 311     read: 1
 312     write: 0
 313   - type: access
 314     relation: '{ S_6[i, j] -> __pet_test_5[i, j] }'
 315     index: '{ S_6[i, j] -> __pet_test_5[(i), (j)] }'
 316     reference: __pet_ref_25
 317     read: 1
 318     write: 0
 319   - type: access
 320     relation: '{ S_6[i, j] -> __pet_test_2[i, j] }'
 321     index: '{ S_6[i, j] -> __pet_test_2[(i), (j)] }'
 322     reference: __pet_ref_26
 323     read: 1
 324     write: 0
 325 - line: 22
 326   domain: '{ [S_7[i, j] -> [0, 0, 1, 0, 0]] : i >= 0 and i <= 99 and j >= 0 and j
 327     <= 99 }'
 328   schedule: '{ S_7[i, j] -> [0, i, j, 2, 0, 1, 2, 0, 1] }'
 329   body:
 330     type: binary
 331     operation: =
 332     arguments:
 333     - type: access
 334       relation: '{ S_7[i, j] -> a[i] }'
 335       index: '{ S_7[i, j] -> a[(i)] }'
 336       reference: __pet_ref_33
 337       read: 0
 338       write: 1
 339     - type: access
 340       relation: '{ S_7[i, j] -> [2] }'
 341       index: '{ S_7[i, j] -> [(2)] }'
 342       reference: __pet_ref_34
 343       read: 1
 344       write: 0
 345   arguments:
 346   - type: access
 347     relation: '{ S_7[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 348     index: '{ S_7[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 349     reference: __pet_ref_28
 350     read: 1
 351     write: 0
 352   - type: access
 353     relation: '{ S_7[i, j] -> __pet_test_1[i, j] }'
 354     index: '{ S_7[i, j] -> __pet_test_1[(i), (j)] }'
 355     reference: __pet_ref_29
 356     read: 1
 357     write: 0
 358   - type: access
 359     relation: '{ S_7[i, j] -> __pet_test_5[i, j] }'
 360     index: '{ S_7[i, j] -> __pet_test_5[(i), (j)] }'
 361     reference: __pet_ref_30
 362     read: 1
 363     write: 0
 364   - type: access
 365     relation: '{ S_7[i, j] -> __pet_test_2[i, j] }'
 366     index: '{ S_7[i, j] -> __pet_test_2[(i), (j)] }'
 367     reference: __pet_ref_31
 368     read: 1
 369     write: 0
 370   - type: access
 371     relation: '{ S_7[i, j] -> __pet_test_3[i, j] }'
 372     index: '{ S_7[i, j] -> __pet_test_3[(i), (j)] }'
 373     reference: __pet_ref_32
 374     read: 1
 375     write: 0
 376 - line: -1
 377   domain: '{ [S_8[i, j] -> [0, 0, 1]] : i >= 0 and i <= 99 and j >= 0 and j <= 99
 378     }'
 379   schedule: '{ S_8[i, j] -> [0, i, j, 2, 0, 1, 2, 1] }'
 380   body:
 381     type: binary
 382     operation: =
 383     arguments:
 384     - type: access
 385       relation: '{ S_8[i, j] -> __pet_test_4[i, j] }'
 386       index: '{ S_8[i, j] -> __pet_test_4[(i), (j)] }'
 387       reference: __pet_ref_38
 388       read: 0
 389       write: 1
 390     - type: ternary
 391       arguments:
 392       - type: access
 393         relation: '{ S_8[i, j] -> __pet_test_2[i, j] }'
 394         index: '{ S_8[i, j] -> __pet_test_2[(i), (j)] }'
 395         reference: __pet_ref_39
 396         read: 1
 397         write: 0
 398       - type: access
 399         relation: '{ S_8[i, j] -> [1] }'
 400         index: '{ S_8[i, j] -> [(1)] }'
 401         reference: __pet_ref_40
 402         read: 1
 403         write: 0
 404       - type: access
 405         relation: '{ [S_8[i, j] -> [0]] -> __pet_test_3[i, j] }'
 406         index: '{ [S_8[i, j] -> [__pet_test_2]] -> __pet_test_3[(i), (j)] }'
 407         reference: __pet_ref_42
 408         read: 1
 409         write: 0
 410         arguments:
 411         - type: access
 412           relation: '{ S_8[i, j] -> __pet_test_2[i, j] }'
 413           index: '{ S_8[i, j] -> __pet_test_2[(i), (j)] }'
 414           reference: __pet_ref_41
 415           read: 1
 416           write: 0
 417   arguments:
 418   - type: access
 419     relation: '{ S_8[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 420     index: '{ S_8[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 421     reference: __pet_ref_35
 422     read: 1
 423     write: 0
 424   - type: access
 425     relation: '{ S_8[i, j] -> __pet_test_1[i, j] }'
 426     index: '{ S_8[i, j] -> __pet_test_1[(i), (j)] }'
 427     reference: __pet_ref_36
 428     read: 1
 429     write: 0
 430   - type: access
 431     relation: '{ S_8[i, j] -> __pet_test_5[i, j] }'
 432     index: '{ S_8[i, j] -> __pet_test_5[(i), (j)] }'
 433     reference: __pet_ref_37
 434     read: 1
 435     write: 0
 436 - line: 23
 437   domain: '{ [S_9[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
 438     99 }'
 439   schedule: '{ S_9[i, j] -> [0, i, j, 2, 0, 1, 3] }'
 440   body:
 441     type: binary
 442     operation: =
 443     arguments:
 444     - type: access
 445       relation: '{ S_9[i, j] -> a[i] }'
 446       index: '{ S_9[i, j] -> a[(i)] }'
 447       reference: __pet_ref_47
 448       read: 0
 449       write: 1
 450     - type: access
 451       relation: '{ S_9[i, j] -> [3] }'
 452       index: '{ S_9[i, j] -> [(3)] }'
 453       reference: __pet_ref_48
 454       read: 1
 455       write: 0
 456   arguments:
 457   - type: access
 458     relation: '{ S_9[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 459     index: '{ S_9[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 460     reference: __pet_ref_43
 461     read: 1
 462     write: 0
 463   - type: access
 464     relation: '{ S_9[i, j] -> __pet_test_1[i, j] }'
 465     index: '{ S_9[i, j] -> __pet_test_1[(i), (j)] }'
 466     reference: __pet_ref_44
 467     read: 1
 468     write: 0
 469   - type: access
 470     relation: '{ S_9[i, j] -> __pet_test_5[i, j] }'
 471     index: '{ S_9[i, j] -> __pet_test_5[(i), (j)] }'
 472     reference: __pet_ref_45
 473     read: 1
 474     write: 0
 475   - type: access
 476     relation: '{ S_9[i, j] -> __pet_test_4[i, j] }'
 477     index: '{ S_9[i, j] -> __pet_test_4[(i), (j)] }'
 478     reference: __pet_ref_46
 479     read: 1
 480     write: 0
 481 - line: -1
 482   domain: '{ [S_10[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 483   schedule: '{ S_10[i, j] -> [0, i, j, 2, 0, 2] }'
 484   body:
 485     type: binary
 486     operation: =
 487     arguments:
 488     - type: access
 489       relation: '{ S_10[i, j] -> __pet_test_6[i, j] }'
 490       index: '{ S_10[i, j] -> __pet_test_6[(i), (j)] }'
 491       reference: __pet_ref_51
 492       read: 0
 493       write: 1
 494     - type: ternary
 495       arguments:
 496       - type: access
 497         relation: '{ S_10[i, j] -> __pet_test_5[i, j] }'
 498         index: '{ S_10[i, j] -> __pet_test_5[(i), (j)] }'
 499         reference: __pet_ref_52
 500         read: 1
 501         write: 0
 502       - type: access
 503         relation: '{ [S_10[i, j] -> [1]] -> __pet_test_4[i, j] }'
 504         index: '{ [S_10[i, j] -> [__pet_test_5]] -> __pet_test_4[(i), (j)] }'
 505         reference: __pet_ref_54
 506         read: 1
 507         write: 0
 508         arguments:
 509         - type: access
 510           relation: '{ S_10[i, j] -> __pet_test_5[i, j] }'
 511           index: '{ S_10[i, j] -> __pet_test_5[(i), (j)] }'
 512           reference: __pet_ref_53
 513           read: 1
 514           write: 0
 515       - type: access
 516         relation: '{ S_10[i, j] -> [0] }'
 517         index: '{ S_10[i, j] -> [(0)] }'
 518         reference: __pet_ref_55
 519         read: 1
 520         write: 0
 521   arguments:
 522   - type: access
 523     relation: '{ S_10[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 524     index: '{ S_10[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 525     reference: __pet_ref_49
 526     read: 1
 527     write: 0
 528   - type: access
 529     relation: '{ S_10[i, j] -> __pet_test_1[i, j] }'
 530     index: '{ S_10[i, j] -> __pet_test_1[(i), (j)] }'
 531     reference: __pet_ref_50
 532     read: 1
 533     write: 0
 534 - line: -1
 535   domain: '{ [S_11[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 536   schedule: '{ S_11[i, j] -> [0, i, j, 2, 0, 2] }'
 537   body:
 538     type: binary
 539     operation: =
 540     arguments:
 541     - type: access
 542       relation: '{ S_11[i, j] -> __pet_test_7[i, j] }'
 543       index: '{ S_11[i, j] -> __pet_test_7[(i), (j)] }'
 544       reference: __pet_ref_58
 545       read: 0
 546       write: 1
 547     - type: ternary
 548       arguments:
 549       - type: access
 550         relation: '{ S_11[i, j] -> __pet_test_5[i, j] }'
 551         index: '{ S_11[i, j] -> __pet_test_5[(i), (j)] }'
 552         reference: __pet_ref_59
 553         read: 1
 554         write: 0
 555       - type: access
 556         relation: '{ [S_11[i, j] -> [1]] -> __pet_test_2[i, j] }'
 557         index: '{ [S_11[i, j] -> [__pet_test_5]] -> __pet_test_2[(i), (j)] }'
 558         reference: __pet_ref_61
 559         read: 1
 560         write: 0
 561         arguments:
 562         - type: access
 563           relation: '{ S_11[i, j] -> __pet_test_5[i, j] }'
 564           index: '{ S_11[i, j] -> __pet_test_5[(i), (j)] }'
 565           reference: __pet_ref_60
 566           read: 1
 567           write: 0
 568       - type: access
 569         relation: '{ S_11[i, j] -> [0] }'
 570         index: '{ S_11[i, j] -> [(0)] }'
 571         reference: __pet_ref_62
 572         read: 1
 573         write: 0
 574   arguments:
 575   - type: access
 576     relation: '{ S_11[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 577     index: '{ S_11[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 578     reference: __pet_ref_56
 579     read: 1
 580     write: 0
 581   - type: access
 582     relation: '{ S_11[i, j] -> __pet_test_1[i, j] }'
 583     index: '{ S_11[i, j] -> __pet_test_1[(i), (j)] }'
 584     reference: __pet_ref_57
 585     read: 1
 586     write: 0
 587 - line: -1
 588   domain: '{ [S_12[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 589   schedule: '{ S_12[i, j] -> [0, i, j, 2, 1] }'
 590   body:
 591     type: binary
 592     operation: =
 593     arguments:
 594     - type: access
 595       relation: '{ S_12[i, j] -> __pet_test_8[i, j] }'
 596       index: '{ S_12[i, j] -> __pet_test_8[(i), (j)] }'
 597       reference: __pet_ref_64
 598       read: 0
 599       write: 1
 600     - type: ternary
 601       arguments:
 602       - type: access
 603         relation: '{ S_12[i, j] -> __pet_test_1[i, j] }'
 604         index: '{ S_12[i, j] -> __pet_test_1[(i), (j)] }'
 605         reference: __pet_ref_65
 606         read: 1
 607         write: 0
 608       - type: access
 609         relation: '{ S_12[i, j] -> [1] }'
 610         index: '{ S_12[i, j] -> [(1)] }'
 611         reference: __pet_ref_66
 612         read: 1
 613         write: 0
 614       - type: access
 615         relation: '{ [S_12[i, j] -> [0]] -> __pet_test_6[i, j] }'
 616         index: '{ [S_12[i, j] -> [__pet_test_1]] -> __pet_test_6[(i), (j)] }'
 617         reference: __pet_ref_68
 618         read: 1
 619         write: 0
 620         arguments:
 621         - type: access
 622           relation: '{ S_12[i, j] -> __pet_test_1[i, j] }'
 623           index: '{ S_12[i, j] -> __pet_test_1[(i), (j)] }'
 624           reference: __pet_ref_67
 625           read: 1
 626           write: 0
 627   arguments:
 628   - type: access
 629     relation: '{ S_12[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 630     index: '{ S_12[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 631     reference: __pet_ref_63
 632     read: 1
 633     write: 0
 634 - line: -1
 635   domain: '{ [S_13[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 636   schedule: '{ S_13[i, j] -> [0, i, j, 2, 1] }'
 637   body:
 638     type: binary
 639     operation: =
 640     arguments:
 641     - type: access
 642       relation: '{ S_13[i, j] -> __pet_test_9[i, j] }'
 643       index: '{ S_13[i, j] -> __pet_test_9[(i), (j)] }'
 644       reference: __pet_ref_70
 645       read: 0
 646       write: 1
 647     - type: ternary
 648       arguments:
 649       - type: access
 650         relation: '{ S_13[i, j] -> __pet_test_1[i, j] }'
 651         index: '{ S_13[i, j] -> __pet_test_1[(i), (j)] }'
 652         reference: __pet_ref_71
 653         read: 1
 654         write: 0
 655       - type: access
 656         relation: '{ S_13[i, j] -> [1] }'
 657         index: '{ S_13[i, j] -> [(1)] }'
 658         reference: __pet_ref_72
 659         read: 1
 660         write: 0
 661       - type: access
 662         relation: '{ [S_13[i, j] -> [0]] -> __pet_test_7[i, j] }'
 663         index: '{ [S_13[i, j] -> [__pet_test_1]] -> __pet_test_7[(i), (j)] }'
 664         reference: __pet_ref_74
 665         read: 1
 666         write: 0
 667         arguments:
 668         - type: access
 669           relation: '{ S_13[i, j] -> __pet_test_1[i, j] }'
 670           index: '{ S_13[i, j] -> __pet_test_1[(i), (j)] }'
 671           reference: __pet_ref_73
 672           read: 1
 673           write: 0
 674   arguments:
 675   - type: access
 676     relation: '{ S_13[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 677     index: '{ S_13[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 678     reference: __pet_ref_69
 679     read: 1
 680     write: 0
 681 - line: 25
 682   domain: '{ [S_14[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 683   schedule: '{ S_14[i, j] -> [0, i, j, 3, 0, 0] }'
 684   body:
 685     type: binary
 686     operation: =
 687     arguments:
 688     - type: access
 689       relation: '{ S_14[i, j] -> __pet_test_10[i, j] }'
 690       index: '{ S_14[i, j] -> __pet_test_10[(i), (j)] }'
 691       reference: __pet_ref_77
 692       read: 0
 693       write: 1
 694     - type: call
 695       name: f
 696   arguments:
 697   - type: access
 698     relation: '{ S_14[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 699     index: '{ S_14[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 700     reference: __pet_ref_75
 701     read: 1
 702     write: 0
 703   - type: access
 704     relation: '{ S_14[i, j] -> __pet_test_8[i, j] }'
 705     index: '{ S_14[i, j] -> __pet_test_8[(i), (j)] }'
 706     reference: __pet_ref_76
 707     read: 1
 708     write: 0
 709 - line: -1
 710   domain: '{ [S_15[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 711   schedule: '{ S_15[i, j] -> [0, i, j, 3, 1] }'
 712   body:
 713     type: binary
 714     operation: =
 715     arguments:
 716     - type: access
 717       relation: '{ S_15[i, j] -> __pet_test_11[i, j] }'
 718       index: '{ S_15[i, j] -> __pet_test_11[(i), (j)] }'
 719       reference: __pet_ref_79
 720       read: 0
 721       write: 1
 722     - type: ternary
 723       arguments:
 724       - type: access
 725         relation: '{ S_15[i, j] -> __pet_test_8[i, j] }'
 726         index: '{ S_15[i, j] -> __pet_test_8[(i), (j)] }'
 727         reference: __pet_ref_80
 728         read: 1
 729         write: 0
 730       - type: access
 731         relation: '{ S_15[i, j] -> [1] }'
 732         index: '{ S_15[i, j] -> [(1)] }'
 733         reference: __pet_ref_81
 734         read: 1
 735         write: 0
 736       - type: access
 737         relation: '{ [S_15[i, j] -> [0]] -> __pet_test_10[i, j] }'
 738         index: '{ [S_15[i, j] -> [__pet_test_8]] -> __pet_test_10[(i), (j)] }'
 739         reference: __pet_ref_83
 740         read: 1
 741         write: 0
 742         arguments:
 743         - type: access
 744           relation: '{ S_15[i, j] -> __pet_test_8[i, j] }'
 745           index: '{ S_15[i, j] -> __pet_test_8[(i), (j)] }'
 746           reference: __pet_ref_82
 747           read: 1
 748           write: 0
 749   arguments:
 750   - type: access
 751     relation: '{ S_15[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 752     index: '{ S_15[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 753     reference: __pet_ref_78
 754     read: 1
 755     write: 0
 756 - line: -1
 757   domain: '{ [S_16[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 758   schedule: '{ S_16[i, j] -> [0, i, j, 3, 1] }'
 759   body:
 760     type: binary
 761     operation: =
 762     arguments:
 763     - type: access
 764       relation: '{ S_16[i, j] -> __pet_test_12[i, j] }'
 765       index: '{ S_16[i, j] -> __pet_test_12[(i), (j)] }'
 766       reference: __pet_ref_85
 767       read: 0
 768       write: 1
 769     - type: ternary
 770       arguments:
 771       - type: access
 772         relation: '{ S_16[i, j] -> __pet_test_9[i, j] }'
 773         index: '{ S_16[i, j] -> __pet_test_9[(i), (j)] }'
 774         reference: __pet_ref_86
 775         read: 1
 776         write: 0
 777       - type: access
 778         relation: '{ S_16[i, j] -> [1] }'
 779         index: '{ S_16[i, j] -> [(1)] }'
 780         reference: __pet_ref_87
 781         read: 1
 782         write: 0
 783       - type: access
 784         relation: '{ [S_16[i, j] -> [0]] -> __pet_test_10[i, j] }'
 785         index: '{ [S_16[i, j] -> [__pet_test_9]] -> __pet_test_10[(i), (j)] }'
 786         reference: __pet_ref_89
 787         read: 1
 788         write: 0
 789         arguments:
 790         - type: access
 791           relation: '{ S_16[i, j] -> __pet_test_9[i, j] }'
 792           index: '{ S_16[i, j] -> __pet_test_9[(i), (j)] }'
 793           reference: __pet_ref_88
 794           read: 1
 795           write: 0
 796   arguments:
 797   - type: access
 798     relation: '{ S_16[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 799     index: '{ S_16[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 800     reference: __pet_ref_84
 801     read: 1
 802     write: 0
 803 - line: 27
 804   domain: '{ [S_17[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 805   schedule: '{ S_17[i, j] -> [0, i, j, 4] }'
 806   body:
 807     type: binary
 808     operation: =
 809     arguments:
 810     - type: access
 811       relation: '{ S_17[i, j] -> a[i] }'
 812       index: '{ S_17[i, j] -> a[(i)] }'
 813       reference: __pet_ref_92
 814       read: 0
 815       write: 1
 816     - type: binary
 817       operation: +
 818       arguments:
 819       - type: access
 820         relation: '{ S_17[i, j] -> [i] }'
 821         index: '{ S_17[i, j] -> [(i)] }'
 822         reference: __pet_ref_93
 823         read: 1
 824         write: 0
 825       - type: access
 826         relation: '{ S_17[i, j] -> [j] }'
 827         index: '{ S_17[i, j] -> [(j)] }'
 828         reference: __pet_ref_94
 829         read: 1
 830         write: 0
 831   arguments:
 832   - type: access
 833     relation: '{ S_17[i, j] -> __pet_test_12[i, -1 + j] : j >= 1 }'
 834     index: '{ S_17[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 835     reference: __pet_ref_90
 836     read: 1
 837     write: 0
 838   - type: access
 839     relation: '{ S_17[i, j] -> __pet_test_11[i, j] }'
 840     index: '{ S_17[i, j] -> __pet_test_11[(i), (j)] }'
 841     reference: __pet_ref_91
 842     read: 1
 843     write: 0
 844 implications:
 845 - satisfied: 0
 846   extension: '{ __pet_test_12[i, j] -> __pet_test_12[i, j''] : i >= 0 and i <= 99
 847     and j'' <= j and j'' >= 0 and j'' <= 99 }'