LLZKR1CSLoweringPass.cpp File Reference

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

#include "llzk/Dialect/Array/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 <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 LLZKR1CSLoweringPass.cpp:

Go to the source code of this file.

Classes
class	llzk::impl::R1CSLoweringPassBase< DerivedT >

Namespaces
namespace	llzk
namespace	llzk::impl

Macros
#define	GEN_PASS_DEF_R1CSLOWERINGPASS
#define	DEBUG_TYPE   "llzk-r1cs-lowering"
#define	R1CS_AUXILIARY_FIELD_PREFIX   "__llzk_r1cs_lowering_pass_aux_field_"

Detailed Description

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

Definition in file LLZKR1CSLoweringPass.cpp.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "llzk-r1cs-lowering"

Definition at line 49 of file LLZKR1CSLoweringPass.cpp.

GEN_PASS_DEF_R1CSLOWERINGPASS

#define GEN_PASS_DEF_R1CSLOWERINGPASS

Definition at line 38 of file LLZKR1CSLoweringPass.cpp.

R1CS_AUXILIARY_FIELD_PREFIX

#define R1CS_AUXILIARY_FIELD_PREFIX   "__llzk_r1cs_lowering_pass_aux_field_"

Definition at line 50 of file LLZKR1CSLoweringPass.cpp.