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