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   outer: 1
  21 - context: '{  :  }'
  22   extent: '{ s_a[s[] -> a[]] }'
  23   element_type: int
  24   element_size: 4
  25 - context: '{  :  }'
  26   extent: '{ s_b[s[] -> b[]] }'
  27   element_type: int
  28   element_size: 4
  29 statements:
  30 - line: 9
  31   domain: '{ S_0[] }'
  32   body:
  33     type: expression
  34     expr:
  35       type: op
  36       operation: =
  37       arguments:
  38       - type: access
  39         index: '{ S_0[] -> s_a[s[] -> a[]] }'
  40         reference: __pet_ref_0
  41         read: 0
  42         write: 1
  43       - type: int
  44         value: 0
  45 - line: 10
  46   domain: '{ S_1[] }'
  47   body:
  48     type: expression
  49     expr:
  50       type: op
  51       operation: =
  52       arguments:
  53       - type: access
  54         index: '{ S_1[] -> s_b[s[] -> b[]] }'
  55         reference: __pet_ref_1
  56         read: 0
  57         write: 1
  58       - type: int
  59         value: 1
  60 - line: 11
  61   domain: '{ S_2[] }'
  62   body:
  63     type: expression
  64     expr:
  65       type: op
  66       operation: =
  67       arguments:
  68       - type: access
  69         index: '{ [S_2[] -> [i0]] -> A[((i0) : i0 >= 0)] }'
  70         reference: __pet_ref_3
  71         read: 0
  72         write: 1
  73         arguments:
  74         - type: access
  75           index: '{ S_2[] -> s_a[s[] -> a[]] }'
  76           reference: __pet_ref_2
  77           read: 1
  78           write: 0
  79       - type: int
  80         value: 5