tests/kill.scop

   1 start: 71
   2 end: 243
   3 indent: "\t"
   4 context: '[n] -> {  : n >= 0 and n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_6[i] : i >= 0 and i <= -1 + n; S_7[]; S_4[i] : i
   6   >= 0 and i <= -1 + n; S_0[]; S_2[i] : i >= 0 and i <= -1 + n; S_3[i] : i >= 0 and
   7   i <= -1 + n; S_5[i] : i >= 0 and i <= -1 + n; S_1[i] : i >= 0 and i <= -1 + n }",
   8   child: { sequence: [ { filter: "[n] -> { S_0[] }" }, { filter: "[n] -> { S_6[i];
   9   S_4[i]; S_2[i]; S_3[i]; S_5[i]; S_1[i] }", child: { schedule: "[n] -> L_0[{ S_6[i]
  10   -> [(i)]; S_5[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i] -> [(i)]; S_2[i] -> [(i)]; S_1[i]
  11   -> [(i)] }]", child: { sequence: [ { filter: "[n] -> { S_1[i] }" }, { filter: "[n]
  12   -> { S_2[i] }" }, { filter: "[n] -> { S_3[i] }" }, { filter: "[n] -> { S_6[i]; S_4[i];
  13   S_5[i] }", child: { set: [ { filter: "[n] -> { S_4[i] }" }, { filter: "[n] -> {
  14   S_5[i] }" }, { filter: "[n] -> { S_6[i] }" } ] } } ] } } }, { filter: "[n] -> {
  15   S_7[] }" } ] } }'
  16 arrays:
  17 - context: '{  :  }'
  18   extent: '[n] -> { A[i0] : i0 >= 0 }'
  19   element_type: int
  20   element_size: 4
  21 - context: '[n] -> {  : n >= 0 }'
  22   extent: '[n] -> { B[i0] : i0 >= 0 and i0 <= -1 + n }'
  23   element_type: int
  24   element_size: 4
  25 - context: '{  :  }'
  26   extent: '[n] -> { C[i0] : i0 >= 0 }'
  27   element_type: int
  28   element_size: 4
  29 - context: '[n] -> {  : n >= 0 }'
  30   extent: '[n] -> { D[i0, i1] : i1 >= 0 and i1 <= -1 + n and i0 >= 0 and i0 <= -1
  31     + n }'
  32   element_type: int
  33   element_size: 4
  34 - context: '{  :  }'
  35   extent: '[n] -> { t[] }'
  36   element_type: int
  37   element_size: 4
  38 statements:
  39 - line: 7
  40   domain: '[n] -> { S_0[] }'
  41   body:
  42     type: expression
  43     expr:
  44       type: op
  45       operation: kill
  46       arguments:
  47       - type: access
  48         killed: '[n] -> { S_0[] -> C[o0] : o0 >= 0 }'
  49         index: '[n] -> { S_0[] -> C[] }'
  50         depth: 1
  51         reference: __pet_ref_0
  52         kill: 1
  53 - line: 9
  54   domain: '[n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
  55   body:
  56     type: expression
  57     expr:
  58       type: op
  59       operation: =
  60       arguments:
  61       - type: access
  62         index: '[n] -> { S_1[i] -> t[] }'
  63         reference: __pet_ref_1
  64         read: 0
  65         write: 1
  66       - type: access
  67         index: '[n] -> { S_1[i] -> A[(i)] }'
  68         reference: __pet_ref_2
  69         read: 1
  70         write: 0
  71 - line: 10
  72   domain: '[n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
  73   body:
  74     type: expression
  75     expr:
  76       type: op
  77       operation: =
  78       arguments:
  79       - type: access
  80         index: '[n] -> { S_2[i] -> B[(i)] }'
  81         reference: __pet_ref_3
  82         read: 0
  83         write: 1
  84       - type: access
  85         index: '[n] -> { S_2[i] -> t[] }'
  86         reference: __pet_ref_4
  87         read: 1
  88         write: 0
  89 - line: 11
  90   domain: '[n] -> { S_3[i] : i >= 0 and i <= -1 + n }'
  91   body:
  92     type: expression
  93     expr:
  94       type: op
  95       operation: =
  96       arguments:
  97       - type: access
  98         index: '[n] -> { S_3[i] -> C[(i)] }'
  99         reference: __pet_ref_5
 100         read: 0
 101         write: 1
 102       - type: access
 103         index: '[n] -> { S_3[i] -> B[(i)] }'
 104         reference: __pet_ref_6
 105         read: 1
 106         write: 0
 107 - line: 12
 108   domain: '[n] -> { S_4[i] : i >= 0 and i <= -1 + n }'
 109   body:
 110     type: expression
 111     expr:
 112       type: op
 113       operation: kill
 114       arguments:
 115       - type: access
 116         killed: '[n] -> { S_4[i] -> t[] }'
 117         index: '[n] -> { S_4[i] -> t[] }'
 118         reference: __pet_ref_7
 119         kill: 1
 120 - line: 12
 121   domain: '[n] -> { S_5[i] : i >= 0 and i <= -1 + n }'
 122   body:
 123     type: expression
 124     expr:
 125       type: op
 126       operation: kill
 127       arguments:
 128       - type: access
 129         killed: '[n] -> { S_5[i] -> B[i] }'
 130         index: '[n] -> { S_5[i] -> B[(i)] }'
 131         reference: __pet_ref_8
 132         kill: 1
 133 - line: 12
 134   domain: '[n] -> { S_6[i] : i >= 0 and i <= -1 + n }'
 135   body:
 136     type: expression
 137     expr:
 138       type: op
 139       operation: kill
 140       arguments:
 141       - type: access
 142         killed: '[n] -> { S_6[i] -> D[i, o1] : o1 >= 0 and o1 <= -1 + n }'
 143         index: '[n] -> { S_6[i] -> D[(i)] }'
 144         depth: 2
 145         reference: __pet_ref_9
 146         kill: 1
 147 - line: 14
 148   domain: '[n] -> { S_7[] }'
 149   body:
 150     type: expression
 151     expr:
 152       type: op
 153       operation: kill
 154       arguments:
 155       - type: access
 156         killed: '[n] -> { S_7[] -> A[o0] : o0 >= 0 }'
 157         index: '[n] -> { S_7[] -> A[] }'
 158         depth: 1
 159         reference: __pet_ref_10
 160         kill: 1