Function main

tools/alive-exec.cpp:194–263

unique_ptr<Cache> cache;

int main(int argc, char **argv) {
  llvm::sys::PrintStackTraceOnErrorSignal(argv[0]);
  llvm::InitLLVM X(argc, argv);
  llvm::EnableDebugBuffering = true;
  llvm::LLVMContext Context;

  std::string Usage =
      R"EOF(Alive2 stand-alone translation validator:
version )EOF";
  Usage += alive_version;
  Usage += R"EOF(
see alive-exec --version  for LLVM version info,

This program takes an LLVM IR file as a command-line argument.
Both .bc and .ll files are supported.

If one or more functions are specified (as a comma-separated list)
using the --funcs command line option, alive-exec will attempt to
execute them using Alive2 as an interpreter.

If no functions are specified on the command line, then alive-exec
will attempt to execute the 'main' function.
If it doesn't exist, alive-exec executes every function in the bitcode file.
)EOF";

  llvm::cl::HideUnrelatedOptions(alive_cmdargs);
  llvm::cl::ParseCommandLineOptions(argc, argv, Usage);

  auto M = openInputFile(Context, opt_file);
  if (!M.get()) {
    cerr << "Could not read bitcode from '" << opt_file << "'\n";
    return -1;
  }

#define ARGS_MODULE_VAR M
# include "llvm_util/cmd_args_def.h"

  auto &DL = M.get()->getDataLayout();
  llvm::Triple targetTriple(M.get()->getTargetTriple());
  llvm::TargetLibraryInfoWrapperPass TLI(targetTriple);

  llvm_util::initializer llvm_util_init(cerr, DL);
  smt::smt_initializer smt_init;

  auto *main_fn = findFunction(*M, "main");
  optional<StateValue> ret_val;

  if (main_fn && func_names.empty()) {
    State::resetGlobals();
    ret_val = exec(*main_fn, TLI);
  } else {
    for (auto &F : *M) {
      if (F.isDeclaration())
        continue;
      if (!func_names.empty() && !func_names.count(F.getName().str()))
        continue;
      State::resetGlobals();
      smt_init.reset();