mim::Rewriter Class Reference

Recurseivly rewrites part of a program into the provided World. More...

#include <mim/rewrite.h>

Inheritance diagram for mim::Rewriter:

Public Member Functions
	Rewriter (World &world)
World &	world ()
Ref	map (Ref old_def, Ref new_def)
	Map old_def to new_def and returns new_def;.
rewrite
Recursively rewrite old Defs.
virtual Ref	rewrite (Ref)
virtual Ref	rewrite_imm (Ref)
virtual Ref	rewrite_mut (Def *)

Detailed Description

Recurseivly rewrites part of a program into the provided World.

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

Definition at line 9 of file rewrite.h.

Constructor & Destructor Documentation

Rewriter()

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

inline

Definition at line 11 of file rewrite.h.

Member Function Documentation

map()

Ref mim::Rewriter::map ( Ref old_def, Ref new_def )

inline

Map old_def to new_def and returns new_def;.

Definition at line 16 of file rewrite.h.

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

rewrite()

Ref mim::Rewriter::rewrite ( Ref old_def )

virtual

Definition at line 9 of file rewrite.cpp.

References mim::Def::isa_mut(), map(), rewrite_imm(), rewrite_mut(), mim::World::univ(), and world().

Referenced by mim::World::app(), mim::World::extract(), mim::rewrite(), mim::rewrite(), mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm(), rewrite_imm(), rewrite_mut(), mim::Cleanup::start(), and mim::RWPhase::start().

rewrite_imm()

Ref mim::Rewriter::rewrite_imm ( Ref old_def )

virtual

Reimplemented in mim::plug::matrix::LowerMatrixLowLevel, and mim::VarRewriter.

Definition at line 16 of file rewrite.cpp.

References mim::Def::dep_const(), mim::Lit::isa(), mim::Def::num_ops(), mim::Def::op(), mim::Def::rebuild(), rewrite(), mim::Pack::shape(), mim::Def::type(), and world().

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

rewrite_mut()

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

virtual

Reimplemented in mim::VarRewriter.

Definition at line 32 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 rewrite(), and mim::VarRewriter::rewrite_mut().

world()

World & mim::Rewriter::world ( )

inline

Definition at line 14 of file rewrite.h.

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

---

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

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