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