tests/struct10.scop

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