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