tests/continue3.scop

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