tests/struct4.scop

   1 start: 75
   2 end: 189
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[i, j] : i >= 0 and i <= 9 and j >= 0 and j <= 9; S_1[]
   6   }", child: { sequence: [ { filter: "{ S_0[i, j] }", child: { schedule: "L_0[{ S_0[i,
   7   j] -> [(i)] }]", child: { schedule: "L_1[{ S_0[i, j] -> [(j)] }]" } } }, { filter:
   8   "{ S_1[] }" } ] } }'
   9 types:
  10 - name: s
  11   definition: "struct s {\n    struct {\n        int a[10];\n    } f[10];\n}"
  12 arrays:
  13 - context: '{  :  }'
  14   extent: '{ s[] }'
  15   element_type: struct s
  16   element_size: 400
  17   element_is_record: 1
  18 - context: '{  :  }'
  19   extent: '{ s_f[s[] -> f[i0]] : i0 >= 0 and i0 <= 9 }'
  20   element_type: <subfield>
  21   element_size: 40
  22   element_is_record: 1
  23 - context: '{  :  }'
  24   extent: '{ s_f_a[s_f[s[] -> f[i0]] -> a[i1]] : i0 >= 0 and i0 <= 9 and i1 >= 0 and
  25     i1 <= 9 }'
  26   element_type: int
  27   element_size: 4
  28 statements:
  29 - line: 14
  30   domain: '{ S_0[i, j] : i >= 0 and i <= 9 and j >= 0 and j <= 9 }'
  31   body:
  32     type: expression
  33     expr:
  34       type: op
  35       operation: =
  36       arguments:
  37       - type: access
  38         index: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[(i)]] -> a[(j)]] }'
  39         reference: __pet_ref_0
  40         read: 0
  41         write: 1
  42       - type: op
  43         operation: '*'
  44         arguments:
  45         - type: access
  46           index: '{ S_0[i, j] -> [(i)] }'
  47           reference: __pet_ref_1
  48           read: 1
  49           write: 0
  50         - type: access
  51           index: '{ S_0[i, j] -> [(j)] }'
  52           reference: __pet_ref_2
  53           read: 1
  54           write: 0
  55 - line: -1
  56   domain: '{ S_1[] }'
  57   body:
  58     type: expression
  59     expr:
  60       type: op
  61       operation: kill
  62       arguments:
  63       - type: access
  64         killed: '{ S_1[] -> s[] }'
  65         index: '{ S_1[] -> s[] }'
  66         reference: __pet_ref_3
  67         kill: 1