| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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_BUILDER_H_ | 5 #ifndef VM_FLOW_GRAPH_BUILDER_H_ |
| 6 #define VM_FLOW_GRAPH_BUILDER_H_ | 6 #define VM_FLOW_GRAPH_BUILDER_H_ |
| 7 | 7 |
| 8 #include "vm/allocation.h" | 8 #include "vm/allocation.h" |
| 9 #include "vm/ast.h" | 9 #include "vm/ast.h" |
| 10 #include "vm/growable_array.h" | 10 #include "vm/growable_array.h" |
| (...skipping 119 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 130 Computation* BuildLoadLocal(const LocalVariable& local); | 130 Computation* BuildLoadLocal(const LocalVariable& local); |
| 131 | 131 |
| 132 // Helpers for translating parts of the AST. | 132 // Helpers for translating parts of the AST. |
| 133 void TranslateArgumentList(const ArgumentListNode& node, | 133 void TranslateArgumentList(const ArgumentListNode& node, |
| 134 ZoneGrowableArray<Value*>* values); | 134 ZoneGrowableArray<Value*>* values); |
| 135 | 135 |
| 136 // Creates an instantiated type argument vector used in preparation of an | 136 // Creates an instantiated type argument vector used in preparation of an |
| 137 // allocation call. | 137 // allocation call. |
| 138 // May be called only if allocating an object of a parameterized class. | 138 // May be called only if allocating an object of a parameterized class. |
| 139 BindInstr* BuildInstantiatedTypeArguments( | 139 BindInstr* BuildInstantiatedTypeArguments( |
| 140 intptr_t token_index, | 140 intptr_t token_pos, |
| 141 const AbstractTypeArguments& type_arguments); | 141 const AbstractTypeArguments& type_arguments); |
| 142 | 142 |
| 143 // Creates a possibly uninstantiated type argument vector and the type | 143 // Creates a possibly uninstantiated type argument vector and the type |
| 144 // argument vector of the instantiator (two values in 'args') used in | 144 // argument vector of the instantiator (two values in 'args') used in |
| 145 // preparation of a constructor call. | 145 // preparation of a constructor call. |
| 146 // May be called only if allocating an object of a parameterized class. | 146 // May be called only if allocating an object of a parameterized class. |
| 147 void BuildConstructorTypeArguments(ConstructorCallNode* node, | 147 void BuildConstructorTypeArguments(ConstructorCallNode* node, |
| 148 ZoneGrowableArray<Value*>* args); | 148 ZoneGrowableArray<Value*>* args); |
| 149 | 149 |
| 150 void BuildTypecheckArguments(intptr_t token_index, | 150 void BuildTypecheckArguments(intptr_t token_pos, |
| 151 Value** instantiator, | 151 Value** instantiator, |
| 152 Value** instantiator_type_arguments); | 152 Value** instantiator_type_arguments); |
| 153 Value* BuildInstantiator(); | 153 Value* BuildInstantiator(); |
| 154 Value* BuildInstantiatorTypeArguments(intptr_t token_index, | 154 Value* BuildInstantiatorTypeArguments(intptr_t token_pos, |
| 155 Value* instantiator); | 155 Value* instantiator); |
| 156 | 156 |
| 157 // Perform a type check on the given value. | 157 // Perform a type check on the given value. |
| 158 AssertAssignableComp* BuildAssertAssignable(intptr_t token_index, | 158 AssertAssignableComp* BuildAssertAssignable(intptr_t token_pos, |
| 159 Value* value, | 159 Value* value, |
| 160 const AbstractType& dst_type, | 160 const AbstractType& dst_type, |
| 161 const String& dst_name); | 161 const String& dst_name); |
| 162 | 162 |
| 163 // Perform a type check on the given value and return it. | 163 // Perform a type check on the given value and return it. |
| 164 Value* BuildAssignableValue(intptr_t token_index, | 164 Value* BuildAssignableValue(intptr_t token_pos, |
| 165 Value* value, | 165 Value* value, |
| 166 const AbstractType& dst_type, | 166 const AbstractType& dst_type, |
| 167 const String& dst_name); | 167 const String& dst_name); |
| 168 | 168 |
| 169 void BuildStoreIndexedValues(StoreIndexedNode* node, | 169 void BuildStoreIndexedValues(StoreIndexedNode* node, |
| 170 Value** array, | 170 Value** array, |
| 171 Value** index, | 171 Value** index, |
| 172 Value** value); | 172 Value** value); |
| 173 void BuildInstanceSetterValues(InstanceSetterNode* node, | 173 void BuildInstanceSetterValues(InstanceSetterNode* node, |
| 174 Value** receiver, | 174 Value** receiver, |
| (...skipping 107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 282 // | 282 // |
| 283 // To distinguish between the graphs with only nonlocal exits and graphs | 283 // To distinguish between the graphs with only nonlocal exits and graphs |
| 284 // with both true and false exits, there are a pair of TargetEntryInstr**: | 284 // with both true and false exits, there are a pair of TargetEntryInstr**: |
| 285 // | 285 // |
| 286 // - Both NULL: only non-local exits, truly closed | 286 // - Both NULL: only non-local exits, truly closed |
| 287 // - Neither NULL: true and false successors at the given addresses | 287 // - Neither NULL: true and false successors at the given addresses |
| 288 // | 288 // |
| 289 // We expect that AstNode in test contexts either have only nonlocal exits | 289 // We expect that AstNode in test contexts either have only nonlocal exits |
| 290 // or else control flow has both true and false successors. | 290 // or else control flow has both true and false successors. |
| 291 // | 291 // |
| 292 // The cis and token_index are used in checked mode to verify that the | 292 // The cis and token_pos are used in checked mode to verify that the |
| 293 // condition of the test is of type bool. | 293 // condition of the test is of type bool. |
| 294 class TestGraphVisitor : public ValueGraphVisitor { | 294 class TestGraphVisitor : public ValueGraphVisitor { |
| 295 public: | 295 public: |
| 296 TestGraphVisitor(FlowGraphBuilder* owner, | 296 TestGraphVisitor(FlowGraphBuilder* owner, |
| 297 intptr_t temp_index, | 297 intptr_t temp_index, |
| 298 intptr_t condition_token_index) | 298 intptr_t condition_token_pos) |
| 299 : ValueGraphVisitor(owner, temp_index), | 299 : ValueGraphVisitor(owner, temp_index), |
| 300 true_successor_address_(NULL), | 300 true_successor_address_(NULL), |
| 301 false_successor_address_(NULL), | 301 false_successor_address_(NULL), |
| 302 condition_token_index_(condition_token_index) { | 302 condition_token_pos_(condition_token_pos) { |
| 303 } | 303 } |
| 304 | 304 |
| 305 TargetEntryInstr** true_successor_address() const { | 305 TargetEntryInstr** true_successor_address() const { |
| 306 ASSERT(true_successor_address_ != NULL); | 306 ASSERT(true_successor_address_ != NULL); |
| 307 return true_successor_address_; | 307 return true_successor_address_; |
| 308 } | 308 } |
| 309 TargetEntryInstr** false_successor_address() const { | 309 TargetEntryInstr** false_successor_address() const { |
| 310 ASSERT(false_successor_address_ != NULL); | 310 ASSERT(false_successor_address_ != NULL); |
| 311 return false_successor_address_; | 311 return false_successor_address_; |
| 312 } | 312 } |
| 313 | 313 |
| 314 intptr_t condition_token_index() const { return condition_token_index_; } | 314 intptr_t condition_token_pos() const { return condition_token_pos_; } |
| 315 | 315 |
| 316 private: | 316 private: |
| 317 // Construct and concatenate a Branch instruction to this graph fragment. | 317 // Construct and concatenate a Branch instruction to this graph fragment. |
| 318 // Closes the fragment and sets the output parameters. | 318 // Closes the fragment and sets the output parameters. |
| 319 virtual void ReturnValue(Value* value); | 319 virtual void ReturnValue(Value* value); |
| 320 | 320 |
| 321 // Output parameters. | 321 // Output parameters. |
| 322 TargetEntryInstr** true_successor_address_; | 322 TargetEntryInstr** true_successor_address_; |
| 323 TargetEntryInstr** false_successor_address_; | 323 TargetEntryInstr** false_successor_address_; |
| 324 | 324 |
| 325 intptr_t condition_token_index_; | 325 intptr_t condition_token_pos_; |
| 326 }; | 326 }; |
| 327 | 327 |
| 328 } // namespace dart | 328 } // namespace dart |
| 329 | 329 |
| 330 #endif // VM_FLOW_GRAPH_BUILDER_H_ | 330 #endif // VM_FLOW_GRAPH_BUILDER_H_ |
| OLD | NEW |