main.cpp

Go to the documentation of this file.

#include <cstdlib>
 
#include <string>
 
#include <fe/cli.h>
#include <fe/sys.h>
#include <fe/term.h>
 
#include <mim/config.h>
#include <mim/driver.h>
#include <mim/flags.h>
#include <mim/phase.h>
#include <mim/plugin.h>
 
#include <mim/ast/parser.h>
#include <mim/phase/optimize.h>
 
using namespace mim;
using namespace std::literals;
 
namespace {
 
enum Emit { AST, Dot, H, PY, Md, Mim, NestDot, Profile, Num_Emits };
 
/// Everything the command line configures that neither Flags nor fe::CodeDiag already holds.
struct Opts {
    std::string input;
    std::vector<std::string> plugins, search_paths, import_paths, prefix_paths, plugin_args;
    std::array<Out, Num_Emits> outs;
    DotConfig dot;
    bool no_opt = false;
};
 
void emit_help(fe::Cli& cli, Driver& driver, const std::vector<std::string>& plugins, bool md) {
    for (auto&& plugin : plugins) // a plugin declares its `-X` arguments in its shared library
        driver.load(plugin);
 
    if (!driver.known_args().empty()) {
        cli.section(md ? "Plugin Arguments {#xargs}" : "Plugin Arguments");
 
        for (const auto& [plugin, args] : driver.known_args()) {
            auto rows = fe::Cli::Rows();
            for (const auto& arg : args)
                rows.emplace_back(arg.syntax, arg.descr);
            // The Markdown links back to the plugin's page and carries the anchor that page links to.
            auto title = md ? std::format("[{0}](@ref {0}) {{#xarg_{0}}}", plugin) : plugin;
            cli.section(std::move(title), "Argument", std::move(rows));
        }
    }
    if (!driver.known_envs().empty()) {
        cli.section(md ? "Plugin Environment Variables {#envs}" : "Plugin Environment Variables");
 
        for (const auto& [plugin, envs] : driver.known_envs()) {
            auto rows = fe::Cli::Rows();
            for (const auto& env : envs)
                rows.emplace_back(env.name, env.descr);
            // Ditto.
            auto title = md ? std::format("[{0}](@ref {0}) {{#env_{0}}}", plugin) : std::string(plugin);
            cli.section(std::move(title), "Variable", std::move(rows));
        }
    }
 
    if (md)
        cli.markdown(std::cout);
    else
        std::cout << cli;
}
 
void emit_profile(Driver& driver, std::ostream& os) {
    switch (driver.flags().profile) {
        case Flags::Profile::Summary: driver.profiler().summary(os); break;
        case Flags::Profile::Tree: driver.profiler().tree(os); break;
        case Flags::Profile::Trace: driver.profiler().chrome_trace(os); break;
        case Flags::Profile::None: break;
    }
}
 
/// Parses `Opts::input` into @p driver's World, optimizes it, and emits whatever `--output-*` asked for.
int compile(Driver& driver, Opts& opts) {
    auto& world = driver.world();
    auto& outs  = opts.outs;
 
    try {
        auto name = fs::path(opts.input).filename().replace_extension().string();
        world.set(name);
 
        auto ast    = ast::AST(world);
        auto parser = ast::Parser(ast);
        auto file   = parser.import_main(opts.input, opts.plugins, outs[Md].os());
 
        if (!file) {
            ast.error().ack(); // prefer the parser's own diagnostic, if it recorded one
            fe::throwf("could not read file `{}`", opts.input);
        }
 
        if (auto s = outs[AST].os()) {
            auto tab = fe::Tab::spaces();
            file->stream(tab, *s);
 
            // Md is emitted while parsing, so nothing else needs a World; binding still catches scoping errors.
            auto only_parse = opts.plugin_args.empty()
                           && std::ranges::none_of(std::views::iota(0, int(Num_Emits)),
                                                   [&](int i) { return i != AST && i != Md && outs[i].os(); });
            if (only_parse) {
                file->bind(ast);
                ast.error().ack();
                return EXIT_SUCCESS;
            }
        }
 
        if (auto h = outs[H].os(), py = outs[PY].os(); h || py) {
            file->bind(ast);
            ast.error().ack();
            auto plugin = world.sym(name);
            if (h) ast.bootstrap(plugin, *h);
            if (py) ast.bootstrap_py(plugin, *py);
            return EXIT_SUCCESS;
        }
 
        file->compile(ast);
        std::exception_ptr opt_error;
        if (opts.no_opt)
            Cleanup(world).run(); // resolves the Hole%s elaboration solved, as optimize would first
        else
            try {
                optimize(world);
            } catch (...) {
                opt_error = std::current_exception(); // still emit the world the failing phase saw
            }
 
        if (auto s = outs[Dot].os()) world.dot(*s, opts.dot);
        if (auto s = outs[Mim].os()) world.dump(*s);
        if (auto s = outs[NestDot].os()) mim::Nest(world).dot(*s, opts.dot);
        if (auto s = outs[Profile].os()) emit_profile(driver, *s);
        if (opt_error) std::rethrow_exception(opt_error);
    } catch (const Error::Bail& e) {
        std::cerr << e;
        return EXIT_FAILURE;
    }
 
    return EXIT_SUCCESS;
}
 
} // namespace
 
