#include <regexp_assembler_bytecode.h>

Inheritance diagram for dart::BytecodeRegExpMacroAssembler:

Public Member Functions
	BytecodeRegExpMacroAssembler (ZoneGrowableArray< uint8_t > buffer, Zone zone)

virtual	~BytecodeRegExpMacroAssembler ()

virtual intptr_t	stack_limit_slack ()

virtual bool	CanReadUnaligned ()

virtual void	BindBlock (BlockLabel *label)

virtual void	AdvanceCurrentPosition (intptr_t by)

virtual void	PopCurrentPosition ()

virtual void	PushCurrentPosition ()

virtual void	Backtrack ()

virtual void	GoTo (BlockLabel *label)

virtual void	PushBacktrack (BlockLabel *label)

virtual bool	Succeed ()

virtual void	Fail ()

virtual void	PopRegister (intptr_t register_index)

virtual void	PushRegister (intptr_t register_index)

virtual void	AdvanceRegister (intptr_t reg, intptr_t by)

virtual void	SetCurrentPositionFromEnd (intptr_t by)

virtual void	SetRegister (intptr_t register_index, intptr_t to)

virtual void	WriteCurrentPositionToRegister (intptr_t reg, intptr_t cp_offset)

virtual void	ClearRegisters (intptr_t reg_from, intptr_t reg_to)

virtual void	ReadCurrentPositionFromRegister (intptr_t reg)

virtual void	WriteStackPointerToRegister (intptr_t reg)

virtual void	ReadStackPointerFromRegister (intptr_t reg)

virtual void	LoadCurrentCharacter (intptr_t cp_offset, BlockLabel *on_end_of_input, bool check_bounds=true, intptr_t characters=1)

virtual void	CheckCharacter (unsigned c, BlockLabel *on_equal)

virtual void	CheckCharacterAfterAnd (unsigned c, unsigned mask, BlockLabel *on_equal)

virtual void	CheckCharacterGT (uint16_t limit, BlockLabel *on_greater)

virtual void	CheckCharacterLT (uint16_t limit, BlockLabel *on_less)

virtual void	CheckGreedyLoop (BlockLabel *on_tos_equals_current_position)

virtual void	CheckAtStart (BlockLabel *on_at_start)

virtual void	CheckNotAtStart (intptr_t cp_offset, BlockLabel *on_not_at_start)

virtual void	CheckNotCharacter (unsigned c, BlockLabel *on_not_equal)

virtual void	CheckNotCharacterAfterAnd (unsigned c, unsigned mask, BlockLabel *on_not_equal)

virtual void	CheckNotCharacterAfterMinusAnd (uint16_t c, uint16_t minus, uint16_t mask, BlockLabel *on_not_equal)

virtual void	CheckCharacterInRange (uint16_t from, uint16_t to, BlockLabel *on_in_range)

virtual void	CheckCharacterNotInRange (uint16_t from, uint16_t to, BlockLabel *on_not_in_range)

virtual void	CheckBitInTable (const TypedData &table, BlockLabel *on_bit_set)

virtual void	CheckNotBackReference (intptr_t start_reg, bool read_backward, BlockLabel *on_no_match)

virtual void	CheckNotBackReferenceIgnoreCase (intptr_t start_reg, bool read_backward, bool unicode, BlockLabel *on_no_match)

virtual void	IfRegisterLT (intptr_t register_index, intptr_t comparand, BlockLabel *if_lt)

virtual void	IfRegisterGE (intptr_t register_index, intptr_t comparand, BlockLabel *if_ge)

virtual void	IfRegisterEqPos (intptr_t register_index, BlockLabel *if_eq)

virtual IrregexpImplementation	Implementation ()

TypedDataPtr	GetBytecode ()

virtual bool	IsClosed () const

virtual void	Print (const char *str)

virtual void	PrintBlocks ()

Public Member Functions inherited from dart::RegExpMacroAssembler
	RegExpMacroAssembler (Zone *zone)

virtual	~RegExpMacroAssembler ()

virtual intptr_t	stack_limit_slack ()=0

virtual bool	CanReadUnaligned ()=0

virtual void	AdvanceCurrentPosition (intptr_t by)=0

