mim::RWPhase Class Reference

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

#include <mim/phase/phase.h>

Inheritance diagram for mim::RWPhase:

Public Member Functions
bool	is_bootstrapping () const
Construction
	RWPhase (World &world, std::string name)
void	reset () override
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)
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)

Protected Member Functions
void	start () override
	Actual entry.

Protected Attributes
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.

Additional Inherited Members
template<class P, class... Args>
static void	run (Args &&... args)
	Runs a single Phase.

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

1. all (old) World::annexes() (during which RWPhase::is_bootstrapping is true), and then
2. all (old) World::externals() (during which RWPhase::is_bootstrapping is false).

   Note

   You can override Rewriter::rewrite, Rewriter::rewrite_imm, Rewriter::rewrite_mut, etc.

Definition at line 69 of file phase.h.

Constructor & Destructor Documentation

RWPhase()

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

inline

Definition at line 73 of file phase.h.

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

Referenced by mim::BranchNormalizePhase::BranchNormalizePhase(), mim::Cleanup::Cleanup(), mim::EtaRedPhase::EtaRedPhase(), mim::FPPhase::FPPhase(), mim::plug::matrix::LowerMatrixLowLevel::LowerMatrixLowLevel(), and mim::PrefixCleanup::PrefixCleanup().

Member Function Documentation

is_bootstrapping()

bool mim::RWPhase::is_bootstrapping ( ) const

inline

Definition at line 102 of file phase.h.

References bootstrapping_.

Referenced by mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm_App().

new_world()

World & mim::RWPhase::new_world ( )

inline

Create new Defs into this.

Definition at line 99 of file phase.h.

References mim::Rewriter::world().

Referenced by rewrite_annex(), mim::PrefixCleanup::rewrite_external(), mim::EtaExpPhase::rewrite_imm_App(), mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm_App(), mim::EtaExpPhase::rewrite_imm_Var(), mim::EtaRedPhase::rewrite_imm_Var(), and start().

old_world()

World & mim::RWPhase::old_world ( )

inline

Get old Defs from here.

Definition at line 98 of file phase.h.

References mim::Phase::world().

Referenced by mim::BetaRedPhase::analyze(), mim::EtaExpPhase::analyze(), reset(), and start().

reset()

void mim::RWPhase::reset ( )

inlineoverridevirtual

Reimplemented from mim::Phase.

Definition at line 77 of file phase.h.

References bootstrapping_, old_world(), mim::Phase::reset(), and mim::Rewriter::reset().

rewrite_annex()

void mim::RWPhase::rewrite_annex ( flags_t f, const Def * def )

virtual

Definition at line 23 of file phase.cpp.

References new_world(), mim::World::register_annex(), and mim::Rewriter::rewrite().

Referenced by start().

rewrite_external()

void mim::RWPhase::rewrite_external ( Def * mut )

virtual

Reimplemented in mim::EtaExpPhase, mim::EtaRedPhase, and mim::PrefixCleanup.

Definition at line 25 of file phase.cpp.

References mim::Rewriter::rewrite(), and mim::Def::transfer_external().

Referenced by start().

start()

void mim::RWPhase::start ( )

overrideprotectedvirtual

Actual entry.

Implements mim::Phase.

Definition at line 11 of file phase.cpp.

References bootstrapping_, new_world(), old_world(), rewrite_annex(), and rewrite_external().

Referenced by mim::FPPhase::start().

world()

World & mim::RWPhase::world ( )

delete

Hides both and forbids direct access.

Referenced by mim::BetaRedPhase::BetaRedPhase(), mim::BranchNormalizePhase::BranchNormalizePhase(), mim::Cleanup::Cleanup(), mim::EtaExpPhase::EtaExpPhase(), mim::EtaRedPhase::EtaRedPhase(), mim::FPPhase::FPPhase(), mim::plug::matrix::LowerMatrixLowLevel::LowerMatrixLowLevel(), mim::PrefixCleanup::PrefixCleanup(), and RWPhase().

Member Data Documentation

bootstrapping_

bool mim::RWPhase::bootstrapping_ = true

protected

Definition at line 105 of file phase.h.

Referenced by is_bootstrapping(), reset(), and start().

---

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

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