| 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/hash_map.h" | 9 #include "vm/hash_map.h" |
| 10 #include "vm/intermediate_language.h" | 10 #include "vm/intermediate_language.h" |
| (...skipping 179 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 190 | 190 |
| 191 // Operations on the flow graph. | 191 // Operations on the flow graph. |
| 192 void ComputeSSA(intptr_t next_virtual_register_number, | 192 void ComputeSSA(intptr_t next_virtual_register_number, |
| 193 ZoneGrowableArray<Definition*>* inlining_parameters); | 193 ZoneGrowableArray<Definition*>* inlining_parameters); |
| 194 | 194 |
| 195 // Verification methods for debugging. | 195 // Verification methods for debugging. |
| 196 bool VerifyUseLists(); | 196 bool VerifyUseLists(); |
| 197 | 197 |
| 198 void DiscoverBlocks(); | 198 void DiscoverBlocks(); |
| 199 | 199 |
| 200 void MergeBlocks(); |
| 201 |
| 200 // Compute information about effects occuring in different blocks and | 202 // Compute information about effects occuring in different blocks and |
| 201 // discover side-effect free paths. | 203 // discover side-effect free paths. |
| 202 void ComputeBlockEffects(); | 204 void ComputeBlockEffects(); |
| 203 BlockEffects* block_effects() const { return block_effects_; } | 205 BlockEffects* block_effects() const { return block_effects_; } |
| 204 | 206 |
| 205 // Remove the redefinition instructions inserted to inhibit code motion. | 207 // Remove the redefinition instructions inserted to inhibit code motion. |
| 206 void RemoveRedefinitions(); | 208 void RemoveRedefinitions(); |
| 207 | 209 |
| 208 // Copy deoptimization target from one instruction to another if we still | 210 // Copy deoptimization target from one instruction to another if we still |
| 209 // have to keep deoptimization environment at gotos for LICM purposes. | 211 // have to keep deoptimization environment at gotos for LICM purposes. |
| (...skipping 229 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 439 // Per block sets of available blocks. Block A is available at the block B if | 441 // Per block sets of available blocks. Block A is available at the block B if |
| 440 // and only if A dominates B and all paths from A to B are free of side | 442 // and only if A dominates B and all paths from A to B are free of side |
| 441 // effects. | 443 // effects. |
| 442 GrowableArray<BitVector*> available_at_; | 444 GrowableArray<BitVector*> available_at_; |
| 443 }; | 445 }; |
| 444 | 446 |
| 445 | 447 |
| 446 } // namespace dart | 448 } // namespace dart |
| 447 | 449 |
| 448 #endif // VM_FLOW_GRAPH_H_ | 450 #endif // VM_FLOW_GRAPH_H_ |
| OLD | NEW |