tests/break4.scop

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