LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
PCL.h File Reference

Declares the C interface for Picus PCL conversion, transformation, and translation. More...

#include "mlir-c/IR.h"
#include "mlir-c/Pass.h"
#include "mlir-c/Support.h"
#include "llzk/Config/Config.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.

Detailed Description

Declares the C interface for Picus PCL conversion, transformation, and translation.

Definition in file PCL.h.

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.