MimIR 0.1
MimIR is my Intermediate Representation
|
#include <mim/plug/clos/pass/clos_conv_prep.h>
Public Member Functions | |
ClosConvPrep (World &world, flags_t annex) | |
void | init (PassMan *) final |
void | enter () override |
Invoked just before Pass::rewriteing PassMan::curr_mut's body. | |
const Def * | rewrite (const Def *) override |
const App * | rewrite_arg (const App *app) |
const App * | rewrite_callee (const App *app) |
Lam * | scope (Lam *lam) |
bool | from_outer_scope (Lam *lam) |
bool | from_outer_scope (const Def *lam) |
const Def * | eta_wrap (const Def *def, attr a) |
![]() | |
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) | |
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 | 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_ |
Definition at line 13 of file clos_conv_prep.h.
Definition at line 15 of file clos_conv_prep.h.
References mim::Stage::annex(), mim::RWPass< ClosConvPrep, Lam >::RWPass(), and mim::Stage::world().
|
overridevirtual |
Invoked just before Pass::rewriteing PassMan::curr_mut's body.
Reimplemented from mim::Pass.
Definition at line 45 of file clos_conv_prep.cpp.
References mim::Lam::body(), mim::RWPass< ClosConvPrep, Lam >::curr_mut(), DLOG, mim::Pi::isa_cn(), mim::Lam::isa_mut_basicblock(), and mim::Pi::isa_returning().
Definition at line 35 of file clos_conv_prep.h.
References mim::World::call(), mim::RWPass< ClosConvPrep, Lam >::curr_mut(), scope(), mim::Def::type(), mim::Def::var(), and mim::Stage::world().
Referenced by rewrite_arg(), and rewrite_callee().
|
inline |
Definition at line 33 of file clos_conv_prep.h.
References mim::RWPass< ClosConvPrep, Lam >::curr_mut(), mim::Def::free_vars(), and mim::Sets< D, N >::Set::has_intersection().
|
inline |
Definition at line 27 of file clos_conv_prep.h.
References mim::RWPass< ClosConvPrep, Lam >::curr_mut(), and scope().
Referenced by rewrite_arg().
|
finalvirtual |
Reimplemented from mim::Pass.
Definition at line 35 of file clos_conv_prep.cpp.
References mim::Pass::init(), mim::Pass::man(), and mim::Pass::PassMan.
Reimplemented from mim::Pass.
Definition at line 138 of file clos_conv_prep.cpp.
References mim::Axm::isa(), rewrite_arg(), and rewrite_callee().
Definition at line 63 of file clos_conv_prep.cpp.
References mim::App::arg(), DLOG, eta_wrap(), mim::plug::clos::freeBB, from_outer_scope(), mim::plug::clos::fstclassBB, mim::Axm::isa(), mim::Def::isa_mut(), mim::Lam::isa_mut_basicblock(), mim::Def::proj(), mim::Def::refine(), mim::plug::clos::returning, mim::Def::set(), and mim::Stage::world().
Referenced by rewrite().
Definition at line 117 of file clos_conv_prep.cpp.
References mim::plug::clos::bottom, mim::App::callee(), mim::App::callee_type(), DLOG, eta_wrap(), mim::Pi::isa_cn(), mim::Def::refine(), mim::Def::set(), and mim::Def::type().
Referenced by rewrite().
Definition at line 40 of file clos_conv_prep.cpp.
Referenced by eta_wrap(), and from_outer_scope().