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 |