tests/continue2.scop

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