tests/continue4.scop

   1 start: 47
   2 end: 216
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
   7   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   8   element_type: int
   9   element_size: 4
  10   uniquely_defined: 1
  11 - context: '{  :  }'
  12   extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
  13   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  14   element_type: int
  15   element_size: 4
  16   uniquely_defined: 1
  17 - context: '{  :  }'
  18   extent: '{ j[] }'
  19   element_type: int
  20   element_size: 4
  21 - context: '{  :  }'
  22   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  23   element_type: int
  24   element_size: 4
  25 statements:
  26 - line: 9
  27   domain: '{ S_0[i] : i >= 0 and i <= 99 }'
  28   schedule: '{ S_0[i] -> [0, i, 0] }'
  29   body:
  30     type: binary
  31     operation: =
  32     arguments:
  33     - type: access
  34       relation: '{ S_0[i] -> j[] }'
  35       index: '{ S_0[i] -> j[] }'
  36       reference: __pet_ref_0
  37       read: 0
  38       write: 1
  39     - type: call
  40       name: f
  41 - line: 10
  42   domain: '{ S_1[i] : i >= 0 and i <= 99 }'
  43   schedule: '{ S_1[i] -> [0, i, 1, 0] }'
  44   body:
  45     type: binary
  46     operation: =
  47     arguments:
  48     - type: access
  49       relation: '{ S_1[i] -> __pet_test_0[i] }'
  50       index: '{ S_1[i] -> __pet_test_0[(i)] }'
  51       reference: __pet_ref_1
  52       read: 0
  53       write: 1
  54     - type: binary
  55       operation: ==
  56       arguments:
  57       - type: access
  58         relation: '{ S_1[i] -> j[] }'
  59         index: '{ S_1[i] -> j[] }'
  60         reference: __pet_ref_2
  61         read: 1
  62         write: 0
  63       - type: access
  64         relation: '{ S_1[i] -> [0] }'
  65         index: '{ S_1[i] -> [(0)] }'
  66         reference: __pet_ref_3
  67         read: 1
  68         write: 0
  69 - line: 12
  70   domain: '{ [S_2[i] -> [0]] : i >= 0 and i <= 99 }'
  71   schedule: '{ S_2[i] -> [0, i, 2] }'
  72   body:
  73     type: binary
  74     operation: =
  75     arguments:
  76     - type: access
  77       relation: '{ S_2[i] -> a[i] }'
  78       index: '{ S_2[i] -> a[(i)] }'
  79       reference: __pet_ref_5
  80       read: 0
  81       write: 1
  82     - type: access
  83       relation: '{ S_2[i] -> [i] }'
  84       index: '{ S_2[i] -> [(i)] }'
  85       reference: __pet_ref_6
  86       read: 1
  87       write: 0
  88   arguments:
  89   - type: access
  90     relation: '{ S_2[i] -> __pet_test_0[i] }'
  91     index: '{ S_2[i] -> __pet_test_0[(i)] }'
  92     reference: __pet_ref_4
  93     read: 1
  94     write: 0
  95 - line: 13
  96   domain: '{ [S_3[i] -> [0]] : i >= 0 and i <= 99 }'
  97   schedule: '{ S_3[i] -> [0, i, 3] }'
  98   body:
  99     type: binary
 100     operation: =
 101     arguments:
 102     - type: access
 103       relation: '{ S_3[i] -> j[] }'
 104       index: '{ S_3[i] -> j[] }'
 105       reference: __pet_ref_8
 106       read: 0
 107       write: 1
 108     - type: call
 109       name: f
 110   arguments:
 111   - type: access
 112     relation: '{ S_3[i] -> __pet_test_0[i] }'
 113     index: '{ S_3[i] -> __pet_test_0[(i)] }'
 114     reference: __pet_ref_7
 115     read: 1
 116     write: 0
 117 - line: -1
 118   domain: '{ S_4[i] : i >= 0 and i <= 99 }'
 119   schedule: '{ S_4[i] -> [0, i, 4, 1] }'
 120   body:
 121     type: binary
 122     operation: =
 123     arguments:
 124     - type: access
 125       relation: '{ S_4[i] -> __pet_test_1[i] }'
 126       index: '{ S_4[i] -> __pet_test_1[(i)] }'
 127       reference: __pet_ref_9
 128       read: 0
 129       write: 1
 130     - type: ternary
 131       arguments:
 132       - type: access
 133         relation: '{ S_4[i] -> __pet_test_0[i] }'
 134         index: '{ S_4[i] -> __pet_test_0[(i)] }'
 135         reference: __pet_ref_10
 136         read: 1
 137         write: 0
 138       - type: access
 139         relation: '{ S_4[i] -> [1] }'
 140         index: '{ S_4[i] -> [(1)] }'
 141         reference: __pet_ref_11
 142         read: 1
 143         write: 0
 144       - type: access
 145         relation: '{ [S_4[i] -> [0]] -> [0] : i >= 58 or i <= 56; [S_4[57] -> [0]]
 146           -> [1] }'
 147         index: '{ [S_4[i] -> [__pet_test_0]] -> [((1) : i = 57 and __pet_test_0 =
 148           0; (0) : (__pet_test_0 = 0 and i <= 56) or (__pet_test_0 = 0 and i >= 58))]
 149           }'
 150         reference: __pet_ref_13
 151         read: 1
 152         write: 0
 153         arguments:
 154         - type: access
 155           relation: '{ S_4[i] -> __pet_test_0[i] }'
 156           index: '{ S_4[i] -> __pet_test_0[(i)] }'
 157           reference: __pet_ref_12
 158           read: 1
 159           write: 0
 160 - line: 16
 161   domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
 162   schedule: '{ S_5[i] -> [0, i, 5] }'
 163   body:
 164     type: binary
 165     operation: =
 166     arguments:
 167     - type: access
 168       relation: '{ S_5[i] -> a[i] }'
 169       index: '{ S_5[i] -> a[(i)] }'
 170       reference: __pet_ref_15
 171       read: 0
 172       write: 1
 173     - type: binary
 174       operation: +
 175       arguments:
 176       - type: access
 177         relation: '{ S_5[i] -> a[i] }'
 178         index: '{ S_5[i] -> a[(i)] }'
 179         reference: __pet_ref_16
 180         read: 1
 181         write: 0
 182       - type: access
 183         relation: '{ S_5[i] -> [1] }'
 184         index: '{ S_5[i] -> [(1)] }'
 185         reference: __pet_ref_17
 186         read: 1
 187         write: 0
 188   arguments:
 189   - type: access
 190     relation: '{ S_5[i] -> __pet_test_1[i] }'
 191     index: '{ S_5[i] -> __pet_test_1[(i)] }'
 192     reference: __pet_ref_14
 193     read: 1
 194     write: 0