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::cast {
 
// Specifies how a cast handles a source value outside the target's safe range. For a felt target with prime `p`, the safe range is `[0, p-1]`. For an index target with bitwidth `N`, it is `[0, 2^(N-1)-1]`.
enum class OverflowSemantics : uint32_t {
  ASSERT = 0,
  SATURATE = 1,
  WRAP = 2,
  TRUNCATE = 3,
};
 
::std::optional<OverflowSemantics> symbolizeOverflowSemantics(uint32_t);
::llvm::StringRef stringifyOverflowSemantics(OverflowSemantics);
::std::optional<OverflowSemantics> symbolizeOverflowSemantics(::llvm::StringRef);
inline constexpr unsigned getMaxEnumValForOverflowSemantics() {
  return 3;
}
 
 
inline ::llvm::StringRef stringifyEnum(OverflowSemantics enumValue) {
  return stringifyOverflowSemantics(enumValue);
}
 
template <typename EnumType>
::std::optional<EnumType> symbolizeEnum(::llvm::StringRef);
 
template <>
inline ::std::optional<OverflowSemantics> symbolizeEnum<OverflowSemantics>(::llvm::StringRef str) {
  return symbolizeOverflowSemantics(str);
}
 
} // namespace llzk::cast
 
namespace mlir {
template <typename T, typename>
struct FieldParser;
 
template<>
struct FieldParser<::llzk::cast::OverflowSemantics, ::llzk::cast::OverflowSemantics> {
  template <typename ParserT>
  static FailureOr<::llzk::cast::OverflowSemantics> 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 Specifies how a cast handles a source value outside the target's safe range. For a felt target with prime `p`, the safe range is `[0, p-1]`. For an index target with bitwidth `N`, it is `[0, 2^(N-1)-1]`.");
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::cast::OverflowSemantics> attr = ::llzk::cast::symbolizeEnum<::llzk::cast::OverflowSemantics>(enumKeyword))
      return *attr;
    return parser.emitError(loc, "expected one of [assert, sat, wrap, trunc] for Specifies how a cast handles a source value outside the target's safe range. For a felt target with prime `p`, the safe range is `[0, p-1]`. For an index target with bitwidth `N`, it is `[0, 2^(N-1)-1]`., got: ") << enumKeyword;
  }
};

template<>
struct FieldParser<std::optional<::llzk::cast::OverflowSemantics>, std::optional<::llzk::cast::OverflowSemantics>> {
  template <typename ParserT>
  static FailureOr<std::optional<::llzk::cast::OverflowSemantics>> parse(ParserT &parser) {
    // Parse the keyword/string containing the enum.
    std::string enumKeyword;
    auto loc = parser.getCurrentLocation();
    if (failed(parser.parseOptionalKeywordOrString(&enumKeyword, {"assert", "sat", "wrap", "trunc"})))
      return std::optional<::llzk::cast::OverflowSemantics>{};
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::cast::OverflowSemantics> attr = ::llzk::cast::symbolizeEnum<::llzk::cast::OverflowSemantics>(enumKeyword))
      return attr;
    return parser.emitError(loc, "expected one of [assert, sat, wrap, trunc] for Specifies how a cast handles a source value outside the target's safe range. For a felt target with prime `p`, the safe range is `[0, p-1]`. For an index target with bitwidth `N`, it is `[0, 2^(N-1)-1]`., got: ") << enumKeyword;
  }
};
} // namespace mlir
 
namespace llvm {
inline ::llvm::raw_ostream &operator<<(::llvm::raw_ostream &p, ::llzk::cast::OverflowSemantics value) {
  auto valueStr = stringifyEnum(value);
  return p << valueStr;
}
} // namespace llvm
 
namespace llvm {
template<> struct DenseMapInfo<::llzk::cast::OverflowSemantics> {
  using StorageInfo = ::llvm::DenseMapInfo<uint32_t>;
 
  static unsigned getHashValue(const ::llzk::cast::OverflowSemantics &val) {
    return StorageInfo::getHashValue(static_cast<uint32_t>(val));
  }
 
  static bool isEqual(const ::llzk::cast::OverflowSemantics &lhs, const ::llzk::cast::OverflowSemantics &rhs) {
    return lhs == rhs;
  }
};
}