mim::Rewriter Class Reference

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
	Rewriter (World &world)
World &	world ()
Stack of Maps
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.
rewrite
Recursively rewrite old Defs.
virtual const Def *	rewrite (const Def *)
virtual const Def *	dispatch (const Def *)
virtual const Def *	rewrite_imm (const Def *)
virtual const Def *	rewrite_mut (Def *)
virtual const Def *	rewrite_arr (const Arr *arr)
virtual const Def *	rewrite_pack (const Pack *pack)
virtual const Def *	rewrite_seq (const Seq *)
virtual const Def *	rewrite_extract (const Extract *)
virtual const Def *	rewrite_hole (Hole *)

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.

Definition at line 11 of file rewrite.h.

Constructor & Destructor Documentation

Rewriter()

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

inline

Definition at line 13 of file rewrite.h.

References push(), and world().

Referenced by mim::RWPhase::RWPhase(), mim::VarRewriter::VarRewriter(), and mim::VarRewriter::VarRewriter().

Member Function Documentation

dispatch()

const Def * mim::Rewriter::dispatch ( const Def * old_def )

virtual

Definition at line 19 of file rewrite.cpp.

References mim::Def::isa_mut(), map(), rewrite_arr(), rewrite_extract(), rewrite_hole(), rewrite_imm(), rewrite_mut(), and rewrite_pack().

Referenced by rewrite(), and mim::VarRewriter::rewrite().

lookup()

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

inline

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

Returns

nullptr if nothing was found.

Definition at line 31 of file rewrite.h.

Referenced by rewrite(), and mim::VarRewriter::rewrite().

map()

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

inline

Map old_def to new_def and returns new_def.

Returns

new_def

Definition at line 27 of file rewrite.h.

Referenced by mim::VarRewriter::add(), dispatch(), rewrite_extract(), rewrite_mut(), and rewrite_seq().

pop()

virtual void mim::Rewriter::pop ( )

inlinevirtual

Reimplemented in mim::VarRewriter.

Definition at line 23 of file rewrite.h.

Referenced by mim::VarRewriter::pop(), and rewrite_seq().

push()

virtual void mim::Rewriter::push ( )

inlinevirtual

Reimplemented in mim::VarRewriter.

Definition at line 22 of file rewrite.h.

Referenced by mim::VarRewriter::push(), rewrite_seq(), and Rewriter().

rewrite()

const Def * mim::Rewriter::rewrite ( const Def * old_def )

virtual

Reimplemented in mim::VarRewriter.

Definition at line 12 of file rewrite.cpp.

References dispatch(), lookup(), mim::World::univ(), and world().

Referenced by rewrite_extract(), rewrite_hole(), mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm(), rewrite_imm(), rewrite_mut(), rewrite_seq(), mim::Cleanup::start(), and mim::RWPhase::start().

rewrite_arr()

virtual const Def * mim::Rewriter::rewrite_arr ( const Arr * arr )

inlinevirtual

Definition at line 46 of file rewrite.h.

References rewrite_seq().

Referenced by dispatch().

rewrite_extract()

const Def * mim::Rewriter::rewrite_extract ( const Extract * ex )

virtual

Definition at line 79 of file rewrite.cpp.

References mim::Def::dbg(), mim::Extract::index(), mim::Def::is_closed(), mim::Lit::isa(), mim::Def::isa_imm(), map(), rewrite(), mim::Pack::shape(), mim::Extract::tuple(), and world().

Referenced by dispatch().

rewrite_hole()

const Def * mim::Rewriter::rewrite_hole ( Hole * hole )

virtual

Definition at line 91 of file rewrite.cpp.

References mim::Hole::find(), rewrite(), and rewrite_mut().

Referenced by dispatch().

rewrite_imm()

const Def * mim::Rewriter::rewrite_imm ( const Def * old_def )

virtual

Reimplemented in mim::plug::matrix::LowerMatrixLowLevel.

Definition at line 31 of file rewrite.cpp.

References mim::Def::num_ops(), mim::Def::op(), mim::Def::rebuild(), rewrite(), mim::Def::type(), and world().

Referenced by dispatch(), and mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm().

rewrite_mut()

const Def * mim::Rewriter::rewrite_mut ( Def * old_mut )

virtual

Reimplemented in mim::VarRewriter.

Definition at line 39 of file rewrite.cpp.

References mim::Def::is_set(), map(), mim::Def::num_ops(), mim::Def::op(), rewrite(), mim::Def::stub(), mim::Def::type(), and world().

Referenced by dispatch(), rewrite_hole(), mim::VarRewriter::rewrite_mut(), and rewrite_seq().

rewrite_pack()

virtual const Def * mim::Rewriter::rewrite_pack ( const Pack * pack )

inlinevirtual

Definition at line 47 of file rewrite.h.

References rewrite_seq().

Referenced by dispatch().

rewrite_seq()

const Def * mim::Rewriter::rewrite_seq ( const Seq * seq )

virtual

Definition at line 52 of file rewrite.cpp.

References mim::Def::as_mut(), mim::Seq::body(), mim::World::flags(), mim::Def::has_var(), mim::Def::is_set(), mim::Lit::isa(), map(), pop(), mim::Seq::prod(), push(), mim::Seq::rebuild(), rewrite(), rewrite_mut(), mim::Flags::scalarize_threshold, mim::Seq::shape(), mim::Def::type(), and world().

Referenced by rewrite_arr(), and rewrite_pack().

world()

World & mim::Rewriter::world ( )

inline

Definition at line 18 of file rewrite.h.

Referenced by rewrite(), mim::VarRewriter::rewrite(), rewrite_extract(), rewrite_imm(), rewrite_mut(), mim::VarRewriter::rewrite_mut(), rewrite_seq(), Rewriter(), mim::VarRewriter::VarRewriter(), and mim::VarRewriter::VarRewriter().

---

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

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