Description

Definition at line 20 of file DispatcherM68k.h.

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k:

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k:

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

using	Ptr = DispatcherM68kPtr
	Shared-ownership pointer. More...

Public Types inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher
using	Ptr = DispatcherPtr
	Shared-ownership pointer for a Dispatcher object. More...

Public Member Functions
virtual BaseSemantics::DispatcherPtr	create (const BaseSemantics::RiscOperatorsPtr &ops, size_t addrWidth=0, const RegisterDictionary *regs=NULL) const override
	Virtual constructor. More...

virtual void	set_register_dictionary (const RegisterDictionary *regdict) override

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

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

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

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

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. More...

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

void	updateFpsrExcInan (const BaseSemantics::SValuePtr &a, SgAsmType aType, const BaseSemantics::SValuePtr &b, SgAsmType bType)
	Set or clear FPSR EXC INAN bit. More...

void	updateFpsrExcIde (const BaseSemantics::SValuePtr &a, SgAsmType aType, const BaseSemantics::SValuePtr &b, SgAsmType bType)
	Set or clear FPSR EXC IDE bit. More...

void	updateFpsrExcOvfl (const BaseSemantics::SValuePtr &intermediate, SgAsmType valueType, SgAsmType rounding, SgAsmType *dstType)
	Set or clear FPSR EXC OVFL bit. More...

void	updateFpsrExcUnfl (const BaseSemantics::SValuePtr &intermediate, SgAsmType valueType, SgAsmType rounding, SgAsmType *dstType)
	Set or clear FPSR EXC UVFL bit. More...

void	updateFpsrExcInex ()
	Set or clear FPSR EXC INEX bit. More...

BaseSemantics::SValuePtr	condition (M68kInstructionKind, BaseSemantics::RiscOperators *)
	Determines if an instruction should branch. More...

void	accumulateFpExceptions ()
	Update accrued floating-point exceptions. More...

void	adjustFpConditionCodes (const BaseSemantics::SValuePtr &result, SgAsmFloatType *)
	Set floating point condition codes according to result. More...

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

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

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

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

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

virtual RiscOperatorsPtr	get_operators () const ROSE_DEPRECATED("use \"operators\" instead")

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

virtual SValuePtr	protoval () const
	Return the prototypical value. More...

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

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

virtual const RegisterDictionary *	get_register_dictionary () const

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

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

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

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

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

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

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

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

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

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

virtual RiscOperatorsPtr	operators () const
	Property: RISC operators. More...

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

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.

const RegisterDictionary *	registerDictionary () const
	Property: Register dictionary. More...

void	registerDictionary (const RegisterDictionary *rd)
	Property: Register dictionary. More...

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

void	addressWidth (size_t nbits)
	Property: Width of memory addresses. More...

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

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

Static Public Member Functions
static DispatcherM68kPtr	instance ()
	Construct a prototypical dispatcher. More...

static DispatcherM68kPtr	instance (const BaseSemantics::RiscOperatorsPtr &ops, size_t addrWidth, const RegisterDictionary *regs=NULL)
	Constructor. More...

static DispatcherM68kPtr	promote (const BaseSemantics::DispatcherPtr &d)
	Dynamic cast to DispatcherM68kPtr with assertion. More...

Public Attributes

RegisterDescriptor	REG_D [8]
	Cached register. More...

RegisterDescriptor	REG_A [8]
	Cached register. More...

RegisterDescriptor	REG_FP [8]
	Cached register. More...

RegisterDescriptor	REG_PC
	Cached register. More...

RegisterDescriptor	REG_CCR
	Cached register. More...

RegisterDescriptor	REG_CCR_C
	Cached register. More...

RegisterDescriptor	REG_CCR_V
	Cached register. More...

RegisterDescriptor	REG_CCR_Z
	Cached register. More...

RegisterDescriptor	REG_CCR_N
	Cached register. More...

RegisterDescriptor	REG_CCR_X
	Cached register. More...

RegisterDescriptor	REG_MACSR_SU
	Cached register. More...

RegisterDescriptor	REG_MACSR_FI
	Cached register. More...

