|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#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"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) |
| #define GEN_PASS_DEF_TEMPLATEMONOMORPHIZATIONPASS |
Definition at line 35 of file TemplateMonomorphization.cpp.