mim::EtaExp Class Reference

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>

Inheritance diagram for mim::EtaExp:

Public Member Functions
	EtaExp (PassMan &)
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 mim::FPPass< EtaExp, Lam >
	FPPass (PassMan &man, std::string name)
bool	fixed_point () const override
Public Member Functions inherited from mim::RWPass< EtaExp, Lam >
	RWPass (PassMan &man, std::string name)
bool	inspect () const override
	Should the PassMan even consider this pass?
Lam *	curr_mut () const
Public Member Functions inherited from mim::Pass
	Pass (PassMan &, std::string name)
virtual	~Pass ()=default
World &	world ()
PassMan &	man ()
const PassMan &	man () const
std::string_view	name () 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)

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. EtaExp::expand_ trackes if a Lam is the top element. If it's not within EtaExp::expand_, it's either Pos or Bot. But there is no need to differentiate this any further. EtaExp::Pos tracks the particular element at that level and is memorized statefully.
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 mim::FPPass< EtaExp, Lam >
using	Super
using	Data
	Default.
Protected Member Functions inherited from mim::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).

Definition at line 13 of file eta_exp.h.

Member Typedef Documentation

Data

using mim::EtaExp::Data = std::tuple<Def2Def, LamMap<Pos>>

Definition at line 41 of file eta_exp.h.

Member Enumeration Documentation

Pos

enum mim::EtaExp::Pos : bool

Enumerator
Callee
Non_Callee_1

Definition at line 38 of file eta_exp.h.

Constructor & Destructor Documentation

EtaExp()

mim::EtaExp::EtaExp

(

PassMan &

man

)

Definition at line 9 of file eta_exp.cpp.

References mim::find(), mim::FPPass< EtaExp, Lam >::FPPass(), and mim::Pass::man().

Member Function Documentation

analyze() [1/2]

undo_t mim::EtaExp::analyze ( const Def * def )

overrideprivatevirtual

Reimplemented from mim::Pass.

Definition at line 64 of file eta_exp.cpp.

References Callee, 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(), mim::FPPass< EtaExp, Lam >::undo_visit(), and mim::Pass::world().

analyze() [2/2]

undo_t mim::EtaExp::analyze ( const Proxy * proxy )

overrideprivatevirtual

Reimplemented from mim::Pass.

Definition at line 57 of file eta_exp.cpp.

References mim::No_Undo, proxy(), mim::FPPass< EtaExp, Lam >::undo_visit(), and mim::Pass::world().

new2old() [1/2]

Lam * mim::EtaExp::new2old

(

Lam *

new_lam

)

Definition at line 13 of file eta_exp.cpp.

References mim::lookup(), and new2old().

new2old() [2/2]

void mim::EtaExp::new2old ( Lam * new_lam, Lam * old_lam )

inline

Definition at line 20 of file eta_exp.h.

Referenced by analyze(), and new2old().

old2new()

auto & mim::EtaExp::old2new ( )

inline

Definition at line 42 of file eta_exp.h.

References mim::FPPass< EtaExp, Lam >::data().

Referenced by rewrite().

pos()

auto & mim::EtaExp::pos ( )

inline

Definition at line 43 of file eta_exp.h.

References mim::FPPass< EtaExp, Lam >::data().

Referenced by analyze(), and pos2str().

pos2str()

static std::string_view mim::EtaExp::pos2str ( Pos pos )

inlinestatic

Definition at line 39 of file eta_exp.h.

References Callee, and pos().

Referenced by analyze().

proxy()

const Proxy * mim::EtaExp::proxy ( Lam * lam )

inline

Definition at line 19 of file eta_exp.h.

References mim::Pass::proxy(), and mim::Lam::type().

Referenced by analyze().

rewrite()

const Def * mim::EtaExp::rewrite ( const Def * def )

overrideprivatevirtual

Reimplemented from mim::Pass.

Definition at line 24 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().

---

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

• include/mim/pass/eta_exp.h
• src/mim/pass/eta_exp.cpp