tests/tobi1.scop

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