tests/continue3.scop

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