tests/continue2.scop

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