LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/CAPI/Builder.h"
#include "llzk/CAPI/Support.h"
#include "llzk-c/Builder.h"
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Support.h>
#include <mlir/CAPI/Wrap.h>
#include <mlir/IR/Builders.h>
Go to the source code of this file.
Typedefs | |
using | OpBuilderT = OpBuilder |
Functions | |
MlirOpBuilder | mlirOpBuilderCreate (MlirContext ctx) |
MlirOpBuilder | mlirOpBuilderCreateWithListener (MlirContext ctx, MlirOpBuilderListener listener) |
void | mlirOpBuilderDestroy (MlirOpBuilder builder) |
Destroys the given builder. | |
MlirContext | mlirOpBuilderGetContext (MlirOpBuilder builder) |
Returns the context. | |
void | mlirOpBuilderSetInsertionPointToStart (MlirOpBuilder builder, MlirBlock block) |
Sets the insertion point to the beginning of the given block. | |
MlirOperation | mlirOpBuilderGetInsertionPoint (MlirOpBuilder builder) |
Returns the current insertion point in the builder. | |
MlirBlock | mlirOpBuilderGetInsertionBlock (MlirOpBuilder builder) |
Returns the current insertion block in the builder. | |
MlirOpBuilderListener | mlirOpBuilderListenerCreate (MlirNotifyOperationInserted opCb, MlirNotifyBlockInserted blockCb, void *userData) |
Creates a new mlir::OpBuilder::Listener. | |
void | mlirOpBuilderListenerDestroy (MlirOpBuilderListener listener) |
Destroys the given listener. | |
using OpBuilderT = OpBuilder |
Definition at line 22 of file Builder.cpp.
MlirOpBuilder mlirOpBuilderCreate | ( | MlirContext | ctx | ) |
Definition at line 47 of file Builder.cpp.
MlirOpBuilder mlirOpBuilderCreateWithListener | ( | MlirContext | ctx, |
MlirOpBuilderListener | listener ) |
Definition at line 51 of file Builder.cpp.
void mlirOpBuilderDestroy | ( | MlirOpBuilder | builder | ) |
Destroys the given builder.
Definition at line 56 of file Builder.cpp.
MlirContext mlirOpBuilderGetContext | ( | MlirOpBuilder | builder | ) |
Returns the context.
Definition at line 60 of file Builder.cpp.
MlirBlock mlirOpBuilderGetInsertionBlock | ( | MlirOpBuilder | builder | ) |
Returns the current insertion block in the builder.
Definition at line 79 of file Builder.cpp.
MlirOperation mlirOpBuilderGetInsertionPoint | ( | MlirOpBuilder | builder | ) |
Returns the current insertion point in the builder.
Definition at line 68 of file Builder.cpp.
MlirOpBuilderListener mlirOpBuilderListenerCreate | ( | MlirNotifyOperationInserted | operationCb, |
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.
Definition at line 87 of file Builder.cpp.
void mlirOpBuilderListenerDestroy | ( | MlirOpBuilderListener | listener | ) |
Destroys the given listener.
Definition at line 93 of file Builder.cpp.
void mlirOpBuilderSetInsertionPointToStart | ( | MlirOpBuilder | builder, |
MlirBlock | block ) |
Sets the insertion point to the beginning of the given block.
Definition at line 64 of file Builder.cpp.