tests/assume4.scop

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