LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
mlir Namespace Reference

Classes

struct  FieldParser
struct  FieldParser< llvm::APInt >
struct  FieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::cast::OverflowSemantics >, std::optional<::llzk::cast::OverflowSemantics > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::polymorphic::FlatteningCleanupMode >, std::optional<::llzk::polymorphic::FlatteningCleanupMode > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
struct  FieldParser<::llzk::cast::OverflowSemantics, ::llzk::cast::OverflowSemantics >
struct  FieldParser<::llzk::OutputStream, ::llzk::OutputStream >
struct  FieldParser<::llzk::polymorphic::FlatteningCleanupMode, ::llzk::polymorphic::FlatteningCleanupMode >
struct  FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate >
struct  FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate >
class  OpInterface

Functions

template<typename To>
auto unwrap_cast (auto &from)

Function Documentation

◆ unwrap_cast()

template<typename To>
auto mlir::unwrap_cast ( auto & from)
inline

Definition at line 51 of file Support.h.