compile.cpp File Reference

#include "mim/plug/compile/compile.h"
#include <memory>
#include <mim/config.h>
#include <mim/driver.h>
#include <mim/pass.h>
#include <mim/phase.h>
#include <mim/pass/beta_red.h>
#include <mim/pass/eta_exp.h>
#include <mim/pass/eta_red.h>
#include <mim/pass/lam_spec.h>
#include <mim/pass/scalarize.h>
#include <mim/pass/tail_rec_elim.h>
#include <mim/phase/beta_red_phase.h>
#include <mim/phase/branch_normalize.h>
#include <mim/phase/eta_exp_phase.h>
#include <mim/phase/eta_red_phase.h>
#include <mim/phase/prefix_cleanup.h>
#include <mim/phase/ret_wrap.h>
#include <mim/phase/sym_expr_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
	Stage hook for compile.named_phase, compile.named_pass, and compile.named_repl. More...

Functions
void	reg_stages (Flags2Stages &stages)
Plugin	mim_get_plugin ()

Function Documentation

mim_get_plugin()

Plugin mim_get_plugin

(

)

Definition at line 92 of file compile.cpp.

References MIM_EXPORT, MIM_VERSION, reg_stages(), and mim::plug::compile::register_normalizers().

reg_stages()

void reg_stages

(

Flags2Stages &

stages

)

Definition at line 59 of file compile.cpp.

References mim::assert_emplace(), mim::Annex::base(), and mim::Stage::hook().