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

#include "llzk/Dialect/DialectRegistration.h"
#include "r1cs/DialectRegistration.h"
#include "smt/DialectRegistration.h"
#include "zklean/DialectRegistration.h"
#include "llzk/Config/Config.h"
#include "llzk-c/DialectRegistration.h"
#include <mlir-c/IR.h>
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Wrap.h>

Include dependency graph for DialectRegistration.cpp:

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

Detailed Description

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

Definition in file DialectRegistration.cpp.

Function Documentation

◆ llzkRegisterCoreDialects()

void llzkRegisterCoreDialects ( MlirDialectRegistry registry )

Registers core LLZK dialects in the given registry.

Definition at line 34 of file DialectRegistration.cpp.

◆ llzkRegisterCorePasses()

void llzkRegisterCorePasses ( MlirDialectRegistry registry )

Registers core LLZK passes.

Definition at line 38 of file DialectRegistration.cpp.

◆ llzkRegisterPCLDialects()

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()

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()

void llzkRegisterR1CSDialects ( MlirDialectRegistry registry )

Registers R1CS dialects in the given registry.

Definition at line 58 of file DialectRegistration.cpp.

◆ llzkRegisterR1CSPasses()

void llzkRegisterR1CSPasses ( MlirDialectRegistry registry )

Registers R1CS passes.

Definition at line 62 of file DialectRegistration.cpp.

◆ llzkRegisterSMTDialects()

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()

void llzkRegisterSMTPasses ( MlirDialectRegistry registry )

Registers SMT conversion passes.

Definition at line 70 of file DialectRegistration.cpp.

◆ llzkRegisterZKLeanDialects()

void llzkRegisterZKLeanDialects ( MlirDialectRegistry registry )

Registers ZKLean dialects in the given registry.

Definition at line 74 of file DialectRegistration.cpp.

◆ llzkRegisterZKLeanPasses()

void llzkRegisterZKLeanPasses ( MlirDialectRegistry registry )

Registers ZKLean passes.

Definition at line 78 of file DialectRegistration.cpp.

Functions