tests/unsigned_break2.scop

   1 start: 50
   2 end: 172
   3 indent: "\t"
   4 context: '{  :  }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '{ __pet_test_0[k] : k >= 252 and k <= 261 }'
   8   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   9   element_type: int
  10   element_size: 4
  11   uniquely_defined: 1
  12 - context: '{  :  }'
  13   extent: '{ a[] }'
  14   element_type: int
  15   element_size: 4
  16 statements:
  17 - line: 11
  18   domain: '{ [S_0[k] -> [0]] : (exists (e0 = floor((k)/256): 256e0 = k and k <= 261
  19     and k >= 252)) or (exists (e0 = floor((k)/256): k <= 261 and k >= 252 and 256e0
  20     >= -255 + k and 256e0 <= -2 + k)) }'
  21   schedule: '{ S_0[k] -> [0, k, 0] }'
  22   body:
  23     type: op
  24     operation: =
  25     arguments:
  26     - type: access
  27       relation: '{ S_0[k] -> a[] }'
  28       index: '{ S_0[k] -> a[] }'
  29       reference: __pet_ref_1
  30       read: 0
  31       write: 1
  32     - type: int
  33       value: 5
  34   arguments:
  35   - type: access
  36     relation: '{ S_0[k] -> __pet_test_0[-1 + k] : k >= 253 }'
  37     index: '{ S_0[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
  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: op
  46     operation: =
  47     arguments:
  48     - type: access
  49       relation: '{ S_1[k] -> __pet_test_0[k] }'
  50       index: '{ S_1[k] -> __pet_test_0[(k)] }'
  51       reference: __pet_ref_3
  52       read: 0
  53       write: 1
  54     - type: call
  55       name: f
  56   arguments:
  57   - type: access
  58     relation: '{ S_1[k] -> __pet_test_0[-1 + k] : k >= 253 }'
  59     index: '{ S_1[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
  60     reference: __pet_ref_2
  61     read: 1
  62     write: 0
  63 - line: 14
  64   domain: '{ [S_2[k] -> [0]] : k >= 252 and k <= 261 }'
  65   schedule: '{ S_2[k] -> [0, k, 2] }'
  66   body:
  67     type: op
  68     operation: =
  69     arguments:
  70     - type: access
  71       relation: '{ S_2[k] -> a[] }'
  72       index: '{ S_2[k] -> a[] }'
  73       reference: __pet_ref_5
  74       read: 0
  75       write: 1
  76     - type: access
  77       relation: '{ S_2[k] -> [o0] : exists (e0 = floor((-k + o0)/256): 256e0 = -k
  78         + o0 and o0 >= 0 and o0 <= 255) }'
  79       index: '{ S_2[k] -> [(k - 256*floor((k)/256))] }'
  80       reference: __pet_ref_6
  81       read: 1
  82       write: 0
  83   arguments:
  84   - type: access
  85     relation: '{ S_2[k] -> __pet_test_0[k] }'
  86     index: '{ S_2[k] -> __pet_test_0[(k)] }'
  87     reference: __pet_ref_4
  88     read: 1
  89     write: 0
  90 implications:
  91 - satisfied: 0
  92   extension: '{ __pet_test_0[k] -> __pet_test_0[k''] : k'' <= k and k'' >= 252 and
  93     k'' <= 261 }'