tests/struct5.scop

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