tests/struct4.scop

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