tests/continue3.scop

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