LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::function::FuncDefOp Member List

This is the complete list of members for llzk::function::FuncDefOp, including all inherited members.

Adaptor typedefllzk::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::FuncDefOpstatic
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::FuncDefOpstatic
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::FuncDefOpstatic
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::FuncDefOpstatic
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::FuncDefOpstatic
build(::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={})llzk::function::FuncDefOpstatic
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::FuncDefOpstatic
create(::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={})llzk::function::FuncDefOpstatic
create(::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::mlir::Operation::dialect_attr_range attrs)llzk::function::FuncDefOpstatic
create(::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs)llzk::function::FuncDefOpstatic
FoldAdaptor typedefllzk::function::FuncDefOp
GenericAdaptor typedefllzk::function::FuncDefOp
getArgAttrs()llzk::function::FuncDefOp
getArgAttrsAttr()llzk::function::FuncDefOp
getArgAttrsAttrName()llzk::function::FuncDefOpinline
getArgAttrsAttrName(::mlir::OperationName name)llzk::function::FuncDefOpinlinestatic
getArgumentTypes()llzk::function::FuncDefOpinline
getAttributeNames()llzk::function::FuncDefOpinline
getBody()llzk::function::FuncDefOp
getCallableRegion()llzk::function::FuncDefOpinline
getFullyQualifiedName()llzk::function::FuncDefOp
getFunctionType()llzk::function::FuncDefOp
getFunctionTypeAttr()llzk::function::FuncDefOp
getFunctionTypeAttrName()llzk::function::FuncDefOpinline
getFunctionTypeAttrName(::mlir::OperationName name)llzk::function::FuncDefOpinlinestatic
getInherentAttr(::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name)llzk::function::FuncDefOpstatic
getODSOperandIndexAndLength(unsigned index)llzk::function::FuncDefOp
getODSOperands(unsigned index)llzk::function::FuncDefOp
getODSResultIndexAndLength(unsigned index)llzk::function::FuncDefOp
getODSResults(unsigned index)llzk::function::FuncDefOp
getOperationName()llzk::function::FuncDefOpinlinestatic
getPropertiesAsAttr(::mlir::MLIRContext *ctx, const Properties &prop)llzk::function::FuncDefOpstatic
getResAttrs()llzk::function::FuncDefOp
getResAttrsAttr()llzk::function::FuncDefOp
getResAttrsAttrName()llzk::function::FuncDefOpinline
getResAttrsAttrName(::mlir::OperationName name)llzk::function::FuncDefOpinlinestatic
getResultTypes()llzk::function::FuncDefOpinline
getSingleResultTypeOfCompute()llzk::function::FuncDefOp
getSymName()llzk::function::FuncDefOp
getSymNameAttr()llzk::function::FuncDefOp
getSymNameAttrName()llzk::function::FuncDefOpinline
getSymNameAttrName(::mlir::OperationName name)llzk::function::FuncDefOpinlinestatic
hasAllowConstraintAttr()llzk::function::FuncDefOpinline
hasAllowWitnessAttr()llzk::function::FuncDefOpinline
hasArgPublicAttr(unsigned index)llzk::function::FuncDefOp
isDeclaration()llzk::function::FuncDefOpinline
isInStruct()llzk::function::FuncDefOpinline
isStructCompute()llzk::function::FuncDefOpinline
isStructConstrain()llzk::function::FuncDefOpinline
nameIsCompute()llzk::function::FuncDefOpinline
nameIsConstrain()llzk::function::FuncDefOpinline
parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result)llzk::function::FuncDefOpstatic
populateInherentAttrs(::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs)llzk::function::FuncDefOpstatic
print(::mlir::OpAsmPrinter &p)llzk::function::FuncDefOp
Properties typedefllzk::function::FuncDefOp
readProperties(::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)llzk::function::FuncDefOpstatic
removeArgAttrsAttr()llzk::function::FuncDefOp
removeResAttrsAttr()llzk::function::FuncDefOp
setAllowConstraintAttr(bool newValue=true)llzk::function::FuncDefOp
setAllowWitnessAttr(bool newValue=true)llzk::function::FuncDefOp
setArgAttrsAttr(::mlir::ArrayAttr attr)llzk::function::FuncDefOp
setFunctionType(::mlir::FunctionType attrValue)llzk::function::FuncDefOp
setFunctionTypeAttr(::mlir::TypeAttr attr)llzk::function::FuncDefOp
setInherentAttr(Properties &prop, llvm::StringRef name, mlir::Attribute value)llzk::function::FuncDefOpstatic
setPropertiesFromAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::function::FuncDefOpstatic
setResAttrsAttr(::mlir::ArrayAttr attr)llzk::function::FuncDefOp
setSymName(::llvm::StringRef attrValue)llzk::function::FuncDefOp
setSymNameAttr(::mlir::StringAttr attr)llzk::function::FuncDefOp
verify()llzk::function::FuncDefOp
verifyInherentAttrs(::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::function::FuncDefOpstatic
verifyInvariants()llzk::function::FuncDefOp
verifyInvariantsImpl()llzk::function::FuncDefOp
verifySymbolUses(::mlir::SymbolTableCollection &symbolTable)llzk::function::FuncDefOp
writeProperties(::mlir::DialectBytecodeWriter &writer)llzk::function::FuncDefOp