This file implements the -llzk-poly-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/LLZKTransformationPasses.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 LLZKPolyLoweringPass.cpp:

Classes
struct	llzk::PolyLoweringPassOptions

class	llzk::impl::PolyLoweringPassBase< DerivedT >

Namespaces
namespace	llzk

namespace	llzk::impl

Macros
#define	GEN_PASS_DECL_POLYLOWERINGPASS

#define	GEN_PASS_DEF_POLYLOWERINGPASS

#define	DEBUG_TYPE "llzk-poly-lowering-pass"

#define	AUXILIARY_FIELD_PREFIX "__llzk_poly_lowering_pass_aux_field_"

Detailed Description

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

Definition in file LLZKPolyLoweringPass.cpp.

Macro Definition Documentation

◆ AUXILIARY_FIELD_PREFIX

#define AUXILIARY_FIELD_PREFIX "__llzk_poly_lowering_pass_aux_field_"

Definition at line 46 of file LLZKPolyLoweringPass.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE "llzk-poly-lowering-pass"

Definition at line 45 of file LLZKPolyLoweringPass.cpp.

◆ GEN_PASS_DECL_POLYLOWERINGPASS

#define GEN_PASS_DECL_POLYLOWERINGPASS

Definition at line 33 of file LLZKPolyLoweringPass.cpp.

◆ GEN_PASS_DEF_POLYLOWERINGPASS

#define GEN_PASS_DEF_POLYLOWERINGPASS

Definition at line 34 of file LLZKPolyLoweringPass.cpp.

Classes