mim::ClosedMutPhase< M > Class Template Reference

Transitively visits all reachable, closed mutables in the World. More...

#include <mim/phase.h>

Inheritance diagram for mim::ClosedMutPhase< M >:

Public Member Functions
	ClosedMutPhase (World &world, std::string name, bool elide_empty)
	ClosedMutPhase (World &world, flags_t annex, bool elide_empty)
bool	elide_empty () const
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
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.

Protected Member Functions
void	start () override
	Actual entry.
virtual void	visit (M *)=0
M *	root () const

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 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_

Detailed Description

template<class M = Def>
class mim::ClosedMutPhase< M >

Transitively visits all reachable, closed mutables in the World.

• Select with elide_empty whether you want to visit trivial mutables without body.
• If you a are only interested in specific mutables, you can pass this to M.

Definition at line 241 of file phase.h.

Constructor & Destructor Documentation

ClosedMutPhase() [1/2]

template<class M = Def>

mim::ClosedMutPhase< M >::ClosedMutPhase ( World & world, std::string name, bool elide_empty )

inline

Definition at line 243 of file phase.h.

References elide_empty(), mim::Stage::name(), mim::Phase::Phase(), and mim::Stage::world().

ClosedMutPhase() [2/2]

template<class M = Def>

mim::ClosedMutPhase< M >::ClosedMutPhase ( World & world, flags_t annex, bool elide_empty )

inline

Definition at line 246 of file phase.h.

References mim::Stage::annex(), elide_empty(), mim::Phase::Phase(), and mim::Stage::world().

Member Function Documentation

elide_empty()

template<class M = Def>

bool mim::ClosedMutPhase< M >::elide_empty ( ) const

inline

Definition at line 250 of file phase.h.

Referenced by ClosedMutPhase(), ClosedMutPhase(), and start().

root()

template<class M = Def>

M * mim::ClosedMutPhase< M >::root ( ) const

inlineprotected

Definition at line 257 of file phase.h.

References M.

start()

template<class M = Def>

void mim::ClosedMutPhase< M >::start ( )

inlineoverrideprotectedvirtual

Actual entry.

Implements mim::Phase.

Reimplemented in mim::ll::Emitter.

Definition at line 253 of file phase.h.

References elide_empty(), M, visit(), and mim::Stage::world().

visit()

template<class M = Def>

virtual void mim::ClosedMutPhase< M >::visit ( M * )

protectedpure virtual

Implemented in mim::NestPhase< Lam >.

References M.

Referenced by start().

---

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

• include/mim/phase.h