tests/unsigned_break2.scop

   1 start: 50
   2 end: 172
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ __pet_test_0[k] : k >= 252 and k <= 261 }'
   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: '{ a[] }'
  13   element_type: int
  14   element_size: 4
  15 statements:
  16 - line: 11
  17   domain: '{ [S_0[k] -> [0]] : (exists (e0 = [(k)/256]: 256e0 = k and k >= 252 and
  18     k <= 261)) or (exists (e0 = [(257 - k)/256]: k >= 252 and k <= 261 and 256e0 >=
  19     2 - k and 256e0 <= 255 - k)) }'
  20   schedule: '{ S_0[k] -> [0, k, 0] }'
  21   body:
  22     type: binary
  23     operation: =
  24     arguments:
  25     - type: access
  26       relation: '{ S_0[k] -> a[] }'
  27       reference: __pet_ref_1
  28       read: 0
  29       write: 1
  30     - type: access
  31       relation: '{ S_0[k] -> [5] }'
  32       reference: __pet_ref_2
  33       read: 1
  34       write: 0
  35   arguments:
  36   - type: access
  37     relation: '{ S_0[k] -> __pet_test_0[o0] : o0 <= -1 + k and o0 >= 252 }'
  38     reference: __pet_ref_0
  39     read: 1
  40     write: 0
  41 - line: 12
  42   domain: '{ [S_1[k] -> [0]] : k >= 252 and k <= 261 }'
  43   schedule: '{ S_1[k] -> [0, k, 1, 0] }'
  44   body:
  45     type: binary
  46     operation: =
  47     arguments:
  48     - type: access
  49       relation: '{ S_1[k] -> __pet_test_0[k] }'
  50       reference: __pet_ref_4
  51       read: 0
  52       write: 1
  53     - type: call
  54       name: f
  55   arguments:
  56   - type: access
  57     relation: '{ S_1[k] -> __pet_test_0[o0] : o0 <= -1 + k and o0 >= 252 }'
  58     reference: __pet_ref_3
  59     read: 1
  60     write: 0
  61 - line: 14
  62   domain: '{ [S_2[k] -> [0]] : k >= 252 and k <= 261 }'
  63   schedule: '{ S_2[k] -> [0, k, 2] }'
  64   body:
  65     type: binary
  66     operation: =
  67     arguments:
  68     - type: access
  69       relation: '{ S_2[k] -> a[] }'
  70       reference: __pet_ref_6
  71       read: 0
  72       write: 1
  73     - type: access
  74       relation: '{ S_2[k] -> [o0] : exists (e0 = [(-k + o0)/256]: 256e0 = -k + o0
  75         and o0 >= 0 and o0 <= 255) }'
  76       reference: __pet_ref_7
  77       read: 1
  78       write: 0
  79   arguments:
  80   - type: access
  81     relation: '{ S_2[k] -> __pet_test_0[o0] : o0 <= -1 + k and o0 >= 252; S_2[k] ->
  82       __pet_test_0[k] }'
  83     reference: __pet_ref_5
  84     read: 1
  85     write: 0