llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > Class Template Reference

Inheritance diagram for llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >:

Collaboration diagram for llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >:

Public Types
using	Interface = ::llzk::LLZKCallLikeOpInterface

Public Member Functions
	FallbackModel ()
Public Member Functions inherited from llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
void	initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap)

Static Public Member Functions
static inline ::mlir::Value	getSelfValue (const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::FunctionType	getTypeSignature (const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::FailureOr<::llzk::UnificationMap >	unifyTypeSignatureWithNamespace (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix)
static inline ::mlir::FailureOr<::llzk::UnificationMap >	unifyTypeSignature (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other)
static inline ::llvm::SmallVector<::mlir::ValueRange >	toVectorOfValueRange (::mlir::OperandRangeRange input)
static inline ::mlir::LogicalResult	verifyTemplateParamValueCompatibility (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)
static inline ::mlir::LogicalResult	verifyTemplateParamValuesCompatibility (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)
static inline ::mlir::LogicalResult	verifyTemplateParamsMatchInferred (const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap &unifications)

Additional Inherited Members
Public Attributes inherited from llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
::mlir::Value(*	getSelfValue )(const Concept *impl, ::mlir::Operation *)
	The methods defined by the interface.
::mlir::FunctionType(*	getTypeSignature )(const Concept *impl, ::mlir::Operation *)
::mlir::FailureOr<::llzk::UnificationMap >(*	unifyTypeSignatureWithNamespace )(const Concept *impl, ::mlir::Operation *, ::mlir::FunctionType, ::mlir::ArrayRef<::llvm::StringRef >)
::mlir::FailureOr<::llzk::UnificationMap >(*	unifyTypeSignature )(const Concept *impl, ::mlir::Operation *, ::mlir::FunctionType)
::llvm::SmallVector<::mlir::ValueRange >(*	toVectorOfValueRange )(::mlir::OperandRangeRange)
::mlir::LogicalResult(*	verifyTemplateParamValueCompatibility )(const Concept *impl, ::mlir::Operation *, ::mlir::Attribute, ::llzk::polymorphic::TemplateParamOp)
::mlir::LogicalResult(*	verifyTemplateParamValuesCompatibility )(const Concept *impl, ::mlir::Operation *, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > >)
::mlir::LogicalResult(*	verifyTemplateParamsMatchInferred )(const Concept *impl, ::mlir::Operation *, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > >, const ::llzk::UnificationMap &)
const ::mlir::ArgAndResultAttrsOpInterface::Concept *	implArgAndResultAttrsOpInterface = nullptr
	The base classes of this interface.
const ::mlir::CallOpInterface::Concept *	implCallOpInterface = nullptr
const ::mlir::SymbolUserOpInterface::Concept *	implSymbolUserOpInterface = nullptr

Detailed Description

template<typename ConcreteOp>
class llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >

Definition at line 58 of file CallLikeOpInterfaces.h.inc.

Member Typedef Documentation

Interface

template<typename ConcreteOp>

using llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::LLZKCallLikeOpInterface

Definition at line 60 of file CallLikeOpInterfaces.h.inc.

Constructor & Destructor Documentation

FallbackModel()

template<typename ConcreteOp>

llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::FallbackModel ( )

inline

Definition at line 61 of file CallLikeOpInterfaces.h.inc.

Member Function Documentation

getSelfValue()

template<typename ConcreteOp>

mlir::Value llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::getSelfValue ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val )

static

Definition at line 321 of file CallLikeOpInterfaces.h.inc.

getTypeSignature()

template<typename ConcreteOp>

mlir::FunctionType llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::getTypeSignature ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val )

static

Definition at line 325 of file CallLikeOpInterfaces.h.inc.

toVectorOfValueRange()

template<typename ConcreteOp>

llvm::SmallVector<::mlir::ValueRange > llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::toVectorOfValueRange ( ::mlir::OperandRangeRange input )

static

Definition at line 337 of file CallLikeOpInterfaces.h.inc.

unifyTypeSignature()

template<typename ConcreteOp>

mlir::FailureOr<::llzk::UnificationMap > llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::unifyTypeSignature ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val, ::mlir::FunctionType other )

static

Definition at line 333 of file CallLikeOpInterfaces.h.inc.

unifyTypeSignatureWithNamespace()

template<typename ConcreteOp>

mlir::FailureOr<::llzk::UnificationMap > llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::unifyTypeSignatureWithNamespace ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val, ::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix )

static

Definition at line 329 of file CallLikeOpInterfaces.h.inc.

verifyTemplateParamsMatchInferred()

template<typename ConcreteOp>

mlir::LogicalResult llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::verifyTemplateParamsMatchInferred ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap & unifications )

static

Definition at line 349 of file CallLikeOpInterfaces.h.inc.

verifyTemplateParamValueCompatibility()

template<typename ConcreteOp>

mlir::LogicalResult llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::verifyTemplateParamValueCompatibility ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val, ::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam )

static

Definition at line 341 of file CallLikeOpInterfaces.h.inc.

verifyTemplateParamValuesCompatibility()

template<typename ConcreteOp>

mlir::LogicalResult llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::verifyTemplateParamValuesCompatibility ( const Concept * impl, ::mlir::Operation * tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs )

static

Definition at line 345 of file CallLikeOpInterfaces.h.inc.

---

The documentation for this class was generated from the following file:

• build/include/llzk/Dialect/Shared/CallLikeOpInterfaces.h.inc