llzk-opt.cpp File Reference

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

#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 "r1cs/Dialect/IR/Dialect.h"
#include "r1cs/InitAllDialects.h"
#include <mlir/IR/DialectRegistry.h>
#include <mlir/Pass/PassManager.h>
#include <mlir/Pass/PassRegistry.h>
#include <mlir/Tools/mlir-opt/MlirOptMain.h>
#include <llvm/ADT/StringRef.h>
#include <llvm/Support/CommandLine.h>
#include <llvm/Support/PrettyStackTrace.h>
#include <llvm/Support/Signals.h>
#include "tools/config.h"

Include dependency graph for llzk-opt.cpp:

Go to the source code of this file.

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 53 of file llzk-opt.cpp.