mim::plug::affine::phase::LowerFor Class Reference

Lowers the for axm to actual control flow in CPS. More...

#include <mim/plug/affine/phase/lower_for.h>

Inheritance diagram for mim::plug::affine::phase::LowerFor:

Public Member Functions
	LowerFor (World &world, flags_t annex)
const Def *	rewrite_imm_App (const App *) final
Public Member Functions inherited from mim::RWPhase
bool	is_bootstrapping () const
virtual bool	analyze ()
	You can do an optional fixed-point loop on the RWPhase::old_world before rewriting.
	RWPhase (World &world, std::string name)
	RWPhase (World &world, flags_t annex)
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)
	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)
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 *	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)
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.
static auto	create (const Flags2Stages &stages, const Def *def)
template<class A, class P>
static void	hook (Flags2Stages &stages)
Protected Member Functions inherited from mim::RWPhase
void	start () override
	Actual entry.
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

Lowers the for axm to actual control flow in CPS.

It basically mimics this implementation:

con %affine.For_impl
    {m n: Nat, Ts: «n; *»}
    (begin: Idx m, end: Idx m, step: Idx m, init: «i: n; Ts#i»,
            body: Cn [iter: Idx m, acc: «i: n; Ts#i», yield: Cn «i: n; Ts#i»],
            exit: Cn «i: n; Ts#i»
    ) =
    con head(iter: Idx m, acc: «i: n; Ts#i») =
        con new_body() = body (iter, acc, cn acc: «i: n; Ts#i» =
            let iter2 = %core.wrap.add %core.mode.nsuw (iter, step);
            head (iter2, acc));
        con new_exit() = exit (acc);
        (new_exit, new_body)#(%core.icmp.ul (iter, end)) ();
    head(begin, init);

However, we merge init/acc into the signature, as it may contain a mem. In this case we have to equip new_body/new_exit with a mem as well.

Definition at line 26 of file lower_for.h.

Constructor & Destructor Documentation

LowerFor()

mim::plug::affine::phase::LowerFor::LowerFor ( World & world, flags_t annex )

inline

Definition at line 28 of file lower_for.h.

References mim::Stage::annex(), mim::RWPhase::RWPhase(), and mim::RWPhase::world().

Member Function Documentation

rewrite_imm_App()

const Def * mim::plug::affine::phase::LowerFor::rewrite_imm_App ( const App * app )

final

Definition at line 34 of file lower_for.cpp.

References mim::plug::core::add, mim::World::app(), mim::Lam::body(), mim::World::call(), DLOG, mim::Lam::eta_expand(), mim::Lam::filter(), mim::Axm::isa(), mim::Def::isa_mut(), mim::Rewriter::map(), mim::plug::mem::mem_def(), mim::plug::mem::mem_var(), mim::World::mut_con(), mim::RWPhase::new_world(), mim::plug::core::nusw, mim::Rewriter::pop(), mim::Rewriter::push(), mim::Rewriter::rewrite(), mim::Lam::set(), mim::World::sigma(), mim::World::tuple(), mim::plug::core::ul, mim::Def::var(), and mim::Def::vars().

---

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

• include/mim/plug/affine/phase/lower_for.h
• src/mim/plug/affine/phase/lower_for.cpp