mc2lib::codegen::armv7::Write Class Reference

#include <armv7.hpp>

Inheritance diagram for mc2lib::codegen::armv7::Write:

Public Member Functions
	Write (types::Addr addr, types::Pid pid=-1)
Operation::Ptr	Clone () const override
void	Reset () override
bool	EnableEmit (EvtStateCats *evts) override
void	InsertPo (Operation::ThreadConstIt before, EvtStateCats *evts) override
std::size_t	Emit (types::InstPtr start, Backend *backend, EvtStateCats *evts, void *code, std::size_t len) override
bool	UpdateObs (types::InstPtr ip, int part, types::Addr addr, const types::WriteID *from_id, std::size_t size, EvtStateCats *evts) override
const mc::Event *	LastEvent (const mc::Event *next_event, EvtStateCats *evts) const override
const mc::Event *	FirstEvent (const mc::Event *prev_event, EvtStateCats *evts) const override
types::Addr	addr () const override
Public Member Functions inherited from mc2lib::codegen::MemOp< Backend, EvtState >
	MemOp (types::Pid pid)
Public Member Functions inherited from mc2lib::codegen::Op< Backend, EvtState >
	Op (types::Pid pid)
virtual	~Op ()
virtual void	AdvanceThread (ThreadItStack *it_stack) const
virtual bool	EnableEmit (EvtState *evts)=0
virtual void	InsertPo (ThreadConstIt before, EvtState *evts)=0
virtual void	RegisterCallback (CallbackStack *callback_stack)
virtual std::size_t	Emit (types::InstPtr start, Backend *backend, EvtState *evts, void *code, std::size_t len)=0
virtual const mc::Event *	LastEvent (const mc::Event *next_event, EvtState *evts) const=0
virtual const mc::Event *	FirstEvent (const mc::Event *prev_event, EvtState *evts) const=0
virtual bool	UpdateObs (types::InstPtr ip, int part, types::Addr addr, const types::WriteID *from_id, std::size_t size, EvtState *evts)=0
types::Pid	pid () const
void	set_pid (types::Pid pid)

Protected Attributes
types::Addr	addr_
types::WriteID	write_id_
const mc::Event *	event_
const mc::Event *	from_
types::InstPtr	at_

Additional Inherited Members
Public Types inherited from mc2lib::codegen::Op< Backend, EvtState >
typedef EvtState	EvtState
typedef std::shared_ptr< Op >	Ptr
typedef std::vector< Ptr >	Thread
typedef Thread::const_iterator	ThreadIt
typedef std::unordered_map< types::Pid, Thread >	Threads
typedef std::vector< std::pair< ThreadIt, ThreadIt > >	ThreadItStack
typedef std::vector< const Op *>	ThreadConst
typedef ThreadConst::const_iterator	ThreadConstIt
typedef std::function< std::size_t(Op *, types::InstPtr, Backend *, EvtState *, void *, std::size_t)>	Callback
typedef std::vector< Callback >	CallbackStack

Constructor & Destructor Documentation

Write()

mc2lib::codegen::armv7::Write::Write ( types::Addr  addr, types::Pid  pid = -1  )

inlineexplicit

Member Function Documentation

addr()

types::Addr mc2lib::codegen::armv7::Write::addr ( ) const

inlineoverridevirtual

Implements mc2lib::codegen::MemOp< Backend, EvtState >.

Clone()

Operation::Ptr mc2lib::codegen::armv7::Write::Clone ( ) const

inlineoverridevirtual

Clone the instance.

Implements mc2lib::codegen::Op< Backend, EvtState >.

Emit()

std::size_t mc2lib::codegen::armv7::Write::Emit ( types::InstPtr  start, Backend *  backend, EvtStateCats *  evts, void *  code, std::size_t  len  )

inlineoverride

EnableEmit()

bool mc2lib::codegen::armv7::Write::EnableEmit ( EvtStateCats *  evts )

inlineoverride

FirstEvent()

const mc::Event* mc2lib::codegen::armv7::Write::FirstEvent ( const mc::Event *  prev_event, EvtStateCats *  evts  ) const

inlineoverride

InsertPo()

void mc2lib::codegen::armv7::Write::InsertPo ( Operation::ThreadConstIt  before, EvtStateCats *  evts  )

inlineoverride

LastEvent()

const mc::Event* mc2lib::codegen::armv7::Write::LastEvent ( const mc::Event *  next_event, EvtStateCats *  evts  ) const

inlineoverride

Reset()

void mc2lib::codegen::armv7::Write::Reset ( )

inlineoverridevirtual

Provide Reset, as emit functions may modify the state of an Op to store information to map instructions to events.

Implements mc2lib::codegen::Op< Backend, EvtState >.

UpdateObs()

bool mc2lib::codegen::armv7::Write::UpdateObs ( types::InstPtr  ip, int  part, types::Addr  addr, const types::WriteID *  from_id, std::size_t  size, EvtStateCats *  evts  )

inlineoverride

Member Data Documentation

addr_

types::Addr mc2lib::codegen::armv7::Write::addr_

protected

at_

types::InstPtr mc2lib::codegen::armv7::Write::at_

protected

event_

const mc::Event* mc2lib::codegen::armv7::Write::event_

protected

from_

const mc::Event* mc2lib::codegen::armv7::Write::from_

protected

write_id_

types::WriteID mc2lib::codegen::armv7::Write::write_id_

protected

---

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

• include/mc2lib/codegen/ops/armv7.hpp