tests/struct3.scop

   1 start: 66
   2 end: 259
   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: 14
  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] }'
  24   body:
  25     type: expression
  26     expr:
  27       type: op
  28       operation: =
  29       arguments:
  30       - type: access
  31         relation: '{ S_0[i, j, k, l] -> s_a[s[i, j] -> a[k, l]] }'
  32         index: '{ S_0[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k), (l)]] }'
  33         reference: __pet_ref_0
  34         read: 0
  35         write: 1
  36       - type: op
  37         operation: +
  38         arguments:
  39         - type: op
  40           operation: +
  41           arguments:
  42           - type: op
  43             operation: +
  44             arguments:
  45             - type: access
  46               relation: '{ S_0[i, j, k, l] -> [i] }'
  47               index: '{ S_0[i, j, k, l] -> [(i)] }'
  48               reference: __pet_ref_1
  49               read: 1
  50               write: 0
  51             - type: access
  52               relation: '{ S_0[i, j, k, l] -> [j] }'
  53               index: '{ S_0[i, j, k, l] -> [(j)] }'
  54               reference: __pet_ref_2
  55               read: 1
  56               write: 0
  57           - type: access
  58             relation: '{ S_0[i, j, k, l] -> [k] }'
  59             index: '{ S_0[i, j, k, l] -> [(k)] }'
  60             reference: __pet_ref_3
  61             read: 1
  62             write: 0
  63         - type: access
  64           relation: '{ S_0[i, j, k, l] -> [l] }'
  65           index: '{ S_0[i, j, k, l] -> [(l)] }'
  66           reference: __pet_ref_4
  67           read: 1
  68           write: 0