#include <strong.hpp>

Inheritance diagram for mc2lib::codegen::strong::Write:

Public Member Functions
	Write (types::Addr addr, types::Pid pid=-1)

Operation::Ptr	Clone () const override

void	Reset () 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

Public Member Functions inherited from mc2lib::codegen::strong::Read
	Read (types::Addr addr, types::Pid pid=-1)

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 Member Functions
void	InsertObsHelper (const mc::Event e1, const mc::Event e2, mc::cats::ExecWitness *ew) override

void	EraseObsHelper (const mc::Event e1, const mc::Event e2, mc::cats::ExecWitness *ew) override

Protected Attributes
types::WriteID	write_id_

Protected Attributes inherited from mc2lib::codegen::strong::Read
types::Addr	addr_

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::strong::Write::Write	(	types::Addr	addr,
		types::Pid	pid = `-1`
	)

inlineexplicit

Member Function Documentation

§ Clone()

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

inlineoverridevirtual

Clone the instance.

Reimplemented from mc2lib::codegen::strong::Read.

§ Emit()

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

inlineoverride

§ EraseObsHelper()

void mc2lib::codegen::strong::Write::EraseObsHelper	(	const mc::Event *	e1,
		const mc::Event *	e2,
		mc::cats::ExecWitness *	ew
	)

inlineoverrideprotectedvirtual

Reimplemented from mc2lib::codegen::strong::Read.

§ InsertObsHelper()

void mc2lib::codegen::strong::Write::InsertObsHelper	(	const mc::Event *	e1,
		const mc::Event *	e2,
		mc::cats::ExecWitness *	ew
	)

inlineoverrideprotectedvirtual

Reimplemented from mc2lib::codegen::strong::Read.

§ InsertPo()

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

inlineoverride

§ Reset()

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

inlineoverridevirtual

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

Reimplemented from mc2lib::codegen::strong::Read.

Member Data Documentation

§ write_id_

types::WriteID mc2lib::codegen::strong::Write::write_id_

protected

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

include/mc2lib/codegen/ops/strong.hpp

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Constructor & Destructor Documentation

§ Write()

Member Function Documentation

§ Clone()

§ Emit()

§ EraseObsHelper()

§ InsertObsHelper()

§ InsertPo()

§ Reset()

Member Data Documentation

§ write_id_