tests/continue5.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
   5   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   6   element_type: int
   7   element_size: 4
   8   uniquely_defined: 1
   9 - context: '{  :  }'
  10   extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
  11   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  12   element_type: int
  13   element_size: 4
  14   uniquely_defined: 1
  15 - context: '{  :  }'
  16   extent: '{ j[] }'
  17   element_type: int
  18   element_size: 4
  19 - context: '{  :  }'
  20   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  21   element_type: int
  22   element_size: 4
  23 statements:
  24 - line: 9
  25   domain: '{ S_0[i] : i >= 0 and i <= 99 }'
  26   schedule: '{ S_0[i] -> [0, i, 0] }'
  27   body:
  28     type: binary
  29     operation: =
  30     arguments:
  31     - type: access
  32       relation: '{ S_0[i] -> j[] }'
  33       read: 0
  34       write: 1
  35     - type: call
  36       name: f
  37 - line: 12
  38   domain: '{ S_1[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
  39   schedule: '{ S_1[i] -> [0, i, 2] }'
  40   body:
  41     type: binary
  42     operation: =
  43     arguments:
  44     - type: access
  45       relation: '{ S_1[i] -> a[i] }'
  46       read: 0
  47       write: 1
  48     - type: access
  49       relation: '{ S_1[i] -> [i] }'
  50       read: 1
  51       write: 0
  52 - line: 13
  53   domain: '{ S_2[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
  54   schedule: '{ S_2[i] -> [0, i, 3] }'
  55   body:
  56     type: binary
  57     operation: =
  58     arguments:
  59     - type: access
  60       relation: '{ S_2[i] -> j[] }'
  61       read: 0
  62       write: 1
  63     - type: call
  64       name: f
  65 - line: 14
  66   domain: '{ S_3[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
  67   schedule: '{ S_3[i] -> [0, i, 4, 0, 0] }'
  68   body:
  69     type: binary
  70     operation: =
  71     arguments:
  72     - type: access
  73       relation: '{ S_3[i] -> __pet_test_0[i] }'
  74       read: 0
  75       write: 1
  76     - type: binary
  77       operation: ==
  78       arguments:
  79       - type: access
  80         relation: '{ S_3[i] -> j[] }'
  81         read: 1
  82         write: 0
  83       - type: access
  84         relation: '{ S_3[i] -> [0] }'
  85         read: 1
  86         write: 0
  87 - line: -1
  88   domain: '{ S_4[i] : i >= 0 and i <= 99 }'
  89   schedule: '{ S_4[i] -> [0, i, 4, 1] }'
  90   body:
  91     type: binary
  92     operation: =
  93     arguments:
  94     - type: access
  95       relation: '{ S_4[i] -> __pet_test_1[i] }'
  96       read: 0
  97       write: 1
  98     - type: ternary
  99       arguments:
 100       - type: access
 101         relation: '{ S_4[i] -> [0] : i <= 56 or i >= 58; S_4[57] -> [1] }'
 102         read: 1
 103         write: 0
 104       - type: access
 105         relation: '{ S_4[i] -> [1] }'
 106         read: 1
 107         write: 0
 108       - type: access
 109         relation: '{ S_4[i] -> __pet_test_0[i] : i >= 58 or i <= 56 }'
 110         read: 1
 111         write: 0
 112 - line: 16
 113   domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
 114   schedule: '{ S_5[i] -> [0, i, 5] }'
 115   body:
 116     type: binary
 117     operation: =
 118     arguments:
 119     - type: access
 120       relation: '{ S_5[i] -> a[i] }'
 121       read: 0
 122       write: 1
 123     - type: binary
 124       operation: +
 125       arguments:
 126       - type: access
 127         relation: '{ S_5[i] -> a[i] }'
 128         read: 1
 129         write: 0
 130       - type: access
 131         relation: '{ S_5[i] -> [1] }'
 132         read: 1
 133         write: 0
 134   arguments:
 135   - type: access
 136     relation: '{ S_5[i] -> __pet_test_1[i] }'
 137     read: 1
 138     write: 0