llzk::boolean Namespace Reference

Namespaces
namespace	detail
namespace	impl

Classes
class	AndBoolOp
class	AndBoolOpAdaptor
class	AndBoolOpGenericAdaptor
class	AssertOp
class	AssertOpAdaptor
class	AssertOpGenericAdaptor
class	BoolDialect
class	CmpOp
class	CmpOpAdaptor
class	CmpOpGenericAdaptor
class	ExistsOp
class	ExistsOpAdaptor
class	ExistsOpGenericAdaptor
class	ForAllOp
class	ForAllOpAdaptor
class	ForAllOpGenericAdaptor
class	NotBoolOp
class	NotBoolOpAdaptor
class	NotBoolOpGenericAdaptor
class	OrBoolOp
class	OrBoolOpAdaptor
class	OrBoolOpGenericAdaptor
class	XorBoolOp
class	XorBoolOpAdaptor
class	XorBoolOpGenericAdaptor
class	YieldOp
class	YieldOpAdaptor
class	YieldOpGenericAdaptor

Enumerations
enum class	FeltCmpPredicate : uint32_t {   EQ = 0 , NE = 1 , LT = 2 , LE = 3 ,   GT = 4 , GE = 5 }

Functions
std::unique_ptr<::mlir::Pass >	createLowerBoolQuantifiersPass ()
::llvm::StringRef	stringifyFeltCmpPredicate (FeltCmpPredicate val)
::std::optional< FeltCmpPredicate >	symbolizeFeltCmpPredicate (::llvm::StringRef str)
::std::optional< FeltCmpPredicate >	symbolizeFeltCmpPredicate (uint32_t value)
constexpr unsigned	getMaxEnumValForFeltCmpPredicate ()
inline ::llvm::StringRef	stringifyEnum (FeltCmpPredicate enumValue)
template<typename EnumType>
::std::optional< EnumType >	symbolizeEnum (::llvm::StringRef)
template<>
inline ::std::optional< FeltCmpPredicate >	symbolizeEnum< FeltCmpPredicate > (::llvm::StringRef str)
mlir::Type	getQuantifierOpDomainIterType (llzk::array::ArrayType arr)
	Extracts the type used for a quantifier op block argument.
void	registerLowerBoolQuantifiersPass ()
void	registerLowerBoolQuantifiersPassPass ()
void	registerTransformationPasses ()

Enumeration Type Documentation

FeltCmpPredicate

enum class llzk::boolean::FeltCmpPredicate : uint32_t

strong

Enumerator
EQ
NE
LT
LE
GT
GE

Definition at line 13 of file Enums.h.inc.

Function Documentation

createLowerBoolQuantifiersPass()

std::unique_ptr<::mlir::Pass > llzk::boolean::createLowerBoolQuantifiersPass

(

)

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

Definition at line 91 of file LowerBoolQuantifiersPass.cpp.

getMaxEnumValForFeltCmpPredicate()

unsigned llzk::boolean::getMaxEnumValForFeltCmpPredicate ( )

inlineconstexpr

Definition at line 25 of file Enums.h.inc.

getQuantifierOpDomainIterType()

mlir::Type llzk::boolean::getQuantifierOpDomainIterType ( llzk::array::ArrayType arr )

inline

Extracts the type used for a quantifier op block argument.

If the array has only one dimension, returns the element type. Otherwise, returns an array type with the first dimension removed.

Definition at line 20 of file Utils.h.

registerLowerBoolQuantifiersPass()

void llzk::boolean::registerLowerBoolQuantifiersPass ( )

inline

Definition at line 102 of file TransformationPasses.h.

registerLowerBoolQuantifiersPassPass()

void llzk::boolean::registerLowerBoolQuantifiersPassPass ( )

inline

Definition at line 109 of file TransformationPasses.h.

registerTransformationPasses()

void llzk::boolean::registerTransformationPasses ( )

inline

Definition at line 119 of file TransformationPasses.h.

stringifyEnum()

inline ::llvm::StringRef llzk::boolean::stringifyEnum

(

FeltCmpPredicate

enumValue

)

Definition at line 30 of file Enums.h.inc.

stringifyFeltCmpPredicate()

llvm::StringRef llzk::boolean::stringifyFeltCmpPredicate

(

FeltCmpPredicate

val

)

Definition at line 12 of file Enums.cpp.inc.

symbolizeEnum()

template<typename EnumType>

::std::optional< EnumType > llzk::boolean::symbolizeEnum

(

::llvm::StringRef

)

symbolizeEnum< FeltCmpPredicate >()

template<>

inline ::std::optional< FeltCmpPredicate > llzk::boolean::symbolizeEnum< FeltCmpPredicate >

(

::llvm::StringRef

str

)

Definition at line 35 of file Enums.h.inc.

symbolizeFeltCmpPredicate() [1/2]

std::optional< FeltCmpPredicate > llzk::boolean::symbolizeFeltCmpPredicate

(

::llvm::StringRef

str

)

Definition at line 24 of file Enums.cpp.inc.

symbolizeFeltCmpPredicate() [2/2]

std::optional< FeltCmpPredicate > llzk::boolean::symbolizeFeltCmpPredicate

(

uint32_t

value

)

Definition at line 34 of file Enums.cpp.inc.