Rewrites the RWPhase::old_world into the RWPhase::new_world and swaps them afterwards. More...

#include <mim/phase.h>

Inheritance diagram for mim::RWPhase:

Public Member Functions
bool	is_bootstrapping () const
	Returns whether we are currently bootstrapping (rewriting annexes).

virtual bool	analyze ()
	You can do an optional fixed-point loop on the RWPhase::old_world before rewriting.

Construction
	RWPhase (World &world, std::string name, Analysis *analysis=nullptr)

	RWPhase (World &world, flags_t annex, Analysis *analysis=nullptr)

Rewrite
virtual void	rewrite_annex (flags_t, const Def *)

virtual void	rewrite_external (Def *)

World
Phase::world is the old one. Rewriter::world is the new one. RWPhase::world is deleted to not confuse this.
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)

	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.

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 ()

World &	world ()

virtual void	push ()

virtual void	pop ()

virtual const Def *	map (const Def old_def, const Def new_def)

const Def *	map (const Def *old_def, Defs new_defs)

const Def *	map (Defs old_defs, const Def *new_def)

const Def *	map (Defs old_defs, Defs new_defs)

virtual 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)

Protected Member Functions
void	start () override
	Actual entry.

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 your current fixed-point PhaseMan.

Protected Attributes inherited from mim::Stage
std::string	name_

Protected Attributes inherited from mim::Rewriter
std::deque< Def2Def >	old2news_

Detailed Description

Rewrites the RWPhase::old_world into the RWPhase::new_world and swaps them afterwards.

This will destroy RWPhase::old_world leaving RWPhase::new_world which will be created here as the current World to work with. This Phase will recursively Rewriter::rewrite