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 |
144 private: | 149 private: |
145 friend class BranchSimplifier; | 150 friend class BranchSimplifier; |
146 friend class ConstantPropagator; | 151 friend class ConstantPropagator; |
147 | 152 |
148 void DiscoverBlocks(); | 153 void DiscoverBlocks(); |
149 | 154 |
150 // SSA transformation methods and fields. | 155 // SSA transformation methods and fields. |
151 void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier); | 156 void ComputeDominators(GrowableArray<BitVector*>* dominance_frontier); |
152 | 157 |
153 void CompressPath( | 158 void CompressPath( |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
190 GrowableArray<BlockEntryInstr*> preorder_; | 195 GrowableArray<BlockEntryInstr*> preorder_; |
191 GrowableArray<BlockEntryInstr*> postorder_; | 196 GrowableArray<BlockEntryInstr*> postorder_; |
192 GrowableArray<BlockEntryInstr*> reverse_postorder_; | 197 GrowableArray<BlockEntryInstr*> reverse_postorder_; |
193 bool invalid_dominator_tree_; | 198 bool invalid_dominator_tree_; |
194 ConstantInstr* constant_null_; | 199 ConstantInstr* constant_null_; |
195 }; | 200 }; |
196 | 201 |
197 } // namespace dart | 202 } // namespace dart |
198 | 203 |
199 #endif // VM_FLOW_GRAPH_H_ | 204 #endif // VM_FLOW_GRAPH_H_ |
OLD | NEW |