| // Copyright 2016 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef V8_COMPILER_BYTECODE_LIVENESS_MAP_H_ |
| #define V8_COMPILER_BYTECODE_LIVENESS_MAP_H_ |
| |
| #include "src/base/hashmap.h" |
| #include "src/bit-vector.h" |
| #include "src/zone/zone.h" |
| |
| namespace v8 { |
| namespace internal { |
| |
| class Zone; |
| |
| namespace compiler { |
| |
| class BytecodeLivenessState : public ZoneObject { |
| public: |
| BytecodeLivenessState(int register_count, Zone* zone) |
| : bit_vector_(register_count + 1, zone) {} |
| |
| const BitVector& bit_vector() const { return bit_vector_; } |
| |
| BitVector& bit_vector() { return bit_vector_; } |
| |
| bool RegisterIsLive(int index) const { |
| DCHECK_GE(index, 0); |
| DCHECK_LT(index, bit_vector_.length() - 1); |
| return bit_vector_.Contains(index); |
| } |
| |
| bool AccumulatorIsLive() const { |
| return bit_vector_.Contains(bit_vector_.length() - 1); |
| } |
| |
| bool Equals(const BytecodeLivenessState& other) const { |
| return bit_vector_.Equals(other.bit_vector_); |
| } |
| |
| void MarkRegisterLive(int index) { |
| DCHECK_GE(index, 0); |
| DCHECK_LT(index, bit_vector_.length() - 1); |
| bit_vector_.Add(index); |
| } |
| |
| void MarkRegisterDead(int index) { |
| DCHECK_GE(index, 0); |
| DCHECK_LT(index, bit_vector_.length() - 1); |
| bit_vector_.Remove(index); |
| } |
| |
| void MarkAccumulatorLive() { bit_vector_.Add(bit_vector_.length() - 1); } |
| |
| void MarkAccumulatorDead() { bit_vector_.Remove(bit_vector_.length() - 1); } |
| |
| void MarkAllLive() { bit_vector_.AddAll(); } |
| |
| void Union(const BytecodeLivenessState& other) { |
| bit_vector_.Union(other.bit_vector_); |
| } |
| |
| bool UnionIsChanged(const BytecodeLivenessState& other) { |
| return bit_vector_.UnionIsChanged(other.bit_vector_); |
| } |
| |
| void CopyFrom(const BytecodeLivenessState& other) { |
| bit_vector_.CopyFrom(other.bit_vector_); |
| } |
| |
| private: |
| BitVector bit_vector_; |
| |
| DISALLOW_COPY_AND_ASSIGN(BytecodeLivenessState); |
| }; |
| |
| struct BytecodeLiveness { |
| BytecodeLivenessState* in; |
| BytecodeLivenessState* out; |
| |
| BytecodeLiveness(int register_count, Zone* zone); |
| }; |
| |
| class V8_EXPORT_PRIVATE BytecodeLivenessMap { |
| public: |
| BytecodeLivenessMap(int size, Zone* zone); |
| |
| BytecodeLiveness& InitializeLiveness(int offset, int register_count, |
| Zone* zone); |
| |
| BytecodeLiveness& GetLiveness(int offset); |
| const BytecodeLiveness& GetLiveness(int offset) const; |
| |
| BytecodeLivenessState* GetInLiveness(int offset) { |
| return GetLiveness(offset).in; |
| } |
| const BytecodeLivenessState* GetInLiveness(int offset) const { |
| return GetLiveness(offset).in; |
| } |
| |
| BytecodeLivenessState* GetOutLiveness(int offset) { |
| return GetLiveness(offset).out; |
| } |
| const BytecodeLivenessState* GetOutLiveness(int offset) const { |
| return GetLiveness(offset).out; |
| } |
| |
| private: |
| base::TemplateHashMapImpl<int, BytecodeLiveness, |
| base::KeyEqualityMatcher<int>, ZoneAllocationPolicy> |
| liveness_map_; |
| }; |
| |
| } // namespace compiler |
| } // namespace internal |
| } // namespace v8 |
| |
| #endif // V8_COMPILER_BYTECODE_LIVENESS_MAP_H_ |