tests/call3.scop

   1 start: 120
   2 end: 225
   3 indent: "\t"
   4 context: '[n] -> {  : 4*floor((n)/4) = n and 0 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_0[]; S_1[i] : 4*floor((i)/4) = i and 0 <= i <= -4
   6   + n }", child: { sequence: [ { filter: "[n] -> { S_0[] }" }, { filter: "[n] -> {
   7   S_1[i] }", child: { schedule: "[n] -> L_0[{ S_1[i] -> [(i)] }]" } } ] } }'
   8 arrays:
   9 - context: '[n] -> {  : n >= 0 }'
  10   extent: '[n] -> { A[i0] : 0 <= i0 < n }'
  11   element_type: int
  12   element_size: 4
  13 statements:
  14 - line: 10
  15   domain: '[n] -> { S_0[] }'
  16   body:
  17     type: expression
  18     expr:
  19       type: op
  20       operation: assume
  21       arguments:
  22       - type: access
  23         index: '[n] -> { S_0[] -> [(1)] }'
  24         reference: __pet_ref_0
  25         read: 1
  26         write: 0
  27 - line: 12
  28   domain: '[n] -> { S_1[i] : 4*floor((i)/4) = i and 0 <= i <= -4 + n }'
  29   body:
  30     type: expression
  31     expr:
  32       type: call
  33       name: foo
  34       arguments:
  35       - type: op
  36         operation: '&'
  37         arguments:
  38         - type: access
  39           may_read: '[n] -> { S_1[i] -> A[o0] : i <= o0 <= 3 + i }'
  40           may_write: '[n] -> { S_1[i] -> A[o0] : i <= o0 <= 3 + i }'
  41           must_write: '[n] -> { S_1[i] -> A[o0] : i <= o0 <= 3 + i }'
  42           index: '[n] -> { S_1[i] -> A[(i)] }'
  43           reference: __pet_ref_1
  44           read: 1
  45           write: 1