tests/struct14.scop

   1 start: 125
   2 end: 178
   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: "typedef struct scomplex {\n    float re;\n    float im;\n} scomplex"
  10 - name: pair
  11   definition: "struct pair {\n    scomplex c[2];\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_c[p[] -> c[i0]] : 0 <= i0 <= 1 }'
  21   element_type: struct scomplex
  22   element_size: 8
  23   element_is_record: 1
  24   outer: 1
  25 - context: '{  :  }'
  26   extent: '{ p_c_im[p_c[p[] -> c[i0]] -> im[]] : 0 <= i0 <= 1 }'
  27   element_type: float
  28   element_size: 4
  29 - context: '{  :  }'
  30   extent: '{ p_c_re[p_c[p[] -> c[i0]] -> re[]] : 0 <= i0 <= 1 }'
  31   element_type: float
  32   element_size: 4
  33 statements:
  34 - line: 15
  35   domain: '{ S_0[] }'
  36   body:
  37     type: expression
  38     expr:
  39       type: op
  40       operation: =
  41       arguments:
  42       - type: access
  43         index: '{ S_0[] -> p_c_re[p_c[p[] -> c[(0)]] -> re[]] }'
  44         reference: __pet_ref_0
  45         read: 0
  46         write: 1
  47       - type: access
  48         index: '{ S_0[] -> p_c_im[p_c[p[] -> c[(1)]] -> im[]] }'
  49         reference: __pet_ref_1
  50         read: 1
  51         write: 0
  52 - line: -1
  53   domain: '{ S_1[] }'
  54   body:
  55     type: expression
  56     expr:
  57       type: op
  58       operation: kill
  59       arguments:
  60       - type: access
  61         killed: '{ S_1[] -> p[] }'
  62         index: '{ S_1[] -> p[] }'
  63         reference: __pet_ref_2
  64         kill: 1