LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
TemplateMonomorphization.cpp File Reference
#include "SharedImpl.h"
#include "StructSpecializationDiscovery.h"
#include "TemplateInstantiation.h"
#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk/Util/Compare.h"
#include "llzk/Util/DynamicAPIntHelper.h"
#include "llzk/Util/SymbolHelper.h"
#include "llzk/Util/Walk.h"
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/IR/AttrTypeSubElements.h>
#include <mlir/IR/Builders.h>
#include <mlir/IR/Diagnostics.h>
#include <mlir/Interfaces/ControlFlowInterfaces.h>
#include <llvm/ADT/MapVector.h>
#include <llvm/ADT/STLFunctionalExtras.h>
#include <cstdint>
#include <limits>
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h.inc"
Include dependency graph for TemplateMonomorphization.cpp:

Go to the source code of this file.

Classes

class  llzk::polymorphic::impl::TemplateMonomorphizationPassBase< DerivedT >

Namespaces

namespace  llzk
namespace  llzk::polymorphic
namespace  llzk::polymorphic::impl

Macros

#define GEN_PASS_DEF_TEMPLATEMONOMORPHIZATIONPASS

Functions

std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTemplateMonomorphizationPass ()
std::unique_ptr<::mlir::Pass > llzk::polymorphic::impl::createTemplateMonomorphizationPass (TemplateMonomorphizationPassOptions options)
std::unique_ptr<::mlir::Pass > llzk::polymorphic::createTemplateMonomorphizationPass ()
std::unique_ptr<::mlir::Pass > llzk::polymorphic::createTemplateMonomorphizationPass (TemplateMonomorphizationPassOptions options)

Macro Definition Documentation

◆ GEN_PASS_DEF_TEMPLATEMONOMORPHIZATIONPASS

#define GEN_PASS_DEF_TEMPLATEMONOMORPHIZATIONPASS

Definition at line 35 of file TemplateMonomorphization.cpp.