LLZKPCLLoweringPass.cpp File Reference

This file implements the -llzk-pcl-lowering pass. More...

#include "llzk/Config/Config.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Bool/IR/Ops.h"
#include "llzk/Dialect/Cast/IR/Ops.h"
#include "llzk/Dialect/Constrain/IR/Ops.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Transforms/LLZKLoweringUtils.h"
#include "llzk/Transforms/LLZKTransformationPasses.h"
#include "llzk/Util/DynamicAPIntHelper.h"
#include "r1cs/Dialect/IR/Attrs.h"
#include "r1cs/Dialect/IR/Ops.h"
#include "r1cs/Dialect/IR/Types.h"
#include <pcl/Dialect/IR/Dialect.h>
#include <pcl/Dialect/IR/Ops.h>
#include <pcl/Dialect/IR/Types.h>
#include <mlir/Dialect/Func/IR/FuncOps.h>
#include <mlir/IR/BuiltinOps.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/DenseMapInfo.h>
#include <llvm/ADT/SmallVector.h>
#include <llvm/Support/Debug.h>
#include <deque>
#include <memory>
#include "llzk/Transforms/LLZKTransformationPasses.h.inc"

Include dependency graph for LLZKPCLLoweringPass.cpp:

Go to the source code of this file.

Classes
struct	llzk::PCLLoweringPassOptions
class	llzk::impl::PCLLoweringPassBase< DerivedT >

Namespaces
namespace	llzk
namespace	llzk::impl

Macros
#define	GEN_PASS_DECL_PCLLOWERINGPASS
#define	GEN_PASS_DEF_PCLLOWERINGPASS

Detailed Description

This file implements the -llzk-pcl-lowering pass.

Definition in file LLZKPCLLoweringPass.cpp.

Macro Definition Documentation

GEN_PASS_DECL_PCLLOWERINGPASS

#define GEN_PASS_DECL_PCLLOWERINGPASS

Definition at line 46 of file LLZKPCLLoweringPass.cpp.

GEN_PASS_DEF_PCLLOWERINGPASS

#define GEN_PASS_DEF_PCLLOWERINGPASS

Definition at line 47 of file LLZKPCLLoweringPass.cpp.