|
| static ::llvm::ArrayRef<::llvm::StringRef > | getAttributeNames () |
| ::mlir::StringAttr | getArgAttrsAttrName () |
| ::mlir::StringAttr | getFunctionTypeAttrName () |
| ::mlir::StringAttr | getSymNameAttrName () |
| ::mlir::StringAttr | getTargetAttrName () |
| 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::SymbolRefAttr | getTargetAttr () |
| ::mlir::SymbolRefAttr | getTarget () |
| ::mlir::TypeAttr | getFunctionTypeAttr () |
| ::mlir::FunctionType | getFunctionType () |
| ::mlir::ArrayAttr | getArgAttrsAttr () |
| ::std::optional< ::mlir::ArrayAttr > | getArgAttrs () |
| void | setSymNameAttr (::mlir::StringAttr attr) |
| void | setSymName (::llvm::StringRef attrValue) |
| void | setTargetAttr (::mlir::SymbolRefAttr attr) |
| void | setFunctionTypeAttr (::mlir::TypeAttr attr) |
| void | setFunctionType (::mlir::FunctionType attrValue) |
| void | setArgAttrsAttr (::mlir::ArrayAttr attr) |
| ::mlir::Attribute | removeArgAttrsAttr () |
| void | print (::mlir::OpAsmPrinter &p) |
| ::llvm::LogicalResult | verifyInvariantsImpl () |
| ::llvm::LogicalResult | verifyInvariants () |
| ::llvm::LogicalResult | verify () |
| ::llvm::LogicalResult | verifyRegions () |
| ::llvm::LogicalResult | verifySymbolUses (::mlir::SymbolTableCollection &symbolTable) |
| ContractOp | clone (::mlir::IRMapping &mapper) |
| | Create a deep copy of this contract and all of its blocks, remapping any operands that use values outside of the contract using the map that is provided (leaving them alone if no entry is present).
|
| ContractOp | clone () |
| void | cloneInto (ContractOp dest, ::mlir::IRMapping &mapper) |
| | Clone the internal blocks and attributes from this contract into dest.
|
| bool | hasArgPublicAttr (unsigned index) |
| | Return true iff the argument at the given index has pub attribute.
|
| bool | hasArgName (unsigned index) |
| | Return true iff the argument at the given index has a function.arg_name attribute.
|
| ::std::optional<::mlir::StringAttr > | getArgNameAttr (unsigned index) |
| | Return the function.arg_name attribute for the argument at the given index.
|
| void | setArgNameAttr (unsigned index, const ::mlir::StringAttr &attr) |
| | Set the function.arg_name attribute for the argument at the given index.
|
| void | setArgName (unsigned index, ::llvm::StringRef name) |
| | Set the function.arg_name attribute for the argument at the given index from a string.
|
| ::mlir::Region * | getCallableRegion () |
| | Required by FunctionOpInterface.
|
| ::llvm::ArrayRef<::mlir::Type > | getArgumentTypes () |
| | Required by FunctionOpInterface.
|
| ::llvm::ArrayRef<::mlir::Type > | getResultTypes () |
| | Required by FunctionOpInterface.
|
| bool | isDeclaration () |
| | Required by SymbolOpInterface.
|
| ::mlir::SymbolRefAttr | getFullyQualifiedName (bool requireParent=true) |
| | Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).
|
| bool | hasStructTarget () |
| | Return true iff the contract targets a struct type.
|
| ::mlir::FailureOr< SymbolLookupResult< component::StructDefOp > > | getStructTarget (::mlir::SymbolTableCollection &tables) |
| | Return the StructDefOp that this contract targets, or failure if it does not target a struct or the struct is not found.
|
| ::mlir::FailureOr< SymbolLookupResult< component::StructDefOp > > | getStructTarget () |
| ::mlir::FailureOr<::mlir::Value > | getSelfValue () |
| | Return the "self" value (i.e.
|
| bool | hasFuncTarget () |
| | Return true iff the contract targets a function.
|
| ::mlir::FailureOr< SymbolLookupResult< function::FuncDefOp > > | getFuncTarget (::mlir::SymbolTableCollection &tables) |
| | Return the FuncDefOp that this contract targets, or failure if it does not target a function or the function is not found.
|
| ::mlir::FailureOr< SymbolLookupResult< function::FuncDefOp > > | getFuncTarget () |
| ::mlir::FailureOr< SymbolLookupResult<::llzk::verif::ContractTargetOpInterface > > | getTargetOp (::mlir::SymbolTableCollection &tables) |
| | Return the operation that this contract targets, or failure if it does not target an operation that implements the ContractTarget op interface or is not found.
|
| ::mlir::FailureOr< SymbolLookupResult<::llzk::verif::ContractTargetOpInterface > > | getTargetOp () |
|
| ::mlir::StringAttr | getArgAttrsAttrName (::mlir::OperationName name) |
| ::mlir::StringAttr | getFunctionTypeAttrName (::mlir::OperationName name) |
| ::mlir::StringAttr | getSymNameAttrName (::mlir::OperationName name) |
| ::mlir::StringAttr | getTargetAttrName (::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, ::mlir::StringAttr sym_name, ::mlir::SymbolRefAttr target, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs={}) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr sym_name, ::mlir::SymbolRefAttr target, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs={}) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef sym_name, ::mlir::SymbolRefAttr target, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs={}) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::llvm::StringRef sym_name, ::mlir::SymbolRefAttr target, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs={}) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, llvm::StringRef target) |
| static void | build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, ::mlir::SymbolRefAttr target) |
| ::mlir::ParseResult | parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result) |
Definition at line 373 of file Ops.h.inc.
1.14.0