|
LLZK 3.0.0
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 | ) |
Destroys the given builder.
Destroys builder and frees the underlying OpBuilder object.
Destroys the given builder.
Definition at line 90 of file Builder.cpp.
| MLIR_CAPI_EXPORTED MlirContext mlirOpBuilderGetContext | ( | MlirOpBuilder | builder | ) |
Returns the context.
Returns the MLIR context associated with builder.
Returns the context.
Definition at line 95 of file Builder.cpp.
| MLIR_CAPI_EXPORTED MlirBlock mlirOpBuilderGetInsertionBlock | ( | MlirOpBuilder | builder | ) |
Returns the current insertion block in the builder.
Returns the block that builder is currently inserting into, or a null MlirBlock if no insertion point has been set.
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 operation before which new operations will be inserted, or a null MlirOperation if there is no current insertion block or the insertion point is at the end of the block.
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.
Inserts op at the current insertion point of builder and returns 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.
Creates a new OpBuilder::Listener that calls opCb whenever an operation is inserted and blockCb whenever a block is inserted.
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 listener and frees the underlying ListenerT object.
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 of builder to the beginning of block so that subsequent insertions prepend to that block.
Sets the insertion point to the beginning of the given block.
Definition at line 101 of file Builder.cpp.