tests/struct11.scop

   1 start: 65
   2 end: 127
   3 context: '{  :  }'
   4 types:
   5 - name: s
   6   definition: "struct s {\n    int a;\n    int b;\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: 8
  16   element_is_record: 1
  17 - context: '{  :  }'
  18   extent: '{ s_a[s[] -> a[]] }'
  19   element_type: int
  20   element_size: 4
  21 - context: '{  :  }'
  22   extent: '{ s_b[s[] -> b[]] }'
  23   element_type: int
  24   element_size: 4
  25 statements:
  26 - line: 9
  27   domain: '{ S_0[] }'
  28   schedule: '{ S_0[] -> [0] }'
  29   body:
  30     type: op
  31     operation: =
  32     arguments:
  33     - type: access
  34       relation: '{ S_0[] -> s_a[s[] -> a[]] }'
  35       index: '{ S_0[] -> s_a[s[] -> a[]] }'
  36       reference: __pet_ref_0
  37       read: 0
  38       write: 1
  39     - type: int
  40       value: 0
  41 - line: 10
  42   domain: '{ S_1[] }'
  43   schedule: '{ S_1[] -> [1] }'
  44   body:
  45     type: op
  46     operation: =
  47     arguments:
  48     - type: access
  49       relation: '{ S_1[] -> s_b[s[] -> b[]] }'
  50       index: '{ S_1[] -> s_b[s[] -> b[]] }'
  51       reference: __pet_ref_1
  52       read: 0
  53       write: 1
  54     - type: int
  55       value: 1
  56 - line: 11
  57   domain: '{ S_2[] }'
  58   schedule: '{ S_2[] -> [2] }'
  59   body:
  60     type: op
  61     operation: =
  62     arguments:
  63     - type: access
  64       relation: '{ [S_2[] -> [i0]] -> A[i0] : i0 >= 0 }'
  65       index: '{ [S_2[] -> [i0]] -> A[((i0) : i0 >= 0)] }'
  66       reference: __pet_ref_3
  67       read: 0
  68       write: 1
  69       arguments:
  70       - type: access
  71         relation: '{ S_2[] -> s_a[s[] -> a[]] }'
  72         index: '{ S_2[] -> s_a[s[] -> a[]] }'
  73         reference: __pet_ref_2
  74         read: 1
  75         write: 0
  76     - type: int
  77       value: 5