mc2lib::memconsistency::cats::Arch_ARMv7 Class Reference

#include <cats.hpp>

Inheritance diagram for mc2lib::memconsistency::cats::Arch_ARMv7:

Public Member Functions
	Arch_ARMv7 ()
void	Clear () override
std::unique_ptr< Checker >	MakeChecker (const Architecture *arch, const ExecWitness *exec) const override
EventRel	ppo (const ExecWitness &ew) const override
EventRel	fences (const ExecWitness &ew) const override
EventRel	prop (const ExecWitness &ew) const override
Event::Type	EventTypeRead () const override
Event::Type	EventTypeWrite () const override
Public Member Functions inherited from mc2lib::memconsistency::cats::Architecture
	Architecture ()
virtual	~Architecture ()
virtual EventRel	hb (const ExecWitness &ew) const
void	set_proxy (const Architecture *proxy)

Public Attributes
EventRel	dd_reg
EventRel	dsb
EventRel	dmb
EventRel	dsb_st
EventRel	dmb_st
EventRel	isb

Additional Inherited Members
Protected Attributes inherited from mc2lib::memconsistency::cats::Architecture
const Architecture *	proxy_

Detailed Description

ARMv7 as defined in [1]

Constructor & Destructor Documentation

Arch_ARMv7()

mc2lib::memconsistency::cats::Arch_ARMv7::Arch_ARMv7 ( )

inline

Member Function Documentation

Clear()

void mc2lib::memconsistency::cats::Arch_ARMv7::Clear ( )

inlineoverridevirtual

Reimplemented from mc2lib::memconsistency::cats::Architecture.

EventTypeRead()

Event::Type mc2lib::memconsistency::cats::Arch_ARMv7::EventTypeRead ( ) const

inlineoverridevirtual

Should return the mask of all types that are classed as read.

Implements mc2lib::memconsistency::cats::Architecture.

EventTypeWrite()

Event::Type mc2lib::memconsistency::cats::Arch_ARMv7::EventTypeWrite ( ) const

inlineoverridevirtual

Should return the mask of all types that are classed as write.

Implements mc2lib::memconsistency::cats::Architecture.

fences()

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::fences ( const ExecWitness &  ew ) const

inlineoverridevirtual

Implements mc2lib::memconsistency::cats::Architecture.

MakeChecker()

std::unique_ptr<Checker> mc2lib::memconsistency::cats::Arch_ARMv7::MakeChecker ( const Architecture *  arch, const ExecWitness *  exec  ) const

inlineoverridevirtual

Creates a checker compatible with this Architecture.

Implements mc2lib::memconsistency::cats::Architecture.

ppo()

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::ppo ( const ExecWitness &  ew ) const

inlineoverridevirtual

Implements mc2lib::memconsistency::cats::Architecture.

prop()

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::prop ( const ExecWitness &  ew ) const

inlineoverridevirtual

Implements mc2lib::memconsistency::cats::Architecture.

Member Data Documentation

dd_reg

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::dd_reg

dmb

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::dmb

dmb_st

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::dmb_st

dsb

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::dsb

dsb_st

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::dsb_st

isb

EventRel mc2lib::memconsistency::cats::Arch_ARMv7::isb

---

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

• include/mc2lib/memconsistency/cats.hpp