tests/continue3.scop

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