compile.cpp File Reference

#include "mim/plug/compile/compile.h"
#include <mim/config.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/pass.h>
#include <mim/pass/pipelinebuilder.h>
#include <mim/pass/ret_wrap.h>
#include <mim/pass/scalarize.h>
#include <mim/pass/tail_rec_elim.h>
#include "mim/plug/compile/pass/debug_print.h"
#include "mim/plug/compile/pass/internal_cleanup.h"

Include dependency graph for compile.cpp:

Go to the source code of this file.

Functions
void	add_phases (Defs phases, World &world, Passes &passes, PipelineBuilder &builder)
void	add_passes (World &world, PipelineBuilder &builder, Passes &passes, DefVec &pass_list)
MIM_EXPORT mim::Plugin	mim_get_plugin ()

Function Documentation

add_passes()

void add_passes	(	World &	world,
		PipelineBuilder &	builder,
		Passes &	passes,
		DefVec &	pass_list )

Definition at line 25 of file compile.cpp.

References mim::PipelineBuilder::begin_pass_phase(), mim::PipelineBuilder::end_pass_phase(), and mim::plug::compile::handle_optimization_part().

Referenced by mim_get_plugin().

add_phases()

void add_phases	(	Defs	phases,
		World &	world,
		Passes &	passes,
		PipelineBuilder &	builder )

Definition at line 21 of file compile.cpp.

References mim::plug::compile::handle_optimization_part().

Referenced by mim_get_plugin().

mim_get_plugin()

MIM_EXPORT mim::Plugin mim_get_plugin

(

)

Definition at line 36 of file compile.cpp.

References add_passes(), mim::PipelineBuilder::add_phase(), add_phases(), mim::App::arg(), mim::assert_emplace(), mim::Annex::Base, mim::collect_args(), mim::PipelineBuilder::def2pass(), mim::Lit::get(), mim::Def::projs(), mim::plug::compile::register_normalizers(), mim::register_pass(), and mim::register_pass_with_arg().