v8::internal::QuickCheckDetails Class Reference

#include <jsregexp.h>

Collaboration diagram for v8::internal::QuickCheckDetails:

Classes
struct	Position

Public Member Functions
	QuickCheckDetails ()
	QuickCheckDetails (int characters)
bool	Rationalize (bool one_byte)
void	Merge (QuickCheckDetails *other, int from_index)
void	Advance (int by, bool one_byte)
void	Clear ()
bool	cannot_match ()
void	set_cannot_match ()
int	characters ()
void	set_characters (int characters)
Position *	positions (int index)
uint32_t	mask ()
uint32_t	value ()

Private Attributes
int	characters_
Position	positions_ [4]
uint32_t	mask_
uint32_t	value_
bool	cannot_match_

Detailed Description

Definition at line 518 of file jsregexp.h.

Constructor & Destructor Documentation

QuickCheckDetails() [1/2]

v8::internal::QuickCheckDetails::QuickCheckDetails ( )

inline

Definition at line 520 of file jsregexp.h.

      : characters_(0),
        mask_(0),
        value_(0),
        cannot_match_(false) { }

QuickCheckDetails() [2/2]

v8::internal::QuickCheckDetails::QuickCheckDetails ( int  characters )

inlineexplicit

Definition at line 525 of file jsregexp.h.

      : characters_(characters),
        mask_(0),
        value_(0),
        cannot_match_(false) { }

Member Function Documentation

Advance()

void v8::internal::QuickCheckDetails::Advance	(	int	by,
		bool	one_byte
	)

Definition at line 2691 of file jsregexp.cc.

                                                     {
  DCHECK(by >= 0);
  if (by >= characters_) {
    Clear();
    return;
  }
  for (int i = 0; i < characters_ - by; i++) {
    positions_[i] = positions_[by + i];
  }
  for (int i = characters_ - by; i < characters_; i++) {
    positions_[i].mask = 0;
    positions_[i].value = 0;
    positions_[i].determines_perfectly = false;
  }
  characters_ -= by;
  // We could change mask_ and value_ here but we would never advance unless
  // they had already been used in a check and they won't be used again because
  // it would gain us nothing.  So there's no point.
}

References DCHECK.

Referenced by v8::internal::Trace::AdvanceCurrentPositionInTrace().

Here is the caller graph for this function:

cannot_match()

bool v8::internal::QuickCheckDetails::cannot_match ( )

inline

Definition at line 536 of file jsregexp.h.

{ return cannot_match_; }

References cannot_match_.

Referenced by v8::internal::ChoiceNode::EmitChoices(), v8::internal::RegExpNode::EmitQuickCheck(), and v8::internal::TextNode::GetQuickCheckDetails().

Here is the caller graph for this function:

characters()

int v8::internal::QuickCheckDetails::characters ( )

inline

Definition at line 544 of file jsregexp.h.

{ return characters_; }

References characters_.

Referenced by v8::internal::DeterminedAlready(), v8::internal::RegExpNode::EmitQuickCheck(), v8::internal::TextNode::GetQuickCheckDetails(), v8::internal::ChoiceNode::GetQuickCheckDetails(), v8::internal::Trace::is_trivial(), and set_characters().

Here is the caller graph for this function:

Clear()

void v8::internal::QuickCheckDetails::Clear

(

)

Definition at line 2681 of file jsregexp.cc.

                              {
  for (int i = 0; i < characters_; i++) {
    positions_[i].mask = 0;
    positions_[i].value = 0;
    positions_[i].determines_perfectly = false;
  }
  characters_ = 0;
}

Referenced by v8::internal::ChoiceNode::EmitChoices().

Here is the caller graph for this function:

mask()

uint32_t v8::internal::QuickCheckDetails::mask ( )

inline

Definition at line 551 of file jsregexp.h.

{ return mask_; }

References mask_.

Referenced by v8::internal::RegExpNode::EmitQuickCheck().

Here is the caller graph for this function:

Merge()

void v8::internal::QuickCheckDetails::Merge	(	QuickCheckDetails *	other,
		int	from_index
	)

