dart::Trace Class Reference

#include <regexp.h>

Classes
class	DeferredAction
class	DeferredCapture
class	DeferredClearCaptures
class	DeferredIncrementRegister
class	DeferredSetRegister

Public Types
enum	TriBool { UNKNOWN = -1 , FALSE_VALUE = 0 , TRUE_VALUE = 1 }

Public Member Functions
	Trace ()
void	Flush (RegExpCompiler *compiler, RegExpNode *successor)
intptr_t	cp_offset ()
DeferredAction *	actions ()
bool	is_trivial ()
TriBool	at_start ()
void	set_at_start (TriBool at_start)
BlockLabel *	backtrack ()
BlockLabel *	loop_label ()
RegExpNode *	stop_node ()
intptr_t	characters_preloaded ()
intptr_t	bound_checked_up_to ()
intptr_t	flush_budget ()
QuickCheckDetails *	quick_check_performed ()
bool	mentions_reg (intptr_t reg)
bool	GetStoredPosition (intptr_t reg, intptr_t *cp_offset)
void	add_action (DeferredAction *new_action)
void	set_backtrack (BlockLabel *backtrack)
void	set_stop_node (RegExpNode *node)
void	set_loop_label (BlockLabel *label)
void	set_characters_preloaded (intptr_t count)
void	set_bound_checked_up_to (intptr_t to)
void	set_flush_budget (intptr_t to)
void	set_quick_check_performed (QuickCheckDetails *d)
void	InvalidateCurrentCharacter ()
void	AdvanceCurrentPositionInTrace (intptr_t by, RegExpCompiler *compiler)

Detailed Description

Definition at line 1202 of file regexp.h.

Member Enumeration Documentation

TriBool

enum dart::Trace::TriBool

Enumerator
UNKNOWN
FALSE_VALUE
TRUE_VALUE

Definition at line 1206 of file regexp.h.

{ UNKNOWN = -1, FALSE_VALUE = 0, TRUE_VALUE = 1 };

Constructor & Destructor Documentation

Trace()

dart::Trace::Trace ( )

inline

Definition at line 1267 of file regexp.h.

      : cp_offset_(0),
        actions_(nullptr),
        backtrack_(nullptr),
        stop_node_(nullptr),
        loop_label_(nullptr),
        characters_preloaded_(0),
        bound_checked_up_to_(0),
        flush_budget_(100),
        at_start_(UNKNOWN) {}

Member Function Documentation

actions()

DeferredAction * dart::Trace::actions ( )

inline

Definition at line 1284 of file regexp.h.

{ return actions_; }

add_action()

void dart::Trace::add_action ( DeferredAction *  new_action )

inline

Definition at line 1316 of file regexp.h.

                                              {
    ASSERT(new_action->next_ == nullptr);
    new_action->next_ = actions_;
    actions_ = new_action;
  }

AdvanceCurrentPositionInTrace()

void dart::Trace::AdvanceCurrentPositionInTrace	(	intptr_t	by,
		RegExpCompiler *	compiler
	)

Definition at line 2562 of file regexp.cc.

                                                                    {
  // We don't have an instruction for shifting the current character register
  // down or for using a shifted value for anything so lets just forget that
  // we preloaded any characters into it.
  characters_preloaded_ = 0;
  // Adjust the offsets of the quick check performed information.  This
  // information is used to find out what we already determined about the
  // characters by means of mask and compare.
  quick_check_performed_.Advance(by, compiler->one_byte());
  cp_offset_ += by;
  if (cp_offset_ > RegExpMacroAssembler::kMaxCPOffset) {
    compiler->SetRegExpTooBig();
    cp_offset_ = 0;
  }
  bound_checked_up_to_ =
      Utils::Maximum(static_cast<intptr_t>(0), bound_checked_up_to_ - by);
}

at_start()

TriBool dart::Trace::at_start ( )

inline

Definition at line 1300 of file regexp.h.

{ return at_start_; }

backtrack()

BlockLabel * dart::Trace::backtrack ( )

inline

Definition at line 1302 of file regexp.h.

{ return backtrack_; }

bound_checked_up_to()

intptr_t dart::Trace::bound_checked_up_to ( )

inline

Definition at line 1306 of file regexp.h.

{ return bound_checked_up_to_; }

characters_preloaded()

intptr_t dart::Trace::characters_preloaded ( )

inline

Definition at line 1305 of file regexp.h.

{ return characters_preloaded_; }

cp_offset()

intptr_t dart::Trace::cp_offset ( )

inline

Definition at line 1283 of file regexp.h.

{ return cp_offset_; }

Flush()

void dart::Trace::Flush	(	RegExpCompiler *	compiler,
		RegExpNode *	successor
	)

