| 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 |