Inheritance diagram for llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:

[legend]

Collaboration diagram for llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:

[legend]

Public Types
using	ConcreteEntity = ConcreteOp
Public Types inherited from llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
using	Interface

Public Member Functions
::mlir::FunctionType	getTypeSignature (::mlir::Operation *tablegen_opaque_val) const
::mlir::FailureOr<::llzk::UnificationMap >	unifyTypeSignatureWithNamespace (::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix) const
::mlir::FailureOr<::llzk::UnificationMap >	unifyTypeSignature (::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other) const
static ::llvm::SmallVector<::mlir::ValueRange >	toVectorOfValueRange (::mlir::OperandRangeRange input)
::mlir::LogicalResult	verifyTemplateParamValueCompatibility (::mlir::Operation *tablegen_opaque_val, ::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam) const
::mlir::LogicalResult	verifyTemplateParamValuesCompatibility (::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs) const
::mlir::LogicalResult	verifyTemplateParamsMatchInferred (::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap &unifications) const
Public Member Functions inherited from llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
	FallbackModel ()
Public Member Functions inherited from llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
void	initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap)

Additional Inherited Members
Static Public Member Functions inherited from llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
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)
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 ConcreteModel, typename ConcreteOp>
class llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >

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