tests/pencil_min.scop

   1 start: 88
   2 end: 212
   3 indent: "\t"
   4 context: '[n, m] -> {  : n >= 0 and n <= 4294967295 and m <= 2147483647 and m >= -2147483648
   5   }'
   6 schedule: '{ domain: "[n, m] -> { S_1[j] : j <= 9 and j >= 0 and j <= -1 + n; S_0[i]
   7   : i <= 9 and i >= 0 and i <= -1 + m }", child: { sequence: [ { filter: "[n, m] ->
   8   { S_0[i] }", child: { schedule: "[m] -> L_0[{ S_0[i] -> [(i)] }]" } }, { filter:
   9   "[n, m] -> { S_1[j] }", child: { schedule: "[n] -> L_1[{ S_1[j] -> [(j)] }]" } }
  10   ] } }'
  11 arrays:
  12 - context: '{  :  }'
  13   extent: '[n, m] -> { a[i0] : i0 <= 19 and i0 >= 0 }'
  14   element_type: int
  15   element_size: 4
  16 - context: '{  :  }'
  17   extent: '[n, m] -> { b[i0] : i0 <= 19 and i0 >= 0 }'
  18   element_type: int
  19   element_size: 4
  20 statements:
  21 - line: 12
  22   domain: '[n, m] -> { S_0[i] : i <= 9 and i >= 0 and i <= -1 + m }'
  23   body:
  24     type: expression
  25     expr:
  26       type: op
  27       operation: =
  28       arguments:
  29       - type: access
  30         index: '[n, m] -> { S_0[i] -> a[(i)] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: access
  35         index: '[n, m] -> { S_0[i] -> [(i)] }'
  36         reference: __pet_ref_1
  37         read: 1
  38         write: 0
  39 - line: 15
  40   domain: '[n, m] -> { S_1[j] : j <= 9 and j >= 0 and j <= -1 + n }'
  41   body:
  42     type: expression
  43     expr:
  44       type: op
  45       operation: =
  46       arguments:
  47       - type: access
  48         index: '[n, m] -> { S_1[j] -> b[(j)] }'
  49         reference: __pet_ref_2
  50         read: 0
  51         write: 1
  52       - type: access
  53         index: '[n, m] -> { S_1[j] -> [(j)] }'
  54         reference: __pet_ref_3
  55         read: 1
  56         write: 0