- Generated by
1.14.0
|
LLZK 0.1.0
Veridise's ZK Language IR
|
This is the complete list of members for llzk::function::FuncDefOp, including all inherited members.
| Adaptor typedef | llzk::function::FuncDefOp | |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={}, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs={}) | llzk::function::FuncDefOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs) | llzk::function::FuncDefOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs) | llzk::function::FuncDefOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs) | llzk::function::FuncDefOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs) | llzk::function::FuncDefOp | static |
| build(::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={}) | llzk::function::FuncDefOp | static |
| clone(::mlir::IRMapping &mapper) | llzk::function::FuncDefOp | |
| clone() | llzk::function::FuncDefOp | |
| cloneInto(FuncDefOp dest, ::mlir::IRMapping &mapper) | llzk::function::FuncDefOp | |
| computePropertiesHash(const Properties &prop) | llzk::function::FuncDefOp | static |
| create(::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={}) | llzk::function::FuncDefOp | static |
| create(::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::mlir::Operation::dialect_attr_range attrs) | llzk::function::FuncDefOp | static |
| create(::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs) | llzk::function::FuncDefOp | static |
| FoldAdaptor typedef | llzk::function::FuncDefOp | |
| GenericAdaptor typedef | llzk::function::FuncDefOp | |
| getArgAttrs() | llzk::function::FuncDefOp | |
| getArgAttrsAttr() | llzk::function::FuncDefOp | inline |
| getArgAttrsAttrName() | llzk::function::FuncDefOp | inline |
| getArgAttrsAttrName(::mlir::OperationName name) | llzk::function::FuncDefOp | inlinestatic |
| getArgumentTypes() | llzk::function::FuncDefOp | inline |
| getAttributeNames() | llzk::function::FuncDefOp | inline |
| getBody() | llzk::function::FuncDefOp | inline |
| getCallableRegion() | llzk::function::FuncDefOp | inline |
| getFullyQualifiedName(bool requireParent=true) | llzk::function::FuncDefOp | |
| getFunctionType() | llzk::function::FuncDefOp | |
| getFunctionTypeAttr() | llzk::function::FuncDefOp | inline |
| getFunctionTypeAttrName() | llzk::function::FuncDefOp | inline |
| getFunctionTypeAttrName(::mlir::OperationName name) | llzk::function::FuncDefOp | inlinestatic |
| getInherentAttr(::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name) | llzk::function::FuncDefOp | static |
| getODSOperandIndexAndLength(unsigned index) | llzk::function::FuncDefOp | inline |
| getODSOperands(unsigned index) | llzk::function::FuncDefOp | inline |
| getODSResultIndexAndLength(unsigned index) | llzk::function::FuncDefOp | inline |
| getODSResults(unsigned index) | llzk::function::FuncDefOp | inline |
| getOperationName() | llzk::function::FuncDefOp | inlinestatic |
| getPropertiesAsAttr(::mlir::MLIRContext *ctx, const Properties &prop) | llzk::function::FuncDefOp | static |
| getResAttrs() | llzk::function::FuncDefOp | |
| getResAttrsAttr() | llzk::function::FuncDefOp | inline |
| getResAttrsAttrName() | llzk::function::FuncDefOp | inline |
| getResAttrsAttrName(::mlir::OperationName name) | llzk::function::FuncDefOp | inlinestatic |
| getResultTypes() | llzk::function::FuncDefOp | inline |
| getSelfValueFromCompute() | llzk::function::FuncDefOp | |
| getSelfValueFromConstrain() | llzk::function::FuncDefOp | |
| getSingleResultTypeOfCompute() | llzk::function::FuncDefOp | |
| getSymName() | llzk::function::FuncDefOp | |
| getSymNameAttr() | llzk::function::FuncDefOp | inline |
| getSymNameAttrName() | llzk::function::FuncDefOp | inline |
| getSymNameAttrName(::mlir::OperationName name) | llzk::function::FuncDefOp | inlinestatic |
| hasAllowConstraintAttr() | llzk::function::FuncDefOp | inline |
| hasAllowWitnessAttr() | llzk::function::FuncDefOp | inline |
| hasArgPublicAttr(unsigned index) | llzk::function::FuncDefOp | |
| isDeclaration() | llzk::function::FuncDefOp | inline |
| isInStruct() | llzk::function::FuncDefOp | inline |
| isStructCompute() | llzk::function::FuncDefOp | inline |
| isStructConstrain() | llzk::function::FuncDefOp | inline |
| isStructProduct() | llzk::function::FuncDefOp | inline |
| nameIsCompute() | llzk::function::FuncDefOp | inline |
| nameIsConstrain() | llzk::function::FuncDefOp | inline |
| nameIsProduct() | llzk::function::FuncDefOp | inline |
| parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result) | llzk::function::FuncDefOp | static |
| populateInherentAttrs(::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs) | llzk::function::FuncDefOp | static |
| print(::mlir::OpAsmPrinter &p) | llzk::function::FuncDefOp | |
| Properties typedef | llzk::function::FuncDefOp | |
| readProperties(::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state) | llzk::function::FuncDefOp | static |
| removeArgAttrsAttr() | llzk::function::FuncDefOp | inline |
| removeResAttrsAttr() | llzk::function::FuncDefOp | inline |
| setAllowConstraintAttr(bool newValue=true) | llzk::function::FuncDefOp | |
| setAllowWitnessAttr(bool newValue=true) | llzk::function::FuncDefOp | |
| setArgAttrsAttr(::mlir::ArrayAttr attr) | llzk::function::FuncDefOp | inline |
| setFunctionType(::mlir::FunctionType attrValue) | llzk::function::FuncDefOp | |
| setFunctionTypeAttr(::mlir::TypeAttr attr) | llzk::function::FuncDefOp | inline |
| setInherentAttr(Properties &prop, llvm::StringRef name, mlir::Attribute value) | llzk::function::FuncDefOp | static |
| setPropertiesFromAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) | llzk::function::FuncDefOp | static |
| setResAttrsAttr(::mlir::ArrayAttr attr) | llzk::function::FuncDefOp | inline |
| setSymName(::llvm::StringRef attrValue) | llzk::function::FuncDefOp | |
| setSymNameAttr(::mlir::StringAttr attr) | llzk::function::FuncDefOp | inline |
| verify() | llzk::function::FuncDefOp | |
| verifyInherentAttrs(::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) | llzk::function::FuncDefOp | static |
| verifyInvariants() | llzk::function::FuncDefOp | |
| verifyInvariantsImpl() | llzk::function::FuncDefOp | |
| verifySymbolUses(::mlir::SymbolTableCollection &symbolTable) | llzk::function::FuncDefOp | |
| writeProperties(::mlir::DialectBytecodeWriter &writer) | llzk::function::FuncDefOp |
1.14.0