Definition at line 649 of file regexp.cc.

                                                                 {
  RegExpMacroAssembler* assembler = compiler->macro_assembler();
 
  ASSERT(!is_trivial());
 
  if (actions_ == nullptr && backtrack() == nullptr) {
    // Here we just have some deferred cp advances to fix and we are back to
    // a normal situation.  We may also have to forget some information gained
    // through a quick check that was already performed.
    if (cp_offset_ != 0) assembler->AdvanceCurrentPosition(cp_offset_);
    // Create a new trivial state and generate the node with that.
    Trace new_state;
    successor->Emit(compiler, &new_state);
    return;
  }
 
  // Generate deferred actions here along with code to undo them again.
  OutSet affected_registers;
 
  if (backtrack() != nullptr) {
    // Here we have a concrete backtrack location.  These are set up by choice
    // nodes and so they indicate that we have a deferred save of the current
    // position which we may need to emit here.
    assembler->PushCurrentPosition();
  }
  Zone* zone = successor->zone();
  intptr_t max_register = FindAffectedRegisters(&affected_registers, zone);
  OutSet registers_to_pop;
  OutSet registers_to_clear;
  PerformDeferredActions(assembler, max_register, affected_registers,
                         &registers_to_pop, &registers_to_clear, zone);
  if (cp_offset_ != 0) {
    assembler->AdvanceCurrentPosition(cp_offset_);
  }
 
  // Create a new trivial state and generate the node with that.
  BlockLabel undo;
  assembler->PushBacktrack(&undo);
  Trace new_state;
  successor->Emit(compiler, &new_state);
 
  // On backtrack we need to restore state.
  assembler->BindBlock(&undo);
  RestoreAffectedRegisters(assembler, max_register, registers_to_pop,
                           registers_to_clear);
  if (backtrack() == nullptr) {
    assembler->Backtrack();
  } else {
    assembler->PopCurrentPosition();
    assembler->GoTo(backtrack());
  }
}

flush_budget()

intptr_t dart::Trace::flush_budget ( )

inline

Definition at line 1307 of file regexp.h.

{ return flush_budget_; }

GetStoredPosition()

bool dart::Trace::GetStoredPosition	(	intptr_t	reg,
		intptr_t *	cp_offset
	)

Definition at line 478 of file regexp.cc.

                                                               {
  ASSERT(*cp_offset == 0);
  for (DeferredAction* action = actions_; action != nullptr;
       action = action->next()) {
    if (action->Mentions(reg)) {
      if (action->action_type() == ActionNode::STORE_POSITION) {
        *cp_offset = static_cast<DeferredCapture*>(action)->cp_offset();
        return true;
      } else {
        return false;
      }
    }
  }
  return false;
}

InvalidateCurrentCharacter()

void dart::Trace::InvalidateCurrentCharacter

(

)

Definition at line 2558 of file regexp.cc.

                                       {
  characters_preloaded_ = 0;
}

is_trivial()

bool dart::Trace::is_trivial ( )

inline

Definition at line 1295 of file regexp.h.

                    {
    return backtrack_ == nullptr && actions_ == nullptr && cp_offset_ == 0 &&
           characters_preloaded_ == 0 && bound_checked_up_to_ == 0 &&
           quick_check_performed_.characters() == 0 && at_start_ == UNKNOWN;
  }

loop_label()

BlockLabel * dart::Trace::loop_label ( )

inline

Definition at line 1303 of file regexp.h.

{ return loop_label_; }

mentions_reg()

bool dart::Trace::mentions_reg

(

intptr_t

reg

)

Definition at line 470 of file regexp.cc.

                                     {
  for (DeferredAction* action = actions_; action != nullptr;
       action = action->next()) {
    if (action->Mentions(reg)) return true;
  }
  return false;
}

quick_check_performed()

QuickCheckDetails * dart::Trace::quick_check_performed ( )

inline

Definition at line 1308 of file regexp.h.

{ return &quick_check_performed_; }

set_at_start()

void dart::Trace::set_at_start ( TriBool  at_start )

inline

Definition at line 1301 of file regexp.h.

{ at_start_ = at_start; }

set_backtrack()

void dart::Trace::set_backtrack ( BlockLabel *  backtrack )

inline

Definition at line 1321 of file regexp.h.

{ backtrack_ = backtrack; }

set_bound_checked_up_to()

void dart::Trace::set_bound_checked_up_to ( intptr_t  to )

inline

Definition at line 1327 of file regexp.h.

{ bound_checked_up_to_ = to; }

set_characters_preloaded()

void dart::Trace::set_characters_preloaded ( intptr_t  count )

inline

Definition at line 1324 of file regexp.h.

                                                {
    characters_preloaded_ = count;
  }

set_flush_budget()

void dart::Trace::set_flush_budget ( intptr_t  to )

inline

Definition at line 1328 of file regexp.h.

{ flush_budget_ = to; }

set_loop_label()

void dart::Trace::set_loop_label ( BlockLabel *  label )

inline

Definition at line 1323 of file regexp.h.

{ loop_label_ = label; }

set_quick_check_performed()

void dart::Trace::set_quick_check_performed ( QuickCheckDetails *  d )

inline

Definition at line 1329 of file regexp.h.

                                                       {
    quick_check_performed_ = *d;
  }

set_stop_node()

void dart::Trace::set_stop_node ( RegExpNode *  node )

inline

Definition at line 1322 of file regexp.h.

{ stop_node_ = node; }

stop_node()

RegExpNode * dart::Trace::stop_node ( )

inline

Definition at line 1304 of file regexp.h.

{ return stop_node_; }

---

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

• third_party/dart-lang/sdk/runtime/vm/regexp.h
• third_party/dart-lang/sdk/runtime/vm/regexp.cc