tests/piecewise.scop

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