tests/continue3.scop

   1 start: 47
   2 end: 215
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i] : i >= 0 and i <= 99; S_5[i] : i >= 0 and i <= 99;
   6   S_6[i] : i >= 0 and i <= 99; S_7[]; S_2[i] : i >= 0 and i <= 99; S_8[]; S_4[i] :
   7   i >= 0 and i <= 99; S_9[]; S_0[i] : i >= 0 and i <= 99; S_1[i] : i >= 0 and i <=
   8   99 }", child: { sequence: [ { filter: "{ S_3[i]; S_5[i]; S_6[i]; S_2[i]; S_4[i];
   9   S_0[i]; S_1[i] }", child: { schedule: "L_0[{ S_6[i] -> [(i)]; S_0[i] -> [(i)]; S_1[i]
  10   -> [(i)]; S_3[i] -> [(i)]; S_4[i] -> [(i)]; S_5[i] -> [(i)]; S_2[i] -> [(i)] }]",
  11   child: { sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter:
  12   "{ S_2[i] }" }, { filter: "{ S_3[i] }" }, { filter: "{ S_4[i] }" }, { filter: "{
  13   S_5[i] }" }, { filter: "{ S_6[i] }" } ] } } }, { filter: "{ S_7[]; S_8[]; S_9[]
  14   }", child: { set: [ { filter: "{ S_7[] }" }, { filter: "{ S_8[] }" }, { filter:
  15   "{ S_9[] }" } ] } } ] } }'
  16 arrays:
  17 - context: '{  :  }'
  18   extent: '{ __pet_test_0[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_1[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: '{ __pet_test_2[i] : i >= 0 and i <= 99 }'
  31   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  32   element_type: int
  33   element_size: 4
  34   uniquely_defined: 1
  35 - context: '{  :  }'
  36   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  37   element_type: int
  38   element_size: 4
  39 - context: '{  :  }'
  40   extent: '{ i[] }'
  41   element_type: int
  42   element_size: 4
  43 - context: '{  :  }'
  44   extent: '{ j[] }'
  45   element_type: int
  46   element_size: 4
  47 statements:
  48 - line: 9
  49   domain: '{ S_0[i] : i >= 0 and i <= 99 }'
  50   body:
  51     type: expression
  52     expr:
  53       type: op
  54       operation: =
  55       arguments:
  56       - type: access
  57         index: '{ S_0[i] -> j[] }'
  58         reference: __pet_ref_0
  59         read: 0
  60         write: 1
  61       - type: call
  62         name: f
  63 - line: 10
  64   domain: '{ S_1[i] : i >= 0 and i <= 99 }'
  65   body:
  66     type: expression
  67     expr:
  68       type: op
  69       operation: =
  70       arguments:
  71       - type: access
  72         index: '{ S_1[i] -> __pet_test_0[(i)] }'
  73         reference: __pet_ref_1
  74         read: 0
  75         write: 1
  76       - type: op
  77         operation: ==
  78         arguments:
  79         - type: access
  80           index: '{ S_1[i] -> j[] }'
  81           reference: __pet_ref_2
  82           read: 1
  83           write: 0
  84         - type: int
  85           value: 0
  86 - line: 12
  87   domain: '{ [S_2[i] -> [0]] : i >= 0 and i <= 99 }'
  88   body:
  89     type: expression
  90     expr:
  91       type: op
  92       operation: =
  93       arguments:
  94       - type: access
  95         index: '{ S_2[i] -> a[(i)] }'
  96         reference: __pet_ref_4
  97         read: 0
  98         write: 1
  99       - type: access
 100         index: '{ S_2[i] -> [(i)] }'
 101         reference: __pet_ref_5
 102         read: 1
 103         write: 0
 104   arguments:
 105   - type: access
 106     index: '{ S_2[i] -> __pet_test_0[(i)] }'
 107     reference: __pet_ref_3
 108     read: 1
 109     write: 0
 110 - line: 13
 111   domain: '{ [S_3[i] -> [0]] : i >= 0 and i <= 99 }'
 112   body:
 113     type: expression
 114     expr:
 115       type: op
 116       operation: =
 117       arguments:
 118       - type: access
 119         index: '{ S_3[i] -> j[] }'
 120         reference: __pet_ref_7
 121         read: 0
 122         write: 1
 123       - type: call
 124         name: f
 125   arguments:
 126   - type: access
 127     index: '{ S_3[i] -> __pet_test_0[(i)] }'
 128     reference: __pet_ref_6
 129     read: 1
 130     write: 0
 131 - line: 14
 132   domain: '{ [S_4[i] -> [0]] : i >= 0 and i <= 99 }'
 133   body:
 134     type: expression
 135     expr:
 136       type: op
 137       operation: =
 138       arguments:
 139       - type: access
 140         index: '{ S_4[i] -> __pet_test_1[(i)] }'
 141         reference: __pet_ref_9
 142         read: 0
 143         write: 1
 144       - type: op
 145         operation: ==
 146         arguments:
 147         - type: access
 148           index: '{ S_4[i] -> j[] }'
 149           reference: __pet_ref_10
 150           read: 1
 151           write: 0
 152         - type: int
 153           value: 0
 154   arguments:
 155   - type: access
 156     index: '{ S_4[i] -> __pet_test_0[(i)] }'
 157     reference: __pet_ref_8
 158     read: 1
 159     write: 0
 160 - line: -1
 161   domain: '{ S_5[i] : i >= 0 and i <= 99 }'
 162   body:
 163     type: expression
 164     expr:
 165       type: op
 166       operation: =
 167       arguments:
 168       - type: access
 169         index: '{ S_5[i] -> __pet_test_2[(i)] }'
 170         reference: __pet_ref_11
 171         read: 0
 172         write: 1
 173       - type: op
 174         operation: '?:'
 175         arguments:
 176         - type: access
 177           index: '{ S_5[i] -> __pet_test_0[(i)] }'
 178           reference: __pet_ref_12
 179           read: 1
 180           write: 0
 181         - type: access
 182           index: '{ S_5[i] -> [(1)] }'
 183           reference: __pet_ref_13
 184           read: 1
 185           write: 0
 186         - type: access
 187           may_read: '{ [S_5[i] -> [0]] -> __pet_test_1[i] }'
 188           index: '{ [S_5[i] -> [__pet_test_0]] -> __pet_test_1[(i)] }'
 189           reference: __pet_ref_15
 190           read: 1
 191           write: 0
 192           arguments:
 193           - type: access
 194             index: '{ S_5[i] -> __pet_test_0[(i)] }'
 195             reference: __pet_ref_14
 196             read: 1
 197             write: 0
 198 - line: 16
 199   domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 99 }'
 200   body:
 201     type: expression
 202     expr:
 203       type: op
 204       operation: =
 205       arguments:
 206       - type: access
 207         index: '{ S_6[i] -> a[(i)] }'
 208         reference: __pet_ref_17
 209         read: 0
 210         write: 1
 211       - type: op
 212         operation: +
 213         arguments:
 214         - type: access
 215           index: '{ S_6[i] -> a[(i)] }'
 216           reference: __pet_ref_18
 217           read: 1
 218           write: 0
 219         - type: int
 220           value: 1
 221   arguments:
 222   - type: access
 223     index: '{ S_6[i] -> __pet_test_2[(i)] }'
 224     reference: __pet_ref_16
 225     read: 1
 226     write: 0
 227 - line: -1
 228   domain: '{ S_7[] }'
 229   body:
 230     type: expression
 231     expr:
 232       type: op
 233       operation: kill
 234       arguments:
 235       - type: access
 236         killed: '{ S_7[] -> i[] }'
 237         index: '{ S_7[] -> i[] }'
 238         reference: __pet_ref_19
 239         kill: 1
 240 - line: -1
 241   domain: '{ S_8[] }'
 242   body:
 243     type: expression
 244     expr:
 245       type: op
 246       operation: kill
 247       arguments:
 248       - type: access
 249         killed: '{ S_8[] -> j[] }'
 250         index: '{ S_8[] -> j[] }'
 251         reference: __pet_ref_20
 252         kill: 1
 253 - line: -1
 254   domain: '{ S_9[] }'
 255   body:
 256     type: expression
 257     expr:
 258       type: op
 259       operation: kill
 260       arguments:
 261       - type: access
 262         killed: '{ S_9[] -> a[o0] : o0 >= 0 and o0 <= 99 }'
 263         index: '{ S_9[] -> a[] }'
 264         depth: 1
 265         reference: __pet_ref_21
 266         kill: 1