tests/struct7.scop

   1 start: 132
   2 end: 179
   3 indent: "\t"
   4 context: '{  :  }'
   5 types:
   6 - name: scomplex
   7   definition: "struct scomplex {\n    float re;\n    float im;\n}"
   8 - name: pair
   9   definition: "struct pair {\n    struct scomplex a;\n    struct scomplex b;\n}"
  10 arrays:
  11 - context: '{  :  }'
  12   extent: '{ p[] }'
  13   element_type: struct pair
  14   element_size: 16
  15   element_is_record: 1
  16 - context: '{  :  }'
  17   extent: '{ p_a[p[] -> a[]] }'
  18   element_type: struct scomplex
  19   element_size: 8
  20   element_is_record: 1
  21 - context: '{  :  }'
  22   extent: '{ p_a_im[p_a[p[] -> a[]] -> im[]] }'
  23   element_type: float
  24   element_size: 4
  25 - context: '{  :  }'
  26   extent: '{ p_a_re[p_a[p[] -> a[]] -> re[]] }'
  27   element_type: float
  28   element_size: 4
  29 - context: '{  :  }'
  30   extent: '{ p_b[p[] -> b[]] }'
  31   element_type: struct scomplex
  32   element_size: 8
  33   element_is_record: 1
  34 - context: '{  :  }'
  35   extent: '{ p_b_im[p_b[p[] -> b[]] -> im[]] }'
  36   element_type: float
  37   element_size: 4
  38 - context: '{  :  }'
  39   extent: '{ p_b_re[p_b[p[] -> b[]] -> re[]] }'
  40   element_type: float
  41   element_size: 4
  42 statements:
  43 - line: 16
  44   domain: '{ S_0[] }'
  45   schedule: '{ S_0[] -> [0] }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: =
  51       arguments:
  52       - type: access
  53         relation: '{ S_0[] -> p_a_re[p_a[p[] -> a[]] -> re[]] }'
  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         relation: '{ S_0[] -> p_b_im[p_b[p[] -> b[]] -> im[]] }'
  60         index: '{ S_0[] -> p_b_im[p_b[p[] -> b[]] -> im[]] }'
  61         reference: __pet_ref_1
  62         read: 1
  63         write: 0