mim::plug::compile Namespace Reference

The compile Plugin More...

Enumerations
%compile.Phase
enum class	Phase : flags_t
%compile.named
enum class	named : flags_t
%compile.phases
enum class	phases : flags_t
%compile.beta_red
enum class	beta_red : flags_t
%compile.branch_normalize
enum class	branch_normalize : flags_t
%compile.cleanup
enum class	cleanup : flags_t
%compile.eta_conv
enum class	eta_conv : flags_t
%compile.lam_spec
enum class	lam_spec : flags_t
%compile.null
enum class	null : flags_t
%compile.ret_wrap
enum class	ret_wrap : flags_t
%compile.scalarize
enum class	scalarize : flags_t
%compile.tail_rec_elim
enum class	tail_rec_elim : flags_t
%compile.prefix_cleanup
enum class	prefix_cleanup : flags_t
%compile.internal_cleanup
enum class	internal_cleanup : flags_t

Functions
void	register_normalizers (Normalizers &normalizers)

Variables
static constexpr plugin_t	Plugin_Id = 0x11039128d1800000

%compile.is_loaded
enum class	is_loaded : flags_t
const Def *	normalize_is_loaded (const Def *, const Def *, const Def *arg)

%compile.cond
enum class	cond : flags_t
const Def *	normalize_cond (const Def *, const Def *callee, const Def *phase)
	compile.cond name phase ↦ phase if name's plugin is loaded, else compile.null.

%compile.aggr
enum class	aggr : flags_t
const Def *	normalize_aggr (const Def *, const Def *, const Def *arg)
	compile.aggr fallback ↦ tt/ff if -X compile:aggr=on/=off was passed, else fallback.

Detailed Description

The compile Plugin

Enumeration Type Documentation

aggr

enum class mim::plug::compile::aggr : flags_t

strong

Definition at line 44 of file autogen.h.

beta_red

enum class mim::plug::compile::beta_red : flags_t

strong

Definition at line 59 of file autogen.h.

branch_normalize

enum class mim::plug::compile::branch_normalize : flags_t

strong

Definition at line 66 of file autogen.h.

cleanup

enum class mim::plug::compile::cleanup : flags_t

strong

Definition at line 73 of file autogen.h.

cond

enum class mim::plug::compile::cond : flags_t

strong

Definition at line 36 of file autogen.h.

eta_conv

enum class mim::plug::compile::eta_conv : flags_t

strong

Definition at line 80 of file autogen.h.

internal_cleanup

enum class mim::plug::compile::internal_cleanup : flags_t

strong

Definition at line 129 of file autogen.h.

is_loaded

enum class mim::plug::compile::is_loaded : flags_t

strong

Definition at line 21 of file autogen.h.

lam_spec

enum class mim::plug::compile::lam_spec : flags_t

strong

Definition at line 87 of file autogen.h.

named

enum class mim::plug::compile::named : flags_t

strong

Definition at line 29 of file autogen.h.

null

enum class mim::plug::compile::null : flags_t

strong

Definition at line 94 of file autogen.h.

Phase

enum class mim::plug::compile::Phase : flags_t

strong

Definition at line 14 of file autogen.h.

phases

enum class mim::plug::compile::phases : flags_t

strong

Definition at line 52 of file autogen.h.

prefix_cleanup

enum class mim::plug::compile::prefix_cleanup : flags_t

strong

Definition at line 122 of file autogen.h.

ret_wrap

enum class mim::plug::compile::ret_wrap : flags_t

strong

Definition at line 101 of file autogen.h.

scalarize

enum class mim::plug::compile::scalarize : flags_t

strong

Definition at line 108 of file autogen.h.

tail_rec_elim

enum class mim::plug::compile::tail_rec_elim : flags_t

strong

Definition at line 115 of file autogen.h.

Function Documentation

normalize_aggr()

const Def * mim::plug::compile::normalize_aggr	(	const Def *	,
		const Def *	,
		const Def *	arg )

compile.aggr fallback ↦ tt/ff if -X compile:aggr=on/=off was passed, else fallback.

Definition at line 17 of file normalizers.cpp.

References mim::World::driver(), and mim::Def::world().

normalize_cond()

const Def * mim::plug::compile::normalize_cond	(	const Def *	,
		const Def *	callee,
		const Def *	phase )

compile.cond name phase ↦ phase if name's plugin is loaded, else compile.null.

Definition at line 30 of file normalizers.cpp.

References mim::Annex::base(), mim::World::driver(), mim::tuple2str(), and mim::Def::world().

normalize_is_loaded()

const Def * mim::plug::compile::normalize_is_loaded	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 8 of file normalizers.cpp.

References mim::World::driver(), mim::tuple2str(), and mim::Def::world().

register_normalizers()

void mim::plug::compile::register_normalizers

(

Normalizers &

normalizers

)

Referenced by mim_get_plugin().

Variable Documentation

Plugin_Id

plugin_t mim::plug::compile::Plugin_Id = 0x11039128d1800000

staticconstexpr

Definition at line 10 of file autogen.h.