tests/unsigned_break1.scop

   1 start: 40
   2 end: 150
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[k] : 252 <= k <= 257 and 256*floor((-1 + k)/256) <= -2
   6   + k; S_0[]; S_5[]; S_2[k] : 252 <= k <= 257 and 256*floor((-1 + k)/256) <= -2 +
   7   k; S_4[]; S_1[k] : 252 <= k <= 257 }", child: { sequence: [ { filter: "{ S_0[] }"
   8   }, { filter: "{ S_3[k]; S_2[k]; S_1[k] }", child: { schedule: "L_0[{ S_2[k] -> [(k)];
   9   S_3[k] -> [(k)]; S_1[k] -> [(k)] }]", child: { sequence: [ { filter: "{ S_1[k] }"
  10   }, { filter: "{ S_2[k] }" }, { filter: "{ S_3[k] }" } ] } } }, { filter: "{ S_5[];
  11   S_4[] }", child: { set: [ { filter: "{ S_4[] }" }, { filter: "{ S_5[] }" } ] } }
  12   ] } }'
  13 arrays:
  14 - context: '{  :  }'
  15   extent: '{ a[] }'
  16   element_type: int
  17   element_size: 4
  18 - context: '{  :  }'
  19   extent: '{ k[] }'
  20   element_type: unsigned char
  21   element_size: 1
  22 statements:
  23 - line: 7
  24   domain: '{ S_0[] }'
  25   body:
  26     type: expression
  27     expr:
  28       type: op
  29       operation: =
  30       arguments:
  31       - type: access
  32         index: '{ S_0[] -> k[] }'
  33         reference: __pet_ref_0
  34         read: 0
  35         write: 1
  36       - type: int
  37         value: 252
  38 - line: 8
  39   domain: '{ S_1[k] : 252 <= k <= 257 }'
  40   body:
  41     type: expression
  42     expr:
  43       type: op
  44       operation: =
  45       arguments:
  46       - type: access
  47         index: '{ S_1[k] -> a[] }'
  48         reference: __pet_ref_1
  49         read: 0
  50         write: 1
  51       - type: int
  52         value: 5
  53 - line: 11
  54   domain: '{ S_2[k] : 252 <= k <= 257 and 256*floor((-1 + k)/256) <= -2 + k }'
  55   body:
  56     type: expression
  57     expr:
  58       type: op
  59       operation: =
  60       arguments:
  61       - type: access
  62         index: '{ S_2[k] -> a[] }'
  63         reference: __pet_ref_2
  64         read: 0
  65         write: 1
  66       - type: int
  67         value: 6
  68 - line: 7
  69   domain: '{ S_3[k] : 252 <= k <= 257 and 256*floor((-1 + k)/256) <= -2 + k }'
  70   body:
  71     type: expression
  72     expr:
  73       type: op
  74       operation: =
  75       arguments:
  76       - type: access
  77         index: '{ S_3[k] -> k[] }'
  78         reference: __pet_ref_3
  79         read: 0
  80         write: 1
  81       - type: access
  82         index: '{ S_3[k] -> [(1 + k - 256*floor((1 + k)/256))] }'
  83         reference: __pet_ref_4
  84         read: 1
  85         write: 0
  86 - line: -1
  87   domain: '{ S_4[] }'
  88   body:
  89     type: expression
  90     expr:
  91       type: op
  92       operation: kill
  93       arguments:
  94       - type: access
  95         killed: '{ S_4[] -> k[] }'
  96         index: '{ S_4[] -> k[] }'
  97         reference: __pet_ref_5
  98         kill: 1
  99 - line: -1
 100   domain: '{ S_5[] }'
 101   body:
 102     type: expression
 103     expr:
 104       type: op
 105       operation: kill
 106       arguments:
 107       - type: access
 108         killed: '{ S_5[] -> a[] }'
 109         index: '{ S_5[] -> a[] }'
 110         reference: __pet_ref_6
 111         kill: 1