tests/decl6.scop

   1 start: 16
   2 end: 115
   3 indent: "\t"
   4 context: '[n] -> {  : -2147483648 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_4[i] : 0 <= i < n; S_2[i] : 0 <= i < n; S_3[i] :
   6   0 <= i < n; S_1[i] : 0 <= i < n; S_0[i] : 0 <= i < n }", child: { schedule: "[n]
   7   -> L_0[{ S_4[i] -> [(i)]; S_2[i] -> [(i)]; S_3[i] -> [(i)]; S_1[i] -> [(i)]; S_0[i]
   8   -> [(i)] }]", child: { sequence: [ { filter: "[n] -> { S_0[i] }" }, { filter: "[n]
   9   -> { S_1[i] }" }, { filter: "[n] -> { S_4[i] }" }, { filter: "[n] -> { S_2[i]; S_3[i]
  10   }", child: { set: [ { filter: "[n] -> { S_2[i] }" }, { filter: "[n] -> { S_3[i]
  11   }" } ] } } ] } } }'
  12 arrays:
  13 - context: '[n] -> {  : n >= 0 }'
  14   extent: '[n] -> { a[i0] : 0 <= i0 < n }'
  15   element_type: float
  16   element_size: 4
  17   declared: 1
  18   exposed: 1
  19 - context: '[n] -> {  : n >= 0 }'
  20   extent: '[n] -> { b[i0] : 0 <= i0 < n }'
  21   element_type: float
  22   element_size: 4
  23   declared: 1
  24   exposed: 1
  25 statements:
  26 - line: 5
  27   domain: '[n] -> { S_0[i] : 0 <= i < n }'
  28   body:
  29     type: expression
  30     expr:
  31       type: op
  32       operation: kill
  33       arguments:
  34       - type: access
  35         killed: '[n] -> { S_0[i] -> a[o0] : 0 <= o0 < n }'
  36         index: '[n] -> { S_0[i] -> a[] }'
  37         depth: 1
  38         reference: __pet_ref_0
  39         kill: 1
  40 - line: 5
  41   domain: '[n] -> { S_1[i] : 0 <= i < n }'
  42   body:
  43     type: expression
  44     expr:
  45       type: op
  46       operation: kill
  47       arguments:
  48       - type: access
  49         killed: '[n] -> { S_1[i] -> b[o0] : 0 <= o0 < n }'
  50         index: '[n] -> { S_1[i] -> b[] }'
  51         depth: 1
  52         reference: __pet_ref_1
  53         kill: 1
  54 - line: 7
  55   domain: '[n] -> { S_4[i] : 0 <= i < n }'
  56   body:
  57     type: expression
  58     expr:
  59       type: op
  60       operation: =
  61       arguments:
  62       - type: access
  63         index: '[n] -> { S_4[i] -> a[(i)] }'
  64         reference: __pet_ref_2
  65         read: 0
  66         write: 1
  67       - type: access
  68         index: '[n] -> { S_4[i] -> b[(i)] }'
  69         reference: __pet_ref_3
  70         read: 1
  71         write: 0
  72 - line: 5
  73   domain: '[n] -> { S_2[i] : 0 <= i < n }'
  74   body:
  75     type: expression
  76     expr:
  77       type: op
  78       operation: kill
  79       arguments:
  80       - type: access
  81         killed: '[n] -> { S_2[i] -> a[o0] : 0 <= o0 < n }'
  82         index: '[n] -> { S_2[i] -> a[] }'
  83         depth: 1
  84         reference: __pet_ref_4
  85         kill: 1
  86 - line: 5
  87   domain: '[n] -> { S_3[i] : 0 <= i < n }'
  88   body:
  89     type: expression
  90     expr:
  91       type: op
  92       operation: kill
  93       arguments:
  94       - type: access
  95         killed: '[n] -> { S_3[i] -> b[o0] : 0 <= o0 < n }'
  96         index: '[n] -> { S_3[i] -> b[] }'
  97         depth: 1
  98         reference: __pet_ref_5
  99         kill: 1