tests/struct4.scop

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