llzk-opt.cpp File Reference

This file implements a version of the mlir-opt tool configured for use on LLZK files. More...

#include "r1cs/Dialect/IR/Dialect.h"
#include "r1cs/DialectRegistration.h"
#include "r1cs/Transforms/TransformationPasses.h"
#include "smt/Conversions/ConversionPasses.h"
#include "tools/config.h"
#include "zklean/Conversions/Passes.h"
#include "zklean/DialectRegistration.h"
#include "zklean/Transforms/ZKLeanPasses.h"
#include "llzk/Analysis/AnalysisPasses.h"
#include "llzk/Config/Config.h"
#include "llzk/Dialect/Array/Transforms/TransformationPasses.h"
#include "llzk/Dialect/Include/Transforms/InlineIncludesPass.h"
#include "llzk/Dialect/Include/Util/IncludeHelper.h"
#include "llzk/Dialect/InitDialects.h"
#include "llzk/Dialect/Polymorphic/Transforms/TransformationPasses.h"
#include "llzk/Transforms/LLZKTransformationPasses.h"
#include "llzk/Validators/LLZKValidationPasses.h"
#include <mlir/Dialect/Func/Extensions/InlinerExtension.h>
#include <mlir/Dialect/Func/IR/FuncOps.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/IR/DialectRegistry.h>
#include <mlir/Pass/PassManager.h>
#include <mlir/Pass/PassRegistry.h>
#include <mlir/Tools/mlir-opt/MlirOptMain.h>
#include <mlir/Transforms/Passes.h>
#include <llvm/ADT/StringRef.h>
#include <llvm/Support/CommandLine.h>
#include <llvm/Support/PrettyStackTrace.h>
#include <llvm/Support/Signals.h>

Include dependency graph for llzk-opt.cpp:

Go to the source code of this file.

Classes
class	mlir_hotfix::RemoveDeadValuesWorkaroundPass

Namespaces
namespace	mlir_hotfix
	Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 20 has a bug in that pass which causes an assertion failure when it encounters an scf.if op with an empty else region.

Functions
int	main (int argc, char **argv)

Detailed Description

This file implements a version of the mlir-opt tool configured for use on LLZK files.

Definition in file llzk-opt.cpp.

Function Documentation

main()

int main	(	int	argc,
		char **	argv )

Definition at line 144 of file llzk-opt.cpp.