MimIR 0.1
MimIR is my Intermediate Representation
|
Converts direct style function to cps functions. More...
#include <mim/plug/direct/pass/ds2cps.h>
Public Member Functions | |
DS2CPS (World &world, flags_t annex) | |
const Def * | rewrite (const Def *) override |
![]() | |
RWPass (World &world, std::string name) | |
RWPass (World &world, flags_t annex) | |
bool | inspect () const override |
Should the PassMan even consider this pass? | |
Lam * | curr_mut () const |
![]() | |
Pass (World &world, std::string name) | |
Pass (World &world, flags_t annex) | |
virtual void | init (PassMan *) |
PassMan & | man () |
const PassMan & | man () const |
size_t | index () const |
virtual const Def * | rewrite (const Var *var) |
virtual const Def * | rewrite (const Proxy *proxy) |
virtual undo_t | analyze (const Def *) |
virtual undo_t | analyze (const Var *) |
virtual undo_t | analyze (const Proxy *) |
virtual bool | fixed_point () const |
virtual void | enter () |
Invoked just before Pass::rewriteing PassMan::curr_mut's body. | |
virtual void | prepare () |
Invoked once before entering the main rewrite loop. | |
const Proxy * | proxy (const Def *type, Defs ops, u32 tag=0) |
const Proxy * | isa_proxy (const Def *def, u32 tag=0) |
Check whether given def is a Proxy whose Proxy::pass matches this Pass's IPass::index . | |
const Proxy * | as_proxy (const Def *def, u32 tag=0) |
![]() | |
World & | world () |
Driver & | driver () |
Log & | log () const |
std::string_view | name () const |
flags_t | annex () const |
Stage (World &world, std::string name) | |
Stage (World &world, flags_t annex) | |
virtual | ~Stage ()=default |
virtual std::unique_ptr< Stage > | recreate () |
Creates a new instance; needed by a fixed-point PhaseMan. | |
virtual void | apply (const App *) |
Invoked if your Stage has additional args. | |
virtual void | apply (Stage &) |
Dito, but invoked by Stage::recreate. | |
Additional Inherited Members | |
static auto | create (const Flags2Stages &stages, const Def *def) |
template<class A, class P> | |
static void | hook (Flags2Stages &stages) |
![]() | |
std::string | name_ |
Converts direct style function to cps functions.
To do so, for each (non-type-level) ds function a corresponding cps function is created:
Only the type signature of the function is changed and the body is wrapped in the newly added return continuation. (Technical detail: the arguments are substituted to fit the new function)
In a second distinct but connected step, the call sites are converted: For a direct style call f args
, the call to the cps function cps2ds_dep ... f_cps args
is introduced. The underlying substitution is f
-> cps2ds_dep ... f_cps
.
Definition at line 22 of file ds2cps.h.
References mim::Stage::annex(), mim::RWPass< DS2CPS, Lam >::RWPass(), and mim::Stage::world().
Reimplemented from mim::Pass.
Definition at line 13 of file ds2cps.cpp.
References mim::World::app(), DLOG, and mim::Stage::world().