tests/kill.scop

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