tests/struct10.scop

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