virtual void	AdvanceRegister (intptr_t reg, intptr_t by)=0

virtual void	Backtrack ()=0

virtual void	BindBlock (BlockLabel *label)=0

virtual void	CheckAtStart (BlockLabel *on_at_start)=0

virtual void	CheckCharacter (unsigned c, BlockLabel *on_equal)=0

virtual void	CheckCharacterAfterAnd (unsigned c, unsigned and_with, BlockLabel *on_equal)=0

virtual void	CheckCharacterGT (uint16_t limit, BlockLabel *on_greater)=0

virtual void	CheckCharacterLT (uint16_t limit, BlockLabel *on_less)=0

virtual void	CheckGreedyLoop (BlockLabel *on_tos_equals_current_position)=0

virtual void	CheckNotAtStart (intptr_t cp_offset, BlockLabel *on_not_at_start)=0

virtual void	CheckNotBackReference (intptr_t start_reg, bool read_backward, BlockLabel *on_no_match)=0

virtual void	CheckNotBackReferenceIgnoreCase (intptr_t start_reg, bool read_backward, bool unicode, BlockLabel *on_no_match)=0

virtual void	CheckNotCharacter (unsigned c, BlockLabel *on_not_equal)=0

virtual void	CheckNotCharacterAfterAnd (unsigned c, unsigned and_with, BlockLabel *on_not_equal)=0

virtual void	CheckNotCharacterAfterMinusAnd (uint16_t c, uint16_t minus, uint16_t and_with, BlockLabel *on_not_equal)=0

virtual void	CheckCharacterInRange (uint16_t from, uint16_t to, BlockLabel *on_in_range)=0

virtual void	CheckCharacterNotInRange (uint16_t from, uint16_t to, BlockLabel *on_not_in_range)=0

virtual void	CheckBitInTable (const TypedData &table, BlockLabel *on_bit_set)=0

virtual void	CheckPreemption (bool is_backtrack)

virtual void	CheckPosition (intptr_t cp_offset, BlockLabel *on_outside_input)

virtual bool	CheckSpecialCharacterClass (uint16_t type, BlockLabel *on_no_match)

virtual void	Fail ()=0

virtual void	IfRegisterGE (intptr_t reg, intptr_t comparand, BlockLabel *if_ge)=0

virtual void	IfRegisterLT (intptr_t reg, intptr_t comparand, BlockLabel *if_lt)=0

virtual void	IfRegisterEqPos (intptr_t reg, BlockLabel *if_eq)=0

virtual IrregexpImplementation	Implementation ()=0

virtual bool	IsClosed () const =0

virtual void	GoTo (BlockLabel *to)=0

virtual void	LoadCurrentCharacter (intptr_t cp_offset, BlockLabel *on_end_of_input, bool check_bounds=true, intptr_t characters=1)=0

virtual void	PopCurrentPosition ()=0

virtual void	PopRegister (intptr_t register_index)=0

virtual void	Print (const char *str)=0

virtual void	PrintBlocks ()=0

virtual void	PushBacktrack (BlockLabel *label)=0

virtual void	PushCurrentPosition ()=0

virtual void	PushRegister (intptr_t register_index)=0

virtual void	ReadCurrentPositionFromRegister (intptr_t reg)=0

virtual void	ReadStackPointerFromRegister (intptr_t reg)=0

virtual void	SetCurrentPositionFromEnd (intptr_t by)=0

virtual void	SetRegister (intptr_t register_index, intptr_t to)=0

virtual bool	Succeed ()=0

virtual void	WriteCurrentPositionToRegister (intptr_t reg, intptr_t cp_offset)=0

virtual void	ClearRegisters (intptr_t reg_from, intptr_t reg_to)=0

virtual void	WriteStackPointerToRegister (intptr_t reg)=0

void	CheckNotInSurrogatePair (intptr_t cp_offset, BlockLabel *on_failure)

void	set_slow_safe (bool ssc)

bool	slow_safe ()

void	set_global_mode (GlobalMode mode)

bool	global ()

bool	global_with_zero_length_check ()

bool	global_unicode ()

Zone *	zone () const

Public Member Functions inherited from dart::ZoneAllocated
	ZoneAllocated ()

void *	operator new (size_t size)

