llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT > Class Template Reference

Inheritance diagram for llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >:

Collaboration diagram for llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >:

Public Types
using	Base = LowerBoolQuantifiersPassBase

Public Member Functions
	LowerBoolQuantifiersPassBase ()
	LowerBoolQuantifiersPassBase (const LowerBoolQuantifiersPassBase &other)
LowerBoolQuantifiersPassBase &	operator= (const LowerBoolQuantifiersPassBase &)=delete
	LowerBoolQuantifiersPassBase (LowerBoolQuantifiersPassBase &&)=delete
LowerBoolQuantifiersPassBase &	operator= (LowerBoolQuantifiersPassBase &&)=delete
	~LowerBoolQuantifiersPassBase ()=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.

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.

Friends
std::unique_ptr<::mlir::Pass >	createLowerBoolQuantifiersPass ()
	Explicitly declare the TypeID for this class.

Detailed Description

template<typename DerivedT>
class llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >

Definition at line 25 of file LowerBoolQuantifiersPass.cpp.

Member Typedef Documentation

Base

template<typename DerivedT>

using llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >::Base = LowerBoolQuantifiersPassBase

Definition at line 27 of file LowerBoolQuantifiersPass.cpp.

Constructor & Destructor Documentation

LowerBoolQuantifiersPassBase() [1/3]

template<typename DerivedT>

llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >::LowerBoolQuantifiersPassBase ( )

inline

Definition at line 29 of file LowerBoolQuantifiersPass.cpp.

LowerBoolQuantifiersPassBase() [2/3]

template<typename DerivedT>

llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >::LowerBoolQuantifiersPassBase ( const LowerBoolQuantifiersPassBase< DerivedT > & other )

inline

Definition at line 30 of file LowerBoolQuantifiersPass.cpp.

LowerBoolQuantifiersPassBase() [3/3]

template<typename DerivedT>

llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >::LowerBoolQuantifiersPassBase ( LowerBoolQuantifiersPassBase< DerivedT > && )

delete

~LowerBoolQuantifiersPassBase()

template<typename DerivedT>

llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >::~LowerBoolQuantifiersPassBase ( )

default

Member Function Documentation

classof()

template<typename DerivedT>

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

inlinestatic

Support isa/dyn_cast functionality for the derived pass class.

Definition at line 51 of file LowerBoolQuantifiersPass.cpp.

clonePass()

template<typename DerivedT>

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

inlineoverride

A clone method to create a copy of this pass.

Definition at line 56 of file LowerBoolQuantifiersPass.cpp.

getArgument()

template<typename DerivedT>

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

inlineoverride

Definition at line 40 of file LowerBoolQuantifiersPass.cpp.

getArgumentName()

template<typename DerivedT>

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

inlinestatic

Returns the command-line argument attached to this pass.

Definition at line 37 of file LowerBoolQuantifiersPass.cpp.

getDependentDialects()

template<typename DerivedT>

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

inlineoverride

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

Definition at line 61 of file LowerBoolQuantifiersPass.cpp.

getDescription()

template<typename DerivedT>

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

inlineoverride

Definition at line 42 of file LowerBoolQuantifiersPass.cpp.

getName()

template<typename DerivedT>

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

inlineoverride

Definition at line 48 of file LowerBoolQuantifiersPass.cpp.

getPassName()

template<typename DerivedT>

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

inlinestatic

Returns the derived pass name.

Definition at line 45 of file LowerBoolQuantifiersPass.cpp.

operator=() [1/2]

template<typename DerivedT>

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

delete

operator=() [2/2]

template<typename DerivedT>

LowerBoolQuantifiersPassBase & llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >::operator= ( LowerBoolQuantifiersPassBase< DerivedT > && )

delete

Friends And Related Symbol Documentation

createLowerBoolQuantifiersPass

template<typename DerivedT>

std::unique_ptr<::mlir::Pass > createLowerBoolQuantifiersPass ( )

friend

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 85 of file LowerBoolQuantifiersPass.cpp.

---

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

• lib/Dialect/Bool/Transforms/LowerBoolQuantifiersPass.cpp