RegisterDescriptor	REG_MACSR_N
	Cached register. More...

RegisterDescriptor	REG_MACSR_Z
	Cached register. More...

RegisterDescriptor	REG_MACSR_V
	Cached register. More...

RegisterDescriptor	REG_MACSR_C
	Cached register. More...

RegisterDescriptor	REG_MAC_MASK
	Cached register. More...

RegisterDescriptor	REG_MACEXT0
	Cached register. More...

RegisterDescriptor	REG_MACEXT1
	Cached register. More...

RegisterDescriptor	REG_MACEXT2
	Cached register. More...

RegisterDescriptor	REG_MACEXT3
	Cached register. More...

RegisterDescriptor	REG_SSP
	Cached register. More...

RegisterDescriptor	REG_SR_S
	Cached register. More...

RegisterDescriptor	REG_SR
	Cached register. More...

RegisterDescriptor	REG_VBR
	Cached register. More...

RegisterDescriptor	REG_FPCC_NAN
	Cached register. More...

RegisterDescriptor	REG_FPCC_I
	Cached register. More...

RegisterDescriptor	REG_FPCC_Z
	Cached register. More...

RegisterDescriptor	REG_FPCC_N
	Cached register. More...

RegisterDescriptor	REG_EXC_BSUN
	Cached register. More...

RegisterDescriptor	REG_EXC_OPERR
	Cached register. More...

RegisterDescriptor	REG_EXC_OVFL
	Cached register. More...

RegisterDescriptor	REG_EXC_UNFL
	Cached register. More...

RegisterDescriptor	REG_EXC_DZ
	Cached register. More...

RegisterDescriptor	REG_EXC_INAN
	Cached register. More...

RegisterDescriptor	REG_EXC_IDE
	Cached register. More...

RegisterDescriptor	REG_EXC_INEX
	Cached register. More...

RegisterDescriptor	REG_AEXC_IOP
	Cached register. More...

RegisterDescriptor	REG_AEXC_OVFL
	Cached register. More...

RegisterDescriptor	REG_AEXC_UNFL
	Cached register. More...

RegisterDescriptor	REG_AEXC_DZ
	Cached register. More...

RegisterDescriptor	REG_AEXC_INEX
	Cached register. More...

Protected Member Functions
	DispatcherM68k (const BaseSemantics::RiscOperatorsPtr &ops, size_t addrWidth, const RegisterDictionary *regs)

void	iproc_init ()
	Loads the iproc table with instruction processing functors. More...

void	regcache_init ()
	Load the cached register descriptors. More...

void	memory_init ()
	Make sure memory is set up correctly. More...

Protected Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher
	Dispatcher (size_t addrWidth, const RegisterDictionary *regs)

	Dispatcher (const RiscOperatorsPtr &ops, size_t addrWidth, const RegisterDictionary *regs)

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

Protected Attributes inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher
const RegisterDictionary *	regdict
	See registerDictionary property. More...

size_t	addrWidth_
	Width of memory addresses in bits. More...

bool	autoResetInstructionPointer_
	Reset instruction pointer register for each instruction. More...

InsnProcessors	iproc_table

Member Typedef Documentation

using Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::Super = BaseSemantics::Dispatcher

Base type.

Definition at line 23 of file DispatcherM68k.h.

using Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::Ptr = DispatcherM68kPtr

Shared-ownership pointer.

Definition at line 26 of file DispatcherM68k.h.

Member Function Documentation

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::iproc_init ( )

protected

Loads the iproc table with instruction processing functors.

This normally happens from the constructor.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::regcache_init ( )

protected

Load the cached register descriptors.

This happens at construction when the registerDictionary property is changed.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::memory_init ( )

protected

Make sure memory is set up correctly.

For instance, byte order should be big endian.

static DispatcherM68kPtr Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::instance ( )

inlinestatic

Construct a prototypical dispatcher.

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

Definition at line 94 of file DispatcherM68k.h.

Referenced by create().

static DispatcherM68kPtr Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::instance	(	const BaseSemantics::RiscOperatorsPtr &	ops,
		size_t	addrWidth,
		const RegisterDictionary *	regs = `NULL`
	)

