tests/break6.scop

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