void *	operator new (size_t size, Zone *zone)

void	operator delete (void *pointer)

Static Public Member Functions
static ObjectPtr	Interpret (const RegExp &regexp, const String &str, const Smi &start_index, bool is_sticky, Zone *zone)

Additional Inherited Members
Public Types inherited from dart::RegExpMacroAssembler
enum	{ kParamRegExpIndex = 0 , kParamStringIndex , kParamStartOffsetIndex , kParamCount }

enum	IrregexpImplementation { kBytecodeImplementation , kIRImplementation }

enum	GlobalMode { NOT_GLOBAL , GLOBAL , GLOBAL_NO_ZERO_LENGTH_CHECK , GLOBAL_UNICODE }

Static Public Attributes inherited from dart::RegExpMacroAssembler
static constexpr intptr_t	kMaxRegister = (1 << 16) - 1

static constexpr intptr_t	kMaxCPOffset = (1 << 15) - 1

static constexpr intptr_t	kMinCPOffset = -(1 << 15)

static constexpr intptr_t	kTableSizeBits = 7

static constexpr intptr_t	kTableSize = 1 << kTableSizeBits

static constexpr intptr_t	kTableMask = kTableSize - 1

Detailed Description

Definition at line 13 of file regexp_assembler_bytecode.h.

Constructor & Destructor Documentation

◆ BytecodeRegExpMacroAssembler()

dart::BytecodeRegExpMacroAssembler::BytecodeRegExpMacroAssembler	(	ZoneGrowableArray< uint8_t > *	buffer,
		Zone *	zone
	)

Definition at line 19 of file regexp_assembler_bytecode.cc.

    : RegExpMacroAssembler(zone),
      buffer_(buffer),
      pc_(0),
      advance_current_end_(kInvalidPC) {}

◆ ~BytecodeRegExpMacroAssembler()

dart::BytecodeRegExpMacroAssembler::~BytecodeRegExpMacroAssembler ( )

virtual

Definition at line 27 of file regexp_assembler_bytecode.cc.

                                                            {
  if (backtrack_.is_linked()) backtrack_.Unuse();
}

Member Function Documentation

◆ AdvanceCurrentPosition()

void dart::BytecodeRegExpMacroAssembler::AdvanceCurrentPosition ( intptr_t by )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 175 of file regexp_assembler_bytecode.cc.

                                                                     {
  ASSERT(by >= kMinCPOffset);
  ASSERT(by <= kMaxCPOffset);
  advance_current_start_ = pc_;
  advance_current_offset_ = by;
  Emit(BC_ADVANCE_CP, by);
  advance_current_end_ = pc_;
}

◆ AdvanceRegister()

void dart::BytecodeRegExpMacroAssembler::AdvanceRegister	(	intptr_t	reg,
		intptr_t	by
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 127 of file regexp_assembler_bytecode.cc.

                                                                {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_ADVANCE_REGISTER, register_index);
  Emit32(by);
}

◆ Backtrack()

void dart::BytecodeRegExpMacroAssembler::Backtrack ( )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 143 of file regexp_assembler_bytecode.cc.

                                             {
  Emit(BC_POP_BT, 0);
}

◆ BindBlock()

void dart::BytecodeRegExpMacroAssembler::BindBlock ( BlockLabel * label )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 36 of file regexp_assembler_bytecode.cc.

                                                          {
  advance_current_end_ = kInvalidPC;
  ASSERT(!l->is_bound());
  if (l->is_linked()) {
    intptr_t pos = l->pos();
    while (pos != 0) {
      intptr_t fixup = pos;
      pos = *reinterpret_cast<int32_t*>(buffer_->data() + fixup);
      *reinterpret_cast<uint32_t*>(buffer_->data() + fixup) = pc_;
    }
  }
  l->BindTo(pc_);
}

◆ CanReadUnaligned()

virtual bool dart::BytecodeRegExpMacroAssembler::CanReadUnaligned ( )

inlinevirtual

Implements dart::RegExpMacroAssembler.

Definition at line 33 of file regexp_assembler_bytecode.h.

33{ return false; }

◆ CheckAtStart()

