LLZK 0.1.0
Veridise's ZK Language IR
|
Namespaces | |
namespace | detail |
Classes | |
class | AndBoolOp |
class | AndBoolOpAdaptor |
class | AndBoolOpGenericAdaptor |
class | AssertOp |
class | AssertOpAdaptor |
class | AssertOpGenericAdaptor |
class | BoolDialect |
class | CmpOp |
class | CmpOpAdaptor |
class | CmpOpGenericAdaptor |
class | NotBoolOp |
class | NotBoolOpAdaptor |
class | NotBoolOpGenericAdaptor |
class | OrBoolOp |
class | OrBoolOpAdaptor |
class | OrBoolOpGenericAdaptor |
class | XorBoolOp |
class | XorBoolOpAdaptor |
class | XorBoolOpGenericAdaptor |
Enumerations | |
enum class | FeltCmpPredicate : uint32_t { EQ = 0 , NE = 1 , LT = 2 , LE = 3 , GT = 4 , GE = 5 } |
Functions | |
::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) |
|
strong |
Enumerator | |
---|---|
EQ | |
NE | |
LT | |
LE | |
GT | |
GE |
Definition at line 13 of file Enums.h.inc.
|
inlineconstexpr |
Definition at line 25 of file Enums.h.inc.
inline ::llvm::StringRef llzk::boolean::stringifyEnum | ( | FeltCmpPredicate | enumValue | ) |
Definition at line 30 of file Enums.h.inc.
llvm::StringRef llzk::boolean::stringifyFeltCmpPredicate | ( | FeltCmpPredicate | val | ) |
Definition at line 12 of file Enums.cpp.inc.
::std::optional< EnumType > llzk::boolean::symbolizeEnum | ( | ::llvm::StringRef | ) |
inline ::std::optional< FeltCmpPredicate > llzk::boolean::symbolizeEnum< FeltCmpPredicate > | ( | ::llvm::StringRef | str | ) |
Definition at line 35 of file Enums.h.inc.
std::optional< FeltCmpPredicate > llzk::boolean::symbolizeFeltCmpPredicate | ( | ::llvm::StringRef | str | ) |
Definition at line 24 of file Enums.cpp.inc.
std::optional< FeltCmpPredicate > llzk::boolean::symbolizeFeltCmpPredicate | ( | uint32_t | value | ) |
Definition at line 34 of file Enums.cpp.inc.