OpInterfaces.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Interface Declarations                                                     *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
namespace llzk {
namespace felt {
class FeltBinaryOpInterface;
namespace detail {
struct FeltBinaryOpInterfaceInterfaceTraits {
  struct Concept {
    ::mlir::Value (*getLhs)(const Concept *impl, ::mlir::Operation *);
    ::mlir::Value (*getRhs)(const Concept *impl, ::mlir::Operation *);
  };
  template<typename ConcreteOp>
  class Model : public Concept {
  public:
    using Interface = ::llzk::felt::FeltBinaryOpInterface;
    Model() : Concept{getLhs, getRhs} {}
 
    static inline ::mlir::Value getLhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val);
    static inline ::mlir::Value getRhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val);
  };
  template<typename ConcreteOp>
  class FallbackModel : public Concept {
  public:
    using Interface = ::llzk::felt::FeltBinaryOpInterface;
    FallbackModel() : Concept{getLhs, getRhs} {}
 
    static inline ::mlir::Value getLhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val);
    static inline ::mlir::Value getRhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val);
  };
  template<typename ConcreteModel, typename ConcreteOp>
  class ExternalModel : public FallbackModel<ConcreteModel> {
  public:
    using ConcreteEntity = ConcreteOp;
  };
};
template <typename ConcreteOp>
struct FeltBinaryOpInterfaceTrait;
 
} // namespace detail
class FeltBinaryOpInterface : public ::mlir::OpInterface<FeltBinaryOpInterface, detail::FeltBinaryOpInterfaceInterfaceTraits> {
public:
  using ::mlir::OpInterface<FeltBinaryOpInterface, detail::FeltBinaryOpInterfaceInterfaceTraits>::OpInterface;
  template <typename ConcreteOp>
  struct Trait : public detail::FeltBinaryOpInterfaceTrait<ConcreteOp> {};
  ::mlir::Value getLhs();
  ::mlir::Value getRhs();
};
namespace detail {
  template <typename ConcreteOp>
  struct FeltBinaryOpInterfaceTrait : public ::mlir::OpInterface<FeltBinaryOpInterface, detail::FeltBinaryOpInterfaceInterfaceTraits>::Trait<ConcreteOp> {
  };
}// namespace detail
} // namespace felt
} // namespace llzk
namespace llzk {
namespace felt {
template<typename ConcreteOp>
::mlir::Value detail::FeltBinaryOpInterfaceInterfaceTraits::Model<ConcreteOp>::getLhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val) {
  return (llvm::cast<ConcreteOp>(tablegen_opaque_val)).getLhs();
}
template<typename ConcreteOp>
::mlir::Value detail::FeltBinaryOpInterfaceInterfaceTraits::Model<ConcreteOp>::getRhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val) {
  return (llvm::cast<ConcreteOp>(tablegen_opaque_val)).getRhs();
}
template<typename ConcreteOp>
::mlir::Value detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel<ConcreteOp>::getLhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val) {
  return static_cast<const ConcreteOp *>(impl)->getLhs(tablegen_opaque_val);
}
template<typename ConcreteOp>
::mlir::Value detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel<ConcreteOp>::getRhs(const Concept *impl, ::mlir::Operation *tablegen_opaque_val) {
  return static_cast<const ConcreteOp *>(impl)->getRhs(tablegen_opaque_val);
}
} // namespace felt
} // namespace llzk