compile.cpp File Reference

#include "mim/plug/compile/compile.h"
#include <memory>
#include <mim/config.h>
#include <mim/driver.h>
#include <mim/phase.h>
#include <mim/phase/beta_red.h>
#include <mim/phase/branch_normalize.h>
#include <mim/phase/eta_conv.h>
#include <mim/phase/lam_spec.h>
#include <mim/phase/ret_wrap.h>
#include <mim/phase/scalarize.h>
#include <mim/phase/static_arg_opt.h>
#include <mim/phase/unload.h>
#include "mim/plug/compile/autogen.h"

Include dependency graph for compile.cpp:

Go to the source code of this file.

Classes
class	Named
	Phase hook for compile.named. More...

Functions
void	reg_phases (Flags2Phases &phases)
Plugin	mim_get_plugin ()

Variables
static constexpr PluginArg	known_args []

Function Documentation

mim_get_plugin()

Plugin mim_get_plugin

(

)

Definition at line 78 of file compile.cpp.

References known_args, MIM_EXPORT, mim::mim_get_plugin(), MIM_VERSION, reg_phases(), and mim::plug::compile::register_normalizers().

reg_phases()

void reg_phases

(

Flags2Phases &

phases

)

Definition at line 54 of file compile.cpp.

References mim::Annex::base(), mim::Phase::hook(), and reg_phases().

Variable Documentation

known_args

PluginArg known_args[]

staticconstexpr

Initial value:

                                      = {
    {"aggr",    "Forces `compile.aggr` to `tt`, switching fixed-point iteration of the `opt` pipeline's `optimize` stage on (off by default)."},
    {"no-aggr", "Forces `compile.aggr` to `ff`, switching that fixed-point iteration off."},
}

Definition at line 72 of file compile.cpp.

Referenced by mim_get_plugin().