LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LLZKEnforceNoOverwritePass.cpp File Reference

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"
Include dependency graph for LLZKEnforceNoOverwritePass.cpp:

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

Detailed Description

This file implements the -llzk-enforce-no-overwrite pass.

Definition in file LLZKEnforceNoOverwritePass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-enforce-no-overwrites-pass"

Definition at line 33 of file LLZKEnforceNoOverwritePass.cpp.

◆ GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS

#define GEN_PASS_DECL_ENFORCENOMEMBEROVERWRITEPASS

Definition at line 28 of file LLZKEnforceNoOverwritePass.cpp.

◆ GEN_PASS_DEF_ENFORCENOMEMBEROVERWRITEPASS

#define GEN_PASS_DEF_ENFORCENOMEMBEROVERWRITEPASS

Definition at line 29 of file LLZKEnforceNoOverwritePass.cpp.