tests/continue5.scop

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