tests/mod2.scop

   1 start: 38
   2 end: 127
   3 indent: "\t"
   4 context: '[N] -> {  : N >= 0 and N <= 2147483647 }'
   5 schedule: '{ domain: "[N] -> { S_1[]; S_0[i] : exists (e0 = floor((i)/2): 2e0 = i
   6   and i >= 0 and i <= -1 + N); S_2[] }", child: { sequence: [ { filter: "[N] -> {
   7   S_0[i] }", child: { schedule: "[N] -> L_0[{ S_0[i] -> [(i)] }]" } }, { filter: "[N]
   8   -> { S_1[]; S_2[] }", child: { set: [ { filter: "{ S_1[] }" }, { filter: "{ S_2[]
   9   }" } ] } } ] } }'
  10 arrays:
  11 - context: '[N] -> {  : N >= 0 }'
  12   extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
  13   element_type: int
  14   element_size: 4
  15 - context: '{  :  }'
  16   extent: '[N] -> { i[] }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 9
  21   domain: '[N] -> { S_0[i] : exists (e0 = floor((i)/2): 2e0 = i and i >= 0 and i <=
  22     -1 + N) }'
  23   body:
  24     type: expression
  25     expr:
  26       type: op
  27       operation: =
  28       arguments:
  29       - type: access
  30         index: '[N] -> { S_0[i] -> a[(i)] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: op
  35         operation: '%'
  36         arguments:
  37         - type: access
  38           index: '[N] -> { S_0[i] -> [(i)] }'
  39           reference: __pet_ref_1
  40           read: 1
  41           write: 0
  42         - type: int
  43           value: 3
  44 - line: -1
  45   domain: '[N] -> { S_1[] }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: kill
  51       arguments:
  52       - type: access
  53         killed: '[N] -> { S_1[] -> i[] }'
  54         index: '[N] -> { S_1[] -> i[] }'
  55         reference: __pet_ref_2
  56         kill: 1
  57 - line: -1
  58   domain: '[N] -> { S_2[] }'
  59   body:
  60     type: expression
  61     expr:
  62       type: op
  63       operation: kill
  64       arguments:
  65       - type: access
  66         killed: '[N] -> { S_2[] -> a[o0] : o0 >= 0 and o0 <= -1 + N }'
  67         index: '[N] -> { S_2[] -> a[] }'
  68         depth: 1
  69         reference: __pet_ref_3
  70         kill: 1