MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::EtaExpPhase Class Reference

This phase takes care that Lamdas appear either only in callee position (Known) or not (Unknown). More...

#include <mim/phase/eta_exp_phase.h>

Inheritance diagram for mim::EtaExpPhase:
[legend]

Public Member Functions

 EtaExpPhase (World &world, flags_t annex)
 
- Public Member Functions inherited from mim::RWPhase
bool is_bootstrapping () const
 
 RWPhase (World &world, std::string name)
 
 RWPhase (World &world, flags_t annex)
 
virtual void rewrite_annex (flags_t, const Def *)
 
Worldworld ()=delete
 Hides both and forbids direct access.
 
Worldold_world ()
 Get old Defs from here.
 
Worldnew_world ()
 Create new Defs into this.
 
- Public Member Functions inherited from mim::Phase
 Phase (World &world, std::string name)
 
 Phase (World &world, flags_t annex)
 
bool todo () const
 
virtual void run ()
 Entry point and generates some debug output; invokes Phase::start.
 
- Public Member Functions inherited from mim::Stage
Worldworld ()
 
Driverdriver ()
 
Loglog () 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< Stagerecreate ()
 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.
 
- Public Member Functions inherited from mim::Rewriter
 Rewriter (std::unique_ptr< World > &&ptr)
 
 Rewriter (World &world)
 
virtual ~Rewriter ()=default
 
void reset (std::unique_ptr< World > &&ptr)
 
void reset ()
 
Worldworld ()
 
virtual void push ()
 
virtual void pop ()
 
virtual const Defmap (const Def *old_def, const Def *new_def)
 
const Defmap (const Def *old_def, Defs new_defs)
 
const Defmap (Defs old_defs, const Def *new_def)
 
const Defmap (Defs old_defs, Defs new_defs)
 
virtual const Deflookup (const Def *old_def)
 Lookup old_def by searching in reverse through the stack of maps.
 
virtual const Defrewrite_imm (const Def *)
 
virtual const Defrewrite_mut (Def *)
 
virtual const Defrewrite_stub (Def *, Def *)
 
virtual DefVec rewrite (Defs)
 
virtual const Defrewrite_imm_Seq (const Seq *seq)
 
virtual const Defrewrite_mut_Seq (Seq *seq)
 

Private Member Functions

bool analyze () final
 You can do an optional fixed-point loop on the RWPhase::old_world before rewriting.
 
void rewrite_external (Def *) final
 
const Defrewrite (const Def *) final
 
const Defrewrite_imm_App (const App *) final
 
const Defrewrite_imm_Var (const Var *) final
 

Additional Inherited Members

template<class P, class... Args>
static void run (Args &&... args)
 Runs a single Phase.
 
static auto create (const Flags2Stages &stages, const Def *def)
 
template<class A, class P>
static void hook (Flags2Stages &stages)
 
- Protected Member Functions inherited from mim::RWPhase
void start () override
 Actual entry.
 
- Protected Attributes inherited from mim::Phase
bool todo_ = false
 Set to true to indicate that you want to rerun all Phasees in current your fixed-point PhaseMan.
 
- Protected Attributes inherited from mim::Stage
std::string name_
 
- Protected Attributes inherited from mim::Rewriter
std::deque< Def2Defold2news_
 

Detailed Description

This phase takes care that Lamdas appear either only in callee position (Known) or not (Unknown).

If a function f is both Known and Unknown, this Phase will η-expand the Unknown occurance which makes the function Known: g f -> g (λx.f x)

Definition at line 12 of file eta_exp_phase.h.

Constructor & Destructor Documentation

◆ EtaExpPhase()

mim::EtaExpPhase::EtaExpPhase ( World & world,
flags_t annex )
inline

Member Function Documentation

◆ analyze()

bool mim::EtaExpPhase::analyze ( )
finalprivatevirtual

You can do an optional fixed-point loop on the RWPhase::old_world before rewriting.

Note
If you don't need a fixed-point, just return false after the first run of analyze.

Reimplemented from mim::RWPhase.

Definition at line 7 of file eta_exp_phase.cpp.

References mim::RWPhase::old_world().

◆ rewrite()

const Def * mim::EtaExpPhase::rewrite ( const Def * old_def)
finalprivatevirtual

Reimplemented from mim::Rewriter.

Definition at line 38 of file eta_exp_phase.cpp.

References DLOG, mim::Lam::eta_expand(), and mim::Rewriter::rewrite().

Referenced by rewrite_imm_App().

◆ rewrite_external()

void mim::EtaExpPhase::rewrite_external ( Def * old_mut)
finalprivatevirtual

Reimplemented from mim::RWPhase.

Definition at line 33 of file eta_exp_phase.cpp.

References mim::Def::is_external().

◆ rewrite_imm_App()

const Def * mim::EtaExpPhase::rewrite_imm_App ( const App * app)
finalprivate

◆ rewrite_imm_Var()

const Def * mim::EtaExpPhase::rewrite_imm_Var ( const Var * var)
finalprivate

Definition at line 54 of file eta_exp_phase.cpp.

References mim::Var::mut(), mim::RWPhase::new_world(), and mim::World::var().


The documentation for this class was generated from the following files: