llzk-translate.cpp

Go to the documentation of this file.

//===-- llzk-translate.cpp - LLZK translate tool ----------------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2026 Project LLZK
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
//===----------------------------------------------------------------------===//
 
#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>
 
#if LLZK_WITH_PCL
#include "pcl/Target/TranslateRegistration.h"
#endif // LLZK_WITH_PCL
 
using namespace llzk;
 
int main(int argc, char **argv) {
  llvm::sys::PrintStackTraceOnErrorSignal(llvm::StringRef());
  llvm::setBugReportMsg(
      "PLEASE submit a bug report to " BUG_REPORT_URL
      " and include the crash backtrace, relevant LLZK files,"
      " and associated run script(s).\n"
  );
  llvm::cl::AddExtraVersionPrinter([](llvm::raw_ostream &os) {
    os << "\nLLZK (" LLZK_URL "):\n  LLZK version " LLZK_VERSION_STRING "\n";
  });
 
  // Register all MLIR translations
  mlir::registerAllTranslations();
  smt::registerSmtTranslation();
  zklean::registerZKLeanTranslation();
#if LLZK_WITH_PCL
  pcl::registerPclTranslation();
#endif
 
  // Run 'mlir-translate'
  return failed(mlir::mlirTranslateMain(argc, argv, "LLZK Translation tool"));
}