tests/struct9.scop

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