tests/continue2.scop

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