#include <register-allocator-verifier.h>

Inheritance diagram for v8::internal::compiler::RegisterAllocatorVerifier:

Collaboration diagram for v8::internal::compiler::RegisterAllocatorVerifier:

Classes
class	DelayedAssessments

struct	InstructionConstraint

struct	OperandConstraint

Public Member Functions
	RegisterAllocatorVerifier (Zone zone, const RegisterConfiguration config, const InstructionSequence sequence, const Frame frame)

	RegisterAllocatorVerifier (const RegisterAllocatorVerifier &)=delete

RegisterAllocatorVerifier &	operator= (const RegisterAllocatorVerifier &)=delete

void	VerifyAssignment (const char *caller_info)

void	VerifyGapMoves ()

Public Member Functions inherited from v8::internal::ZoneObject
void *	operator new (size_t, Zone *)=delete

void *	operator new (size_t size, void *ptr)

void	operator delete (void *, size_t)

void	operator delete (void pointer, Zone zone)=delete

Private Types
enum	ConstraintType { kConstant , kImmediate , kRegister , kFixedRegister , kFPRegister , kFixedFPRegister , kSlot , kFixedSlot , kRegisterOrSlot , kRegisterOrSlotFP , kRegisterOrSlotOrConstant , kSameAsInput , kRegisterAndSlot }

using	Constraints = ZoneVector<InstructionConstraint>

Private Member Functions
Zone *	zone () const

const RegisterConfiguration *	config ()

const InstructionSequence *	sequence () const

Constraints *	constraints ()

int	spill_slot_delta () const

void	BuildConstraint (const InstructionOperand op, OperandConstraint constraint)

void	CheckConstraint (const InstructionOperand op, const OperandConstraint constraint)

BlockAssessments *	CreateForBlock (const InstructionBlock *block)

void	ValidatePendingAssessment (RpoNumber block_id, InstructionOperand op, const BlockAssessments current_assessments, PendingAssessment const assessment, int virtual_register)

void	ValidateUse (RpoNumber block_id, BlockAssessments *current_assessments, InstructionOperand op, int virtual_register)

Static Private Member Functions
static void	VerifyInput (const OperandConstraint &constraint)

static void	VerifyTemp (const OperandConstraint &constraint)

static void	VerifyOutput (const OperandConstraint &constraint)

Private Attributes
Zone *const	zone_

const RegisterConfiguration *	config_

const InstructionSequence *const	sequence_

Constraints	constraints_

ZoneMap< RpoNumber, BlockAssessments * >	assessments_

ZoneMap< RpoNumber, DelayedAssessments * >	outstanding_assessments_

int	spill_slot_delta_

const char *	caller_info_ = nullptr

Detailed Description

Definition at line 205 of file register-allocator-verifier.h.

Member Typedef Documentation

◆ Constraints

using v8::internal::compiler::RegisterAllocatorVerifier::Constraints = ZoneVector<InstructionConstraint>

private

Definition at line 249 of file register-allocator-verifier.h.

Member Enumeration Documentation

◆ ConstraintType

enum v8::internal::compiler::RegisterAllocatorVerifier::ConstraintType

private

Enumerator
kConstant
kImmediate
kRegister
kFixedRegister
kFPRegister
kFixedFPRegister
kSlot
kFixedSlot
kRegisterOrSlot
kRegisterOrSlotFP
kRegisterOrSlotOrConstant
kSameAsInput
kRegisterAndSlot

Definition at line 218 of file register-allocator-verifier.h.

Constructor & Destructor Documentation

◆ RegisterAllocatorVerifier() [1/2]

v8::internal::compiler::RegisterAllocatorVerifier::RegisterAllocatorVerifier	(	Zone *	zone,
		const RegisterConfiguration *	config,
		const InstructionSequence *	sequence,
		const Frame *	frame )

Definition at line 63 of file register-allocator-verifier.cc.

Here is the call graph for this function:

◆ RegisterAllocatorVerifier() [2/2]

v8::internal::compiler::RegisterAllocatorVerifier::RegisterAllocatorVerifier ( const RegisterAllocatorVerifier & )

delete

Member Function Documentation

◆ BuildConstraint()

void v8::internal::compiler::RegisterAllocatorVerifier::BuildConstraint	(	const InstructionOperand *	op,
		OperandConstraint *	constraint )

private

Definition at line 159 of file register-allocator-verifier.cc.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ CheckConstraint()

void v8::internal::compiler::RegisterAllocatorVerifier::CheckConstraint	(	const InstructionOperand *	op,
		const OperandConstraint *	constraint )

private

Definition at line 227 of file register-allocator-verifier.cc.

Here is the call graph for this function:

◆ config()

const RegisterConfiguration * v8::internal::compiler::RegisterAllocatorVerifier::config ( )

inlineprivate

Definition at line 273 of file register-allocator-verifier.h.

◆ constraints()

Constraints * v8::internal::compiler::RegisterAllocatorVerifier::constraints ( )

inlineprivate

Definition at line 275 of file register-allocator-verifier.h.

Here is the caller graph for this function:

◆ CreateForBlock()

BlockAssessments * v8::internal::compiler::RegisterAllocatorVerifier::CreateForBlock ( const InstructionBlock * block )

private

Definition at line 388 of file register-allocator-verifier.cc.

Here is the call graph for this function:

◆ operator=()

RegisterAllocatorVerifier & v8::internal::compiler::RegisterAllocatorVerifier::operator= ( const RegisterAllocatorVerifier & )

delete

◆ sequence()

const InstructionSequence * v8::internal::compiler::RegisterAllocatorVerifier::sequence ( ) const

inlineprivate

Definition at line 274 of file register-allocator-verifier.h.

◆ spill_slot_delta()

int v8::internal::compiler::RegisterAllocatorVerifier::spill_slot_delta ( ) const

inlineprivate

Definition at line 276 of file register-allocator-verifier.h.

◆ ValidatePendingAssessment()

void v8::internal::compiler::RegisterAllocatorVerifier::ValidatePendingAssessment	(	RpoNumber	block_id,
		InstructionOperand	op,
		const BlockAssessments *	current_assessments,
		PendingAssessment *const	assessment,
		int	virtual_register )

private

Definition at line 438 of file register-allocator-verifier.cc.

Here is the call graph for this function:

◆ ValidateUse()

void v8::internal::compiler::RegisterAllocatorVerifier::ValidateUse	(	RpoNumber	block_id,
		BlockAssessments *	current_assessments,
		InstructionOperand	op,
		int	virtual_register )