Definition at line 2712 of file jsregexp.cc.

                                                                      {
  DCHECK(characters_ == other->characters_);
  if (other->cannot_match_) {
    return;
  }
  if (cannot_match_) {
    *this = *other;
    return;
  }
  for (int i = from_index; i < characters_; i++) {
    QuickCheckDetails::Position* pos = positions(i);
    QuickCheckDetails::Position* other_pos = other->positions(i);
    if (pos->mask != other_pos->mask ||
        pos->value != other_pos->value ||
        !other_pos->determines_perfectly) {
      // Our mask-compare operation will be approximate unless we have the
      // exact same operation on both sides of the alternation.
      pos->determines_perfectly = false;
    }
    pos->mask &= other_pos->mask;
    pos->value &= pos->mask;
    other_pos->value &= pos->mask;
    uc16 differing_bits = (pos->value ^ other_pos->value);
    pos->mask &= ~differing_bits;
    pos->value &= pos->mask;
  }
}

References cannot_match_, characters_, DCHECK, v8::internal::QuickCheckDetails::Position::determines_perfectly, v8::internal::QuickCheckDetails::Position::mask, positions(), and v8::internal::QuickCheckDetails::Position::value.

Referenced by v8::internal::ChoiceNode::GetQuickCheckDetails().

Here is the call graph for this function:

Here is the caller graph for this function:

positions()

Position* v8::internal::QuickCheckDetails::positions ( int  index )

inline

Definition at line 546 of file jsregexp.h.

                                 {
    DCHECK(index >= 0);
    DCHECK(index < characters_);
    return positions_ + index;
  }

References characters_, DCHECK, and positions_.

Referenced by v8::internal::DeterminedAlready(), v8::internal::TextNode::GetQuickCheckDetails(), and Merge().

Here is the caller graph for this function:

Rationalize()

bool v8::internal::QuickCheckDetails::Rationalize

(

bool

one_byte

)

Definition at line 2421 of file jsregexp.cc.

                                            {
  bool found_useful_op = false;
  uint32_t char_mask;
  if (asc) {
    char_mask = String::kMaxOneByteCharCode;
  } else {
    char_mask = String::kMaxUtf16CodeUnit;
  }
  mask_ = 0;
  value_ = 0;
  int char_shift = 0;
  for (int i = 0; i < characters_; i++) {
    Position* pos = &positions_[i];
    if ((pos->mask & String::kMaxOneByteCharCode) != 0) {
      found_useful_op = true;
    }
    mask_ |= (pos->mask & char_mask) << char_shift;
    value_ |= (pos->value & char_mask) << char_shift;
    char_shift += asc ? 8 : 16;
  }
  return found_useful_op;
}

References v8::internal::String::kMaxOneByteCharCode, v8::internal::String::kMaxUtf16CodeUnit, v8::internal::QuickCheckDetails::Position::mask, and v8::internal::QuickCheckDetails::Position::value.

Referenced by v8::internal::RegExpNode::EmitQuickCheck().

Here is the caller graph for this function:

set_cannot_match()

void v8::internal::QuickCheckDetails::set_cannot_match ( )

inline

Definition at line 537 of file jsregexp.h.

{ cannot_match_ = true; }

References cannot_match_.

Referenced by v8::internal::TextNode::GetQuickCheckDetails(), and v8::internal::AssertionNode::GetQuickCheckDetails().

Here is the caller graph for this function:

set_characters()

void v8::internal::QuickCheckDetails::set_characters ( int  characters )

inline

Definition at line 545 of file jsregexp.h.

{ characters_ = characters; }

References characters(), and characters_.

Referenced by v8::internal::ChoiceNode::EmitChoices().

Here is the call graph for this function:

Here is the caller graph for this function:

value()

uint32_t v8::internal::QuickCheckDetails::value ( )

inline

Definition at line 552 of file jsregexp.h.

{ return value_; }

References value_.

Referenced by v8::internal::RegExpNode::EmitQuickCheck().

Here is the caller graph for this function:

Member Data Documentation

cannot_match_

bool v8::internal::QuickCheckDetails::cannot_match_

private

Definition at line 564 of file jsregexp.h.

Referenced by cannot_match(), Merge(), and set_cannot_match().

characters_

int v8::internal::QuickCheckDetails::characters_

private

Definition at line 557 of file jsregexp.h.

Referenced by characters(), Merge(), positions(), and set_characters().

mask_

uint32_t v8::internal::QuickCheckDetails::mask_

private

Definition at line 560 of file jsregexp.h.

Referenced by mask().

positions_

Position v8::internal::QuickCheckDetails::positions_[4]

private

Definition at line 558 of file jsregexp.h.

Referenced by positions().

value_

uint32_t v8::internal::QuickCheckDetails::value_

private

Definition at line 561 of file jsregexp.h.

Referenced by value().

---

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

• /mnt/V8SourceCode/src/jsregexp.h
• /mnt/V8SourceCode/src/jsregexp.cc