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