| 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 123 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 134 // TODO(zerny): Once the SSA is feature complete this should be removed. | 134 // TODO(zerny): Once the SSA is feature complete this should be removed. |
| 135 void Bailout(const char* reason) const; | 135 void Bailout(const char* reason) const; |
| 136 | 136 |
| 137 void InvalidateDominatorTree() { invalid_dominator_tree_ = true; } | 137 void InvalidateDominatorTree() { invalid_dominator_tree_ = true; } |
| 138 | 138 |
| 139 #ifdef DEBUG | 139 #ifdef DEBUG |
| 140 // Verification methods for debugging. | 140 // Verification methods for debugging. |
| 141 bool VerifyUseLists(); | 141 bool VerifyUseLists(); |
| 142 #endif // DEBUG | 142 #endif // DEBUG |
| 143 | 143 |
| 144 // Return all instance fields that are loaded in the graph and | |
| 145 // have non-generic type feedback attached to them that can | |
| 146 // potentially affect optimizations. | |
| 147 const ZoneGrowableArray<Field*>* FieldDependencies() const; | |
| 148 | |
| 149 private: | 144 private: |
| 150 friend class BranchSimplifier; | 145 friend class BranchSimplifier; |
| 151 friend class ConstantPropagator; | 146 friend class ConstantPropagator; |
| 152 | 147 |
| 153 void DiscoverBlocks(); | 148 void DiscoverBlocks(); |
| 154 | 149 |
| 155 // SSA transformation methods and fields. | 150 // SSA transformation methods and fields. |
| 156 void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier); | 151 void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier); |
| 157 | 152 |
| 158 void CompressPath( | 153 void CompressPath( |
| (...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 195 GrowableArray<BlockEntryInstr*> preorder_; | 190 GrowableArray<BlockEntryInstr*> preorder_; |
| 196 GrowableArray<BlockEntryInstr*> postorder_; | 191 GrowableArray<BlockEntryInstr*> postorder_; |
| 197 GrowableArray<BlockEntryInstr*> reverse_postorder_; | 192 GrowableArray<BlockEntryInstr*> reverse_postorder_; |
| 198 bool invalid_dominator_tree_; | 193 bool invalid_dominator_tree_; |
| 199 ConstantInstr* constant_null_; | 194 ConstantInstr* constant_null_; |
| 200 }; | 195 }; |
| 201 | 196 |
| 202 } // namespace dart | 197 } // namespace dart |
| 203 | 198 |
| 204 #endif // VM_FLOW_GRAPH_H_ | 199 #endif // VM_FLOW_GRAPH_H_ |
| OLD | NEW |