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