MimIR 0.1
MimIR is my Intermediate Representation
|
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 <mim/pass/eta_exp.h>
Public Member Functions | |
EtaExp (World &world, flags_t annex) | |
void | init (PassMan *) final |
interface for other passes | |
const Proxy * | proxy (Lam *lam) |
void | new2old (Lam *new_lam, Lam *old_lam) |
Lam * | new2old (Lam *new_lam) |
![]() | |
FPPass (World &world, std::string name) | |
FPPass (World &world, flags_t annex) | |
bool | fixed_point () const 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) | |
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 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 (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. | |
Private Member Functions | |
PassMan hooks | |
const Def * | rewrite (const Def *) override |
undo_t | analyze (const Proxy *) override |
undo_t | analyze (const Def *) 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 | |
![]() | |
using | Super |
using | Data |
Default. | |
static auto | create (const Flags2Stages &stages, const Def *def) |
template<class A, class P> | |
static void | hook (Flags2Stages &stages) |
![]() | |
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. | |
![]() | |
std::string | name_ |
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).
enum mim::EtaExp::Pos : bool |
Definition at line 15 of file eta_exp.h.
References mim::Stage::annex(), mim::FPPass< EtaExp, Lam >::FPPass(), and mim::Stage::world().
Reimplemented from mim::Pass.
Definition at line 65 of file eta_exp.cpp.
References Callee, DLOG, mim::Def::is_set(), mim::isa_callee(), mim::Def::isa_mut(), new2old(), mim::No_Undo, Non_Callee_1, mim::Def::num_ops(), mim::Def::op(), pos(), pos2str(), and mim::FPPass< EtaExp, Lam >::undo_visit().
Reimplemented from mim::Pass.
Definition at line 58 of file eta_exp.cpp.
References DLOG, mim::No_Undo, proxy(), and mim::FPPass< EtaExp, Lam >::undo_visit().
|
finalvirtual |
Reimplemented from mim::Pass.
Definition at line 9 of file eta_exp.cpp.
References mim::Pass::init(), and mim::Pass::man().
Definition at line 14 of file eta_exp.cpp.
References mim::lookup(), and new2old().
|
inline |
Definition at line 45 of file eta_exp.h.
References mim::FPPass< EtaExp, Lam >::data().
Referenced by rewrite().
|
inline |
Definition at line 46 of file eta_exp.h.
References mim::FPPass< EtaExp, Lam >::data().
|
inlinestatic |
Definition at line 22 of file eta_exp.h.
References mim::Pass::proxy(), and mim::Lam::type().
Referenced by analyze().
Reimplemented from mim::Pass.
Definition at line 25 of file eta_exp.cpp.
References mim::Def::is_set(), mim::isa_callee(), mim::Def::isa_mut(), mim::lookup(), mim::Def::num_ops(), old2new(), mim::Def::op(), mim::Def::ops(), mim::Def::rebuild(), and mim::Def::type().