int main(int argc, char** argv) {
    fe::term::resolve_mode(); // colors in std::format-ed output depend on Auto being resolved up front
    Driver driver;            // outlives the handlers below: an Error's Locs point into its SrcMap
 
    try {
        bool show_help         = false;
        bool show_help_md      = false;
        bool show_version      = false;
        bool list_search_paths = false;
        int verbose            = 0;
        Opts opts;
        auto& flags      = driver.flags();
        auto& diag       = driver.diag();
        auto inc_verbose = [&](bool) { ++verbose; };
#ifdef MIM_ENABLE_CHECKS
        std::vector<uint32_t> breakpoints, watchpoints;
#endif
 
        auto loc_style = [&](const std::string& t) -> std::string {
            // clang-format off
            if      (t == "full"  ) diag.loc_style = fe::Loc::Style::Full;
            else if (t == "rowcol") diag.loc_style = fe::Loc::Style::RowCol;
            else if (t == "row"   ) diag.loc_style = fe::Loc::Style::Row;
            else if (t == "msvc"  ) diag.loc_style = fe::Loc::Style::MSVC;
            else return std::format("'{}' is not a location style", t);
            // clang-format on
            return {};
        };
 
        auto profile = [&](const std::string& t) -> std::string {
            // clang-format off
            if      (t == "summary") flags.profile = Flags::Profile::Summary;
            else if (t == "tree"   ) flags.profile = Flags::Profile::Tree;
            else if (t == "trace"  ) flags.profile = Flags::Profile::Trace;
            else return std::format("'{}' is not a profile mode", t);
            // clang-format on
            return {};
        };
 
        // clang-format off
        auto cli = fe::Cli("mim", "MimIR is my Intermediate Representation.")
            .arg(opts.input, "file", "Input file.")
            .help(show_help)
            .opt(show_help_md              , ""          , ""  , "--help-md"             , "Displays this help as Markdown and exits.")
            .opt(show_version              , ""          , "-v", "--version"             , "Displays version info and exits.")
            .opt(list_search_paths         , ""          , "-l", "--list-search-paths"   , "Lists the search paths in order and exits.")
            .opt(opts.plugins              , "plugin"    , "-p", "--plugin"              , "Dynamically loads a plugin; `foo/bar` finds `libmim_bar` in each search path's `foo`.")
            .opt(opts.search_paths         , "path"      , "-P", "--plugin-path"         , "Path to search for plugins; also searched for imports.")
            .opt(opts.import_paths         , "path"      , "-I", "--import-path"         , "Path to search for imports.")
            .opt(opts.prefix_paths         , "path"      , "-R", "--prefix-path"         , "Install prefix/root to derive plugin, import, and runtime directories from.")
            .opt(opts.plugin_args          , "plugin:arg", "-X", "--plugin-arg"          , "Passes an argument to a plugin/phase, e.g. `-X ll:o=output.ll`. Repeatable.")
            .opt(flags.force_load          , ""          , ""  , "--force-load"          , "Loads plugins even on version mismatch.")
            .opt(flags.bootstrap           , ""          , ""  , "--bootstrap"           , "Bootstrap mode: only read Mim AST, don't compile to MimIR.")
            .opt(inc_verbose               , ""          , "-V", "--verbose"             , "Raises the log level from error to warn, info, verbose, debug, trace; repeatable.").cardinality(0, 5)
            .grp("Output")
            .opt(flags.ascii               , ""          , "-a", "--ascii"               , "Uses ASCII alternatives in output instead of UTF-8.")
            .opt(opts.outs[AST].name()     , "file"      , ""  , "--output-ast"          , "Emits the AST of the input.")
            .opt(opts.outs[Dot].name()     , "file"      , ""  , "--output-dot"          , "Emits the Mim program as a MimIR graph using Graphviz' DOT language.")
            .opt(opts.outs[H].name()       , "file"      , ""  , "--output-h"            , "Emits a header file to be used to interface with a plugin in C++.")
            .opt(opts.outs[Md].name()      , "file"      , ""  , "--output-md"           , "Emits the input formatted as Markdown.")
            .opt(opts.outs[Mim].name()     , "file"      , "-o", "--output-mim"          , "Emits the Mim program again.")
            .opt(opts.outs[NestDot].name() , "file"      , ""  , "--output-nest"         , "Emits the program's nesting tree using Graphviz' DOT language.")
            .opt(opts.outs[PY].name()      , "file"      , ""  , "--output-py"           , "Emits a Python enum to be used to interface with a plugin in Python.")
            .grp("DOT Output")
            .opt(opts.dot.all_annexes      , ""          , ""  , "--dot-all-annexes"     , "Emits all annexes in DOT output - even unused ones.")
            .opt(opts.dot.dark             , ""          , ""  , "--dot-dark"            , "Drops the white background of the DOT output and lightens its edges, so that it embeds into a dark backdrop.")
            .opt(opts.dot.default_filter   , ""          , ""  , "--dot-default-filter"  , "Always shows a lambda's filter in DOT output - even if it is the default one (`ff` for continuations, `tt` for direct-style functions).")
            .opt(opts.dot.follow_types     , ""          , ""  , "--dot-follow-types"    , "Follows type dependencies in DOT output.")
            .opt(opts.dot.inline_consts    , ""          , ""  , "--dot-inline-consts"   , "Wires up literals, axioms, etc. with normal edges in DOT output instead of detaching them into a separate row; useful for small graphs.")
            .opt(opts.dot.lean_labels      , ""          , ""  , "--dot-lean-labels"     , "Labels a DOT node `<node_name> <unique_name>` instead of the HTML table; this drops the per-op ports, so an edge no longer docks under the op it stands for.")
            .opt(opts.dot.no_tooltip       , ""          , ""  , "--dot-no-tooltip"      , "Omits the per-node tooltip from DOT output; it accounts for roughly two fifths of the file.")
            .opt(opts.dot.show_hidden      , ""          , ""  , "--dot-show-hidden"     , "Renders otherwise-transparent detached edges in DOT output - back-edges from a Var to its binder, shared literals/axioms, and type edges - in a subtle gray.")
            .grp("Mim Output")
            .opt(flags.mim_local           , ""          , ""  , "--mim-local"           , "Dumps each mutable as its own flat block without scheduling; the result does not read back but works for broken programs.")
            .opt(flags.mim_typed_let       , ""          , ""  , "--mim-typed-let"       , "Ascribes the type of each `let`-bound name; it is inferable from the right-hand side and hence elided by default.")
            .grp("Diagnostics")
            .opt(diag.gutter               , "width"     , ""  , "--gutter"              , "Width of a diagnostic's line-number column.")
            .opt(loc_style                 , "style"     , ""  , "--loc-style"           , "How a diagnostic spells out a source location: `full` (`path:row:col-row:col`), `rowcol` (`path:row:col`), `row` (`path:row`), or `msvc` (`path(row,col)`).")
            .opt(diag.max_errors           , "num"       , ""  , "--max-errors"          , "Maximum number of errors to report before dropping the rest; 0 reports all of them.")
            .opt(diag.max_rows             , "num"       , ""  , "--max-rows"            , "Maximum number of rows a diagnostic's snippet renders before eliding its middle; 0 elides nothing.")
            .opt(diag.no_snippet           , ""          , ""  , "--no-snippet"          , "Does not render the offending source line and caret underneath a diagnostic.")
            .opt(diag.werror               , ""          , ""  , "--werror"              , "Treats warnings as errors.")
            .grp("Profiling")
            .opt(opts.outs[Profile].name() , "file"      , ""  , "--output-profile"      , "Where to write the profiling information; defaults to stdout and implies --profile trace, if no `<mode>` is given.")
            .opt(profile                   , "mode"      , ""  , "--profile"             , "Measures how long each phase takes; `<mode>` is `summary`, `tree`, or `trace` (`chrome://tracing` compatible).")
            .grp("Optimization")
            .opt(flags.aggressive_lam_spec , ""          , ""  , "--aggr-lam-spec"       , "Overrides LamSpec behavior to follow recursive calls.")
            .opt(flags.max_fp_iters        , "num"       , ""  , "--max-fp-iters"        , "Maximum number of fixed-point iterations before a phase errors out; guards against non-monotone analyses.")
            .opt(opts.no_opt               , ""          , ""  , "--no-opt"              , "Elaborates the input but skips the optimization pipeline, so no backend runs; `--output-*` still works.")
            .opt(flags.scalarize_threshold , "threshold" , ""  , "--scalarize-threshold" , "MimIR will not scalarize tuples/packs/sigmas/arrays with a number of elements greater than or equal this threshold.")
#ifdef MIM_ENABLE_CHECKS
            .grp("Developer Options")
            .opt(breakpoints               , "gid"       , "-b", "--break"               , "Triggers a breakpoint when a node with this global id is created.")
            .opt(flags.break_on_alpha      , ""          , ""  , "--break-on-alpha"      , "Triggers a breakpoint as soon as two expressions turn out not to be alpha-equivalent.")
            .opt(flags.break_on_error      , ""          , ""  , "--break-on-error"      , "Triggers a breakpoint on an error log.")
            .opt(flags.break_on_warn       , ""          , ""  , "--break-on-warn"       , "Triggers a breakpoint on a warning log.")
            .opt(flags.reeval_breakpoints  , ""          , ""  , "--reeval-breakpoints"  , "Triggers a breakpoint even upon unifying a node that has already been built.")
            .opt(flags.trace_gids          , ""          , ""  , "--trace-gids"          , "Outputs gids during `World::unify`/`insert`.")
            .opt(watchpoints               , "gid"       , "-w", "--watch"               , "Triggers a breakpoint when a node with this global id is set.")
#endif
            .section("Environment Variables", "Variable", {
                {"MIM_PLUGIN_PATH", std::format("{}-separated list of plugin search paths, searched after those given via `-P`.", fe::sys::Path_Sep_Word)},
                {"MIM_IMPORT_PATH", std::format("{}-separated list of import search paths, searched after those given via `-I`.", fe::sys::Path_Sep_Word)},
                {"MIM_PREFIX_PATH", std::format("{}-separated list of install prefixes, searched after those given via `--prefix-path`.", fe::sys::Path_Sep_Word)},
                {"NO_COLOR"       , "Disables colored output if set to a non-empty value; wins over the two below."},
                {"CLICOLOR_FORCE" , "Forces colored output if set to a non-empty value other than 0."},
                {"CLICOLOR"       , "Disables colored output if set to 0."},
            })
            .epilog(R"(Every output option accepts "-" to write to stdout.)");
        // clang-format on
 
        if (auto err = cli.parse(argc, argv)) throw std::invalid_argument(*err);
 
        // Resolved here and not in the handlers, so that the order of the two profiling options does not matter.
        auto& profile_file = opts.outs[Profile].name();
        if (flags.profile == Flags::Profile::None && !profile_file.empty()) flags.profile = Flags::Profile::Trace;
        if (flags.profile != Flags::Profile::None && profile_file.empty()) profile_file = "-";
 
        for (auto&& path : opts.search_paths)
            driver.add_plugin_path(path);
 
        for (auto&& path : opts.import_paths)
            driver.add_import_path(path);
 
        for (auto&& path : opts.prefix_paths)
            driver.add_prefix_path(path);
 
        if (show_help || show_help_md) {
            emit_help(cli, driver, opts.plugins, show_help_md);
            return EXIT_SUCCESS;
        }
 
        if (show_version) {
            std::cout << "mim " << driver.version() << std::endl;
            return EXIT_SUCCESS;
        }
 
        for (auto&& pa : opts.plugin_args) {
            auto pos = pa.find(':');
            if (pos == std::string::npos)
                throw std::invalid_argument("error: --plugin-arg expects <plugin>:<arg>, got '" + pa + "'");
            driver.add_arg(std::string_view(pa).substr(0, pos), pa.substr(pos + 1));
        }
 
        if (list_search_paths) {
            auto list = [](std::string_view kind, const fe::Vector<fs::path>& paths) {
                std::cout << kind << ':' << std::endl;
                for (auto&& path : paths | std::views::drop(1)) // skip first empty path
                    std::cout << "    " << path << std::endl;
            };
            list("plugins", driver.plugin_paths());
            list("imports", driver.import_paths());
            list("runtimes", driver.rt_paths());
            return EXIT_SUCCESS;
        }
 
        driver.log().set(&std::cerr).set((fe::Log::Level)verbose);
#ifdef MIM_ENABLE_CHECKS
        driver.log().break_on_error = flags.break_on_error;
        driver.log().break_on_warn  = flags.break_on_warn;
        for (auto b : breakpoints)
            driver.world().breakpoint(b);
        for (auto w : watchpoints)
            driver.world().watchpoint(w);
#endif
 
        if (opts.input.empty()) throw std::invalid_argument("error: no input given");
 
        return compile(driver, opts);
    } catch (const std::exception& e) {
        std::println(std::cerr, "{}", e.what());
        return EXIT_FAILURE;
    } catch (...) {
        std::println(std::cerr, "error: unknown exception");
        return EXIT_FAILURE;
    }
}