compile.cpp File Reference

#include "thorin/plug/compile/compile.h"
#include <thorin/config.h>
#include <thorin/pass/beta_red.h>
#include <thorin/pass/eta_exp.h>
#include <thorin/pass/eta_red.h>
#include <thorin/pass/lam_spec.h>
#include <thorin/pass/pass.h>
#include <thorin/pass/pipelinebuilder.h>
#include <thorin/pass/ret_wrap.h>
#include <thorin/pass/scalarize.h>
#include <thorin/pass/tail_rec_elim.h>
#include "thorin/plug/compile/pass/debug_print.h"
#include "thorin/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)
THORIN_EXPORT thorin::Plugin	thorin_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 thorin::PipelineBuilder::begin_pass_phase(), thorin::PipelineBuilder::end_pass_phase(), and thorin::plug::compile::handle_optimization_part().

Referenced by thorin_get_plugin().

add_phases()

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

Definition at line 21 of file compile.cpp.

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

Referenced by thorin_get_plugin().

thorin_get_plugin()

THORIN_EXPORT thorin::Plugin thorin_get_plugin

(

)

Definition at line 36 of file compile.cpp.

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