Recurseivly rebuilds part of a program into the provided World w.r.t. Rewriter::map. More...

#include <mim/rewrite.h>

Inheritance diagram for mim::Rewriter:

Public Member Functions
template<class D = Def>
D *	curr_mut () const
Construction & Destruction
	Rewriter (std::unique_ptr< World > &&ptr)
	Rewriter (World &world)
virtual	~Rewriter ()
void	reset (std::unique_ptr< World > &&ptr)
void	reset ()
Getters
World &	world ()
Push / Pop
virtual void	push ()
virtual void	pop ()
Map / Lookup
Map `old_def` to `new_def` and returns `new_def`.
virtual const Def *	map (const Def old_def, const Def new_def)
const Def *	map_root (const Def old_def, const Def new_def)
	Like map() but records into the root map, so the entry outlives the current push()/pop() scope.
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.
rewrite
Recursively rewrite old Defs.
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
auto	enter (Def *new_mut)
	Updates curr_mut() to `new_mut` and restores it at the end of the scope.

Protected Attributes
std::deque< Def2Def >	old2news_

Friends
void	swap (Rewriter &rw1, Rewriter &rw2) noexcept

Detailed Description

Recurseivly rebuilds part of a program into the provided World w.r.t. Rewriter::map.

This World may be different than the World we started with.

See also: Rewriter

Definition at line 21 of file rewrite.h.

Constructor & Destructor Documentation

◆ Rewriter() [1/2]

mim::Rewriter::Rewriter ( std::unique_ptr< World > && ptr )

Definition at line 16 of file rewrite.cpp.

References push().

Referenced by mim::Analysis::Analysis(), mim::Analysis::Analysis(), mim::RWBase::RWBase(), mim::RWBase::RWBase(), mim::RWBase::RWBase(), mim::RWBase::RWBase(), swap, mim::VarRewriter::swap, mim::Zonker::swap, mim::VarRewriter::VarRewriter(), mim::VarRewriter::VarRewriter(), and mim::Zonker::Zonker().

◆ Rewriter() [2/2]

mim::Rewriter::Rewriter ( World & world )

Definition at line 22 of file rewrite.cpp.

References push(), and world().

◆ ~Rewriter()

mim::Rewriter::~Rewriter ( )

virtualdefault

References reset().

Member Function Documentation

◆ curr_mut()

template<class D = Def>

D * mim::Rewriter::curr_mut ( ) const

inline

Definition at line 96 of file rewrite.h.

Referenced by mim::plug::clos::phase::ClosConvPrep::rewrite_imm_App(), and mim::plug::mem::phase::SEO::rewrite_imm_App().

◆ enter()

auto mim::Rewriter::enter ( Def * new_mut )

inlineprotected

Updates curr_mut() to new_mut and restores it at the end of the scope.

Definition at line 109 of file rewrite.h.

Referenced by mim::InplaceRWPhase::rewrite_mut(), and rewrite_stub().

◆ lookup()

virtual const Def * mim::Rewriter::lookup ( const Def * old_def )

inlinevirtual

Lookup old_def by searching in reverse through the stack of maps.

Returns: nullptr if nothing was found.

Reimplemented in mim::Zonker.

Definition at line 62 of file rewrite.h.

References old2news_.

Referenced by mim::plug::clos::phase::LowerTypedClos::rewrite(), rewrite(), mim::VarRewriter::rewrite(), mim::plug::affine::phase::LowerIndex::rewrite_imm_App(), and mim::Analysis::rewrite_mut().

◆ map() [1/4]

virtual const Def * mim::Rewriter::map	(	const Def *	old_def,
		const Def *	new_def )

inlinevirtual

Reimplemented in mim::plug::cps::Conv, and mim::Zonker.

Definition at line 47 of file rewrite.h.

References old2news_.

Referenced by mim::VarRewriter::add(), mim::Analysis::lattice(), mim::Analysis::lattice_force(), map(), map(), map(), mim::plug::clos::phase::LowerTypedClos::rewrite(), rewrite_imm(), mim::BetaRed::rewrite_imm_App(), mim::plug::affine::phase::LowerFor::rewrite_imm_App(), mim::plug::affine::phase::LowerIndex::rewrite_imm_App(), mim::plug::gpu::phase::RemoveDoubleSyncs::rewrite_imm_App(), mim::plug::mem::phase::SEO::rewrite_imm_App(), mim::Analysis::rewrite_mut(), mim::InplaceRWPhase::rewrite_mut(), mim::plug::clos::phase::ClosConv::rewrite_mut_Lam(), mim::plug::mem::phase::AddMem::rewrite_mut_Lam(), mim::RetWrap::rewrite_mut_Lam(), mim::Scalarize::rewrite_mut_Lam(), mim::StaticArgOpt::rewrite_mut_Lam(), rewrite_mut_Seq(), rewrite_stub(), and mim::Analysis::start().

◆ map() [2/4]

const Def * mim::Rewriter::map	(	const Def *	old_def,
		Defs	new_defs )

Definition at line 41 of file rewrite.cpp.

References map(), mim::World::tuple(), and world().

◆ map() [3/4]

const Def * mim::Rewriter::map	(	Defs	old_defs,
		const Def *	new_def )

Definition at line 45 of file rewrite.cpp.

References map(), mim::World::tuple(), and world().

◆ map() [4/4]

const Def * mim::Rewriter::map	(	Defs	old_defs,
		Defs	new_defs )

Definition at line 49 of file rewrite.cpp.

References map(), mim::World::tuple(), and world().

◆ map_root()

const Def * mim::Rewriter::map_root	(	const Def *	old_def,
		const Def *	new_def )

inline

Like map() but records into the root map, so the entry outlives the current push()/pop() scope.

Use this for a context-free mapping - e.g. a Var of a rebuilt binder - that must stay valid after a scope opened by rewrite_mut_Seq's scalarization is popped again.

Definition at line 52 of file rewrite.h.

References old2news_.