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/adce.h>
#include <mim/phase/beta_red.h>
#include <mim/phase/dispatch_normalize.h>
#include <mim/phase/eta_conv.h>
#include <mim/phase/lam_spec.h>
#include <mim/phase/nom_erasure.h>
#include <mim/phase/ret_wrap.h>
#include <mim/phase/scalarize.h>
#include <mim/phase/sccp.h>
#include <mim/phase/single_erasure.h>
#include <mim/phase/static_arg_opt.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
static void	reg_phases (Flags2Phases &phases)
	MIM_PLUGIN_ENTRY (compile)

Variables
static constexpr PluginArg	known_args []

Function Documentation

MIM_PLUGIN_ENTRY()

MIM_PLUGIN_ENTRY

(

compile

)

Definition at line 84 of file compile.cpp.

References known_args, MIM_PLUGIN_ENTRY, reg_phases(), and mim::plug::compile::register_normalizers().

reg_phases()

void reg_phases ( Flags2Phases & phases )

static

Definition at line 57 of file compile.cpp.

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

Referenced by MIM_PLUGIN_ENTRY(), 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 78 of file compile.cpp.

Referenced by MIM_PLUGIN_ENTRY().