Performs typed closure conversion, rebuilding the old world into a new one. More...

#include <mim/plug/clos/phase/clos_conv.h>

Inheritance diagram for mim::plug::clos::phase::ClosConv:

Public Member Functions
	ClosConv (World &world, flags_t annex)
Public Member Functions inherited from mim::RWPhase
	RWPhase (World &world, std::string name, Analysis *analysis=nullptr)
	RWPhase (World &world, flags_t annex, Analysis *analysis=nullptr)
void	rewrite_annex (flags_t, Sym, const Def *) override
void	rewrite_external (Def *) override
World &	world ()=delete
	Hides both and forbids direct access.
World &	old_world ()
	Get old Defs from here.
World &	new_world ()
	Create new Defs into this.
Public Member Functions inherited from mim::RWBase
Analysis *	analysis ()
const Analysis *	analysis () const
const Def *	lattice (const Def *def) const
	Returns the abstract value computed by the associated Analysis for `def`, or nullptr if no value is available.
const Def *	abstracted (const Def *def) const
	Returns lattice(`def`) if it differs from `def` (i.e. we learned something), otherwise nullptr.
virtual bool	analyze ()
	Runs the optional pre-analysis on Phase::world, typically to a fixed point, before rewriting begins.
bool	is_bootstrapping () const
	Returns whether we are currently bootstrapping (rewriting annexes).
Public Member Functions inherited from mim::Phase
	Phase (World &world, std::string name)
	Phase (World &world, flags_t annex)
virtual	~Phase ()=default
virtual std::unique_ptr< Phase >	recreate ()
	Creates a new instance; needed by a fixed-point PhaseMan.
virtual void	apply (const App *)
	Invoked if your Phase has additional args.
virtual void	apply (Phase &)
	Dito, but invoked by Phase::recreate.
virtual bool	redirects () const
	If true, Phase::create uses take_resolved().
virtual std::unique_ptr< Phase >	take_resolved ()
	The Phase to use instead; nullptr means elide.
World &	world ()
Driver &	driver ()
const fe::Log &	log () const
std::string_view	name () const
flags_t	annex () const
const fe::Vector< std::string > &	args ()
	Command-line arguments passed to this Phase's plugin via -X <plugin>:<arg>.
bool	todo () const
void	invalidate (bool todo=true)
	Signals that another round of fixed-point iteration is required, either as part of.
virtual void	run ()
	Entry point and generates some debug output; invokes Phase::start.
void	profile_count (std::string_view key, uint64_t n=1)
	Adds `n` to the custom fe::Profiler counter `key` of the current run; no-op unless profiling is enabled.
Public Member Functions inherited from mim::Rewriter
template<class D = Def>
D *	curr_mut () const
	Rewriter (std::unique_ptr< World > &&ptr)
	Rewriter (World &world)
virtual	~Rewriter ()
void	reset (std::unique_ptr< World > &&ptr)
void	reset ()
World &	world ()
virtual void	push ()
virtual void	pop ()
virtual const Def *	map (const Def old_def, const Def new_def)
const Def *	map_root (const Def old_def, const Def new_def)
	Like map() but records into the root map, so the entry outlives the current push()/pop() scope.
const Def *	map (const Def *old_def, Defs new_defs)
const Def *	map (Defs old_defs, const Def *new_def)
const Def *	map (Defs old_defs, Defs new_defs)
virtual const Def *	lookup (const Def *old_def)
	Lookup old_def by searching in reverse through the stack of maps.
virtual const Def *	rewrite (const Def *)
virtual const Def *	rewrite_imm (const Def *)
virtual const Def *	rewrite_mut (Def *)
virtual const Def *	rewrite_stub (Def , Def )
virtual DefVec	rewrite (Defs)
virtual const Def *	rewrite_imm_Seq (const Seq *seq)
virtual const Def *	rewrite_mut_Seq (Seq *seq)

Private Member Functions
Rewrite hooks
void	rewrite_external (Def *) final
void	finalize () final
	Run after all roots have been walked - but for an RWPhase still before the two worlds are swapped.
const Def *	rewrite_imm_Pi (const Pi *) final
const Def *	rewrite_mut_Pi (Pi *) final
const Def *	rewrite_mut_Lam (Lam *) final
const Def *	rewrite_imm_App (const App *) final
const Def *	rewrite_imm_Extract (const Extract *) final
const Def *	rewrite_mut_Global (Global *) final

Additional Inherited Members
Static Public Member Functions inherited from mim::Phase
static std::unique_ptr< Phase >	create (const Flags2Phases &phases, const Def *def)
template<class A, class P>
static void	hook (Flags2Phases &phases)
template<class P, class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Protected Member Functions inherited from mim::RWPhase
void	start () override
	RWBase::start() and then swaps the two worlds.
Protected Member Functions inherited from mim::RWBase
virtual const Def *	rewrite_root (const Def *def)
	Rewrites a root - i.e. an annex or an external.
	RWBase (World &world, std::string name, Analysis *analysis)
	RWBase (World &world, flags_t annex, Analysis *analysis)
	RWBase (World &world, std::string name, Analysis *analysis, std::unique_ptr< World > &&new_world)
	Rewrite the World of Phase::world into `new_world`.
	RWBase (World &world, flags_t annex, Analysis *analysis, std::unique_ptr< World > &&new_world)
