mim::FPPhase Class Reference

Like a RWPhase but starts with a fixed-point loop of FPPhase::analyze beforehand. More...

#include <mim/phase/phase.h>

Inheritance diagram for mim::FPPhase:

Public Member Functions
	FPPhase (World &world, std::string name)
virtual bool	analyze ()=0
void	start () override
	Actual entry.
Public Member Functions inherited from mim::RWPhase
bool	is_bootstrapping () const
	RWPhase (World &world, std::string name)
void	reset () override
virtual void	rewrite_annex (flags_t, const Def *)
virtual void	rewrite_external (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.
Public Member Functions inherited from mim::Phase
	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.
Public Member Functions inherited from mim::Rewriter
	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 (const Def *)
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)

Additional Inherited Members
template<class P, class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Protected Member Functions inherited from mim::RWPhase
void	start () override
	Actual entry.
Protected Attributes inherited from mim::RWPhase
bool	bootstrapping_ = true
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.

Detailed Description

Like a RWPhase but starts with a fixed-point loop of FPPhase::analyze beforehand.

Inherit from this one to implement a classic data-flow analysis.

Note

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

Definition at line 119 of file phase.h.

Constructor & Destructor Documentation

FPPhase()

mim::FPPhase::FPPhase ( World & world, std::string name )

inline

Definition at line 121 of file phase.h.

References mim::Phase::name(), mim::RWPhase::RWPhase(), and mim::RWPhase::world().

Referenced by mim::BetaRedPhase::BetaRedPhase(), and mim::EtaExpPhase::EtaExpPhase().

Member Function Documentation

analyze()

virtual bool mim::FPPhase::analyze ( )

pure virtual

Implemented in mim::BetaRedPhase, and mim::EtaExpPhase.

Referenced by start().

start()

void mim::FPPhase::start ( )

overridevirtual

Actual entry.

Implements mim::Phase.

Definition at line 27 of file phase.cpp.

References analyze(), mim::RWPhase::start(), and mim::Phase::todo().

---

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

• include/mim/phase/phase.h
• src/mim/phase/phase.cpp