llzk-translate.cpp File Reference

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

#include "smt/Target/TranslateRegistration.h"
#include "tools/config.h"
#include "zklean/Target/TranslateRegistration.h"
#include "llzk/Config/Config.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/InitAllTranslations.h>
#include <mlir/Pass/PassManager.h>
#include <mlir/Pass/PassRegistry.h>
#include <mlir/Tools/mlir-translate/MlirTranslateMain.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-translate.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-translate tool configured for use on LLZK files.

Definition in file llzk-translate.cpp.

Function Documentation

main()

int main	(	int	argc,
		char **	argv )

Definition at line 43 of file llzk-translate.cpp.