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 |