tests/break6.scop

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