tests/struct8.scop

   1 start: 101
   2 end: 225
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[i, j] : 0 <= i <= 9 and 0 <= j <= 9; S_2[]; 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[] }" }, { filter: "{ S_2[] }" } ] } }'
   9 types:
  10 - name: s
  11   definition: "struct s {\n    struct {\n        struct {\n            int a[10];\n
  12     \       } f[10];\n        int b;\n    };\n}"
  13 arrays:
  14 - context: '{  :  }'
  15   extent: '{ s[] }'
  16   element_type: struct s
  17   element_size: 404
  18   element_is_record: 1
  19   outer: 1
  20 - context: '{  :  }'
  21   extent: '{ s_b[s[] -> b[]] }'
  22   element_type: int
  23   element_size: 4
  24 - context: '{  :  }'
  25   extent: '{ s_f[s[] -> f[i0]] : 0 <= i0 <= 9 }'
  26   element_type: <subfield>
  27   element_size: 40
  28   element_is_record: 1
  29   outer: 1
  30 - context: '{  :  }'
  31   extent: '{ s_f_a[s_f[s[] -> f[i0]] -> a[i1]] : 0 <= i0 <= 9 and 0 <= i1 <= 9 }'
  32   element_type: int
  33   element_size: 4
  34 statements:
  35 - line: 17
  36   domain: '{ S_0[i, j] : 0 <= i <= 9 and 0 <= j <= 9 }'
  37   body:
  38     type: expression
  39     expr:
  40       type: op
  41       operation: =
  42       arguments:
  43       - type: access
  44         index: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[(i)]] -> a[(j)]] }'
  45         reference: __pet_ref_0
  46         read: 0
  47         write: 1
  48       - type: op
  49         operation: '*'
  50         arguments:
  51         - type: access
  52           index: '{ S_0[i, j] -> [(i)] }'
  53           reference: __pet_ref_1
  54           read: 1
  55           write: 0
  56         - type: access
  57           index: '{ S_0[i, j] -> [(j)] }'
  58           reference: __pet_ref_2
  59           read: 1
  60           write: 0
  61 - line: 18
  62   domain: '{ S_1[] }'
  63   body:
  64     type: expression
  65     expr:
  66       type: op
  67       operation: =
  68       arguments:
  69       - type: access
  70         index: '{ S_1[] -> s_b[s[] -> b[]] }'
  71         reference: __pet_ref_3
  72         read: 0
  73         write: 1
  74       - type: int
  75         value: 1
  76 - line: -1
  77   domain: '{ S_2[] }'
  78   body:
  79     type: expression
  80     expr:
  81       type: op
  82       operation: kill
  83       arguments:
  84       - type: access
  85         killed: '{ S_2[] -> s[] }'
  86         index: '{ S_2[] -> s[] }'
  87         reference: __pet_ref_4
  88         kill: 1