Description

Definition at line 28 of file DispatcherPowerpc.h.

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc:

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc:

[legend]

Public Types
using	Super = BaseSemantics::Dispatcher
	Base type.

using	Ptr = DispatcherPowerpcPtr
	Shared-ownership pointer.

Public Types inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher
using	Ptr = DispatcherPtr
	Shared-ownership pointer.

Public Member Functions
virtual BaseSemantics::DispatcherPtr	create (const BaseSemantics::RiscOperatorsPtr &) const override
	Virtual constructor.

virtual RegisterDescriptor	instructionPointerRegister () const override
	Returns the instruction pointer register.

virtual RegisterDescriptor	stackPointerRegister () const override
	Returns the stack pointer register.

virtual RegisterDescriptor	stackFrameRegister () const override
	Returns the stack call frame register.

virtual RegisterDescriptor	callReturnRegister () const override
	Returns the function call return address register.

virtual int	iprocKey (SgAsmInstruction *insn_) const override
	Given an instruction, return the InsnProcessor key that can be used as an index into the iproc_table.

void	setXerOverflow (const BaseSemantics::SValuePtr &hadOverflow)
	Set the XER OV and SO bits as specified.

virtual void	updateCr0 (const BaseSemantics::SValuePtr &result)
	Write status flags for result.

BaseSemantics::SValuePtr	readAndUpdate (BaseSemantics::RiscOperators , SgAsmExpression , size_t valueNBits)
	Reads from a memory address and updates a register with the effective address that was read.

void	writeAndUpdate (BaseSemantics::RiscOperators , SgAsmExpression destination, const BaseSemantics::SValuePtr &value)
	Writes a value to a memory address and updates a register with the effective address to which the value was written.

Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher
virtual void	processInstruction (SgAsmInstruction *insn)
	Process a single instruction.

virtual InsnProcessor *	iprocLookup (SgAsmInstruction *insn)
	Lookup the processor for an instruction.

virtual void	iprocReplace (SgAsmInstruction insn, InsnProcessor iproc)
	Replace an instruction processor with another.

virtual void	iprocSet (int key, InsnProcessor *iproc)
	Set an iproc table entry to the specified value.

virtual InsnProcessor *	iprocGet (int key)
	Obtain an iproc table entry for the specified key.

Architecture::BaseConstPtr	architecture () const
	Property: Architecture.

virtual StatePtr	currentState () const
	Get a pointer to the state object.

virtual SValuePtr	protoval () const
	Return the prototypical value.

virtual SgAsmInstruction *	currentInstruction () const
	Returns the instruction that is being processed.

virtual SValuePtr	number_ (size_t nbits, uint64_t number) const
	Return a semantic value representing a number.

RegisterDictionaryPtr	registerDictionary () const
	Property: Register dictionary.

virtual RegisterDescriptor	findRegister (const std::string &regname, size_t nbits=0, bool allowMissing=false) const
	Lookup a register by name.

size_t	addressWidth () const
	Property: Width of memory addresses in bits.

virtual void	initializeState (const StatePtr &)
	Initialize the state.

virtual void	advanceInstructionPointer (SgAsmInstruction *)
	Update the instruction pointer register.

virtual RegisterDescriptor	segmentRegister (SgAsmMemoryReferenceExpression *)
	Returns a register descriptor for the segment part of a memory reference expression.

virtual void	incrementRegisters (SgAsmExpression *)
	Increment all auto-increment registers in the expression.

virtual void	decrementRegisters (SgAsmExpression *)
	Decrement all auto-decrement registers in the expression.

virtual void	preUpdate (SgAsmExpression *, const BaseSemantics::SValuePtr &enabled)
	Update registers for pre-add expressions.

virtual void	postUpdate (SgAsmExpression *, const BaseSemantics::SValuePtr &enabled)
	Update registers for post-add expressions.

virtual SValuePtr	effectiveAddress (SgAsmExpression *, size_t nbits=0)
	Returns a memory address by evaluating the address expression.

virtual SValuePtr	read (SgAsmExpression *, size_t value_nbits=0, size_t addr_nbits=0)
	Reads an R-value expression.

virtual void	write (SgAsmExpression *, const SValuePtr &value, size_t addr_nbits=0)
	Writes to an L-value expression.

virtual RiscOperatorsPtr	operators () const
	Property: RISC operators.

virtual void	operators (const RiscOperatorsPtr &)
	Property: RISC operators.

virtual SValuePtr	undefined_ (size_t nbits) const
	Return a new undefined semantic value.

virtual SValuePtr	unspecified_ (size_t nbits) const
	Return a new undefined semantic value.

