tests/unsigned_break2.scop

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