tests/continue2.scop

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