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 - context: '{  :  }'
  17   extent: '{ s_a[s[] -> a[]] }'
  18   element_type: int
  19   element_size: 4
  20 statements:
  21 - line: 10
  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[] -> s_a[s[] -> a[]] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: int
  35         value: 5
  36 - line: -1
  37   domain: '{ S_1[] }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: kill
  43       arguments:
  44       - type: access
  45         killed: '{ S_1[] -> s[] }'
  46         index: '{ S_1[] -> s[] }'
  47         reference: __pet_ref_1
  48         kill: 1