CGRAOmp::SimpleVerifyResult< Kind > Class Template Reference

Simple verification result only with a verification message. More...

#include <VerifyPass.hpp>

Inheritance diagram for CGRAOmp::SimpleVerifyResult< Kind >:

Public Member Functions
	SimpleVerifyResult ()
	SimpleVerifyResult (std::string msg)
void	setMessage (StringRef msg)
void	print (raw_ostream &OS) const
	An abstract method to print the verification result. More...
StringRef	getName () const
Public Member Functions inherited from CGRAOmp::VerifyResultBase
	VerifyResultBase (VerificationKind kind)
	Construct a new Verify Result Base object. More...
	VerifyResultBase ()=delete
	default constructor More...
	operator bool ()
	explicit cast operator for Boolean Derived classes can custom the violation condition by overriding bool_operator_impl More...
void	dump ()
	dump the verification result like as debugging in LLVM More...
void	setVio ()
	mark this result as violated More...
virtual VerificationKind	getKind () const
	get the kind of derived class More...

Private Attributes
std::string	msg

Static Private Attributes
static const char *	name = "Memory access decoupling"

Additional Inherited Members
Protected Member Functions inherited from CGRAOmp::VerifyResultBase
virtual bool	bool_operator_impl ()
	An actual impelementation for casting to Boolean. More...
Protected Attributes inherited from CGRAOmp::VerifyResultBase
bool	isViolate = false

Detailed Description

template<VerificationKind Kind>
class CGRAOmp::SimpleVerifyResult< Kind >

Simple verification result only with a verification message.

Template Parameters

Kind	Verification Kind

Constructor & Destructor Documentation

SimpleVerifyResult() [1/2]

template<VerificationKind Kind>

CGRAOmp::SimpleVerifyResult< Kind >::SimpleVerifyResult ( )

inline

SimpleVerifyResult() [2/2]

template<VerificationKind Kind>

CGRAOmp::SimpleVerifyResult< Kind >::SimpleVerifyResult ( std::string  msg )

inline

Member Function Documentation

getName()

template<VerificationKind Kind>

StringRef CGRAOmp::SimpleVerifyResult< Kind >::getName ( ) const

inlinevirtual

Implements CGRAOmp::VerifyResultBase.

print()

template<VerificationKind Kind>

void CGRAOmp::SimpleVerifyResult< Kind >::print ( raw_ostream &  OS ) const

inlinevirtual

An abstract method to print the verification result.

Parameters

OS	an output stream

Implements CGRAOmp::VerifyResultBase.

setMessage()

template<VerificationKind Kind>

void CGRAOmp::SimpleVerifyResult< Kind >::setMessage ( StringRef  msg )

inline

Member Data Documentation

msg

template<VerificationKind Kind>

std::string CGRAOmp::SimpleVerifyResult< Kind >::msg

private

name

const char * InterLoopDependencyAnalysisResult::name = "Memory access decoupling"

staticprivate

---

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

• include/VerifyPass.hpp
• src/Passes/CGRAOmpVerifyPass/VerifyPass.cpp