LLZK 0.1.0
Veridise's ZK Language IR
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 1913 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 188 of file TransformationPasses.h.

◆ registerEmptyParamListRemovalPassPass()

void llzk::polymorphic::registerEmptyParamListRemovalPassPass ( )
inline

Definition at line 195 of file TransformationPasses.h.

◆ registerFlatteningPass()

void llzk::polymorphic::registerFlatteningPass ( )
inline

Definition at line 205 of file TransformationPasses.h.

◆ registerFlatteningPassPass()

void llzk::polymorphic::registerFlatteningPassPass ( )
inline

Definition at line 212 of file TransformationPasses.h.

◆ registerTransformationPasses()

void llzk::polymorphic::registerTransformationPasses ( )
inline

Definition at line 222 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.