inlinestatic

Constructor.

Definition at line 99 of file DispatcherM68k.h.

virtual BaseSemantics::DispatcherPtr Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::create	(	const BaseSemantics::RiscOperatorsPtr &	ops,
		size_t	addrWidth = `0`,
		const RegisterDictionary *	regs = `NULL`
	)		const

inlineoverridevirtual

Virtual constructor.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher.

Definition at line 105 of file DispatcherM68k.h.

References Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher::addressWidth(), instance(), and Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher::registerDictionary().

static DispatcherM68kPtr Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::promote ( const BaseSemantics::DispatcherPtr & d )

inlinestatic

Dynamic cast to DispatcherM68kPtr with assertion.

Definition at line 115 of file DispatcherM68k.h.

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::instructionPointerRegister ( ) const

overridevirtual

Returns the instruction pointer register.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher.

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::stackPointerRegister ( ) const

overridevirtual

Returns the stack pointer register.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher.

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::stackFrameRegister ( ) const

overridevirtual

Returns the stack call frame register.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher.

virtual RegisterDescriptor Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::callReturnRegister ( ) const

overridevirtual

Returns the function call return address register.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher.

virtual int Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::iprocKey ( SgAsmInstruction * ) const

inlineoverridevirtual

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

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Dispatcher.

Definition at line 128 of file DispatcherM68k.h.

References SgAsmM68kInstruction::get_kind().

virtual BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::read	(	SgAsmExpression *	,
		size_t	value_nbits,
		size_t	addr_nbits = `0`
	)

overridevirtual

Reads an R-value expression.

The expression can be a constant, register reference, or memory reference. The width of the returned value is specified by the value_nbits argument, and if this argument is zero then the width of the expression type is used. The width of the address passed to lower-level memory access functions is specified by addr_nbits. If addr_nbits is zero then the natural width of the effective address is passed to lower level functions.

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

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::updateFpsrExcInan	(	const BaseSemantics::SValuePtr &	a,
		SgAsmType *	aType,
		const BaseSemantics::SValuePtr &	b,
		SgAsmType *	bType
	)

Set or clear FPSR EXC INAN bit.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::updateFpsrExcIde	(	const BaseSemantics::SValuePtr &	a,
		SgAsmType *	aType,
		const BaseSemantics::SValuePtr &	b,
		SgAsmType *	bType
	)

Set or clear FPSR EXC IDE bit.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::updateFpsrExcOvfl	(	const BaseSemantics::SValuePtr &	intermediate,
		SgAsmType *	valueType,
		SgAsmType *	rounding,
		SgAsmType *	dstType
	)

Set or clear FPSR EXC OVFL bit.

Set if the destination is a floating-point data register or memory (dstType) and the intermediate result (intermediate) has an exponent that is greater than or equal to the maximum exponent value of the selected rounding precision (rounding)

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::updateFpsrExcUnfl	(	const BaseSemantics::SValuePtr &	intermediate,
		SgAsmType *	valueType,
		SgAsmType *	rounding,
		SgAsmType *	dstType
	)

Set or clear FPSR EXC UVFL bit.

Set if the intermediate result of an arithmetic instruction is too small to be represented as a normalized number in a floating-point register or memory using the selected rounding precision, that is, when the intermediate result exponent is less than or equal to the minimum exponent value of the selected rounding precision. Cleared otherwise. Underflow can ony occur when the desitnation format is single or double precision. When the destination is byte, word, or longword, the conversion ounderflows to zero without causing an underflow or an operand error.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::updateFpsrExcInex ( )

Set or clear FPSR EXC INEX bit.

BaseSemantics::SValuePtr Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::condition	(	M68kInstructionKind	,
		BaseSemantics::RiscOperators *
	)

Determines if an instruction should branch.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::accumulateFpExceptions ( )

Update accrued floating-point exceptions.

void Rose::BinaryAnalysis::InstructionSemantics2::DispatcherM68k::adjustFpConditionCodes	(	const BaseSemantics::SValuePtr &	result,
		SgAsmFloatType *
	)

Set floating point condition codes according to result.