DialectRegistration.cpp File Reference

Defines dialect and pass registration functions for core LLZK dialects. More...

#include "llzk/Dialect/DialectRegistration.h"
#include "smt/Conversions/ConversionPasses.h"
#include "llzk/Analysis/AnalysisPasses.h"
#include "llzk/Dialect/Array/IR/Dialect.h"
#include "llzk/Dialect/Array/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Bool/IR/Dialect.h"
#include "llzk/Dialect/Bool/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Cast/IR/Dialect.h"
#include "llzk/Dialect/Constrain/IR/Dialect.h"
#include "llzk/Dialect/Felt/IR/Dialect.h"
#include "llzk/Dialect/Function/IR/Dialect.h"
#include "llzk/Dialect/Global/IR/Dialect.h"
#include "llzk/Dialect/Global/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Include/IR/Dialect.h"
#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.h"
#include "llzk/Dialect/LLZK/IR/Dialect.h"
#include "llzk/Dialect/POD/IR/Dialect.h"
#include "llzk/Dialect/POD/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Polymorphic/IR/Dialect.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk/Dialect/RAM/IR/Dialect.h"
#include "llzk/Dialect/SMTInfo/IR/SMTInfoDialect.h"
#include "llzk/Dialect/String/IR/Dialect.h"
#include "llzk/Dialect/Struct/IR/Dialect.h"
#include "llzk/Dialect/Struct/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Verif/IR/Dialect.h"
#include "llzk/Transforms/LLZKTransformationPassPipelines.h"
#include "llzk/Transforms/LLZKTransformationPasses.h"
#include "llzk/Transforms/SpecializedMemoryPasses.h"
#include "llzk/Validators/LLZKValidationPasses.h"
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Dialect/Func/Extensions/InlinerExtension.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/Dialect/SMT/IR/SMTDialect.h>
#include <mlir/IR/DialectRegistry.h>
#include <mlir/Pass/PassRegistry.h>
#include <mlir/Transforms/Passes.h>

Include dependency graph for DialectRegistration.cpp:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::mlir_patch
	Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 23.1.0 has a bug where the pass tracks poison values that it created during its current invocation only and may end up leaving behind dead poison values.

Functions
void	llzk::registerDialects (mlir::DialectRegistry &registry)
	Register core LLZK dialects, the MLIR arith, scf, and smt dialects, and verification extensions in registry.
void	llzk::registerPasses (mlir::DialectRegistry &registry)
	Register LLZK analysis, validation, and transformation passes and pipelines, SMT conversion passes, and MLIR transformation passes in the global pass registry.

Detailed Description

Defines dialect and pass registration functions for core LLZK dialects.

Definition in file DialectRegistration.cpp.