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         index: '{ S_0[k] -> a[] }'
  30         reference: __pet_ref_1
  31         read: 0
  32         write: 1
  33       - type: int
  34         value: 5
  35   arguments:
  36   - type: access
  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: expression
  46     expr:
  47       type: op
  48       operation: =
  49       arguments:
  50       - type: access
  51         index: '{ S_1[k] -> __pet_test_0[(k)] }'
  52         reference: __pet_ref_3
  53         read: 0
  54         write: 1
  55       - type: call
  56         name: f
  57   arguments:
  58   - type: access
  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: expression
  68     expr:
  69       type: op
  70       operation: =
  71       arguments:
  72       - type: access
  73         index: '{ S_2[k] -> a[] }'
  74         reference: __pet_ref_5
  75         read: 0
  76         write: 1
  77       - type: access
  78         index: '{ S_2[k] -> [(k - 256*floor((k)/256))] }'
  79         reference: __pet_ref_6
  80         read: 1
  81         write: 0
  82   arguments:
  83   - type: access
  84     index: '{ S_2[k] -> __pet_test_0[(k)] }'
  85     reference: __pet_ref_4
  86     read: 1
  87     write: 0
  88 implications:
  89 - satisfied: 0
  90   extension: '{ __pet_test_0[k] -> __pet_test_0[k''] : k'' <= k and k'' >= 252 and
  91     k'' <= 261 }'