tests/unsigned_break1.scop

   1 start: 40
   2 end: 150
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[k] : k <= 257 and k >= 252; S_1[k] : exists (e0 = floor((-1
   6   + k)/256): k <= 257 and k >= 252 and 256e0 >= -256 + k and 256e0 <= -2 + k) }",
   7   child: { schedule: "L_0[{ S_0[k] -> [(k)]; S_1[k] -> [(k)] }]", child: { sequence:
   8   [ { filter: "{ S_0[k] }" }, { filter: "{ S_1[k] }" } ] } } }'
   9 arrays:
  10 - context: '{  :  }'
  11   extent: '{ a[] }'
  12   element_type: int
  13   element_size: 4
  14 statements:
  15 - line: 8
  16   domain: '{ S_0[k] : k <= 257 and k >= 252 }'
  17   body:
  18     type: expression
  19     expr:
  20       type: op
  21       operation: =
  22       arguments:
  23       - type: access
  24         index: '{ S_0[k] -> a[] }'
  25         reference: __pet_ref_0
  26         read: 0
  27         write: 1
  28       - type: int
  29         value: 5
  30 - line: 11
  31   domain: '{ S_1[k] : exists (e0 = floor((-1 + k)/256): k <= 257 and k >= 252 and
  32     256e0 >= -256 + k and 256e0 <= -2 + k) }'
  33   body:
  34     type: expression
  35     expr:
  36       type: op
  37       operation: =
  38       arguments:
  39       - type: access
  40         index: '{ S_1[k] -> a[] }'
  41         reference: __pet_ref_1
  42         read: 0
  43         write: 1
  44       - type: int
  45         value: 6