CGRAOmp  0.1
Classes | Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
CGRAOmp::AffineAGCompatibility Class Reference

A derived class from AGCompatibility for affine AGs. More...

#include <AGVerifyPass.hpp>

Inheritance diagram for CGRAOmp::AffineAGCompatibility:
CGRAOmp::AGCompatibility CGRAOmp::VerifyResultBase

Classes

struct  ConfigTy
 
struct  DimEntry_t
 a configration of loop control for a dimention More...
 

Public Member Functions

 AffineAGCompatibility ()
 
void print (raw_ostream &OS) const override
 An abstract method to print the verification result. More...
 
void add (Instruction *I, ConfigTy C)
 
virtual llvm::json::Value getConfigAsJson (Instruction *I) const
 
- Public Member Functions inherited from CGRAOmp::AGCompatibility
 AGCompatibility (AddressGenerator::Kind AGKind)
 Construct a new AGCompatibility object. More...
 
AddressGenerator::Kind geAGtKind () const
 Get the Kind object. More...
 
StringRef getName () const
 
int getDynamicTripCount ()
 
- 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...
 

Static Public Member Functions

static bool classof (const VerifyResultBase *R)
 
- Static Public Member Functions inherited from CGRAOmp::AGCompatibility
static bool classof (const VerifyResultBase *R)
 

Private Attributes

DenseMap< Instruction *, ConfigTyconfig
 
SmallVector< Instruction * > invalid_list
 
int nested_level
 

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

A derived class from AGCompatibility for affine AGs.

Constructor & Destructor Documentation

◆ AffineAGCompatibility()

CGRAOmp::AffineAGCompatibility::AffineAGCompatibility ( )
inline

Member Function Documentation

◆ add()

void CGRAOmp::AffineAGCompatibility::add ( Instruction *  I,
ConfigTy  C 
)
inline

◆ classof()

static bool CGRAOmp::AffineAGCompatibility::classof ( const VerifyResultBase R)
inlinestatic

◆ getConfigAsJson()

llvm::json::Value AffineAGCompatibility::getConfigAsJson ( Instruction *  I) const
virtual

Reimplemented from CGRAOmp::AGCompatibility.

◆ print()

void AffineAGCompatibility::print ( raw_ostream &  OS) const
overridevirtual

An abstract method to print the verification result.

Parameters
OSan output stream

Reimplemented from CGRAOmp::AGCompatibility.

Member Data Documentation

◆ config

DenseMap<Instruction*, ConfigTy> CGRAOmp::AffineAGCompatibility::config
private

◆ invalid_list

SmallVector<Instruction*> CGRAOmp::AffineAGCompatibility::invalid_list
private

◆ nested_level

int CGRAOmp::AffineAGCompatibility::nested_level
private

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