tests/struct3.scop

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