12 return getImpl()->getSelfValue(getImpl(), getOperation());
17 return getImpl()->getTypeSignature(getImpl(), getOperation());
23 return getImpl()->unifyTypeSignatureWithNamespace(getImpl(), getOperation(), other, rhsReversePrefix);
28 return getImpl()->unifyTypeSignature(getImpl(), getOperation(), other);
34 return getImpl()->toVectorOfValueRange(input);
39 return getImpl()->verifyTemplateParamValueCompatibility(getImpl(), getOperation(), paramFromCallOp, targetParam);
48 return getImpl()->verifyTemplateParamValuesCompatibility(getImpl(), getOperation(), targetParamDefs);
57 return getImpl()->verifyTemplateParamsMatchInferred(getImpl(), getOperation(), targetParamDefs, unifications);
65 return getImpl()->implArgAndResultAttrsOpInterface->getArgAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
73 return getImpl()->implArgAndResultAttrsOpInterface->getResAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
78 return getImpl()->implArgAndResultAttrsOpInterface->setArgAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation(), attrs);
83 return getImpl()->implArgAndResultAttrsOpInterface->setResAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation(), attrs);
90 return getImpl()->implArgAndResultAttrsOpInterface->removeArgAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
97 return getImpl()->implArgAndResultAttrsOpInterface->removeResAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
105 return getImpl()->implCallOpInterface->getCallableForCallee(getImpl()->implCallOpInterface, getOperation());
114 return getImpl()->implCallOpInterface->setCalleeFromCallable(getImpl()->implCallOpInterface, getOperation(), callee);
120 return getImpl()->implCallOpInterface->getArgOperands(getImpl()->implCallOpInterface, getOperation());
126 return getImpl()->implCallOpInterface->getArgOperandsMutable(getImpl()->implCallOpInterface, getOperation());
134 return getImpl()->implCallOpInterface->resolveCallableInTable(getImpl()->implCallOpInterface, getOperation(), symbolTable);
140 return getImpl()->implCallOpInterface->resolveCallable(getImpl()->implCallOpInterface, getOperation());
145 return getImpl()->implSymbolUserOpInterface->verifySymbolUses(getImpl()->implSymbolUserOpInterface, getOperation(), symbolTable);
::mlir::ArrayAttr getResAttrsAttr()
Get the array of result attribute dictionaries.
::llvm::SmallVector<::mlir::ValueRange > toVectorOfValueRange(::mlir::OperandRangeRange input)
Allocates consecutive storage for operand groups so they can be passed to builders as an ArrayRef<Val...
::mlir::Value getSelfValue()
Returns the "self" value from the callee (or nullptr if it's not a struct target).
::mlir::CallInterfaceCallable getCallableForCallee()
Returns the callee of this call-like operation.
void setResAttrsAttr(::mlir::ArrayAttr attrs)
Set the array of result attribute dictionaries.
void setCalleeFromCallable(::mlir::CallInterfaceCallable callee)
Sets the callee of this call-like operation.
::mlir::MutableOperandRange getArgOperandsMutable()
Returns the operands within this call that are used as arguments to the callee as a mutable range.
::mlir::Attribute removeArgAttrsAttr()
Remove the array of argument attribute dictionaries.
::mlir::Attribute removeResAttrsAttr()
Remove the array of result attribute dictionaries.
::mlir::ArrayAttr getArgAttrsAttr()
Get the array of argument attribute dictionaries.
::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.
::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 rhsRever...
::mlir::Operation * resolveCallableInTable(::mlir::SymbolTableCollection *symbolTable)
Resolve the callable operation for given callee to a CallableOpInterface, or nullptr if a valid calla...
::mlir::FailureOr<::llzk::UnificationMap > unifyTypeSignature(::mlir::FunctionType other)
Unifies this call site's inferred signature with other.
::mlir::FunctionType getTypeSignature()
Returns the function signature inferred from this call site.
::mlir::LogicalResult verifyTemplateParamValueCompatibility(::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)
Checks a template parameter value against the declared type of its target parameter.
::llvm::LogicalResult verifySymbolUses(::mlir::SymbolTableCollection &symbolTable)
Verify the symbol uses held by this operation.
void setArgAttrsAttr(::mlir::ArrayAttr attrs)
Set the array of argument attribute dictionaries.
::mlir::Operation::operand_range getArgOperands()
Returns the operands within this call that are used as arguments to the callee.
::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::Operation * resolveCallable()
Resolve the callable operation for given callee to a CallableOpInterface, or nullptr if a valid calla...