Thorin 1.9.0
The Higher ORder INtermediate representation
|
#include <thorin/plug/clos/pass/clos_conv_prep.h>
Public Member Functions | |
ClosConvPrep (PassMan &man, EtaExp *eta_exp) | |
void | enter () override |
Invoked just before Pass::rewriteing PassMan::curr_mut's body. | |
Ref | rewrite (Ref) 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 (Ref lam) |
Ref | eta_wrap (Ref def, attr a) |
Public Member Functions inherited from thorin::RWPass< ClosConvPrep, Lam > | |
RWPass (PassMan &man, std::string_view name) | |
bool | inspect () const override |
Should the PassMan even consider this pass? | |
Lam * | curr_mut () const |
Public Member Functions inherited from thorin::Pass | |
Pass (PassMan &, std::string_view name) | |
virtual | ~Pass ()=default |
World & | world () |
PassMan & | man () |
const PassMan & | man () const |
std::string_view | name () const |
size_t | index () const |
virtual Ref | rewrite (const Var *var) |
virtual Ref | rewrite (const Proxy *proxy) |
virtual undo_t | analyze (Ref) |
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 (Ref type, Defs ops, u32 tag=0) |
const Proxy * | isa_proxy (Ref def, u32 tag=0) |
Check whether given def is a Proxy whose Proxy::pass matches this Pass's IPass::index . | |
const Proxy * | as_proxy (Ref def, u32 tag=0) |
Definition at line 14 of file clos_conv_prep.h.
Definition at line 16 of file clos_conv_prep.h.
|
overridevirtual |
Invoked just before Pass::rewriteing PassMan::curr_mut's body.
Reimplemented from thorin::Pass.
Definition at line 38 of file clos_conv_prep.cpp.
References thorin::Lam::body(), thorin::RWPass< ClosConvPrep, Lam >::curr_mut(), thorin::Pi::isa_cn(), thorin::Lam::isa_mut_basicblock(), thorin::Pi::isa_returning(), and thorin::Pass::world().
Definition at line 36 of file clos_conv_prep.h.
References thorin::World::call(), thorin::RWPass< ClosConvPrep, Lam >::curr_mut(), scope(), thorin::Def::type(), thorin::Def::var(), and thorin::Pass::world().
Referenced by rewrite_arg(), and rewrite_callee().
|
inline |
Definition at line 29 of file clos_conv_prep.h.
References thorin::RWPass< ClosConvPrep, Lam >::curr_mut(), and scope().
Referenced by rewrite_arg().
|
inline |
Definition at line 34 of file clos_conv_prep.h.
Reimplemented from thorin::Pass.
Definition at line 133 of file clos_conv_prep.cpp.
References rewrite_arg(), and rewrite_callee().
Definition at line 57 of file clos_conv_prep.cpp.
References thorin::App::arg(), eta_wrap(), thorin::plug::clos::freeBB, from_outer_scope(), thorin::plug::clos::fstclassBB, thorin::Def::isa_mut(), thorin::Lam::isa_mut_basicblock(), thorin::Def::proj(), thorin::Def::refine(), thorin::plug::clos::ret, thorin::Def::set(), and thorin::Pass::world().
Referenced by rewrite().
Definition at line 111 of file clos_conv_prep.cpp.
References thorin::plug::clos::bot, thorin::App::callee(), thorin::App::callee_type(), eta_wrap(), thorin::Pi::isa_cn(), thorin::Def::refine(), thorin::Def::set(), thorin::Def::type(), and thorin::Pass::world().
Referenced by rewrite().
Definition at line 33 of file clos_conv_prep.cpp.
References thorin::EtaExp::new2old().
Referenced by eta_wrap(), and from_outer_scope().