SMTEnums.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Enum Utility Declarations                                                  *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: SMT.td                                                               *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
namespace llzk {
namespace smt {
// smt bit-vector comparison predicate
enum class BVCmpPredicate : uint64_t {
  slt = 0,
  sle = 1,
  sgt = 2,
  sge = 3,
  ult = 4,
  ule = 5,
  ugt = 6,
  uge = 7,
};
 
::std::optional<BVCmpPredicate> symbolizeBVCmpPredicate(uint64_t);
::llvm::StringRef stringifyBVCmpPredicate(BVCmpPredicate);
::std::optional<BVCmpPredicate> symbolizeBVCmpPredicate(::llvm::StringRef);
inline constexpr unsigned getMaxEnumValForBVCmpPredicate() {
  return 7;
}
 
 
inline ::llvm::StringRef stringifyEnum(BVCmpPredicate enumValue) {
  return stringifyBVCmpPredicate(enumValue);
}
 
template <typename EnumType>
::std::optional<EnumType> symbolizeEnum(::llvm::StringRef);
 
template <>
inline ::std::optional<BVCmpPredicate> symbolizeEnum<BVCmpPredicate>(::llvm::StringRef str) {
  return symbolizeBVCmpPredicate(str);
}
 
class BVCmpPredicateAttr : public ::mlir::IntegerAttr {
public:
  using ValueType = BVCmpPredicate;
  using ::mlir::IntegerAttr::IntegerAttr;
  static bool classof(::mlir::Attribute attr);
  static BVCmpPredicateAttr get(::mlir::MLIRContext *context, BVCmpPredicate val);
  BVCmpPredicate getValue() const;
};
} // namespace smt
} // namespace llzk
 
namespace mlir {
template <typename T, typename>
struct FieldParser;
 
template<>
struct FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate> {
  template <typename ParserT>
  static FailureOr<::llzk::smt::BVCmpPredicate> 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 smt bit-vector comparison predicate");
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::smt::BVCmpPredicate> attr = ::llzk::smt::symbolizeEnum<::llzk::smt::BVCmpPredicate>(enumKeyword))
      return *attr;
    return parser.emitError(loc, "invalid smt bit-vector comparison predicate specification: ") << enumKeyword;
  }
};

template<>
struct FieldParser<std::optional<::llzk::smt::BVCmpPredicate>, std::optional<::llzk::smt::BVCmpPredicate>> {
  template <typename ParserT>
  static FailureOr<std::optional<::llzk::smt::BVCmpPredicate>> 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::smt::BVCmpPredicate>{};
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::smt::BVCmpPredicate> attr = ::llzk::smt::symbolizeEnum<::llzk::smt::BVCmpPredicate>(enumKeyword))
      return attr;
    return parser.emitError(loc, "invalid smt bit-vector comparison predicate specification: ") << enumKeyword;
  }
};
} // namespace mlir
 
namespace llvm {
inline ::llvm::raw_ostream &operator<<(::llvm::raw_ostream &p, ::llzk::smt::BVCmpPredicate value) {
  auto valueStr = stringifyEnum(value);
  return p << valueStr;
}
} // namespace llvm
 
namespace llvm {
template<> struct DenseMapInfo<::llzk::smt::BVCmpPredicate> {
  using StorageInfo = ::llvm::DenseMapInfo<uint64_t>;
 
  static inline ::llzk::smt::BVCmpPredicate getEmptyKey() {
    return static_cast<::llzk::smt::BVCmpPredicate>(StorageInfo::getEmptyKey());
  }
 
  static inline ::llzk::smt::BVCmpPredicate getTombstoneKey() {
    return static_cast<::llzk::smt::BVCmpPredicate>(StorageInfo::getTombstoneKey());
  }
 
  static unsigned getHashValue(const ::llzk::smt::BVCmpPredicate &val) {
    return StorageInfo::getHashValue(static_cast<uint64_t>(val));
  }
 
  static bool isEqual(const ::llzk::smt::BVCmpPredicate &lhs, const ::llzk::smt::BVCmpPredicate &rhs) {
    return lhs == rhs;
  }
};
}
 
