tests/struct6.scop

   1 start: 51
   2 end: 91
   3 context: '{  :  }'
   4 types:
   5 - name: s
   6   definition: "struct s {\n    int a;\n}"
   7 arrays:
   8 - context: '{  :  }'
   9   extent: '{ s[i0] : i0 >= 0 }'
  10   element_type: struct s
  11   element_size: 4
  12   element_is_record: 1
  13 - context: '{  :  }'
  14   extent: '{ s_a[s[i0] -> a[]] : i0 >= 0 }'
  15   element_type: int
  16   element_size: 4
  17 statements:
  18 - line: 10
  19   domain: '{ S_0[] }'
  20   schedule: '{ S_0[] -> [0] }'
  21   body:
  22     type: binary
  23     operation: =
  24     arguments:
  25     - type: access
  26       relation: '{ S_0[] -> s_a[s[0] -> a[]] }'
  27       index: '{ S_0[] -> s_a[s[(0)] -> a[]] }'
  28       reference: __pet_ref_0
  29       read: 0
  30       write: 1
  31     - type: access
  32       relation: '{ S_0[] -> [5] }'
  33       index: '{ S_0[] -> [(5)] }'
  34       reference: __pet_ref_1
  35       read: 1
  36       write: 0