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