|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This file implements the -llzk-specialize-wildcard-arrays pass. More...
#include "SharedImpl.h"#include "llzk/Analysis/SymbolDefTree.h"#include "llzk/Analysis/SymbolUseGraph.h"#include "llzk/Dialect/Array/IR/Ops.h"#include "llzk/Dialect/Cast/IR/Ops.h"#include "llzk/Dialect/Function/IR/Ops.h"#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include "llzk/Dialect/Polymorphic/IR/Ops.h"#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"#include "llzk/Dialect/Shared/TypeConversionPatterns.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include "llzk/Util/Debug.h"#include "llzk/Util/SymbolHelper.h"#include "llzk/Util/SymbolLookup.h"#include "llzk/Util/SymbolTableLLZK.h"#include "llzk/Util/TypeHelper.h"#include <mlir/IR/BuiltinOps.h>#include <mlir/Pass/PassManager.h>#include <mlir/Transforms/DialectConversion.h>#include <mlir/Transforms/GreedyPatternRewriteDriver.h>#include <mlir/Transforms/WalkPatternRewriteDriver.h>#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h.inc"Go to the source code of this file.
Classes | |
| class | llzk::polymorphic::impl::WildcardArraySpecializationPassBase< DerivedT > |
Namespaces | |
| namespace | llzk |
| namespace | llzk::polymorphic |
| namespace | llzk::polymorphic::impl |
| namespace | CastRefinement |
| namespace | WildcardFunctionSpecialization |
Macros | |
| #define | GEN_PASS_DEF_WILDCARDARRAYSPECIALIZATIONPASS |
| #define | DEBUG_TYPE "llzk-specialize-wildcard-arrays" |
Functions | |
| std::unique_ptr<::mlir::Pass > | llzk::polymorphic::impl::createWildcardArraySpecializationPass () |
| std::unique_ptr<::mlir::Pass > | llzk::polymorphic::impl::createWildcardArraySpecializationPass (WildcardArraySpecializationPassOptions options) |
| std::unique_ptr<::mlir::Pass > | llzk::polymorphic::createWildcardArraySpecializationPass () |
| std::unique_ptr<::mlir::Pass > | llzk::polymorphic::createWildcardArraySpecializationPass (WildcardArraySpecializationPassOptions options) |
This file implements the -llzk-specialize-wildcard-arrays pass.
Definition in file WildcardArraySpecializationPass.cpp.
| #define DEBUG_TYPE "llzk-specialize-wildcard-arrays" |
Definition at line 45 of file WildcardArraySpecializationPass.cpp.
| #define GEN_PASS_DEF_WILDCARDARRAYSPECIALIZATIONPASS |
Definition at line 41 of file WildcardArraySpecializationPass.cpp.