Function main

tools/quick-fuzz.cpp:889–1041

} // namespace

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

  string Usage =
      R"EOF(Alive2 simple generative fuzzer:
version )EOF";
  Usage += alive_version;
  Usage += R"EOF(
see quick-fuzz --version for LLVM version info,

This program stress-tests LLVM and Alive2 by performing randomized
generation of LLVM functions, optimizing them, and then checking
refinement.

It currently contains two simple generators: "value," which generates
a single basic block containing integer operations, and "bb," which
exercises loop and control flow optimizations.

The recommended workflow is to run quick-fuzz until it finds an issue,
and then re-run with the same seed and also the --save-ir command line
option, in order to get a standalone test case that can then be
reduced using llvm-reduce.
)EOF";

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

  unique_ptr<Cache> cache;
  unique_ptr<Module> MDummy;
#define ARGS_MODULE_VAR MDummy
#include "llvm_util/cmd_args_def.h"

  Module M1("fuzz", Context);
  auto &DL = M1.getDataLayout();
  Triple targetTriple(M1.getTargetTriple());
  TargetLibraryInfoWrapperPass TLI(targetTriple);

  llvm_util::initializer llvm_util_init(*out, DL);
  smt::smt_initializer smt_init;
  Verifier verifier(TLI, smt_init, *out);
  verifier.always_verify = opt_always_verify;
  verifier.print_dot = opt_print_dot;
  verifier.bidirectional = opt_bidirectional;

  function<unique_ptr<Fuzzer>(Module &, long)> makeFuzzer;
  if (opt_fuzzer == "value") {
    makeFuzzer = [](Module &M, long seed) {
      return make_unique<ValueFuzzer>(M, seed);
    };
  } else if (opt_fuzzer == "bb") {
    makeFuzzer = [](Module &M, long seed) {
      return make_unique<BBFuzzer>(M, seed);
    };
  } else {
    *out << "Available fuzzers are \"value\" and \"bb\".\n\n";