#include <data-flow.h>

Inheritance diagram for v8::internal::BitVector:

Collaboration diagram for v8::internal::BitVector:

Classes
class	BASE_EMBEDDED

Public Member Functions
	BitVector (int length, Zone *zone)

	BitVector (const BitVector &other, Zone *zone)

BitVector &	operator= (const BitVector &rhs)

void	CopyFrom (const BitVector &other)

bool	Contains (int i) const

void	Add (int i)

void	Remove (int i)

void	Union (const BitVector &other)

bool	UnionIsChanged (const BitVector &other)

void	Intersect (const BitVector &other)

bool	IntersectIsChanged (const BitVector &other)

void	Subtract (const BitVector &other)

void	Clear ()

bool	IsEmpty () const

bool	Equals (const BitVector &other)

int	Count () const

int	length () const

Public Member Functions inherited from v8::internal::ZoneObject
	INLINE (void operator new(size_t size, Zone zone))

void	operator delete (void *, size_t)

void	operator delete (void pointer, Zone zone)

Static Public Member Functions
static int	SizeFor (int length)

Private Attributes
int	length_

int	data_length_

uint32_t *	data_

Detailed Description

Definition at line 18 of file data-flow.h.

Constructor & Destructor Documentation

◆ BitVector() [1/2]

v8::internal::BitVector::BitVector	(	int	length,
		Zone *	zone
	)

inline

Definition at line 65 of file data-flow.h.

       : length_(length),
         data_length_(SizeFor(length)),
         data_(zone->NewArray<uint32_t>(data_length_)) {
     DCHECK(length > 0);
     Clear();
   }

References Clear(), DCHECK, and length().

Here is the call graph for this function:

◆ BitVector() [2/2]

v8::internal::BitVector::BitVector	(	const BitVector &	other,
		Zone *	zone
	)

inline

Definition at line 73 of file data-flow.h.

       : length_(other.length()),
         data_length_(SizeFor(length_)),
         data_(zone->NewArray<uint32_t>(data_length_)) {
     CopyFrom(other);
   }

References CopyFrom().

Here is the call graph for this function:

Member Function Documentation

◆ Add()

void v8::internal::BitVector::Add ( int i )

inline

Definition at line 105 of file data-flow.h.

                   {
     DCHECK(i >= 0 && i < length());
     data_[i / 32] |= (1U << (i % 32));
   }

References data_, DCHECK, and length().

Referenced by v8::internal::HInferRepresentationPhase::AddToWorklist(), v8::internal::HRangeAnalysisPhase::AddToWorklist(), v8::internal::compiler::ComputeLoopInfo(), v8::internal::HInferTypesPhase::InferTypes(), v8::internal::HEnvironmentLivenessAnalysisPhase::Run(), v8::internal::HInferRepresentationPhase::Run(), v8::internal::compiler::ScheduleVerifier::Run(), and v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtInstruction().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Clear()

void v8::internal::BitVector::Clear ( )

inline

Definition at line 158 of file data-flow.h.

                {
     for (int i = 0; i < data_length_; i++) {
       data_[i] = 0;
     }
   }

References data_, and data_length_.

Referenced by BitVector(), v8::internal::HRangeAnalysisPhase::PropagateMinusZeroChecks(), v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtBlockEnd(), and v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtInstruction().

Here is the caller graph for this function:

◆ Contains()

bool v8::internal::BitVector::Contains ( int i ) const

inline

Definition at line 99 of file data-flow.h.

                              {
     DCHECK(i >= 0 && i < length());
     uint32_t block = data_[i / 32];
     return (block & (1U << (i % 32))) != 0;
   }

References data_, DCHECK, and length().

Referenced by v8::internal::HInferRepresentationPhase::AddToWorklist(), v8::internal::HRangeAnalysisPhase::AddToWorklist(), v8::internal::compiler::Scheduler::ComputeSpecialRPO(), v8::internal::HInferTypesPhase::InferTypes(), v8::internal::HEnvironmentLivenessAnalysisPhase::Run(), v8::internal::HInferRepresentationPhase::Run(), v8::internal::compiler::ScheduleVerifier::Run(), v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtInstruction(), and v8::internal::HEnvironmentLivenessAnalysisPhase::ZapEnvironmentSlotsInSuccessors().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CopyFrom()

