MimIR 0.1
MimIR is my Intermediate Representation
|
Inlines in post-order all Lams that occur exactly once in the program. More...
#include <mim/phase/eta_exp_phase.h>
Public Member Functions | |
EtaExpPhase (World &) | |
![]() | |
FPPhase (World &world, std::string name) | |
void | start () override |
Actual entry. | |
![]() | |
bool | is_bootstrapping () const |
RWPhase (World &world, std::string name) | |
void | reset () override |
virtual void | rewrite_annex (flags_t, const Def *) |
World & | world ()=delete |
Hides both and forbids direct access. | |
World & | old_world () |
Get old Defs from here. | |
World & | new_world () |
Create new Defs into this. | |
![]() | |
Phase (World &world, std::string name) | |
virtual | ~Phase ()=default |
World & | world () |
std::string_view | name () const |
bool | todo () const |
virtual void | run () |
Entry point and generates some debug output; invokes Phase::start. | |
![]() | |
Rewriter (std::unique_ptr< World > &&ptr) | |
Rewriter (World &world) | |
void | reset (std::unique_ptr< World > &&ptr) |
void | reset () |
World & | world () |
virtual void | push () |
virtual void | pop () |
const Def * | map (const Def *old_def, const Def *new_def) |
Map old_def to new_def and returns new_def . | |
const Def * | lookup (const Def *old_def) |
Lookup old_def by searching in reverse through the stack of maps. | |
virtual const Def * | rewrite_imm (const Def *) |
virtual const Def * | rewrite_mut (Def *) |
virtual const Def * | rewrite_stub (Def *, Def *) |
virtual DefVec | rewrite (Defs) |
virtual const Def * | rewrite_imm_Seq (const Seq *seq) |
virtual const Def * | rewrite_mut_Seq (Seq *seq) |
Private Member Functions | |
void | reset () final |
bool | analyze () final |
void | rewrite_external (Def *) final |
const Def * | rewrite_imm_App (const App *) final |
const Def * | rewrite_imm_Var (const Var *) final |
Additional Inherited Members | |
template<class P, class... Args> | |
static void | run (Args &&... args) |
Runs a single Phase. | |
![]() | |
void | start () override |
Actual entry. | |
![]() | |
bool | bootstrapping_ = true |
![]() | |
bool | todo_ = false |
Set to true to indicate that you want to rerun all Phasees in current your fixed-point PhaseMan. | |
Inlines in post-order all Lams that occur exactly once in the program.
Definition at line 9 of file eta_exp_phase.h.
mim::EtaExpPhase::EtaExpPhase | ( | World & | world | ) |
Definition at line 7 of file eta_exp_phase.cpp.
References mim::FPPhase::FPPhase(), and mim::RWPhase::world().
|
finalprivatevirtual |
Implements mim::FPPhase.
Definition at line 15 of file eta_exp_phase.cpp.
References analyze(), and mim::RWPhase::old_world().
Referenced by analyze().
|
finalprivatevirtual |
Reimplemented from mim::Phase.
Definition at line 10 of file eta_exp_phase.cpp.
|
finalprivatevirtual |
Reimplemented from mim::RWPhase.
Definition at line 48 of file eta_exp_phase.cpp.
References mim::Def::transfer_external().
Definition at line 62 of file eta_exp_phase.cpp.
References mim::World::app(), mim::App::arg(), mim::App::callee(), and mim::RWPhase::new_world().
Definition at line 67 of file eta_exp_phase.cpp.
References mim::Var::mut(), mim::RWPhase::new_world(), mim::Def::type(), and mim::World::var().