tests/struct7.scop

   1 start: 132
   2 end: 179
   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: scomplex
   9   definition: "struct scomplex {\n    float re;\n    float im;\n}"
  10 - name: pair
  11   definition: "struct pair {\n    struct scomplex a;\n    struct scomplex b;\n}"
  12 arrays:
  13 - context: '{  :  }'
  14   extent: '{ p[] }'
  15   element_type: struct pair
  16   element_size: 16
  17   element_is_record: 1
  18 - context: '{  :  }'
  19   extent: '{ p_a[p[] -> a[]] }'
  20   element_type: struct scomplex
  21   element_size: 8
  22   element_is_record: 1
  23 - context: '{  :  }'
  24   extent: '{ p_a_im[p_a[p[] -> a[]] -> im[]] }'
  25   element_type: float
  26   element_size: 4
  27 - context: '{  :  }'
  28   extent: '{ p_a_re[p_a[p[] -> a[]] -> re[]] }'
  29   element_type: float
  30   element_size: 4
  31 - context: '{  :  }'
  32   extent: '{ p_b[p[] -> b[]] }'
  33   element_type: struct scomplex
  34   element_size: 8
  35   element_is_record: 1
  36 - context: '{  :  }'
  37   extent: '{ p_b_im[p_b[p[] -> b[]] -> im[]] }'
  38   element_type: float
  39   element_size: 4
  40 - context: '{  :  }'
  41   extent: '{ p_b_re[p_b[p[] -> b[]] -> re[]] }'
  42   element_type: float
  43   element_size: 4
  44 statements:
  45 - line: 16
  46   domain: '{ S_0[] }'
  47   body:
  48     type: expression
  49     expr:
  50       type: op
  51       operation: =
  52       arguments:
  53       - type: access
  54         index: '{ S_0[] -> p_a_re[p_a[p[] -> a[]] -> re[]] }'
  55         reference: __pet_ref_0
  56         read: 0
  57         write: 1
  58       - type: access
  59         index: '{ S_0[] -> p_b_im[p_b[p[] -> b[]] -> im[]] }'
  60         reference: __pet_ref_1
  61         read: 1
  62         write: 0
  63 - line: -1
  64   domain: '{ S_1[] }'
  65   body:
  66     type: expression
  67     expr:
  68       type: op
  69       operation: kill
  70       arguments:
  71       - type: access
  72         killed: '{ S_1[] -> p[] }'
  73         index: '{ S_1[] -> p[] }'
  74         reference: __pet_ref_2
  75         kill: 1