| 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_TYPE_PROPAGATOR_H_ | 5 #ifndef VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ |
| 6 #define VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ | 6 #define VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ |
| 7 | 7 |
| 8 #include "vm/flow_graph.h" | 8 #include "vm/flow_graph.h" |
| 9 #include "vm/intermediate_language.h" | 9 #include "vm/intermediate_language.h" |
| 10 | 10 |
| (...skipping 14 matching lines...) Expand all Loading... |
| 25 | 25 |
| 26 void VisitValue(Value* value); | 26 void VisitValue(Value* value); |
| 27 | 27 |
| 28 virtual void VisitJoinEntry(JoinEntryInstr* instr); | 28 virtual void VisitJoinEntry(JoinEntryInstr* instr); |
| 29 virtual void VisitCheckSmi(CheckSmiInstr* instr); | 29 virtual void VisitCheckSmi(CheckSmiInstr* instr); |
| 30 virtual void VisitCheckArrayBound(CheckArrayBoundInstr* instr); | 30 virtual void VisitCheckArrayBound(CheckArrayBoundInstr* instr); |
| 31 virtual void VisitCheckClass(CheckClassInstr* instr); | 31 virtual void VisitCheckClass(CheckClassInstr* instr); |
| 32 virtual void VisitCheckClassId(CheckClassIdInstr* instr); | 32 virtual void VisitCheckClassId(CheckClassIdInstr* instr); |
| 33 virtual void VisitGuardFieldClass(GuardFieldClassInstr* instr); | 33 virtual void VisitGuardFieldClass(GuardFieldClassInstr* instr); |
| 34 virtual void VisitAssertAssignable(AssertAssignableInstr* instr); | 34 virtual void VisitAssertAssignable(AssertAssignableInstr* instr); |
| 35 virtual void VisitInstanceCall(InstanceCallInstr* instr); |
| 36 virtual void VisitPolymorphicInstanceCall( |
| 37 PolymorphicInstanceCallInstr* instr); |
| 35 | 38 |
| 36 // Current reaching type of the definition. Valid only during dominator tree | 39 // Current reaching type of the definition. Valid only during dominator tree |
| 37 // traversal. | 40 // traversal. |
| 38 CompileType* TypeOf(Definition* def); | 41 CompileType* TypeOf(Definition* def); |
| 39 | 42 |
| 40 // Mark definition as having given compile type in all dominated instructions. | 43 // Mark definition as having given compile type in all dominated instructions. |
| 41 void SetTypeOf(Definition* def, CompileType* type); | 44 void SetTypeOf(Definition* def, CompileType* type); |
| 42 | 45 |
| 43 // Mark definition as having given class id in all dominated instructions. | 46 // Mark definition as having given class id in all dominated instructions. |
| 44 void SetCid(Definition* value, intptr_t cid); | 47 void SetCid(Definition* value, intptr_t cid); |
| (...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 89 intptr_t index_; | 92 intptr_t index_; |
| 90 CompileType* type_; | 93 CompileType* type_; |
| 91 }; | 94 }; |
| 92 | 95 |
| 93 GrowableArray<RollbackEntry> rollback_; | 96 GrowableArray<RollbackEntry> rollback_; |
| 94 }; | 97 }; |
| 95 | 98 |
| 96 } // namespace dart | 99 } // namespace dart |
| 97 | 100 |
| 98 #endif // VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ | 101 #endif // VM_FLOW_GRAPH_TYPE_PROPAGATOR_H_ |
| OLD | NEW |