LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LLZKComputeConstrainToProductPass.cpp File Reference

This file implements the -llzk-product-program pass. More...

#include "llzk/Analysis/LightweightSignalEquivalenceAnalysis.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/Struct/IR/Ops.h"
#include "llzk/Transforms/LLZKTransformationPasses.h"
#include "llzk/Util/Constants.h"
#include "llzk/Util/SymbolHelper.h"
#include <mlir/IR/Builders.h>
#include <mlir/Transforms/InliningUtils.h>
#include <llvm/Support/Debug.h>
#include <memory>
#include <ranges>
#include "llzk/Transforms/LLZKTransformationPasses.h.inc"
Include dependency graph for LLZKComputeConstrainToProductPass.cpp:

Go to the source code of this file.

Classes

struct  llzk::ComputeConstrainToProductPassOptions
class  llzk::impl::ComputeConstrainToProductPassBase< DerivedT >
class  llzk::ComputeConstrainToProductPass

Namespaces

namespace  llzk
namespace  llzk::impl

Macros

#define GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS
#define GEN_PASS_DEF_COMPUTECONSTRAINTOPRODUCTPASS
#define DEBUG_TYPE   "llzk-compute-constrain-to-product-pass"

Functions

bool llzk::isValidRoot (StructDefOp root)
std::unique_ptr< mlir::Pass > llzk::createComputeConstrainToProductPass ()

Detailed Description

This file implements the -llzk-product-program pass.

Definition in file LLZKComputeConstrainToProductPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-compute-constrain-to-product-pass"

Definition at line 36 of file LLZKComputeConstrainToProductPass.cpp.

◆ GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS

#define GEN_PASS_DECL_COMPUTECONSTRAINTOPRODUCTPASS

Definition at line 31 of file LLZKComputeConstrainToProductPass.cpp.

◆ GEN_PASS_DEF_COMPUTECONSTRAINTOPRODUCTPASS

#define GEN_PASS_DEF_COMPUTECONSTRAINTOPRODUCTPASS

Definition at line 32 of file LLZKComputeConstrainToProductPass.cpp.