LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
WildcardArraySpecializationPass.cpp File Reference

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"
Include dependency graph for WildcardArraySpecializationPass.cpp:

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)

Detailed Description

This file implements the -llzk-specialize-wildcard-arrays pass.

Definition in file WildcardArraySpecializationPass.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-specialize-wildcard-arrays"

Definition at line 45 of file WildcardArraySpecializationPass.cpp.

◆ GEN_PASS_DEF_WILDCARDARRAYSPECIALIZATIONPASS

#define GEN_PASS_DEF_WILDCARDARRAYSPECIALIZATIONPASS

Definition at line 41 of file WildcardArraySpecializationPass.cpp.