namespace llzk {
namespace smt {
// smt comparison predicate for integers
enum class IntPredicate : uint64_t {
  lt = 0,
  le = 1,
  gt = 2,
  ge = 3,
};
 
::std::optional<IntPredicate> symbolizeIntPredicate(uint64_t);
::llvm::StringRef stringifyIntPredicate(IntPredicate);
::std::optional<IntPredicate> symbolizeIntPredicate(::llvm::StringRef);
inline constexpr unsigned getMaxEnumValForIntPredicate() {
  return 3;
}
 
 
inline ::llvm::StringRef stringifyEnum(IntPredicate enumValue) {
  return stringifyIntPredicate(enumValue);
}
 
template <typename EnumType>
::std::optional<EnumType> symbolizeEnum(::llvm::StringRef);
 
template <>
inline ::std::optional<IntPredicate> symbolizeEnum<IntPredicate>(::llvm::StringRef str) {
  return symbolizeIntPredicate(str);
}
 
class IntPredicateAttr : public ::mlir::IntegerAttr {
public:
  using ValueType = IntPredicate;
  using ::mlir::IntegerAttr::IntegerAttr;
  static bool classof(::mlir::Attribute attr);
  static IntPredicateAttr get(::mlir::MLIRContext *context, IntPredicate val);
  IntPredicate getValue() const;
};
} // namespace smt
} // namespace llzk
 
namespace mlir {
template <typename T, typename>
struct FieldParser;
 
template<>
struct FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate> {
  template <typename ParserT>
  static FailureOr<::llzk::smt::IntPredicate> 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 smt comparison predicate for integers");
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::smt::IntPredicate> attr = ::llzk::smt::symbolizeEnum<::llzk::smt::IntPredicate>(enumKeyword))
      return *attr;
    return parser.emitError(loc, "invalid smt comparison predicate for integers specification: ") << enumKeyword;
  }
};

template<>
struct FieldParser<std::optional<::llzk::smt::IntPredicate>, std::optional<::llzk::smt::IntPredicate>> {
  template <typename ParserT>
  static FailureOr<std::optional<::llzk::smt::IntPredicate>> 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::smt::IntPredicate>{};
 
    // Symbolize the keyword.
    if (::std::optional<::llzk::smt::IntPredicate> attr = ::llzk::smt::symbolizeEnum<::llzk::smt::IntPredicate>(enumKeyword))
      return attr;
    return parser.emitError(loc, "invalid smt comparison predicate for integers specification: ") << enumKeyword;
  }
};
} // namespace mlir
 
namespace llvm {
inline ::llvm::raw_ostream &operator<<(::llvm::raw_ostream &p, ::llzk::smt::IntPredicate value) {
  auto valueStr = stringifyEnum(value);
  return p << valueStr;
}
} // namespace llvm
 
namespace llvm {
template<> struct DenseMapInfo<::llzk::smt::IntPredicate> {
  using StorageInfo = ::llvm::DenseMapInfo<uint64_t>;
 
  static inline ::llzk::smt::IntPredicate getEmptyKey() {
    return static_cast<::llzk::smt::IntPredicate>(StorageInfo::getEmptyKey());
  }
 
  static inline ::llzk::smt::IntPredicate getTombstoneKey() {
    return static_cast<::llzk::smt::IntPredicate>(StorageInfo::getTombstoneKey());
  }
 
  static unsigned getHashValue(const ::llzk::smt::IntPredicate &val) {
    return StorageInfo::getHashValue(static_cast<uint64_t>(val));
  }
 
  static bool isEqual(const ::llzk::smt::IntPredicate &lhs, const ::llzk::smt::IntPredicate &rhs) {
    return lhs == rhs;
  }
};
}