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 >= 10 and j >= 0 and j <= -1 + n) or
   7   (n <= 9 and j <= 9 and j >= 0); S_0[i] : (m >= 10 and i >= 0 and i <= -1 + m) or
   8   (m <= 9 and i <= 9 and i >= 0) }", child: { sequence: [ { filter: "[n, m] -> { S_0[i]
   9   }", child: { schedule: "[m] -> L_0[{ S_0[i] -> [(i)] }]" } }, { filter: "[n, m]
  10   -> { S_1[j] }", child: { schedule: "[n] -> L_1[{ S_1[j] -> [(j)] }]" } } ] } }'
  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] : (m >= 10 and i >= 0 and i <= -1 + m) or (m <= 9 and
  23     i <= 9 and i >= 0) }'
  24   body:
  25     type: expression
  26     expr:
  27       type: op
  28       operation: =
  29       arguments:
  30       - type: access
  31         index: '[n, m] -> { S_0[i] -> a[(i)] }'
  32         reference: __pet_ref_0
  33         read: 0
  34         write: 1
  35       - type: access
  36         index: '[n, m] -> { S_0[i] -> [(i)] }'
  37         reference: __pet_ref_1
  38         read: 1
  39         write: 0
  40 - line: 15
  41   domain: '[n, m] -> { S_1[j] : (n >= 10 and j >= 0 and j <= -1 + n) or (n <= 9 and
  42     j <= 9 and j >= 0) }'
  43   body:
  44     type: expression
  45     expr:
  46       type: op
  47       operation: =
  48       arguments:
  49       - type: access
  50         index: '[n, m] -> { S_1[j] -> b[(j)] }'
  51         reference: __pet_ref_2
  52         read: 0
  53         write: 1
  54       - type: access
  55         index: '[n, m] -> { S_1[j] -> [(j)] }'
  56         reference: __pet_ref_3
  57         read: 1
  58         write: 0