LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKValidationPasses.h File Reference
Include dependency graph for LLZKValidationPasses.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  llzk

Macros

#define GEN_PASS_DECL
#define GEN_PASS_REGISTRATION
#define GEN_PASS_DECL_MEMBERWRITEVALIDATORPASS

Functions

std::unique_ptr<::mlir::Pass > llzk::createMemberWriteValidatorPass ()
void llzk::registerMemberWriteValidatorPass ()
void llzk::registerMemberWriteValidatorPassPass ()
void llzk::registerValidationPasses ()

Macro Definition Documentation

◆ GEN_PASS_DECL

#define GEN_PASS_DECL

Definition at line 16 of file LLZKValidationPasses.h.

◆ GEN_PASS_DECL_MEMBERWRITEVALIDATORPASS

#define GEN_PASS_DECL_MEMBERWRITEVALIDATORPASS

Definition at line 6 of file LLZKValidationPasses.h.

◆ GEN_PASS_REGISTRATION

#define GEN_PASS_REGISTRATION

Definition at line 17 of file LLZKValidationPasses.h.