tests/struct2.scop

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