tests/unsigned_break1.scop

   1 start: 40
   2 end: 150
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; S_0[k] : k <= 257 and k >= 252; S_2[]; S_1[k] : exists
   6   (e0 = floor((-1 + k)/256): k <= 257 and k >= 252 and 256e0 >= -256 + k and 256e0
   7   <= -2 + k) }", child: { sequence: [ { filter: "{ S_0[k]; S_1[k] }", child: { schedule:
   8   "L_0[{ S_0[k] -> [(k)]; S_1[k] -> [(k)] }]", child: { sequence: [ { filter: "{ S_0[k]
   9   }" }, { filter: "{ S_1[k] }" } ] } } }, { filter: "{ S_3[]; S_2[] }", child: { set:
  10   [ { filter: "{ S_2[] }" }, { filter: "{ S_3[] }" } ] } } ] } }'
  11 arrays:
  12 - context: '{  :  }'
  13   extent: '{ a[] }'
  14   element_type: int
  15   element_size: 4
  16 - context: '{  :  }'
  17   extent: '{ k[] }'
  18   element_type: unsigned char
  19   element_size: 1
  20 statements:
  21 - line: 8
  22   domain: '{ S_0[k] : k <= 257 and k >= 252 }'
  23   body:
  24     type: expression
  25     expr:
  26       type: op
  27       operation: =
  28       arguments:
  29       - type: access
  30         index: '{ S_0[k] -> a[] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: int
  35         value: 5
  36 - line: 11
  37   domain: '{ S_1[k] : exists (e0 = floor((-1 + k)/256): k <= 257 and k >= 252 and
  38     256e0 >= -256 + k and 256e0 <= -2 + k) }'
  39   body:
  40     type: expression
  41     expr:
  42       type: op
  43       operation: =
  44       arguments:
  45       - type: access
  46         index: '{ S_1[k] -> a[] }'
  47         reference: __pet_ref_1
  48         read: 0
  49         write: 1
  50       - type: int
  51         value: 6
  52 - line: -1
  53   domain: '{ S_2[] }'
  54   body:
  55     type: expression
  56     expr:
  57       type: op
  58       operation: kill
  59       arguments:
  60       - type: access
  61         killed: '{ S_2[] -> k[] }'
  62         index: '{ S_2[] -> k[] }'
  63         reference: __pet_ref_2
  64         kill: 1
  65 - line: -1
  66   domain: '{ S_3[] }'
  67   body:
  68     type: expression
  69     expr:
  70       type: op
  71       operation: kill
  72       arguments:
  73       - type: access
  74         killed: '{ S_3[] -> a[] }'
  75         index: '{ S_3[] -> a[] }'
  76         reference: __pet_ref_3
  77         kill: 1