LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Namespaces | Classes | Enumerations | Functions
llzk::polymorphic Namespace Reference

Namespaces

namespace  detail
namespace  impl

Classes

class  ApplyMapOp
class  ApplyMapOpAdaptor
class  ApplyMapOpGenericAdaptor
class  ConstReadOp
class  ConstReadOpAdaptor
class  ConstReadOpGenericAdaptor
struct  FlatteningPassOptions
class  PolymorphicDialect
class  TypeVarType
class  UnifiableCastOp
class  UnifiableCastOpAdaptor
class  UnifiableCastOpGenericAdaptor

Enumerations

enum class  StructCleanupMode : uint32_t { Disabled = 0 , Preimage = 1 , ConcreteAsRoot = 2 , MainAsRoot = 3 }

Functions

::llvm::StringRef stringifyStructCleanupMode (StructCleanupMode val)
::std::optional< StructCleanupMode > symbolizeStructCleanupMode (::llvm::StringRef str)
::std::optional< StructCleanupMode > symbolizeStructCleanupMode (uint32_t value)
constexpr unsigned getMaxEnumValForStructCleanupMode ()
inline ::llvm::StringRef stringifyEnum (StructCleanupMode enumValue)
template<typename EnumType>
::std::optional< EnumType > symbolizeEnum (::llvm::StringRef)
template<>
inline ::std::optional< StructCleanupMode > symbolizeEnum< StructCleanupMode > (::llvm::StringRef str)
std::unique_ptr< mlir::Pass > createEmptyParamListRemoval ()
std::unique_ptr< mlir::Pass > createFlatteningPass ()
void registerEmptyParamListRemovalPass ()
void registerEmptyParamListRemovalPassPass ()
void registerFlatteningPass ()
void registerFlatteningPassPass ()
void registerTransformationPasses ()

Enumeration Type Documentation

◆ StructCleanupMode

enum class llzk::polymorphic::StructCleanupMode : uint32_t
strong
Enumerator
Disabled 
Preimage 
ConcreteAsRoot 
MainAsRoot 

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

Function Documentation

◆ createEmptyParamListRemoval()

std::unique_ptr< Pass > llzk::polymorphic::createEmptyParamListRemoval ( )

Definition at line 106 of file EmptyParamListRemovalPass.cpp.

◆ createFlatteningPass()

std::unique_ptr< Pass > llzk::polymorphic::createFlatteningPass ( )

Definition at line 2007 of file FlatteningPass.cpp.

◆ getMaxEnumValForStructCleanupMode()

unsigned llzk::polymorphic::getMaxEnumValForStructCleanupMode ( )
inlineconstexpr

Definition at line 23 of file TransformationPassEnums.h.inc.

◆ registerEmptyParamListRemovalPass()

void llzk::polymorphic::registerEmptyParamListRemovalPass ( )
inline

Definition at line 186 of file TransformationPasses.h.

◆ registerEmptyParamListRemovalPassPass()

void llzk::polymorphic::registerEmptyParamListRemovalPassPass ( )
inline

Definition at line 193 of file TransformationPasses.h.

◆ registerFlatteningPass()

void llzk::polymorphic::registerFlatteningPass ( )
inline

Definition at line 203 of file TransformationPasses.h.

◆ registerFlatteningPassPass()

void llzk::polymorphic::registerFlatteningPassPass ( )
inline

Definition at line 210 of file TransformationPasses.h.

◆ registerTransformationPasses()

void llzk::polymorphic::registerTransformationPasses ( )
inline

Definition at line 220 of file TransformationPasses.h.

◆ stringifyEnum()

inline ::llvm::StringRef llzk::polymorphic::stringifyEnum ( StructCleanupMode enumValue)

Definition at line 28 of file TransformationPassEnums.h.inc.

◆ stringifyStructCleanupMode()

llvm::StringRef llzk::polymorphic::stringifyStructCleanupMode ( StructCleanupMode val)

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

◆ symbolizeEnum()

template<typename EnumType>
::std::optional< EnumType > llzk::polymorphic::symbolizeEnum ( ::llvm::StringRef )

◆ symbolizeEnum< StructCleanupMode >()

template<>
inline ::std::optional< StructCleanupMode > llzk::polymorphic::symbolizeEnum< StructCleanupMode > ( ::llvm::StringRef str)

Definition at line 33 of file TransformationPassEnums.h.inc.

◆ symbolizeStructCleanupMode() [1/2]

std::optional< StructCleanupMode > llzk::polymorphic::symbolizeStructCleanupMode ( ::llvm::StringRef str)

Definition at line 22 of file TransformationPassEnums.cpp.inc.

◆ symbolizeStructCleanupMode() [2/2]

std::optional< StructCleanupMode > llzk::polymorphic::symbolizeStructCleanupMode ( uint32_t value)

Definition at line 30 of file TransformationPassEnums.cpp.inc.