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: expression
  24     expr:
  25       type: op
  26       operation: =
  27       arguments:
  28       - type: access
  29         relation: '{ S_0[k] -> a[] }'
  30         index: '{ S_0[k] -> a[] }'
  31         reference: __pet_ref_1
  32         read: 0
  33         write: 1
  34       - type: int
  35         value: 5
  36   arguments:
  37   - type: access
  38     relation: '{ S_0[k] -> __pet_test_0[-1 + k] : k >= 253 }'
  39     index: '{ S_0[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
  40     reference: __pet_ref_0
  41     read: 1
  42     write: 0
  43 - line: 12
  44   domain: '{ [S_1[k] -> [0]] : k >= 252 and k <= 261 }'
  45   schedule: '{ S_1[k] -> [0, k, 1, 0] }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: =
  51       arguments:
  52       - type: access
  53         relation: '{ S_1[k] -> __pet_test_0[k] }'
  54         index: '{ S_1[k] -> __pet_test_0[(k)] }'
  55         reference: __pet_ref_3
  56         read: 0
  57         write: 1
  58       - type: call
  59         name: f
  60   arguments:
  61   - type: access
  62     relation: '{ S_1[k] -> __pet_test_0[-1 + k] : k >= 253 }'
  63     index: '{ S_1[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
  64     reference: __pet_ref_2
  65     read: 1
  66     write: 0
  67 - line: 14
  68   domain: '{ [S_2[k] -> [0]] : k >= 252 and k <= 261 }'
  69   schedule: '{ S_2[k] -> [0, k, 2] }'
  70   body:
  71     type: expression
  72     expr:
  73       type: op
  74       operation: =
  75       arguments:
  76       - type: access
  77         relation: '{ S_2[k] -> a[] }'
  78         index: '{ S_2[k] -> a[] }'
  79         reference: __pet_ref_5
  80         read: 0
  81         write: 1
  82       - type: access
  83         relation: '{ S_2[k] -> [o0] : exists (e0 = floor((-k + o0)/256): 256e0 = -k
  84           + o0 and o0 >= 0 and o0 <= 255) }'
  85         index: '{ S_2[k] -> [(k - 256*floor((k)/256))] }'
  86         reference: __pet_ref_6
  87         read: 1
  88         write: 0
  89   arguments:
  90   - type: access
  91     relation: '{ S_2[k] -> __pet_test_0[k] }'
  92     index: '{ S_2[k] -> __pet_test_0[(k)] }'
  93     reference: __pet_ref_4
  94     read: 1
  95     write: 0
  96 implications:
  97 - satisfied: 0
  98   extension: '{ __pet_test_0[k] -> __pet_test_0[k''] : k'' <= k and k'' >= 252 and
  99     k'' <= 261 }'