tests/struct1.scop

   1 start: 50
   2 end: 89
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
   6   }, { filter: "{ S_1[] }" } ] } }'
   7 types:
   8 - name: s
   9   definition: "struct s {\n    int a;\n}"
  10 arrays:
  11 - context: '{  :  }'
  12   extent: '{ s[] }'
  13   element_type: struct s
  14   element_size: 4
  15   element_is_record: 1
  16   outer: 1
  17 - context: '{  :  }'
  18   extent: '{ s_a[s[] -> a[]] }'
  19   element_type: int
  20   element_size: 4
  21 statements:
  22 - line: 10
  23   domain: '{ S_0[] }'
  24   body:
  25     type: expression
  26     expr:
  27       type: op
  28       operation: =
  29       arguments:
  30       - type: access
  31         index: '{ S_0[] -> s_a[s[] -> a[]] }'
  32         reference: __pet_ref_0
  33         read: 0
  34         write: 1
  35       - type: int
  36         value: 5
  37 - line: -1
  38   domain: '{ S_1[] }'
  39   body:
  40     type: expression
  41     expr:
  42       type: op
  43       operation: kill
  44       arguments:
  45       - type: access
  46         killed: '{ S_1[] -> s[] }'
  47         index: '{ S_1[] -> s[] }'
  48         reference: __pet_ref_1
  49         kill: 1