| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef VM_FLOW_GRAPH_H_ | 5 #ifndef VM_FLOW_GRAPH_H_ |
| 6 #define VM_FLOW_GRAPH_H_ | 6 #define VM_FLOW_GRAPH_H_ |
| 7 | 7 |
| 8 #include "vm/growable_array.h" | 8 #include "vm/growable_array.h" |
| 9 #include "vm/intermediate_language.h" | 9 #include "vm/intermediate_language.h" |
| 10 #include "vm/parser.h" | 10 #include "vm/parser.h" |
| (...skipping 203 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 214 const Field* field); | 214 const Field* field); |
| 215 | 215 |
| 216 ZoneGrowableArray<const Field*>* guarded_fields() const { | 216 ZoneGrowableArray<const Field*>* guarded_fields() const { |
| 217 return guarded_fields_; | 217 return guarded_fields_; |
| 218 } | 218 } |
| 219 | 219 |
| 220 private: | 220 private: |
| 221 friend class IfConverter; | 221 friend class IfConverter; |
| 222 friend class BranchSimplifier; | 222 friend class BranchSimplifier; |
| 223 friend class ConstantPropagator; | 223 friend class ConstantPropagator; |
| 224 friend class DeadCodeElimination; |
| 224 | 225 |
| 225 // SSA transformation methods and fields. | 226 // SSA transformation methods and fields. |
| 226 void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier); | 227 void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier); |
| 227 | 228 |
| 228 void CompressPath( | 229 void CompressPath( |
| 229 intptr_t start_index, | 230 intptr_t start_index, |
| 230 intptr_t current_index, | 231 intptr_t current_index, |
| 231 GrowableArray<intptr_t>* parent, | 232 GrowableArray<intptr_t>* parent, |
| 232 GrowableArray<intptr_t>* label); | 233 GrowableArray<intptr_t>* label); |
| 233 | 234 |
| (...skipping 157 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 391 // Per block sets of available blocks. Block A is available at the block B if | 392 // Per block sets of available blocks. Block A is available at the block B if |
| 392 // and only if A dominates B and all paths from A to B are free of side | 393 // and only if A dominates B and all paths from A to B are free of side |
| 393 // effects. | 394 // effects. |
| 394 GrowableArray<BitVector*> available_at_; | 395 GrowableArray<BitVector*> available_at_; |
| 395 }; | 396 }; |
| 396 | 397 |
| 397 | 398 |
| 398 } // namespace dart | 399 } // namespace dart |
| 399 | 400 |
| 400 #endif // VM_FLOW_GRAPH_H_ | 401 #endif // VM_FLOW_GRAPH_H_ |
| OLD | NEW |