Inheritance diagram for llzk::LLZKCallLikeOpInterface::Trait< ConcreteOp >:

Collaboration diagram for llzk::LLZKCallLikeOpInterface::Trait< ConcreteOp >:

Additional Inherited Members
Public Member Functions inherited from llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >
::mlir::FunctionType	getTypeSignature ()
	Returns the function signature inferred from this call site.
::mlir::FailureOr<::llzk::UnificationMap >	unifyTypeSignatureWithNamespace (::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix)
	Unifies this call site's inferred signature with other, resolving paths in other relative to rhsReversePrefix.
::mlir::FailureOr<::llzk::UnificationMap >	unifyTypeSignature (::mlir::FunctionType other)
	Unifies this call site's inferred signature with other.
static ::llvm::SmallVector<::mlir::ValueRange >	toVectorOfValueRange (::mlir::OperandRangeRange input)
	Allocates consecutive storage for operand groups so they can be passed to builders as an ArrayRef<ValueRange>.
::mlir::LogicalResult	verifyTemplateParamValueCompatibility (::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)
	Checks a template parameter value against the declared type of its target parameter.
::mlir::LogicalResult	verifyTemplateParamValuesCompatibility (::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)
	Checks each explicit template parameter against its corresponding declared parameter.
::mlir::LogicalResult	verifyTemplateParamsMatchInferred (::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap &unifications)
	Checks that explicit template parameters agree with their inferred values.

Detailed Description

template<typename ConcreteOp>
struct llzk::LLZKCallLikeOpInterface::Trait< ConcreteOp >

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

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

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

Additional Inherited Members

Detailed Description