tests/decl5.scop

   1 start: 16
   2 end: 110
   3 indent: "\t"
   4 context: '[n] -> {  : n <= 2147483647 and n >= -2147483648 }'
   5 arrays:
   6 - context: '[n] -> {  : n >= 0 }'
   7   extent: '[n] -> { a[i0] : i0 >= 0 and i0 <= -1 + n }'
   8   element_type: float
   9   element_size: 4
  10   declared: 1
  11   exposed: 1
  12 - context: '[n] -> {  : n >= 0 }'
  13   extent: '[n] -> { b[i0, i1] : i1 >= 0 and i1 <= -1 + n and i0 >= 0 and i0 <= -1
  14     + n }'
  15   element_type: float
  16   element_size: 4
  17   declared: 1
  18 statements:
  19 - line: 4
  20   domain: '[n] -> { S_0[] }'
  21   schedule: '{ S_0[] -> [0] }'
  22   body:
  23     type: expression
  24     expr:
  25       type: op
  26       operation: kill
  27       arguments:
  28       - type: access
  29         killed: '[n] -> { S_0[] -> a[o0] : o0 >= 0 and o0 <= -1 + n }'
  30         index: '[n] -> { S_0[] -> a[] }'
  31         depth: 1
  32         reference: __pet_ref_0
  33         kill: 1
  34 - line: 7
  35   domain: '[n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
  36   schedule: '[n] -> { S_1[i] -> [1, i, 0] }'
  37   body:
  38     type: expression
  39     expr:
  40       type: op
  41       operation: kill
  42       arguments:
  43       - type: access
  44         killed: '[n] -> { S_1[i] -> b[o0, o1] : o0 <= -1 + n and o1 >= 0 and o1 <=
  45           -1 + n and o0 >= 0 }'
  46         index: '[n] -> { S_1[i] -> b[] }'
  47         depth: 2
  48         reference: __pet_ref_1
  49         kill: 1
  50 - line: 7
  51   domain: '[n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
  52   schedule: '[n] -> { S_2[i] -> [1, i, 1] }'
  53   body:
  54     type: expression
  55     expr:
  56       type: op
  57       operation: kill
  58       arguments:
  59       - type: access
  60         killed: '[n] -> { S_2[i] -> b[o0, o1] : o0 <= -1 + n and o1 >= 0 and o1 <=
  61           -1 + n and o0 >= 0 }'
  62         index: '[n] -> { S_2[i] -> b[] }'
  63         depth: 2
  64         reference: __pet_ref_2
  65         kill: 1