Protected Member Functions inherited from mim::Rewriter
auto	enter (Def *new_mut)
	Updates curr_mut() to `new_mut` and restores it at the end of the scope.
Protected Attributes inherited from mim::Phase
std::string	name_
Protected Attributes inherited from mim::Rewriter
std::deque< Def2Def >	old2news_

Detailed Description

Performs typed closure conversion, rebuilding the old world into a new one.

This is based on the Simply Typed Closure Conversion. Closures are represented using tuples: [Env: *, Cn [Env, Args..], Env]. In general only continuations are converted; different kinds of Lams are treated differently:

returning continuations ("functions"), join-points and branches are fully closure converted.
return continuations are not closure converted.
first-class continuations get a "dummy" closure; they still have free variables.

This phase relies on ClosConvPrep to introduce annotations for these cases.

A converted Lam is first stubbed (ClosConv::make_stub) and packed at each use site, while its body is enqueued and rewritten later (ClosConv::rewrite_body) in its own fresh substitution scope. This isolation is essential: inside a closure's body its free defs are replaced by projections of its own environment, and those substitutions must not leak into the enclosing scope where the closure was packed.

Note: Direct-style Defs are not rewritten, which can be a problem for certain Axms such as ax : (B : *, int → B) → (int → B). There is also no machinery for free variables in a Lam's type, which may break polymorphic functions.

Definition at line 83 of file clos_conv.h.

Constructor & Destructor Documentation

◆ ClosConv()

mim::plug::clos::phase::ClosConv::ClosConv	(	World &	world,
		flags_t	annex )

inline

Definition at line 85 of file clos_conv.h.

References mim::Phase::annex(), mim::RWPhase::RWPhase(), and mim::RWPhase::world().

Member Function Documentation

◆ finalize()

void mim::plug::clos::phase::ClosConv::finalize ( )

finalprivatevirtual

Run after all roots have been walked - but for an RWPhase still before the two worlds are swapped.

This is where you drain a worklist of rewrites your hooks deferred (see e.g. clos::phase::ClosConv).

Reimplemented from mim::RWBase.

Definition at line 132 of file clos_conv.cpp.

References mim::Rewriter::pop(), and mim::Rewriter::push().

◆ rewrite_external()

void mim::plug::clos::phase::ClosConv::rewrite_external ( Def * old_mut )

finalprivatevirtual

Implements mim::RWBase.

Definition at line 122 of file clos_conv.cpp.

References mim::Def::is_external(), mim::Rewriter::pop(), mim::Rewriter::push(), and mim::RWBase::rewrite_root().

◆ rewrite_imm_App()

const Def * mim::plug::clos::phase::ClosConv::rewrite_imm_App ( const App * app )

finalprivate

Definition at line 167 of file clos_conv.cpp.

References mim::World::app(), mim::App::arg(), mim::App::callee(), mim::plug::clos::clos_apply(), mim::RWBase::is_bootstrapping(), mim::Axm::isa(), mim::RWPhase::new_world(), and mim::Rewriter::rewrite().

◆ rewrite_imm_Extract()

const Def * mim::plug::clos::phase::ClosConv::rewrite_imm_Extract ( const Extract * ex )

finalprivate

Definition at line 209 of file clos_conv.cpp.

References mim::Lit::as(), mim::plug::clos::env_param(), mim::RWBase::is_bootstrapping(), mim::plug::clos::isa_var_proj(), and mim::plug::clos::skip_env().

◆ rewrite_imm_Pi()

const Def * mim::plug::clos::phase::ClosConv::rewrite_imm_Pi ( const Pi * pi )

finalprivate

Definition at line 143 of file clos_conv.cpp.

References mim::RWBase::is_bootstrapping(), and mim::Pi::isa_cn().

◆ rewrite_mut_Global()

const Def * mim::plug::clos::phase::ClosConv::rewrite_mut_Global ( Global * global )

finalprivate

Definition at line 224 of file clos_conv.cpp.

References mim::Rewriter::pop(), and mim::Rewriter::push().

◆ rewrite_mut_Lam()

const Def * mim::plug::clos::phase::ClosConv::rewrite_mut_Lam ( Lam * old_lam )

finalprivate

Definition at line 153 of file clos_conv.cpp.

References mim::plug::clos::clos_pack(), mim::RWBase::is_bootstrapping(), mim::Lam::isa_cn(), mim::Phase::log(), mim::Rewriter::map(), mim::RWPhase::new_world(), mim::Rewriter::rewrite(), and mim::Lam::type().

◆ rewrite_mut_Pi()

const Def * mim::plug::clos::phase::ClosConv::rewrite_mut_Pi ( Pi * pi )

finalprivate

Definition at line 148 of file clos_conv.cpp.

References mim::RWBase::is_bootstrapping(), and mim::Pi::isa_cn().

The documentation for this class was generated from the following files:

include/mim/plug/clos/phase/clos_conv.h
src/mim/plug/clos/phase/clos_conv.cpp

Public Member Functions

Private Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ ClosConv()

Member Function Documentation

◆ finalize()

◆ rewrite_external()

◆ rewrite_imm_App()

◆ rewrite_imm_Extract()

◆ rewrite_imm_Pi()

◆ rewrite_mut_Global()

◆ rewrite_mut_Lam()

◆ rewrite_mut_Pi()