tests/struct11.scop

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