|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir-c/IR.h>#include <mlir-c/Support.h>Go to the source code of this file.
Classes | |
| struct | MlirOpBuilderInsertPoint |
| Current insertion point of an mlir::OpBuilder instance represented as a block and an operation within that block. More... | |
Macros | |
| #define | DEFINE_C_API_STRUCT(name, storage) |
| #define | DECLARE_SUFFIX_OP_BUILDER_CREATE_FN(suffix, ...) |
| #define | DECLARE_OP_BUILDER_CREATE_FN(...) |
Typedefs | |
| typedef struct MlirOpBuilderInsertPoint | MlirOpBuilderInsertPoint |
| typedef void(* | MlirNotifyOperationInserted) (MlirOperation, MlirOpBuilderInsertPoint, void *) |
| Callback type for listening to operation insertions in an mlir::OpBuilder. | |
| typedef void(* | MlirNotifyBlockInserted) (MlirBlock, MlirRegion, MlirBlock, void *) |
| Callback type for listening to block insertions in an mlir::OpBuilder. | |
Functions | |
| DEFINE_C_API_STRUCT (MlirOpBuilder, void) | |
| Wrapper around an mlir::OpBuilder instance. | |
| DEFINE_C_API_STRUCT (MlirOpBuilderListener, void) | |
| Wrapper around an mlir::OpBuilder::Listener instance. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderDestroy (MlirOpBuilder builder) |
| Destroys the given builder. | |
| MLIR_CAPI_EXPORTED MlirContext | mlirOpBuilderGetContext (MlirOpBuilder builder) |
| Returns the context. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderSetInsertionPointToStart (MlirOpBuilder builder, MlirBlock block) |
| Sets the insertion point to the beginning of the given block. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderSetInsertionPointToEnd (MlirOpBuilder builder, MlirBlock block) |
| Sets the insertion point to the end of the given block. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderSetInsertionPoint (MlirOpBuilder builder, MlirOperation operation) |
| Sets the insertion point right before the given operation. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderSetInsertionPointAfter (MlirOpBuilder builder, MlirOperation operation) |
| Sets the insertion point right after the given operation. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderSetInsertionPointAfterValue (MlirOpBuilder builder, MlirValue value) |
| Sets the insertion point right after the given value is defined. | |
| MLIR_CAPI_EXPORTED MlirOpBuilderInsertPoint | mlirOpBuilderSaveInsertionPoint (MlirOpBuilder builder) |
| Return a saved insertion point. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderRestoreInsertionPoint (MlirOpBuilder builder, MlirOpBuilderInsertPoint ip) |
| Restore the insert point to a previously saved point. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderClearInsertionPoint (MlirOpBuilder builder) |
| Reset the insertion point to no location. | |
| MLIR_CAPI_EXPORTED MlirOperation | mlirOpBuilderGetInsertionPoint (MlirOpBuilder builder) |
| Returns the current insertion point in the builder. | |
| MLIR_CAPI_EXPORTED MlirBlock | mlirOpBuilderGetInsertionBlock (MlirOpBuilder builder) |
| Returns the current insertion block in the builder. | |
| MLIR_CAPI_EXPORTED MlirOperation | mlirOpBuilderInsert (MlirOpBuilder builder, MlirOperation op) |
| Insert the given operation at the current insertion point and return it. | |
| MLIR_CAPI_EXPORTED MlirOpBuilderListener | mlirOpBuilderListenerCreate (MlirNotifyOperationInserted operationCb, MlirNotifyBlockInserted blockCb, void *userData) |
| Creates a new mlir::OpBuilder::Listener. | |
| MLIR_CAPI_EXPORTED void | mlirOpBuilderListenerDestroy (MlirOpBuilderListener listener) |
| Destroys the given listener. | |
| #define DECLARE_OP_BUILDER_CREATE_FN | ( | ... | ) |
| #define DECLARE_SUFFIX_OP_BUILDER_CREATE_FN | ( | suffix, | |
| ... ) |
| #define DEFINE_C_API_STRUCT | ( | name, | |
| storage ) |
| typedef void(* MlirNotifyBlockInserted) (MlirBlock, MlirRegion, MlirBlock, void *) |
| typedef void(* MlirNotifyOperationInserted) (MlirOperation, MlirOpBuilderInsertPoint, void *) |
| typedef struct MlirOpBuilderInsertPoint MlirOpBuilderInsertPoint |
| DEFINE_C_API_STRUCT | ( | MlirOpBuilder | , |
| void | ) |
Wrapper around an mlir::OpBuilder instance.
| DEFINE_C_API_STRUCT | ( | MlirOpBuilderListener | , |
| void | ) |
Wrapper around an mlir::OpBuilder::Listener instance.
| MLIR_CAPI_EXPORTED void mlirOpBuilderClearInsertionPoint | ( | MlirOpBuilder | builder | ) |
Reset the insertion point to no location.
Definition at line 144 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderDestroy | ( | MlirOpBuilder | builder | ) |
| MLIR_CAPI_EXPORTED MlirContext mlirOpBuilderGetContext | ( | MlirOpBuilder | builder | ) |
| MLIR_CAPI_EXPORTED MlirBlock mlirOpBuilderGetInsertionBlock | ( | MlirOpBuilder | builder | ) |
Returns the current insertion block in the builder.
Returns the current insertion block in the builder.
Definition at line 162 of file Builder.cpp.
| MLIR_CAPI_EXPORTED MlirOperation mlirOpBuilderGetInsertionPoint | ( | MlirOpBuilder | builder | ) |
Returns the current insertion point in the builder.
Returns the current insertion point in the builder.
Definition at line 150 of file Builder.cpp.
| MLIR_CAPI_EXPORTED MlirOperation mlirOpBuilderInsert | ( | MlirOpBuilder | builder, |
| MlirOperation | op ) |
Insert the given operation at the current insertion point and return it.
Insert the given operation at the current insertion point and return it.
Definition at line 167 of file Builder.cpp.
| MLIR_CAPI_EXPORTED MlirOpBuilderListener mlirOpBuilderListenerCreate | ( | MlirNotifyOperationInserted | opCb, |
| MlirNotifyBlockInserted | blockCb, | ||
| void * | userData ) |
Creates a new mlir::OpBuilder::Listener.
Takes one callback for each method of the Listener interface and a pointer to user defined data.
Creates a new mlir::OpBuilder::Listener.
userData is an opaque pointer forwarded unchanged to each callback.
Definition at line 178 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderListenerDestroy | ( | MlirOpBuilderListener | listener | ) |
Destroys the given listener.
Destroys the given listener.
Definition at line 185 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderRestoreInsertionPoint | ( | MlirOpBuilder | builder, |
| MlirOpBuilderInsertPoint | ip ) |
Restore the insert point to a previously saved point.
Definition at line 131 of file Builder.cpp.
| MLIR_CAPI_EXPORTED MlirOpBuilderInsertPoint mlirOpBuilderSaveInsertionPoint | ( | MlirOpBuilder | builder | ) |
Return a saved insertion point.
Definition at line 126 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderSetInsertionPoint | ( | MlirOpBuilder | builder, |
| MlirOperation | operation ) |
Sets the insertion point right before the given operation.
Definition at line 111 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderSetInsertionPointAfter | ( | MlirOpBuilder | builder, |
| MlirOperation | operation ) |
Sets the insertion point right after the given operation.
Definition at line 116 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderSetInsertionPointAfterValue | ( | MlirOpBuilder | builder, |
| MlirValue | value ) |
Sets the insertion point right after the given value is defined.
Definition at line 121 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderSetInsertionPointToEnd | ( | MlirOpBuilder | builder, |
| MlirBlock | block ) |
Sets the insertion point to the end of the given block.
Definition at line 106 of file Builder.cpp.
| MLIR_CAPI_EXPORTED void mlirOpBuilderSetInsertionPointToStart | ( | MlirOpBuilder | builder, |
| MlirBlock | block ) |
Sets the insertion point to the beginning of the given block.
Sets the insertion point to the beginning of the given block.
Definition at line 101 of file Builder.cpp.