Enums.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Enum Utility Declarations                                                  *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Enums.td                                                             *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
namespace llzk {
namespace boolean {
// Field element comparison predicate
enum class FeltCmpPredicate : uint32_t {
  EQ = 0,
  NE = 1,
  LT = 2,
  LE = 3,
  GT = 4,
  GE = 5,
};
 
::std::optional<FeltCmpPredicate> symbolizeFeltCmpPredicate(uint32_t);
::llvm::StringRef stringifyFeltCmpPredicate(FeltCmpPredicate);
::std::optional<FeltCmpPredicate> symbolizeFeltCmpPredicate(::llvm::StringRef);
inline constexpr unsigned getMaxEnumValForFeltCmpPredicate() {
  return 5;
}
 
 
inline ::llvm::StringRef stringifyEnum(FeltCmpPredicate enumValue) {
  return stringifyFeltCmpPredicate(enumValue);
}
 
template <typename EnumType>
::std::optional<EnumType> symbolizeEnum(::llvm::StringRef);
 
template <>
inline ::std::optional<FeltCmpPredicate> symbolizeEnum<FeltCmpPredicate>(::llvm::StringRef str) {
  return symbolizeFeltCmpPredicate(str);
}
} // namespace boolean
} // namespace llzk
 
namespace mlir {
template <typename T, typename>
struct FieldParser;
 
template<>
struct FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate> {
  template <typename ParserT>
  static FailureOr<::llzk::boolean::FeltCmpPredicate> parse(ParserT &parser) {
    // Parse the keyword/string containing the enum.
    std::string enumKeyword;
    auto loc = parser.getCurrentLocation();
    if (failed(parser.parseOptionalKeywordOrString(&enumKeyword)))
      return parser.emitError(loc, "expected keyword for Field element comparison predicate");
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::boolean::FeltCmpPredicate> attr = ::llzk::boolean::symbolizeEnum<::llzk::boolean::FeltCmpPredicate>(enumKeyword))
      return *attr;
    return parser.emitError(loc, "invalid Field element comparison predicate specification: ") << enumKeyword;
  }
};

template<>
struct FieldParser<std::optional<::llzk::boolean::FeltCmpPredicate>, std::optional<::llzk::boolean::FeltCmpPredicate>> {
  template <typename ParserT>
  static FailureOr<std::optional<::llzk::boolean::FeltCmpPredicate>> parse(ParserT &parser) {
    // Parse the keyword/string containing the enum.
    std::string enumKeyword;
    auto loc = parser.getCurrentLocation();
    if (failed(parser.parseOptionalKeywordOrString(&enumKeyword)))
      return std::optional<::llzk::boolean::FeltCmpPredicate>{};
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::boolean::FeltCmpPredicate> attr = ::llzk::boolean::symbolizeEnum<::llzk::boolean::FeltCmpPredicate>(enumKeyword))
      return attr;
    return parser.emitError(loc, "invalid Field element comparison predicate specification: ") << enumKeyword;
  }
};
} // namespace mlir
 
namespace llvm {
inline ::llvm::raw_ostream &operator<<(::llvm::raw_ostream &p, ::llzk::boolean::FeltCmpPredicate value) {
  auto valueStr = stringifyEnum(value);
  return p << valueStr;
}
} // namespace llvm
 
namespace llvm {
template<> struct DenseMapInfo<::llzk::boolean::FeltCmpPredicate> {
  using StorageInfo = ::llvm::DenseMapInfo<uint32_t>;
 
  static inline ::llzk::boolean::FeltCmpPredicate getEmptyKey() {
    return static_cast<::llzk::boolean::FeltCmpPredicate>(StorageInfo::getEmptyKey());
  }
 
  static inline ::llzk::boolean::FeltCmpPredicate getTombstoneKey() {
    return static_cast<::llzk::boolean::FeltCmpPredicate>(StorageInfo::getTombstoneKey());
  }
 
  static unsigned getHashValue(const ::llzk::boolean::FeltCmpPredicate &val) {
    return StorageInfo::getHashValue(static_cast<uint32_t>(val));
  }
 
  static bool isEqual(const ::llzk::boolean::FeltCmpPredicate &lhs, const ::llzk::boolean::FeltCmpPredicate &rhs) {
    return lhs == rhs;
  }
};
}