tests/struct9.scop

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