LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
PCL.h File Reference
#include "mlir-c/IR.h"
#include "mlir-c/Support.h"
Include dependency graph for PCL.h:

Go to the source code of this file.

Functions

MLIR_CAPI_EXPORTED MlirLogicalResult llzkTranslateModuleToPCL (MlirOperation module, MlirStringCallback callback, void *userData)
 Translate an operation that satisfies the PCL dialect (i.e.

Function Documentation

◆ llzkTranslateModuleToPCL()

MLIR_CAPI_EXPORTED MlirLogicalResult llzkTranslateModuleToPCL ( MlirOperation module,
MlirStringCallback callback,
void * userData )

Translate an operation that satisfies the PCL dialect (i.e.

previously converted with the -llzk-to-pcl pass). The PCL lisp code is written into the provided callback.

If LLZK was compiled without the PCL backend this operation does nothing but return failure.

Returns
A logical result indicating if the operation was successful or not.