|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This file implements the -llzk-enforce-no-overwrite pass. More...
#include "llzk/Analysis/AnalysisUtil.h"#include "llzk/Analysis/MemberOverwriteAnalysis.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include "llzk/Transforms/LLZKTransformationPasses.h"#include <mlir/Analysis/DataFlowFramework.h>#include <llvm/Support/Debug.h>#include <memory>#include "llzk/Transforms/LLZKTransformationPasses.h.inc"Go to the source code of this file.
Classes | |
| class | llzk::impl::EnforceNoMemberOverwritePassBase< DerivedT > |
| class | llzk::EnforceNoMemberOverwritePass |
Namespaces | |
| namespace | llzk |
| namespace | llzk::impl |
Macros | |
| #define | GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS |
| #define | GEN_PASS_DEF_ENFORCENOMEMBEROVERWRITEPASS |
| #define | DEBUG_TYPE "llzk-enforce-no-overwrites-pass" |
Functions | |
| std::unique_ptr< mlir::Pass > | llzk::createNoOverwritesPass () |
This file implements the -llzk-enforce-no-overwrite pass.
Definition in file LLZKEnforceNoOverwritePass.cpp.
| #define DEBUG_TYPE "llzk-enforce-no-overwrites-pass" |
Definition at line 33 of file LLZKEnforceNoOverwritePass.cpp.
| #define GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS |
Definition at line 28 of file LLZKEnforceNoOverwritePass.cpp.
| #define GEN_PASS_DEF_ENFORCENOMEMBEROVERWRITEPASS |
Definition at line 29 of file LLZKEnforceNoOverwritePass.cpp.