llzk::impl::PCLLoweringPassBase< DerivedT > Class Template Reference

Inheritance diagram for llzk::impl::PCLLoweringPassBase< DerivedT >:

Collaboration diagram for llzk::impl::PCLLoweringPassBase< DerivedT >:

Public Types
using	Base = PCLLoweringPassBase

Public Member Functions
	PCLLoweringPassBase ()
	PCLLoweringPassBase (const PCLLoweringPassBase &other)
PCLLoweringPassBase &	operator= (const PCLLoweringPassBase &)=delete
	PCLLoweringPassBase (PCLLoweringPassBase &&)=delete
PCLLoweringPassBase &	operator= (PCLLoweringPassBase &&)=delete
	~PCLLoweringPassBase ()=default
::llvm::StringRef	getArgument () const override
::llvm::StringRef	getDescription () const override
::llvm::StringRef	getName () const override
std::unique_ptr<::mlir::Pass >	clonePass () const override
	A clone method to create a copy of this pass.
void	getDependentDialects (::mlir::DialectRegistry &registry) const override
	Return the dialect that must be loaded in the context before this pass.
	PCLLoweringPassBase (PCLLoweringPassOptions options)
	Explicitly declare the TypeID for this class.

Static Public Member Functions
static constexpr ::llvm::StringLiteral	getArgumentName ()
	Returns the command-line argument attached to this pass.
static constexpr ::llvm::StringLiteral	getPassName ()
	Returns the derived pass name.
static bool	classof (const ::mlir::Pass *pass)
	Support isa/dyn_cast functionality for the derived pass class.

Protected Attributes
::mlir::Pass::Option<::llvm::APInt >	prime {*this, "prime", ::llvm::cl::desc("The prime field that the constraints operate over. This is required by PCL, and the prime must be passed in digits."), ::llvm::cl::init(llvm::APInt(31, 2130706433))}

Detailed Description

template<typename DerivedT>
class llzk::impl::PCLLoweringPassBase< DerivedT >

Definition at line 267 of file LLZKPCLLoweringPass.cpp.

Member Typedef Documentation

Base

template<typename DerivedT>

using llzk::impl::PCLLoweringPassBase< DerivedT >::Base = PCLLoweringPassBase

Definition at line 269 of file LLZKPCLLoweringPass.cpp.

Constructor & Destructor Documentation

PCLLoweringPassBase() [1/4]

template<typename DerivedT>

llzk::impl::PCLLoweringPassBase< DerivedT >::PCLLoweringPassBase ( )

inline

Definition at line 271 of file LLZKPCLLoweringPass.cpp.

PCLLoweringPassBase() [2/4]

template<typename DerivedT>

llzk::impl::PCLLoweringPassBase< DerivedT >::PCLLoweringPassBase ( const PCLLoweringPassBase< DerivedT > & other )

inline

Definition at line 272 of file LLZKPCLLoweringPass.cpp.

PCLLoweringPassBase() [3/4]

template<typename DerivedT>

llzk::impl::PCLLoweringPassBase< DerivedT >::PCLLoweringPassBase ( PCLLoweringPassBase< DerivedT > && )

delete

~PCLLoweringPassBase()

template<typename DerivedT>

llzk::impl::PCLLoweringPassBase< DerivedT >::~PCLLoweringPassBase ( )

default

PCLLoweringPassBase() [4/4]

template<typename DerivedT>

llzk::impl::PCLLoweringPassBase< DerivedT >::PCLLoweringPassBase ( PCLLoweringPassOptions options )

inline

Explicitly declare the TypeID for this class.

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 324 of file LLZKPCLLoweringPass.cpp.

Member Function Documentation

classof()

template<typename DerivedT>

bool llzk::impl::PCLLoweringPassBase< DerivedT >::classof ( const ::mlir::Pass * pass )

inlinestatic

Support isa/dyn_cast functionality for the derived pass class.

Definition at line 293 of file LLZKPCLLoweringPass.cpp.

clonePass()

template<typename DerivedT>

std::unique_ptr<::mlir::Pass > llzk::impl::PCLLoweringPassBase< DerivedT >::clonePass ( ) const

inlineoverride

A clone method to create a copy of this pass.

Definition at line 298 of file LLZKPCLLoweringPass.cpp.

getArgument()

template<typename DerivedT>

::llvm::StringRef llzk::impl::PCLLoweringPassBase< DerivedT >::getArgument ( ) const

inlineoverride

Definition at line 282 of file LLZKPCLLoweringPass.cpp.

getArgumentName()

template<typename DerivedT>

constexpr ::llvm::StringLiteral llzk::impl::PCLLoweringPassBase< DerivedT >::getArgumentName ( )

inlinestatic

Returns the command-line argument attached to this pass.

Definition at line 279 of file LLZKPCLLoweringPass.cpp.

getDependentDialects()

template<typename DerivedT>

void llzk::impl::PCLLoweringPassBase< DerivedT >::getDependentDialects ( ::mlir::DialectRegistry & registry ) const

inlineoverride

Return the dialect that must be loaded in the context before this pass.

Definition at line 303 of file LLZKPCLLoweringPass.cpp.

getDescription()

template<typename DerivedT>

::llvm::StringRef llzk::impl::PCLLoweringPassBase< DerivedT >::getDescription ( ) const

inlineoverride

Definition at line 284 of file LLZKPCLLoweringPass.cpp.

getName()

template<typename DerivedT>

::llvm::StringRef llzk::impl::PCLLoweringPassBase< DerivedT >::getName ( ) const

inlineoverride

Definition at line 290 of file LLZKPCLLoweringPass.cpp.

getPassName()

template<typename DerivedT>

constexpr ::llvm::StringLiteral llzk::impl::PCLLoweringPassBase< DerivedT >::getPassName ( )

inlinestatic

Returns the derived pass name.

Definition at line 287 of file LLZKPCLLoweringPass.cpp.

operator=() [1/2]

template<typename DerivedT>

PCLLoweringPassBase & llzk::impl::PCLLoweringPassBase< DerivedT >::operator= ( const PCLLoweringPassBase< DerivedT > & )

delete

operator=() [2/2]

template<typename DerivedT>

PCLLoweringPassBase & llzk::impl::PCLLoweringPassBase< DerivedT >::operator= ( PCLLoweringPassBase< DerivedT > && )

delete

Member Data Documentation

prime

template<typename DerivedT>

::mlir::Pass::Option<::llvm::APInt> llzk::impl::PCLLoweringPassBase< DerivedT >::prime {*this, "prime", ::llvm::cl::desc("The prime field that the constraints operate over. This is required by PCL, and the prime must be passed in digits."), ::llvm::cl::init(llvm::APInt(31, 2130706433))}

protected

Definition at line 328 of file LLZKPCLLoweringPass.cpp.

---

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

• lib/Transforms/LLZKPCLLoweringPass.cpp