void v8::internal::BitVector::CopyFrom ( const BitVector & other )

inline

Definition at line 89 of file data-flow.h.

                                         {
     DCHECK(other.length() <= length());
     for (int i = 0; i < other.data_length_; i++) {
       data_[i] = other.data_[i];
     }
     for (int i = other.data_length_; i < data_length_; i++) {
       data_[i] = 0;
     }
   }

References data_, data_length_, DCHECK, and length().

Referenced by BitVector(), v8::internal::BASE_EMBEDDED< Visitor >::EnsureCapacity(), operator=(), and v8::internal::compiler::ScheduleVerifier::Run().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Count()

int v8::internal::BitVector::Count ( ) const

Definition at line 44 of file data-flow.cc.

                            {
   int count = 0;
   for (int i = 0; i < data_length_; i++) {
     int data = data_[i];
     if (data != 0) count += base::bits::CountPopulation32(data);
   }
   return count;
 }

References v8::base::bits::CountPopulation32(), data_, and data_length_.

Here is the call graph for this function:

◆ Equals()

bool v8::internal::BitVector::Equals ( const BitVector & other )

inline

Definition at line 171 of file data-flow.h.

                                       {
     for (int i = 0; i < data_length_; i++) {
       if (data_[i] != other.data_[i]) return false;
     }
     return true;
   }

References data_, and data_length_.

Referenced by v8::internal::HEnvironmentLivenessAnalysisPhase::ZapEnvironmentSlotsInSuccessors().

Here is the caller graph for this function:

◆ Intersect()

void v8::internal::BitVector::Intersect ( const BitVector & other )

inline

Definition at line 133 of file data-flow.h.

                                          {
     DCHECK(other.length() == length());
     for (int i = 0; i < data_length_; i++) {
       data_[i] &= other.data_[i];
     }
   }

References data_, data_length_, DCHECK, and length().

Here is the call graph for this function:

◆ IntersectIsChanged()

bool v8::internal::BitVector::IntersectIsChanged ( const BitVector & other )

inline

Definition at line 140 of file data-flow.h.

                                                   {
     DCHECK(other.length() == length());
     bool changed = false;
     for (int i = 0; i < data_length_; i++) {
       uint32_t old_data = data_[i];
       data_[i] &= other.data_[i];
       if (data_[i] != old_data) changed = true;
     }
     return changed;
   }

References data_, data_length_, DCHECK, and length().

Referenced by v8::internal::compiler::ScheduleVerifier::Run().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ IsEmpty()

bool v8::internal::BitVector::IsEmpty ( ) const

inline

Definition at line 164 of file data-flow.h.

                        {
     for (int i = 0; i < data_length_; i++) {
       if (data_[i] != 0) return false;
     }
     return true;
   }

References data_, and data_length_.

Referenced by v8::internal::compiler::Frame::DidAllocateDoubleRegisters(), v8::internal::HInferTypesPhase::InferTypes(), v8::internal::HRangeAnalysisPhase::PropagateMinusZeroChecks(), and v8::internal::HEnvironmentLivenessAnalysisPhase::Run().

Here is the caller graph for this function:

◆ length()

int v8::internal::BitVector::length ( ) const

inline

Definition at line 180 of file data-flow.h.

180 { return length_; }

References length_.

Referenced by Add(), BitVector(), Contains(), CopyFrom(), Intersect(), IntersectIsChanged(), Remove(), SizeFor(), Subtract(), Union(), UnionIsChanged(), and v8::internal::HEnvironmentLivenessAnalysisPhase::ZapEnvironmentSlotsInSuccessors().

Here is the caller graph for this function:

◆ operator=()

BitVector& v8::internal::BitVector::operator= ( const BitVector & rhs )

