llzk-opt.cpp File Reference

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

#include "r1cs/DialectRegistration.h"
#include "tools/config.h"
#include "zklean/DialectRegistration.h"
#include "llzk/Config/Config.h"
#include "llzk/Dialect/DialectRegistration.h"
#include "llzk/Dialect/Include/Util/IncludeHelper.h"
#include <mlir/IR/DialectRegistry.h>
#include <mlir/IR/MLIRContext.h>
#include <mlir/IR/OperationSupport.h>
#include <mlir/Support/LogicalResult.h>
#include <mlir/Tools/mlir-opt/MlirOptMain.h>
#include <llvm/ADT/ArrayRef.h>
#include <llvm/ADT/StringRef.h>
#include <llvm/Support/CommandLine.h>
#include <llvm/Support/PrettyStackTrace.h>
#include <llvm/Support/Signals.h>
#include <llvm/Support/raw_ostream.h>
#include <cstdlib>
#include <exception>
#include <string>
#include <tuple>

Include dependency graph for llzk-opt.cpp:

Go to the source code of this file.

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

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 )

noexcept

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