|
| static ::llvm::ArrayRef<::llvm::StringRef > | getAttributeNames () |
| ::mlir::StringAttr | getArgAttrsAttrName () |
| ::mlir::StringAttr | getFunctionTypeAttrName () |
| ::mlir::StringAttr | getResAttrsAttrName () |
| ::mlir::StringAttr | getSymNameAttrName () |
| std::pair< unsigned, unsigned > | getODSOperandIndexAndLength (unsigned index) |
| ::mlir::Operation::operand_range | getODSOperands (unsigned index) |
| std::pair< unsigned, unsigned > | getODSResultIndexAndLength (unsigned index) |
| ::mlir::Operation::result_range | getODSResults (unsigned index) |
| ::mlir::Region & | getBody () |
| void | writeProperties (::mlir::DialectBytecodeWriter &writer) |
| ::mlir::StringAttr | getSymNameAttr () |
| ::llvm::StringRef | getSymName () |
| ::mlir::TypeAttr | getFunctionTypeAttr () |
| ::mlir::FunctionType | getFunctionType () |
| ::mlir::ArrayAttr | getArgAttrsAttr () |
| ::std::optional< ::mlir::ArrayAttr > | getArgAttrs () |
| ::mlir::ArrayAttr | getResAttrsAttr () |
| ::std::optional< ::mlir::ArrayAttr > | getResAttrs () |
| void | setSymNameAttr (::mlir::StringAttr attr) |
| void | setSymName (::llvm::StringRef attrValue) |
| void | setFunctionTypeAttr (::mlir::TypeAttr attr) |
| void | setFunctionType (::mlir::FunctionType attrValue) |
| void | setArgAttrsAttr (::mlir::ArrayAttr attr) |
| void | setResAttrsAttr (::mlir::ArrayAttr attr) |
| ::mlir::Attribute | removeArgAttrsAttr () |
| ::mlir::Attribute | removeResAttrsAttr () |
| void | print (::mlir::OpAsmPrinter &p) |
| ::llvm::LogicalResult | verifyInvariantsImpl () |
| ::llvm::LogicalResult | verifyInvariants () |
| ::llvm::LogicalResult | verify () |
| ::llvm::LogicalResult | verifySymbolUses (::mlir::SymbolTableCollection &symbolTable) |
| FuncDefOp | clone (::mlir::IRMapping &mapper) |
| | Create a deep copy of this function and all of its blocks, remapping any operands that use values outside of the function using the map that is provided (leaving them alone if no entry is present).
|
| FuncDefOp | clone () |
| void | cloneInto (FuncDefOp dest, ::mlir::IRMapping &mapper) |
| | Clone the internal blocks and attributes from this function into dest.
|
| bool | hasAllowConstraintAttr () |
| | Return true iff the function def has the allow_constraint attribute.
|
| void | setAllowConstraintAttr (bool newValue=true) |
| | Add (resp. remove) the allow_constraint attribute to (resp. from) the function def.
|
| bool | hasAllowWitnessAttr () |
| | Return true iff the function def has the allow_witness attribute.
|
| void | setAllowWitnessAttr (bool newValue=true) |
| | Add (resp. remove) the allow_witness attribute to (resp. from) the function def.
|
| bool | hasArgPublicAttr (unsigned index) |
| | Return true iff the argument at the given index has pub attribute.
|
| ::mlir::Region * | getCallableRegion () |
| | Returns the region on the current operation that is callable.
|
| ::llvm::ArrayRef<::mlir::Type > | getArgumentTypes () |
| | Returns the argument types of this function.
|
| ::llvm::ArrayRef<::mlir::Type > | getResultTypes () |
| | Returns the result types of this function.
|
| bool | isDeclaration () |
| ::mlir::SymbolRefAttr | getFullyQualifiedName (bool requireParent=true) |
| | Return the full name for this function from the root module, including all surrounding symbol table names (i.e., modules and structs).
|
| bool | nameIsCompute () |
| | Return true iff the function name is FUNC_NAME_COMPUTE (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
|
| bool | nameIsConstrain () |
| | Return true iff the function name is FUNC_NAME_CONSTRAIN (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
|
| bool | nameIsProduct () |
| | Return true iff the function name is FUNC_NAME_PRODUCT (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
|
| bool | isInStruct () |
| | Return true iff the function is within a StructDefOp.
|
| bool | isStructCompute () |
| | Return true iff the function is within a StructDefOp and named FUNC_NAME_COMPUTE.
|
| bool | isStructConstrain () |
| | Return true iff the function is within a StructDefOp and named FUNC_NAME_CONSTRAIN.
|
| bool | isStructProduct () |
| | Return true iff the function is within a StructDefOp and named FUNC_NAME_PRODUCT.
|
| ::mlir::Value | getSelfValueFromCompute () |
| | Return the "self" value (i.e.
|
| ::mlir::Value | getSelfValueFromConstrain () |
| | Return the "self" value (i.e.
|
| ::llzk::component::StructType | getSingleResultTypeOfCompute () |
| | Assuming the name is FUNC_NAME_COMPUTE, return the single StructType result.
|
|
| ::mlir::StringAttr | getArgAttrsAttrName (::mlir::OperationName name) |
| ::mlir::StringAttr | getFunctionTypeAttrName (::mlir::OperationName name) |
| ::mlir::StringAttr | getResAttrsAttrName (::mlir::OperationName name) |
| ::mlir::StringAttr | getSymNameAttrName (::mlir::OperationName name) |
| static constexpr ::llvm::StringLiteral | getOperationName () |
| ::llvm::LogicalResult | setPropertiesFromAttr (Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) |
| ::mlir::Attribute | getPropertiesAsAttr (::mlir::MLIRContext *ctx, const Properties &prop) |
| static llvm::hash_code | computePropertiesHash (const Properties &prop) |
| static std::optional< mlir::Attribute > | getInherentAttr (::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name) |
| static void | setInherentAttr (Properties &prop, llvm::StringRef name, mlir::Attribute value) |
| static void | populateInherentAttrs (::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs) |
| ::llvm::LogicalResult | verifyInherentAttrs (::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) |
| ::llvm::LogicalResult | readProperties (::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={}, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs={}) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::StringAttr sym_name, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs) |
| static void | 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) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef sym_name, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs, ::mlir::ArrayAttr res_attrs) |
| static void | 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) |
| static void | build (::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={}) |
| ::mlir::ParseResult | parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result) |
| static FuncDefOp | create (::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs={}) |
| static FuncDefOp | create (::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::mlir::Operation::dialect_attr_range attrs) |
| static FuncDefOp | create (::mlir::Location location, ::llvm::StringRef name, ::mlir::FunctionType type, ::llvm::ArrayRef<::mlir::NamedAttribute > attrs, ::llvm::ArrayRef<::mlir::DictionaryAttr > argAttrs) |
Definition at line 525 of file Ops.h.inc.
1.14.0