Declares dialect and pass registration functions for core LLZK dialects and backends. More...

#include <mlir-c/IR.h>

Include dependency graph for DialectRegistration.h:

This graph shows which files directly or indirectly include this file:

Functions
MLIR_CAPI_EXPORTED void	llzkRegisterCoreDialects (MlirDialectRegistry registry)
	Registers core LLZK dialects in the given registry.
MLIR_CAPI_EXPORTED void	llzkRegisterCorePasses (MlirDialectRegistry registry)
	Registers core LLZK passes.
MLIR_CAPI_EXPORTED void	llzkRegisterPCLDialects (MlirDialectRegistry registry)
	Registers PCL dialects in the given registry.
MLIR_CAPI_EXPORTED void	llzkRegisterPCLPasses (MlirDialectRegistry registry)
	Registers PCL passes.
MLIR_CAPI_EXPORTED void	llzkRegisterR1CSDialects (MlirDialectRegistry registry)
	Registers R1CS dialects in the given registry.
MLIR_CAPI_EXPORTED void	llzkRegisterR1CSPasses (MlirDialectRegistry registry)
	Registers R1CS passes.
MLIR_CAPI_EXPORTED void	llzkRegisterSMTDialects (MlirDialectRegistry registry)
	Registers the MLIR smt and LLZK smt_info metadata dialects in the given registry.
MLIR_CAPI_EXPORTED void	llzkRegisterSMTPasses (MlirDialectRegistry registry)
	Registers SMT conversion passes.
MLIR_CAPI_EXPORTED void	llzkRegisterZKLeanDialects (MlirDialectRegistry registry)
	Registers ZKLean dialects in the given registry.
MLIR_CAPI_EXPORTED void	llzkRegisterZKLeanPasses (MlirDialectRegistry registry)
	Registers ZKLean passes.

Detailed Description

Declares dialect and pass registration functions for core LLZK dialects and backends.

Definition in file DialectRegistration.h.

Function Documentation

◆ llzkRegisterCoreDialects()

MLIR_CAPI_EXPORTED void llzkRegisterCoreDialects ( MlirDialectRegistry registry )

Registers core LLZK dialects in the given registry.

Definition at line 34 of file DialectRegistration.cpp.

◆ llzkRegisterCorePasses()

MLIR_CAPI_EXPORTED void llzkRegisterCorePasses ( MlirDialectRegistry registry )

Registers core LLZK passes.

Definition at line 38 of file DialectRegistration.cpp.

◆ llzkRegisterPCLDialects()

MLIR_CAPI_EXPORTED void llzkRegisterPCLDialects ( MlirDialectRegistry registry )

Registers PCL dialects in the given registry.

Does nothing if LLZK was compiled without the PCL backend.

Definition at line 42 of file DialectRegistration.cpp.

◆ llzkRegisterPCLPasses()

MLIR_CAPI_EXPORTED void llzkRegisterPCLPasses ( MlirDialectRegistry registry )

Registers PCL passes.

Does nothing if LLZK was compiled without the PCL backend.

Definition at line 50 of file DialectRegistration.cpp.

◆ llzkRegisterR1CSDialects()

MLIR_CAPI_EXPORTED void llzkRegisterR1CSDialects ( MlirDialectRegistry registry )

Registers R1CS dialects in the given registry.

Definition at line 58 of file DialectRegistration.cpp.

◆ llzkRegisterR1CSPasses()

MLIR_CAPI_EXPORTED void llzkRegisterR1CSPasses ( MlirDialectRegistry registry )

Registers R1CS passes.

Definition at line 62 of file DialectRegistration.cpp.

◆ llzkRegisterSMTDialects()

MLIR_CAPI_EXPORTED void llzkRegisterSMTDialects ( MlirDialectRegistry registry )

Registers the MLIR smt and LLZK smt_info metadata dialects in the given registry.

Definition at line 66 of file DialectRegistration.cpp.

◆ llzkRegisterSMTPasses()

MLIR_CAPI_EXPORTED void llzkRegisterSMTPasses ( MlirDialectRegistry registry )

Registers SMT conversion passes.

Definition at line 70 of file DialectRegistration.cpp.

◆ llzkRegisterZKLeanDialects()

MLIR_CAPI_EXPORTED void llzkRegisterZKLeanDialects ( MlirDialectRegistry registry )

Registers ZKLean dialects in the given registry.

Definition at line 74 of file DialectRegistration.cpp.

◆ llzkRegisterZKLeanPasses()

MLIR_CAPI_EXPORTED void llzkRegisterZKLeanPasses ( MlirDialectRegistry registry )

Registers ZKLean passes.

Definition at line 78 of file DialectRegistration.cpp.

Functions