tests/summary2.scop

   1 start: 401
   2 end: 446
   3 indent: "\t"
   4 context: '[n] -> {  : 0 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_0[] }" }'
   6 types:
   7 - name: s
   8   definition: "struct s {\n    int a;\n}"
   9 arrays:
  10 - context: '[n] -> {  : n >= 0 }'
  11   extent: '[n] -> { A[i0] : 0 <= i0 < n }'
  12   element_type: struct s
  13   element_size: 4
  14   element_is_record: 1
  15   outer: 1
  16 - context: '[n] -> {  : n >= 0 }'
  17   extent: '[n] -> { A_a[A[i0] -> a[]] : 0 <= i0 < n }'
  18   element_type: int
  19   element_size: 4
  20 statements:
  21 - line: 27
  22   domain: '[n] -> { S_0[] }'
  23   body:
  24     type: expression
  25     expr:
  26       type: call
  27       name: set_odd
  28       arguments:
  29       - type: access
  30         index: '[n] -> { S_0[] -> [(n)] }'
  31         reference: __pet_ref_0
  32         read: 1
  33         write: 0
  34       - type: access
  35         may_write: '[n] -> { S_0[] -> A_a[A[o0] -> a[]] : 2*floor((1 + o0)/2) = 1
  36           + o0 and 0 < o0 < n }'
  37         must_write: '[n] -> {  }'
  38         index: '[n] -> { S_0[] -> A[] }'
  39         depth: 1
  40         reference: __pet_ref_1
  41         read: 0
  42         write: 1