llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept Struct Reference

Inheritance diagram for llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept:

Public Member Functions
void	initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap)

Public Attributes
::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

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

Member Function Documentation

initializeInterfaceConcept()

void llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::initializeInterfaceConcept ( ::mlir::detail::InterfaceMap & interfaceMap )

inline

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

Member Data Documentation

getSelfValue

::mlir::Value(* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::getSelfValue) (const Concept *impl, ::mlir::Operation *)

The methods defined by the interface.

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

getTypeSignature

::mlir::FunctionType(* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::getTypeSignature) (const Concept *impl, ::mlir::Operation *)

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

implArgAndResultAttrsOpInterface

const ::mlir::ArgAndResultAttrsOpInterface::Concept* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::implArgAndResultAttrsOpInterface = nullptr

The base classes of this interface.

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

implCallOpInterface

const ::mlir::CallOpInterface::Concept* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::implCallOpInterface = nullptr

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

implSymbolUserOpInterface

const ::mlir::SymbolUserOpInterface::Concept* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::implSymbolUserOpInterface = nullptr

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

toVectorOfValueRange

::llvm::SmallVector<::mlir::ValueRange >(* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::toVectorOfValueRange) (::mlir::OperandRangeRange)

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

unifyTypeSignature

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

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

unifyTypeSignatureWithNamespace

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

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

verifyTemplateParamsMatchInferred

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

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

verifyTemplateParamValueCompatibility

::mlir::LogicalResult(* llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamValueCompatibility) (const Concept *impl, ::mlir::Operation *, ::mlir::Attribute, ::llzk::polymorphic::TemplateParamOp)

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

verifyTemplateParamValuesCompatibility

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

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

---

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

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