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 1899 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 180 of file TransformationPasses.h.

◆ registerEmptyParamListRemovalPassPass()

void llzk::polymorphic::registerEmptyParamListRemovalPassPass ( )
inline

Definition at line 187 of file TransformationPasses.h.

◆ registerFlatteningPass()

void llzk::polymorphic::registerFlatteningPass ( )
inline

Definition at line 197 of file TransformationPasses.h.

◆ registerFlatteningPassPass()

void llzk::polymorphic::registerFlatteningPassPass ( )
inline

Definition at line 204 of file TransformationPasses.h.

◆ registerTransformationPasses()

void llzk::polymorphic::registerTransformationPasses ( )
inline

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