LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::verif::IncludeOp Member List

This is the complete list of members for llzk::verif::IncludeOp, including all inherited members.

Adaptor typedefllzk::verif::IncludeOp
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})llzk::verif::IncludeOpstatic
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})llzk::verif::IncludeOpstatic
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})llzk::verif::IncludeOpstatic
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})llzk::verif::IncludeOpstatic
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})llzk::verif::IncludeOpstatic
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={})llzk::verif::IncludeOpstatic
computePropertiesHash(const Properties &prop)llzk::verif::IncludeOpstatic
contractTargetsStruct()llzk::verif::IncludeOp
FoldAdaptor typedefllzk::verif::IncludeOp
GenericAdaptor typedefllzk::verif::IncludeOp
getArgOperands()llzk::verif::IncludeOpinline
getArgOperandsMutable()llzk::verif::IncludeOp
getAttributeNames()llzk::verif::IncludeOpinline
getCallableForCallee()llzk::verif::IncludeOp
getCallee()llzk::verif::IncludeOp
getCalleeAttr()llzk::verif::IncludeOpinline
getCalleeAttrName()llzk::verif::IncludeOpinline
getCalleeAttrName(::mlir::OperationName name)llzk::verif::IncludeOpinlinestatic
getCalleeTarget(::mlir::SymbolTableCollection &tables)llzk::verif::IncludeOp
getInherentAttr(::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name)llzk::verif::IncludeOpstatic
getMapOperands()llzk::verif::IncludeOpinline
getMapOperandsMutable()llzk::verif::IncludeOp
getMapOpGroupSizes()llzk::verif::IncludeOp
getMapOpGroupSizesAttr()llzk::verif::IncludeOpinline
getMapOpGroupSizesAttrName()llzk::verif::IncludeOpinline
getMapOpGroupSizesAttrName(::mlir::OperationName name)llzk::verif::IncludeOpinlinestatic
getNumDimsPerMap()llzk::verif::IncludeOp
getNumDimsPerMapAttr()llzk::verif::IncludeOpinline
getNumDimsPerMapAttrName()llzk::verif::IncludeOpinline
getNumDimsPerMapAttrName(::mlir::OperationName name)llzk::verif::IncludeOpinlinestatic
getODSOperandIndexAndLength(unsigned index)llzk::verif::IncludeOp
getODSOperands(unsigned index)llzk::verif::IncludeOpinline
getODSResultIndexAndLength(unsigned index)llzk::verif::IncludeOpinline
getODSResults(unsigned index)llzk::verif::IncludeOpinline
getOperandSegmentSizesAttrName()llzk::verif::IncludeOpinline
getOperandSegmentSizesAttrName(::mlir::OperationName name)llzk::verif::IncludeOpinlinestatic
getOperationName()llzk::verif::IncludeOpinlinestatic
getPropertiesAsAttr(::mlir::MLIRContext *ctx, const Properties &prop)llzk::verif::IncludeOpstatic
getSelfValue()llzk::verif::IncludeOp
getTemplateParams()llzk::verif::IncludeOp
getTemplateParamsAttr()llzk::verif::IncludeOpinline
getTemplateParamsAttrName()llzk::verif::IncludeOpinline
getTemplateParamsAttrName(::mlir::OperationName name)llzk::verif::IncludeOpinlinestatic
getTypeSignature()llzk::verif::IncludeOp
parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result)llzk::verif::IncludeOpstatic
populateDefaultProperties(::mlir::OperationName opName, Properties &properties)llzk::verif::IncludeOpstatic
populateInherentAttrs(::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs)llzk::verif::IncludeOpstatic
print(::mlir::OpAsmPrinter &_odsPrinter)llzk::verif::IncludeOp
Properties typedefllzk::verif::IncludeOp
readProperties(::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)llzk::verif::IncludeOpstatic
removeTemplateParamsAttr()llzk::verif::IncludeOpinline
resolveCallable()llzk::verif::IncludeOp
resolveCallableInTable(::mlir::SymbolTableCollection *symbolTable)llzk::verif::IncludeOp
setCalleeAttr(::mlir::SymbolRefAttr attr)llzk::verif::IncludeOpinline
setCalleeFromCallable(::mlir::CallInterfaceCallable callee)llzk::verif::IncludeOp
setInherentAttr(Properties &prop, llvm::StringRef name, mlir::Attribute value)llzk::verif::IncludeOpstatic
setMapOpGroupSizes(::llvm::ArrayRef< int32_t > attrValue)llzk::verif::IncludeOp
setMapOpGroupSizesAttr(::mlir::DenseI32ArrayAttr attr)llzk::verif::IncludeOpinline
setNumDimsPerMap(::llvm::ArrayRef< int32_t > attrValue)llzk::verif::IncludeOp
setNumDimsPerMapAttr(::mlir::DenseI32ArrayAttr attr)llzk::verif::IncludeOpinline
setPropertiesFromAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::verif::IncludeOpstatic
setPropertiesFromParsedAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::verif::IncludeOpstatic
setTemplateParamsAttr(::mlir::ArrayAttr attr)llzk::verif::IncludeOpinline
toVectorOfValueRange(::mlir::OperandRangeRange)llzk::verif::IncludeOp
unifyTypeSignature(::mlir::FunctionType other)llzk::verif::IncludeOp
verifyInherentAttrs(::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::verif::IncludeOpstatic
verifyInvariants()llzk::verif::IncludeOp
verifyInvariantsImpl()llzk::verif::IncludeOp
verifySymbolUses(::mlir::SymbolTableCollection &symbolTable)llzk::verif::IncludeOp
verifyTemplateParamCompatibility(::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)llzk::verif::IncludeOp
verifyTemplateParamCompatibility(::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)llzk::verif::IncludeOp
verifyTemplateParamsMatchInferred(::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const UnificationMap &unifications)llzk::verif::IncludeOp
writeProperties(::mlir::DialectBytecodeWriter &writer)llzk::verif::IncludeOp