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 RUNTIME_VM_CONSTANT_PROPAGATOR_H_ | 5 #ifndef RUNTIME_VM_CONSTANT_PROPAGATOR_H_ |
6 #define RUNTIME_VM_CONSTANT_PROPAGATOR_H_ | 6 #define RUNTIME_VM_CONSTANT_PROPAGATOR_H_ |
7 | 7 |
8 #include "vm/intermediate_language.h" | 8 #include "vm/intermediate_language.h" |
9 #include "vm/flow_graph.h" | 9 #include "vm/flow_graph.h" |
10 | 10 |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
42 void SetReachable(BlockEntryInstr* block); | 42 void SetReachable(BlockEntryInstr* block); |
43 bool SetValue(Definition* definition, const Object& value); | 43 bool SetValue(Definition* definition, const Object& value); |
44 | 44 |
45 Definition* UnwrapPhi(Definition* defn); | 45 Definition* UnwrapPhi(Definition* defn); |
46 void MarkPhi(Definition* defn); | 46 void MarkPhi(Definition* defn); |
47 | 47 |
48 // Assign the join (least upper bound) of a pair of abstract values to the | 48 // Assign the join (least upper bound) of a pair of abstract values to the |
49 // first one. | 49 // first one. |
50 void Join(Object* left, const Object& right); | 50 void Join(Object* left, const Object& right); |
51 | 51 |
52 bool IsUnknown(const Object& value) { | 52 bool IsUnknown(const Object& value) { return value.raw() == unknown_.raw(); } |
53 return value.raw() == unknown_.raw(); | |
54 } | |
55 bool IsNonConstant(const Object& value) { | 53 bool IsNonConstant(const Object& value) { |
56 return value.raw() == non_constant_.raw(); | 54 return value.raw() == non_constant_.raw(); |
57 } | 55 } |
58 bool IsConstant(const Object& value) { | 56 bool IsConstant(const Object& value) { |
59 return !IsNonConstant(value) && !IsUnknown(value); | 57 return !IsNonConstant(value) && !IsUnknown(value); |
60 } | 58 } |
61 | 59 |
62 void VisitBinaryIntegerOp(BinaryIntegerOpInstr* binary_op); | 60 void VisitBinaryIntegerOp(BinaryIntegerOpInstr* binary_op); |
63 void VisitUnaryIntegerOp(UnaryIntegerOpInstr* unary_op); | 61 void VisitUnaryIntegerOp(UnaryIntegerOpInstr* unary_op); |
64 | 62 |
(...skipping 19 matching lines...) Expand all Loading... |
84 | 82 |
85 // Worklists of blocks and definitions. | 83 // Worklists of blocks and definitions. |
86 GrowableArray<BlockEntryInstr*> block_worklist_; | 84 GrowableArray<BlockEntryInstr*> block_worklist_; |
87 DefinitionWorklist definition_worklist_; | 85 DefinitionWorklist definition_worklist_; |
88 }; | 86 }; |
89 | 87 |
90 | 88 |
91 } // namespace dart | 89 } // namespace dart |
92 | 90 |
93 #endif // RUNTIME_VM_CONSTANT_PROPAGATOR_H_ | 91 #endif // RUNTIME_VM_CONSTANT_PROPAGATOR_H_ |
OLD | NEW |