bool	autoResetInstructionPointer () const
	Property: Reset instruction pointer register for each instruction.

void	autoResetInstructionPointer (bool b)
	Property: Reset instruction pointer register for each instruction.

Static Public Member Functions
static DispatcherPowerpcPtr	instance (const Architecture::BaseConstPtr &)
	Construct a prototypical dispatcher.

static DispatcherPowerpcPtr	instance (const Architecture::BaseConstPtr &, const BaseSemantics::RiscOperatorsPtr &)
	Constructor.

static DispatcherPowerpcPtr	promote (const BaseSemantics::DispatcherPtr &)
	Dynamic cast to a DispatcherPowerpcPtr with assertion.

Public Attributes

RegisterDescriptor	REG_IAR
	Cached register.

RegisterDescriptor	REG_LR
	Cached register.

RegisterDescriptor	REG_XER
	Cached register.

RegisterDescriptor	REG_XER_CA
	Cached register.

RegisterDescriptor	REG_XER_OV
	Cached register.

RegisterDescriptor	REG_XER_SO
	Cached register.

RegisterDescriptor	REG_CTR
	Cached register.

RegisterDescriptor	REG_CR
	Cached register.

RegisterDescriptor	REG_CR0
	Cached register.

RegisterDescriptor	REG_CR0_LT
	Cached register.

Protected Member Functions
	DispatcherPowerpc (const Architecture::BaseConstPtr &)

	DispatcherPowerpc (const Architecture::BaseConstPtr &, const BaseSemantics::RiscOperatorsPtr &)

Protected Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher
	Dispatcher (const Architecture::BaseConstPtr &)

	Dispatcher (const Architecture::BaseConstPtr &, const RiscOperatorsPtr &)

Additional Inherited Members
Protected Types inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher
typedef std::vector< InsnProcessor * >	InsnProcessors

Protected Attributes inherited from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher
bool	autoResetInstructionPointer_ = true
	Reset instruction pointer register for each instruction.

InsnProcessors	iproc_table

Member Typedef Documentation

◆ Super

using Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::Super = BaseSemantics::Dispatcher

Base type.

Definition at line 31 of file DispatcherPowerpc.h.

◆ Ptr

using Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::Ptr = DispatcherPowerpcPtr

Shared-ownership pointer.

Definition at line 34 of file DispatcherPowerpc.h.

Member Function Documentation

◆ instance()

static DispatcherPowerpcPtr Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::instance ( const Architecture::BaseConstPtr & )

static

Construct a prototypical dispatcher.

The only thing this dispatcher can be used for is to create another dispatcher with the virtual create method.

◆ create()

virtual BaseSemantics::DispatcherPtr Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::create ( const BaseSemantics::RiscOperatorsPtr & ) const

overridevirtual

Virtual constructor.

Implements Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher.

◆ instructionPointerRegister()

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::instructionPointerRegister ( ) const

overridevirtual

Returns the instruction pointer register.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher.

◆ stackPointerRegister()

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::stackPointerRegister ( ) const

overridevirtual

Returns the stack pointer register.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher.

◆ stackFrameRegister()

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::stackFrameRegister ( ) const

overridevirtual

Returns the stack call frame register.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher.

◆ callReturnRegister()

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::callReturnRegister ( ) const

overridevirtual

Returns the function call return address register.

Reimplemented from Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher.

◆ iprocKey()

virtual int Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::iprocKey ( SgAsmInstruction * ) const

overridevirtual

Given an instruction, return the InsnProcessor key that can be used as an index into the iproc_table.

Implements Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Dispatcher.

◆ setXerOverflow()

void Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::setXerOverflow ( const BaseSemantics::SValuePtr & hadOverflow )

Set the XER OV and SO bits as specified.

The XER OV bit is assigned the argument, and the XER SO bit is set only if the argument is set. This function should be called before updateCr0 since updateCr0 will copy some of the XER into the CR result.

◆ readAndUpdate()

BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::readAndUpdate	(	BaseSemantics::RiscOperators *	,
		SgAsmExpression *	,
		size_t	valueNBits
	)

Reads from a memory address and updates a register with the effective address that was read.

The address expression must be a binary add operation whose first argument is a register, and it is this register that gets updated.

◆ writeAndUpdate()

void Rose::BinaryAnalysis::InstructionSemantics::DispatcherPowerpc::writeAndUpdate	(	BaseSemantics::RiscOperators *	,
		SgAsmExpression *	destination,
		const BaseSemantics::SValuePtr &	value
	)

Writes a value to a memory address and updates a register with the effective address to which the value was written.

The address expression must be a binary add operation whose first argument is a register, and it is this register that gets updated.