inline

Definition at line 84 of file data-flow.h.

                                              {
     if (this != &rhs) CopyFrom(rhs);
     return *this;
   }

References CopyFrom().

Here is the call graph for this function:

◆ Remove()

void v8::internal::BitVector::Remove ( int i )

inline

Definition at line 110 of file data-flow.h.

                      {
     DCHECK(i >= 0 && i < length());
     data_[i / 32] &= ~(1U << (i % 32));
   }

References data_, DCHECK, and length().

Referenced by v8::internal::HInferTypesPhase::InferTypes(), v8::internal::HEnvironmentLivenessAnalysisPhase::Run(), v8::internal::HInferRepresentationPhase::Run(), v8::internal::compiler::ScheduleVerifier::Run(), and v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtInstruction().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ SizeFor()

static int v8::internal::BitVector::SizeFor ( int length )

inlinestatic

Definition at line 80 of file data-flow.h.

                                  {
     return 1 + ((length - 1) / 32);
   }

References length().

Here is the call graph for this function:

◆ Subtract()

void v8::internal::BitVector::Subtract ( const BitVector & other )

inline

Definition at line 151 of file data-flow.h.

                                         {
     DCHECK(other.length() == length());
     for (int i = 0; i < data_length_; i++) {
       data_[i] &= ~other.data_[i];
     }
   }

References data_, data_length_, DCHECK, and length().

Here is the call graph for this function:

◆ Union()

void v8::internal::BitVector::Union ( const BitVector & other )

inline

Definition at line 115 of file data-flow.h.

                                      {
     DCHECK(other.length() == length());
     for (int i = 0; i < data_length_; i++) {
       data_[i] |= other.data_[i];
     }
   }

References data_, data_length_, DCHECK, and length().

Referenced by v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtBlockEnd(), and v8::internal::HEnvironmentLivenessAnalysisPhase::UpdateLivenessAtInstruction().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ UnionIsChanged()

bool v8::internal::BitVector::UnionIsChanged ( const BitVector & other )

inline

Definition at line 122 of file data-flow.h.

                                               {
     DCHECK(other.length() == length());
     bool changed = false;
     for (int i = 0; i < data_length_; i++) {
       uint32_t old_data = data_[i];
       data_[i] |= other.data_[i];
       if (data_[i] != old_data) changed = true;
     }
     return changed;
   }

References data_, data_length_, DCHECK, and length().

Here is the call graph for this function:

Member Data Documentation

◆ data_

uint32_t* v8::internal::BitVector::data_

private

Definition at line 189 of file data-flow.h.

Referenced by Add(), Clear(), Contains(), CopyFrom(), Count(), Equals(), Intersect(), IntersectIsChanged(), IsEmpty(), Remove(), Subtract(), Union(), and UnionIsChanged().

◆ data_length_

int v8::internal::BitVector::data_length_

private

Definition at line 188 of file data-flow.h.

Referenced by Clear(), CopyFrom(), Count(), Equals(), Intersect(), IntersectIsChanged(), IsEmpty(), v8::internal::BitVector::BASE_EMBEDDED::Iterator(), Subtract(), Union(), and UnionIsChanged().

◆ length_

int v8::internal::BitVector::length_

private

Definition at line 187 of file data-flow.h.

Referenced by length().

The documentation for this class was generated from the following files:

/mnt/V8SourceCode/src/data-flow.h
/mnt/V8SourceCode/src/data-flow.cc

Classes

Public Member Functions

Static Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ BitVector() [1/2]

◆ BitVector() [2/2]

Member Function Documentation

◆ Add()

◆ Clear()

◆ Contains()

◆ CopyFrom()

◆ Count()

◆ Equals()

◆ Intersect()

◆ IntersectIsChanged()

◆ IsEmpty()

◆ length()

◆ operator=()

◆ Remove()

◆ SizeFor()

◆ Subtract()

◆ Union()

◆ UnionIsChanged()

Member Data Documentation

◆ data_

◆ data_length_

◆ length_