tests/struct2.scop

   1 start: 58
   2 end: 166
   3 indent: "\t"
   4 context: '{  :  }'
   5 types:
   6 - name: s
   7   definition: "struct s {\n    int a;\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: 4
  13   element_is_record: 1
  14 - context: '{  :  }'
  15   extent: '{ s_a[s[i0, i1] -> a[]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19
  16     }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 12
  21   domain: '{ S_0[i, j] : i >= 0 and i <= 9 and j <= 19 and j >= 0 }'
  22   schedule: '{ S_0[i, j] -> [0, i, j] }'
  23   body:
  24     type: op
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[i, j] -> s_a[s[i, j] -> a[]] }'
  29       index: '{ S_0[i, j] -> s_a[s[(i), (j)] -> a[]] }'
  30       reference: __pet_ref_0
  31       read: 0
  32       write: 1
  33     - type: int
  34       value: 5