void dart::BytecodeRegExpMacroAssembler::CheckAtStart ( BlockLabel * on_at_start )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 243 of file regexp_assembler_bytecode.cc.

                                                                       {
  Emit(BC_CHECK_AT_START, 0);
  EmitOrLink(on_at_start);
}

◆ CheckBitInTable()

void dart::BytecodeRegExpMacroAssembler::CheckBitInTable	(	const TypedData &	table,
		BlockLabel *	on_bit_set
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 325 of file regexp_assembler_bytecode.cc.

                                                                           {
  Emit(BC_CHECK_BIT_IN_TABLE, 0);
  EmitOrLink(on_bit_set);
  for (int i = 0; i < kTableSize; i += kBitsPerByte) {
    int byte = 0;
    for (int j = 0; j < kBitsPerByte; j++) {
      if (table.GetUint8(i + j) != 0) byte |= 1 << j;
    }
    Emit8(byte);
  }
}

◆ CheckCharacter()

void dart::BytecodeRegExpMacroAssembler::CheckCharacter	(	unsigned	c,
		BlockLabel *	on_equal
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 232 of file regexp_assembler_bytecode.cc.

                                                                        {
  if (c > MAX_FIRST_ARG) {
    Emit(BC_CHECK_4_CHARS, 0);
    Emit32(c);
  } else {
    Emit(BC_CHECK_CHAR, c);
  }
  EmitOrLink(on_equal);
}

◆ CheckCharacterAfterAnd()

void dart::BytecodeRegExpMacroAssembler::CheckCharacterAfterAnd	(	unsigned	c,
		unsigned	mask,
		BlockLabel *	on_equal
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 266 of file regexp_assembler_bytecode.cc.

                          {
  if (c > MAX_FIRST_ARG) {
    Emit(BC_AND_CHECK_4_CHARS, 0);
    Emit32(c);
  } else {
    Emit(BC_AND_CHECK_CHAR, c);
  }
  Emit32(mask);
  EmitOrLink(on_equal);
}

◆ CheckCharacterGT()

void dart::BytecodeRegExpMacroAssembler::CheckCharacterGT	(	uint16_t	limit,
		BlockLabel *	on_greater
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 226 of file regexp_assembler_bytecode.cc.

                                                                            {
  Emit(BC_CHECK_GT, limit);
  EmitOrLink(on_greater);
}

◆ CheckCharacterInRange()

void dart::BytecodeRegExpMacroAssembler::CheckCharacterInRange	(	uint16_t	from,
		uint16_t	to,
		BlockLabel *	on_in_range
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 305 of file regexp_assembler_bytecode.cc.

                             {
  Emit(BC_CHECK_CHAR_IN_RANGE, 0);
  Emit16(from);
  Emit16(to);
  EmitOrLink(on_in_range);
}

◆ CheckCharacterLT()

void dart::BytecodeRegExpMacroAssembler::CheckCharacterLT	(	uint16_t	limit,
		BlockLabel *	on_less
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 220 of file regexp_assembler_bytecode.cc.

                                                                         {
  Emit(BC_CHECK_LT, limit);
  EmitOrLink(on_less);
}

◆ CheckCharacterNotInRange()

void dart::BytecodeRegExpMacroAssembler::CheckCharacterNotInRange	(	uint16_t	from,
		uint16_t	to,
		BlockLabel *	on_not_in_range
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 315 of file regexp_assembler_bytecode.cc.

                                 {
  Emit(BC_CHECK_CHAR_NOT_IN_RANGE, 0);
  Emit16(from);
  Emit16(to);
  EmitOrLink(on_not_in_range);
}

◆ CheckGreedyLoop()

void dart::BytecodeRegExpMacroAssembler::CheckGreedyLoop ( BlockLabel * on_tos_equals_current_position )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 184 of file regexp_assembler_bytecode.cc.

                                                {
  Emit(BC_CHECK_GREEDY, 0);
  EmitOrLink(on_tos_equals_current_position);
}

◆ CheckNotAtStart()

void dart::BytecodeRegExpMacroAssembler::CheckNotAtStart	(	intptr_t	cp_offset,
		BlockLabel *	on_not_at_start
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 248 of file regexp_assembler_bytecode.cc.

                                 {
  Emit(BC_CHECK_NOT_AT_START, cp_offset);
  EmitOrLink(on_not_at_start);
}

◆ CheckNotBackReference()

void dart::BytecodeRegExpMacroAssembler::CheckNotBackReference	(	intptr_t	start_reg,
		bool	read_backward,
		BlockLabel *	on_no_match
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 338 of file regexp_assembler_bytecode.cc.

                              {
  ASSERT(start_reg >= 0);
  ASSERT(start_reg <= kMaxRegister);
  Emit(read_backward ? BC_CHECK_NOT_BACK_REF_BACKWARD : BC_CHECK_NOT_BACK_REF,
       start_reg);
  EmitOrLink(on_not_equal);
}

◆ CheckNotBackReferenceIgnoreCase()

void dart::BytecodeRegExpMacroAssembler::CheckNotBackReferenceIgnoreCase	(	intptr_t	start_reg,
		bool	read_backward,
		bool	unicode,
		BlockLabel *	on_no_match
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 349 of file regexp_assembler_bytecode.cc.

                              {
  ASSERT(start_reg >= 0);
  ASSERT(start_reg <= kMaxRegister);
  Emit(read_backward ? (unicode ? BC_CHECK_NOT_BACK_REF_NO_CASE_UNICODE_BACKWARD
                                : BC_CHECK_NOT_BACK_REF_NO_CASE_BACKWARD)
                     : (unicode ? BC_CHECK_NOT_BACK_REF_NO_CASE_UNICODE
                                : BC_CHECK_NOT_BACK_REF_NO_CASE),
       start_reg);
  EmitOrLink(on_not_equal);
}

◆ CheckNotCharacter()

void dart::BytecodeRegExpMacroAssembler::CheckNotCharacter	(	unsigned	c,
		BlockLabel *	on_not_equal
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 255 of file regexp_assembler_bytecode.cc.

                                                                               {
  if (c > MAX_FIRST_ARG) {
    Emit(BC_CHECK_NOT_4_CHARS, 0);
    Emit32(c);
  } else {
    Emit(BC_CHECK_NOT_CHAR, c);
  }
  EmitOrLink(on_not_equal);
}

◆ CheckNotCharacterAfterAnd()

void dart::BytecodeRegExpMacroAssembler::CheckNotCharacterAfterAnd	(	unsigned	c,
		unsigned	mask,
		BlockLabel *	on_not_equal
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 280 of file regexp_assembler_bytecode.cc.

                              {
  if (c > MAX_FIRST_ARG) {
    Emit(BC_AND_CHECK_NOT_4_CHARS, 0);
    Emit32(c);
  } else {
    Emit(BC_AND_CHECK_NOT_CHAR, c);
  }
  Emit32(mask);
  EmitOrLink(on_not_equal);
}

◆ CheckNotCharacterAfterMinusAnd()

void dart::BytecodeRegExpMacroAssembler::CheckNotCharacterAfterMinusAnd	(	uint16_t	c,
		uint16_t	minus,
		uint16_t	mask,
		BlockLabel *	on_not_equal
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 294 of file regexp_assembler_bytecode.cc.

                              {
  Emit(BC_MINUS_AND_CHECK_NOT_CHAR, c);
  Emit16(minus);
  Emit16(mask);
  EmitOrLink(on_not_equal);
}

◆ ClearRegisters()

void dart::BytecodeRegExpMacroAssembler::ClearRegisters	(	intptr_t	reg_from,
		intptr_t	reg_to
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 85 of file regexp_assembler_bytecode.cc.

                                                                   {
  ASSERT(reg_from <= reg_to);
  for (int reg = reg_from; reg <= reg_to; reg++) {
    SetRegister(reg, -1);
  }
}

◆ Fail()

void dart::BytecodeRegExpMacroAssembler::Fail ( )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 171 of file regexp_assembler_bytecode.cc.

                                        {
  Emit(BC_FAIL, 0);
}

◆ GetBytecode()

TypedDataPtr dart::BytecodeRegExpMacroAssembler::GetBytecode ( )

Definition at line 393 of file regexp_assembler_bytecode.cc.

                                                       {
  BindBlock(&backtrack_);
  Emit(BC_POP_BT, 0);
 
  intptr_t len = length();
  const TypedData& bytecode =
      TypedData::Handle(TypedData::New(kTypedDataUint8ArrayCid, len));
 
  NoSafepointScope no_safepoint;
  memmove(bytecode.DataAddr(0), buffer_->data(), len);
 
  return bytecode.ptr();
}

◆ GoTo()

void dart::BytecodeRegExpMacroAssembler::GoTo ( BlockLabel * label )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 147 of file regexp_assembler_bytecode.cc.

                                                     {
  if (advance_current_end_ == pc_) {
    // Combine advance current and goto.
    pc_ = advance_current_start_;
    Emit(BC_ADVANCE_CP_AND_GOTO, advance_current_offset_);
    EmitOrLink(l);
    advance_current_end_ = kInvalidPC;
  } else {
    // Regular goto.
    Emit(BC_GOTO, 0);
    EmitOrLink(l);
  }
}

◆ IfRegisterEqPos()

void dart::BytecodeRegExpMacroAssembler::IfRegisterEqPos	(	intptr_t	register_index,
		BlockLabel *	if_eq
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 385 of file regexp_assembler_bytecode.cc.

                                                                      {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_CHECK_REGISTER_EQ_POS, register_index);
  EmitOrLink(on_eq);
}

◆ IfRegisterGE()

void dart::BytecodeRegExpMacroAssembler::IfRegisterGE	(	intptr_t	register_index,
		intptr_t	comparand,
		BlockLabel *	if_ge
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 374 of file regexp_assembler_bytecode.cc.

                                     {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_CHECK_REGISTER_GE, register_index);
  Emit32(comparand);
  EmitOrLink(on_greater_or_equal);
}

◆ IfRegisterLT()

void dart::BytecodeRegExpMacroAssembler::IfRegisterLT	(	intptr_t	register_index,
		intptr_t	comparand,
		BlockLabel *	if_lt
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 364 of file regexp_assembler_bytecode.cc.

                                                                          {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_CHECK_REGISTER_LT, register_index);
  Emit32(comparand);
  EmitOrLink(on_less_than);
}

◆ Implementation()

BytecodeRegExpMacroAssembler::IrregexpImplementation dart::BytecodeRegExpMacroAssembler::Implementation ( )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 32 of file regexp_assembler_bytecode.cc.

                                             {
  return kBytecodeImplementation;
}

◆ Interpret()

ObjectPtr dart::BytecodeRegExpMacroAssembler::Interpret	(	const RegExp &	regexp,
		const String &	str,
		const Smi &	start_index,
		bool	is_sticky,
		Zone *	zone
	)

static

Definition at line 509 of file regexp_assembler_bytecode.cc.

                                                              {
  intptr_t required_registers = Prepare(regexp, subject, sticky, zone);
  if (required_registers < 0) {
    // Compiling failed with an exception.
    UNREACHABLE();
  }
 
  // V8 uses a shared copy on the isolate when smaller than some threshold.
  int32_t* output_registers = zone->Alloc<int32_t>(required_registers);
 
  const Object& result =
      Object::Handle(zone, ExecRaw(regexp, subject, start_index.Value(), sticky,
                                   output_registers, required_registers, zone));
  if (result.ptr() == Bool::True().ptr()) {
    intptr_t capture_count = regexp.num_bracket_expressions();
    intptr_t capture_register_count = (capture_count + 1) * 2;
    ASSERT(required_registers >= capture_register_count);
 
    const TypedData& result = TypedData::Handle(
        TypedData::New(kTypedDataInt32ArrayCid, capture_register_count));
    {
#ifdef DEBUG
      // These indices will be used with substring operations that don't check
      // bounds, so sanity check them here.
      for (intptr_t i = 0; i < capture_register_count; i++) {
        int32_t val = output_registers[i];
        ASSERT(val == -1 || (val >= 0 && val <= subject.Length()));
      }
#endif
 
      NoSafepointScope no_safepoint;
      memmove(result.DataAddr(0), output_registers,
              capture_register_count * sizeof(int32_t));
    }
 
    return result.ptr();
  }
  if (result.ptr() == Object::null()) {
    // internal exception
    UNREACHABLE();
  }
  if (result.IsError()) {
    Exceptions::PropagateError(Error::Cast(result));
    UNREACHABLE();
  }
  ASSERT(result.ptr() == Bool::False().ptr());
  return Instance::null();
}

◆ IsClosed()

virtual bool dart::BytecodeRegExpMacroAssembler::IsClosed ( ) const

inlinevirtual

Implements dart::RegExpMacroAssembler.

Definition at line 101 of file regexp_assembler_bytecode.h.

                                {
    // Added by Dart for the IR version. Bytecode version should never need an
    // extra goto.
    return true;
  }

◆ LoadCurrentCharacter()

void dart::BytecodeRegExpMacroAssembler::LoadCurrentCharacter	(	intptr_t	cp_offset,
		BlockLabel *	on_end_of_input,
		bool	check_bounds = `true`,
		intptr_t	characters = `1`
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 190 of file regexp_assembler_bytecode.cc.

                                                                             {
  ASSERT(cp_offset >= kMinCPOffset);
  ASSERT(cp_offset <= kMaxCPOffset);
  int bytecode;
  if (check_bounds) {
    if (characters == 4) {
      bytecode = BC_LOAD_4_CURRENT_CHARS;
    } else if (characters == 2) {
      bytecode = BC_LOAD_2_CURRENT_CHARS;
    } else {
      ASSERT(characters == 1);
      bytecode = BC_LOAD_CURRENT_CHAR;
    }
  } else {
    if (characters == 4) {
      bytecode = BC_LOAD_4_CURRENT_CHARS_UNCHECKED;
    } else if (characters == 2) {
      bytecode = BC_LOAD_2_CURRENT_CHARS_UNCHECKED;
    } else {
      ASSERT(characters == 1);
      bytecode = BC_LOAD_CURRENT_CHAR_UNCHECKED;
    }
  }
  Emit(bytecode, cp_offset);
  if (check_bounds) EmitOrLink(on_failure);
}

◆ PopCurrentPosition()

void dart::BytecodeRegExpMacroAssembler::PopCurrentPosition ( )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 135 of file regexp_assembler_bytecode.cc.

                                                      {
  Emit(BC_POP_CP, 0);
}

◆ PopRegister()

void dart::BytecodeRegExpMacroAssembler::PopRegister ( intptr_t register_index )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 64 of file regexp_assembler_bytecode.cc.

                                                                      {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_POP_REGISTER, register_index);
}

◆ Print()

virtual void dart::BytecodeRegExpMacroAssembler::Print ( const char * str )

inlinevirtual

Implements dart::RegExpMacroAssembler.

Definition at line 106 of file regexp_assembler_bytecode.h.

106{ UNIMPLEMENTED(); }

UNIMPLEMENTED

#define UNIMPLEMENTED

Definition: dl_dispatcher.cc:39

◆ PrintBlocks()

virtual void dart::BytecodeRegExpMacroAssembler::PrintBlocks ( )

inlinevirtual

Implements dart::RegExpMacroAssembler.

Definition at line 107 of file regexp_assembler_bytecode.h.

107{ UNIMPLEMENTED(); }

◆ PushBacktrack()

void dart::BytecodeRegExpMacroAssembler::PushBacktrack ( BlockLabel * label )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 161 of file regexp_assembler_bytecode.cc.

                                                              {
  Emit(BC_PUSH_BT, 0);
  EmitOrLink(l);
}

◆ PushCurrentPosition()

void dart::BytecodeRegExpMacroAssembler::PushCurrentPosition ( )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 139 of file regexp_assembler_bytecode.cc.

                                                       {
  Emit(BC_PUSH_CP, 0);
}

◆ PushRegister()

void dart::BytecodeRegExpMacroAssembler::PushRegister ( intptr_t register_index )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 70 of file regexp_assembler_bytecode.cc.

                                                                       {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_PUSH_REGISTER, register_index);
}

◆ ReadCurrentPositionFromRegister()

void dart::BytecodeRegExpMacroAssembler::ReadCurrentPositionFromRegister ( intptr_t reg )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 93 of file regexp_assembler_bytecode.cc.

                             {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_SET_CP_TO_REGISTER, register_index);
}

◆ ReadStackPointerFromRegister()

void dart::BytecodeRegExpMacroAssembler::ReadStackPointerFromRegister ( intptr_t reg )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 107 of file regexp_assembler_bytecode.cc.

                             {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_SET_SP_TO_REGISTER, register_index);
}

◆ SetCurrentPositionFromEnd()

void dart::BytecodeRegExpMacroAssembler::SetCurrentPositionFromEnd ( intptr_t by )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 114 of file regexp_assembler_bytecode.cc.

                                                                        {
  ASSERT(Utils::IsUint(24, by));
  Emit(BC_SET_CURRENT_POSITION_FROM_END, by);
}

◆ SetRegister()

void dart::BytecodeRegExpMacroAssembler::SetRegister	(	intptr_t	register_index,
		intptr_t	to
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 119 of file regexp_assembler_bytecode.cc.

                                                            {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_SET_REGISTER, register_index);
  Emit32(to);
}

◆ stack_limit_slack()

virtual intptr_t dart::BytecodeRegExpMacroAssembler::stack_limit_slack ( )

inlinevirtual

Implements dart::RegExpMacroAssembler.

Definition at line 32 of file regexp_assembler_bytecode.h.

32{ return 1; }

◆ Succeed()

bool dart::BytecodeRegExpMacroAssembler::Succeed ( )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 166 of file regexp_assembler_bytecode.cc.

                                           {
  Emit(BC_SUCCEED, 0);
  return false;  // Restart matching for global regexp not supported.
}

◆ WriteCurrentPositionToRegister()

void dart::BytecodeRegExpMacroAssembler::WriteCurrentPositionToRegister	(	intptr_t	reg,
		intptr_t	cp_offset
	)

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 76 of file regexp_assembler_bytecode.cc.

                        {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_SET_REGISTER_TO_CP, register_index);
  Emit32(cp_offset);  // Current position offset.
}

◆ WriteStackPointerToRegister()

void dart::BytecodeRegExpMacroAssembler::WriteStackPointerToRegister ( intptr_t reg )

virtual

Implements dart::RegExpMacroAssembler.

Definition at line 100 of file regexp_assembler_bytecode.cc.

                             {
  ASSERT(register_index >= 0);
  ASSERT(register_index <= kMaxRegister);
  Emit(BC_SET_REGISTER_TO_SP, register_index);
}

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

third_party/dart-lang/sdk/runtime/vm/regexp_assembler_bytecode.h
third_party/dart-lang/sdk/runtime/vm/regexp_assembler_bytecode.cc
third_party/dart-lang/sdk/runtime/vm/regexp_assembler_bytecode_inl.h

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ BytecodeRegExpMacroAssembler()

◆ ~BytecodeRegExpMacroAssembler()

Member Function Documentation

◆ AdvanceCurrentPosition()

◆ AdvanceRegister()

◆ Backtrack()

◆ BindBlock()

◆ CanReadUnaligned()

◆ CheckAtStart()

◆ CheckBitInTable()

◆ CheckCharacter()

◆ CheckCharacterAfterAnd()

◆ CheckCharacterGT()

◆ CheckCharacterInRange()

◆ CheckCharacterLT()

◆ CheckCharacterNotInRange()

◆ CheckGreedyLoop()

◆ CheckNotAtStart()

◆ CheckNotBackReference()

◆ CheckNotBackReferenceIgnoreCase()

◆ CheckNotCharacter()

◆ CheckNotCharacterAfterAnd()

◆ CheckNotCharacterAfterMinusAnd()

◆ ClearRegisters()

◆ Fail()

◆ GetBytecode()

◆ GoTo()

◆ IfRegisterEqPos()

◆ IfRegisterGE()

◆ IfRegisterLT()

◆ Implementation()

◆ Interpret()

◆ IsClosed()

◆ LoadCurrentCharacter()

◆ PopCurrentPosition()

◆ PopRegister()

◆ Print()

◆ PrintBlocks()

◆ PushBacktrack()

◆ PushCurrentPosition()

◆ PushRegister()

◆ ReadCurrentPositionFromRegister()

◆ ReadStackPointerFromRegister()

◆ SetCurrentPositionFromEnd()

◆ SetRegister()

◆ stack_limit_slack()

◆ Succeed()

◆ WriteCurrentPositionToRegister()

◆ WriteStackPointerToRegister()