LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
CallLikeOpInterfaces.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Interface Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9
12 return getImpl()->getSelfValue(getImpl(), getOperation());
13 }
14
17 return getImpl()->getTypeSignature(getImpl(), getOperation());
18 }
19
22::mlir::FailureOr<::llzk::UnificationMap> llzk::LLZKCallLikeOpInterface::unifyTypeSignatureWithNamespace(::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef> rhsReversePrefix) {
23 return getImpl()->unifyTypeSignatureWithNamespace(getImpl(), getOperation(), other, rhsReversePrefix);
24 }
25
27::mlir::FailureOr<::llzk::UnificationMap> llzk::LLZKCallLikeOpInterface::unifyTypeSignature(::mlir::FunctionType other) {
28 return getImpl()->unifyTypeSignature(getImpl(), getOperation(), other);
29 }
30
33::llvm::SmallVector<::mlir::ValueRange> llzk::LLZKCallLikeOpInterface::toVectorOfValueRange(::mlir::OperandRangeRange input) {
34 return getImpl()->toVectorOfValueRange(input);
35 }
36
38::mlir::LogicalResult llzk::LLZKCallLikeOpInterface::verifyTemplateParamValueCompatibility(::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam) {
39 return getImpl()->verifyTemplateParamValueCompatibility(getImpl(), getOperation(), paramFromCallOp, targetParam);
40 }
41
47::mlir::LogicalResult llzk::LLZKCallLikeOpInterface::verifyTemplateParamValuesCompatibility(::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp>> targetParamDefs) {
48 return getImpl()->verifyTemplateParamValuesCompatibility(getImpl(), getOperation(), targetParamDefs);
49 }
50
56::mlir::LogicalResult llzk::LLZKCallLikeOpInterface::verifyTemplateParamsMatchInferred(::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp>> targetParamDefs, const ::llzk::UnificationMap & unifications) {
57 return getImpl()->verifyTemplateParamsMatchInferred(getImpl(), getOperation(), targetParamDefs, unifications);
58 }
59
65 return getImpl()->implArgAndResultAttrsOpInterface->getArgAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
66 }
67
73 return getImpl()->implArgAndResultAttrsOpInterface->getResAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
74 }
75
78 return getImpl()->implArgAndResultAttrsOpInterface->setArgAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation(), attrs);
79 }
80
83 return getImpl()->implArgAndResultAttrsOpInterface->setResAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation(), attrs);
84 }
85
90 return getImpl()->implArgAndResultAttrsOpInterface->removeArgAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
91 }
92
97 return getImpl()->implArgAndResultAttrsOpInterface->removeResAttrsAttr(getImpl()->implArgAndResultAttrsOpInterface, getOperation());
98 }
99
105 return getImpl()->implCallOpInterface->getCallableForCallee(getImpl()->implCallOpInterface, getOperation());
106 }
107
113void llzk::LLZKCallLikeOpInterface::setCalleeFromCallable(::mlir::CallInterfaceCallable callee) {
114 return getImpl()->implCallOpInterface->setCalleeFromCallable(getImpl()->implCallOpInterface, getOperation(), callee);
115 }
116
119::mlir::Operation::operand_range llzk::LLZKCallLikeOpInterface::getArgOperands() {
120 return getImpl()->implCallOpInterface->getArgOperands(getImpl()->implCallOpInterface, getOperation());
121 }
122
126 return getImpl()->implCallOpInterface->getArgOperandsMutable(getImpl()->implCallOpInterface, getOperation());
127 }
128
133::mlir::Operation *llzk::LLZKCallLikeOpInterface::resolveCallableInTable(::mlir::SymbolTableCollection * symbolTable) {
134 return getImpl()->implCallOpInterface->resolveCallableInTable(getImpl()->implCallOpInterface, getOperation(), symbolTable);
135 }
136
140 return getImpl()->implCallOpInterface->resolveCallable(getImpl()->implCallOpInterface, getOperation());
141 }
142
144::llvm::LogicalResult llzk::LLZKCallLikeOpInterface::verifySymbolUses(::mlir::SymbolTableCollection & symbolTable) {
145 return getImpl()->implSymbolUserOpInterface->verifySymbolUses(getImpl()->implSymbolUserOpInterface, getOperation(), symbolTable);
146 }
::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...