tests/struct11.scop

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