tests/piecewise.scop

   1 start: 56
   2 end: 174
   3 indent: "\t"
   4 context: '[N] -> {  : 0 <= N <= 2147483647 }'
   5 schedule: '{ domain: "[N] -> { S_1[]; S_0[i, j] : i >= 0 and i <= j < N; S_2[] }",
   6   child: { sequence: [ { filter: "[N] -> { S_0[i, j] }", child: { schedule: "[N] ->
   7   L_0[{ S_0[i, j] -> [(i)] }]", child: { schedule: "[N] -> L_1[{ S_0[i, j] -> [(j)]
   8   }]" } } }, { filter: "[N] -> { S_1[]; S_2[] }", child: { set: [ { filter: "{ S_1[]
   9   }" }, { filter: "{ S_2[] }" } ] } } ] } }'
  10 arrays:
  11 - context: '[N] -> {  : N >= 0 }'
  12   extent: '[N] -> { a[i0, i1] : i0 >= 0 and 0 <= i1 < 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 i <= j < 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 > 0; (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