SMTAttributes.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* AttrDef Declarations                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_ATTRDEF_CLASSES
#undef GET_ATTRDEF_CLASSES
 
 
namespace mlir {
class AsmParser;
class AsmPrinter;
} // namespace mlir
namespace llzk {
namespace smt {
class BitVectorAttr;
namespace detail {
struct BitVectorAttrStorage;
} // namespace detail
class BitVectorAttr : public ::mlir::Attribute::AttrBase<BitVectorAttr, ::mlir::Attribute, detail::BitVectorAttrStorage, ::mlir::TypedAttr::Trait> {
public:
  using Base::Base;
  std::string getValueAsString(bool prefix = true) const;
  static constexpr ::llvm::StringLiteral name = "smt.bv";
  static constexpr ::llvm::StringLiteral dialectName = "smt";
  using Base::getChecked;
  static BitVectorAttr get(::mlir::MLIRContext *context, ::llvm::APInt value);
  static BitVectorAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::APInt value);
  static BitVectorAttr get(::mlir::MLIRContext *context, llvm::StringRef value);
  static BitVectorAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, llvm::StringRef value);
  static BitVectorAttr get(::mlir::MLIRContext *context, uint64_t value, unsigned width);
  static BitVectorAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, uint64_t value, unsigned width);
  static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::APInt value);
  static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::APInt value);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"bv"};
  }
 
  static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  ::llvm::APInt getValue() const;
  ::mlir::Type getType() const;
};
} // namespace smt
} // namespace llzk
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt::BitVectorAttr)
 
#endif  // GET_ATTRDEF_CLASSES