Static Value-Flow Analysis
Public Member Functions | Private Member Functions | Private Attributes | List of all members
SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator Class Reference

Public Member Functions

 SparseBitVectorIterator ()=delete
 
 SparseBitVectorIterator (const SparseBitVector< ElementSize > *RHS, bool end=false)
 
SparseBitVectorIterator & operator++ ()
 
SparseBitVectorIterator operator++ (int)
 
unsigned operator* () const
 
bool operator== (const SparseBitVectorIterator &RHS) const
 
bool operator!= (const SparseBitVectorIterator &RHS) const
 

Private Member Functions

void AdvanceToFirstNonZero ()
 
void AdvanceToNextNonZero ()
 

Private Attributes

bool AtEnd
 
const SparseBitVector< ElementSize > * BitVector = nullptr
 
ElementListConstIter Iter
 
unsigned BitNumber
 
unsigned WordNumber
 
SparseBitVectorElement< ElementSize >::BitWord Bits
 

Detailed Description

template<unsigned ElementSize = 128>
class SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator

Definition at line 578 of file SparseBitVector.h.

Constructor & Destructor Documentation

◆ SparseBitVectorIterator() [1/2]

template<unsigned ElementSize = 128>
SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::SparseBitVectorIterator ( )
delete

◆ SparseBitVectorIterator() [2/2]

template<unsigned ElementSize = 128>
SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::SparseBitVectorIterator ( const SparseBitVector< ElementSize > *  RHS,
bool  end = false 
)
inline

Definition at line 666 of file SparseBitVector.h.

667  :BitVector(RHS)
668  {
669  Iter = BitVector->Elements.begin();
670  BitNumber = 0;
671  Bits = 0;
672  WordNumber = ~0;
673  AtEnd = end;
674  AdvanceToFirstNonZero();
675  }
SVF::SparseBitVector::SparseBitVectorIterator::BitVector
const SparseBitVector< ElementSize > * BitVector
Definition: SparseBitVector.h:583
SVF::SparseBitVector::SparseBitVectorIterator::Bits
SparseBitVectorElement< ElementSize >::BitWord Bits
Definition: SparseBitVector.h:595
SVF::SparseBitVector::end
iterator end() const
Definition: SparseBitVector.h:1162

Member Function Documentation

◆ AdvanceToFirstNonZero()

template<unsigned ElementSize = 128>
void SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::AdvanceToFirstNonZero ( )
inlineprivate

Definition at line 598 of file SparseBitVector.h.

599  {
600  if (AtEnd)
601  return;
602  if (BitVector->Elements.empty())
603  {
604  AtEnd = true;
605  return;
606  }
607  Iter = BitVector->Elements.begin();
608  BitNumber = Iter->index() * ElementSize;
609  unsigned BitPos = Iter->find_first();
610  BitNumber += BitPos;
611  WordNumber = (BitNumber % ElementSize) / BITWORD_SIZE;
612  Bits = Iter->word(WordNumber);
613  Bits >>= BitPos % BITWORD_SIZE;
614  }

◆ AdvanceToNextNonZero()

template<unsigned ElementSize = 128>
void SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::AdvanceToNextNonZero ( )
inlineprivate

Definition at line 617 of file SparseBitVector.h.

618  {
619  if (AtEnd)
620  return;
621 
622  while (Bits && !(Bits & 1))
623  {
624  Bits >>= 1;
625  BitNumber += 1;
626  }
627 
628  // See if we ran out of Bits in this word.
629  if (!Bits)
630  {
631  int NextSetBitNumber = Iter->find_next(BitNumber % ElementSize) ;
632  // If we ran out of set bits in this element, move to next element.
633  if (NextSetBitNumber == -1 || (BitNumber % ElementSize == 0))
634  {
635  ++Iter;
636  WordNumber = 0;
637 
638  // We may run out of elements in the bitmap.
639  if (Iter == BitVector->Elements.end())
640  {
641  AtEnd = true;
642  return;
643  }
644  // Set up for next non-zero word in bitmap.
645  BitNumber = Iter->index() * ElementSize;
646  NextSetBitNumber = Iter->find_first();
647  BitNumber += NextSetBitNumber;
648  WordNumber = (BitNumber % ElementSize) / BITWORD_SIZE;
649  Bits = Iter->word(WordNumber);
650  Bits >>= NextSetBitNumber % BITWORD_SIZE;
651  }
652  else
653  {
654  WordNumber = (NextSetBitNumber % ElementSize) / BITWORD_SIZE;
655  Bits = Iter->word(WordNumber);
656  Bits >>= NextSetBitNumber % BITWORD_SIZE;
657  BitNumber = Iter->index() * ElementSize;
658  BitNumber += NextSetBitNumber;
659  }
660  }
661  }

◆ operator!=()

template<unsigned ElementSize = 128>
bool SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::operator!= ( const SparseBitVectorIterator &  RHS) const
inline

Definition at line 710 of file SparseBitVector.h.

711  {
712  return !(*this == RHS);
713  }

◆ operator*()

template<unsigned ElementSize = 128>
unsigned SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::operator* ( void  ) const
inline

Definition at line 695 of file SparseBitVector.h.

696  {
697  return BitNumber;
698  }

◆ operator++() [1/2]

template<unsigned ElementSize = 128>
SparseBitVectorIterator& SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::operator++ ( void  )
inline

Definition at line 678 of file SparseBitVector.h.

679  {
680  ++BitNumber;
681  Bits >>= 1;
682  AdvanceToNextNonZero();
683  return *this;
684  }

◆ operator++() [2/2]

template<unsigned ElementSize = 128>
SparseBitVectorIterator SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::operator++ ( int  )
inline

Definition at line 687 of file SparseBitVector.h.

688  {
689  SparseBitVectorIterator tmp = *this;
690  ++*this;
691  return tmp;
692  }

◆ operator==()

template<unsigned ElementSize = 128>
bool SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::operator== ( const SparseBitVectorIterator &  RHS) const
inline

Definition at line 700 of file SparseBitVector.h.

701  {
702  // If they are both at the end, ignore the rest of the fields.
703  if (AtEnd && RHS.AtEnd)
704  return true;
705  // Otherwise they are the same if they have the same bit number and
706  // bitmap.
707  return AtEnd == RHS.AtEnd && RHS.BitNumber == BitNumber;
708  }

Member Data Documentation

◆ AtEnd

template<unsigned ElementSize = 128>
bool SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::AtEnd
private

Definition at line 581 of file SparseBitVector.h.

◆ BitNumber

template<unsigned ElementSize = 128>
unsigned SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::BitNumber
private

Definition at line 589 of file SparseBitVector.h.

◆ Bits

template<unsigned ElementSize = 128>
SparseBitVectorElement<ElementSize>::BitWord SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::Bits
private

Definition at line 595 of file SparseBitVector.h.

◆ BitVector

template<unsigned ElementSize = 128>
const SparseBitVector<ElementSize>* SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::BitVector = nullptr
private

Definition at line 583 of file SparseBitVector.h.

◆ Iter

template<unsigned ElementSize = 128>
ElementListConstIter SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::Iter
private

Definition at line 586 of file SparseBitVector.h.

◆ WordNumber

template<unsigned ElementSize = 128>
unsigned SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator::WordNumber
private

Definition at line 592 of file SparseBitVector.h.

The documentation for this class was generated from the following file:
Generated by doxygen 1.9.1