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       read: 0
  36       write: 1
  37     - type: call
  38       name: f
  39 - line: 12
  40   domain: '{ S_1[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
  41   schedule: '{ S_1[i] -> [0, i, 2] }'
  42   body:
  43     type: binary
  44     operation: =
  45     arguments:
  46     - type: access
  47       relation: '{ S_1[i] -> a[i] }'
  48       read: 0
  49       write: 1
  50     - type: access
  51       relation: '{ S_1[i] -> [i] }'
  52       read: 1
  53       write: 0
  54 - line: 13
  55   domain: '{ S_2[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
  56   schedule: '{ S_2[i] -> [0, i, 3] }'
  57   body:
  58     type: binary
  59     operation: =
  60     arguments:
  61     - type: access
  62       relation: '{ S_2[i] -> j[] }'
  63       read: 0
  64       write: 1
  65     - type: call
  66       name: f
  67 - line: 14
  68   domain: '{ S_3[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
  69   schedule: '{ S_3[i] -> [0, i, 4, 0, 0] }'
  70   body:
  71     type: binary
  72     operation: =
  73     arguments:
  74     - type: access
  75       relation: '{ S_3[i] -> __pet_test_0[i] }'
  76       read: 0
  77       write: 1
  78     - type: binary
  79       operation: ==
  80       arguments:
  81       - type: access
  82         relation: '{ S_3[i] -> j[] }'
  83         read: 1
  84         write: 0
  85       - type: access
  86         relation: '{ S_3[i] -> [0] }'
  87         read: 1
  88         write: 0
  89 - line: -1
  90   domain: '{ S_4[i] : i >= 0 and i <= 99 }'
  91   schedule: '{ S_4[i] -> [0, i, 4, 1] }'
  92   body:
  93     type: binary
  94     operation: =
  95     arguments:
  96     - type: access
  97       relation: '{ S_4[i] -> __pet_test_1[i] }'
  98       read: 0
  99       write: 1
 100     - type: ternary
 101       arguments:
 102       - type: access
 103         relation: '{ S_4[i] -> [0] : i >= 58 or i <= 56; S_4[57] -> [1] }'
 104         read: 1
 105         write: 0
 106       - type: access
 107         relation: '{ S_4[i] -> [1] }'
 108         read: 1
 109         write: 0
 110       - type: access
 111         relation: '{ S_4[i] -> __pet_test_0[i] : i >= 58 or i <= 56 }'
 112         read: 1
 113         write: 0
 114 - line: 16
 115   domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
 116   schedule: '{ S_5[i] -> [0, i, 5] }'
 117   body:
 118     type: binary
 119     operation: =
 120     arguments:
 121     - type: access
 122       relation: '{ S_5[i] -> a[i] }'
 123       read: 0
 124       write: 1
 125     - type: binary
 126       operation: +
 127       arguments:
 128       - type: access
 129         relation: '{ S_5[i] -> a[i] }'
 130         read: 1
 131         write: 0
 132       - type: access
 133         relation: '{ S_5[i] -> [1] }'
 134         read: 1
 135         write: 0
 136   arguments:
 137   - type: access
 138     relation: '{ S_5[i] -> __pet_test_1[i] }'
 139     read: 1
 140     write: 0