Performs η-expansion: f -> λx.f x, if f is a Lam with more than one user and does not appear in callee position.
More...
#include <thorin/pass/eta_exp.h>
Public Member Functions | |
| EtaExp (PassMan &man, EtaRed *eta_red) | |
interface for other passes | |
| const Proxy * | proxy (Lam *lam) |
| void | new2old (Lam *new_lam, Lam *old_lam) |
| Lam * | new2old (Lam *new_lam) |
 Public Member Functions inherited from thorin::FPPass< EtaExp, Lam > | |
| FPPass (PassMan &man, std::string_view name) | |
| bool | fixed_point () const override |
| Public Member Functions inherited from thorin::RWPass< P, M > | |
| RWPass (PassMan &man, std::string_view name) | |
| bool | inspect () const override |
| Should the PassMan even consider this pass? | |
| M * | 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 (const Var *) |
| 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 (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) |
Private Member Functions | |
PassMan hooks | |
| Ref | rewrite (Ref) override |
| undo_t | analyze (const Proxy *) override |
| undo_t | analyze (Ref) override |
Lattice | |
EtaExp uses the following lattice: expand_ <-- η-expand non-callee as the Lam occurs more than once.
/ \ Don't η-reduce the expansion again.
Callee Non_Callee_1 <-- Pos: Either multiple callees, **or** exactly one non-callee are okay.
\ /
Bot <-- Never seen.
| |
| enum | Pos : bool { Callee , Non_Callee_1 } |
| using | Data = std::tuple< Def2Def, LamMap< Pos > > |
| auto & | old2new () |
| auto & | pos () |
| static std::string_view | pos2str (Pos pos) |
Additional Inherited Members | |
| Public Types inherited from thorin::FPPass< EtaExp, Lam > | |
| using | Super = RWPass< EtaExp, Lam > |
| using | Data = std::tuple<> |
| Default. | |
| Protected Member Functions inherited from thorin::FPPass< EtaExp, Lam > | |
| const auto & | states () const |
| auto & | states () |
| auto & | data () |
| auto & | data () |
| auto & | data (const K &key) |
Use this for your convenience if P::Data is a map. | |
| auto & | data (const K &key) |
Use this for your convenience if P::Data<I> is a map. | |
| undo_t | curr_undo () const |
| Current undo point. | |
| undo_t | undo_visit (Def *mut) const |
Retrieves the point to backtrack to just before mut was seen the very first time. | |
| undo_t | undo_enter (Def *mut) const |
Retrieves the point to backtrack to just before rewriting mut's body. | |
Detailed Description
Performs η-expansion: f -> λx.f x, if f is a Lam with more than one user and does not appear in callee position.
This rule is a generalization of critical edge elimination. It gives other Passes such as SSAConstr the opportunity to change f's signature (e.g. adding or removingp Vars).
Member Typedef Documentation
◆ Data
| using thorin::EtaExp::Data = std::tuple<Def2Def, LamMap<Pos> > |
Member Enumeration Documentation
◆ Pos
| enum thorin::EtaExp::Pos : bool |
Constructor & Destructor Documentation
◆ EtaExp()
Member Function Documentation
◆ analyze() [1/2]
Reimplemented from thorin::Pass.
Definition at line 53 of file eta_exp.cpp.
References thorin::Def::as_mut(), thorin::No_Undo, thorin::Def::op(), proxy(), thorin::FPPass< EtaExp, Lam >::undo_visit(), and thorin::Pass::world().
◆ analyze() [2/2]
Reimplemented from thorin::Pass.
Definition at line 60 of file eta_exp.cpp.
References Callee, thorin::Def::is_set(), thorin::isa_callee(), thorin::Def::isa_mut(), new2old(), thorin::No_Undo, Non_Callee_1, thorin::Def::num_ops(), thorin::Def::op(), pos(), pos2str(), thorin::FPPass< EtaExp, Lam >::undo_visit(), and thorin::Pass::world().
◆ new2old() [1/2]
Definition at line 9 of file eta_exp.cpp.
References thorin::lookup(), and new2old().
◆ new2old() [2/2]
Definition at line 22 of file eta_exp.h.
Referenced by analyze(), new2old(), thorin::plug::mem::CopyProp::rewrite(), and thorin::plug::clos::ClosConvPrep::scope().
◆ old2new()
|
inline |
◆ pos()
|
inline |
◆ pos2str()
|
inlinestatic |
◆ proxy()
Definition at line 21 of file eta_exp.h.
References thorin::Pass::proxy(), and thorin::Lam::type().
Referenced by analyze(), and thorin::plug::mem::SSAConstr::rewrite().
◆ rewrite()
Reimplemented from thorin::Pass.
Definition at line 20 of file eta_exp.cpp.
References thorin::Def::is_set(), thorin::isa_callee(), thorin::Def::isa_mut(), thorin::lookup(), thorin::Def::num_ops(), old2new(), thorin::Def::op(), thorin::Def::ops(), thorin::Def::rebuild(), and thorin::Def::type().
The documentation for this class was generated from the following files:
- include/thorin/pass/eta_exp.h
- src/thorin/pass/eta_exp.cpp
