thorin::Rewriter Class Reference

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

#include <thorin/rewrite.h>

Inheritance diagram for thorin::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()

thorin::Rewriter::Rewriter ( World &  world )

inline

Definition at line 11 of file rewrite.h.

Member Function Documentation

map()

Ref thorin::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(), thorin::VarRewriter::rewrite_mut(), and thorin::VarRewriter::VarRewriter().

rewrite()

Ref thorin::Rewriter::rewrite ( Ref  old_def )

virtual

Definition at line 9 of file rewrite.cpp.

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

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

rewrite_imm()

Ref thorin::Rewriter::rewrite_imm ( Ref  old_def )

virtual

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

Definition at line 16 of file rewrite.cpp.

References thorin::Lit::isa(), thorin::Def::num_ops(), thorin::Def::op(), thorin::Def::rebuild(), rewrite(), thorin::Def::type(), and world().

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

rewrite_mut()

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

virtual

Reimplemented in thorin::VarRewriter.

Definition at line 32 of file rewrite.cpp.

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

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

world()

World & thorin::Rewriter::world ( )

inline

Definition at line 14 of file rewrite.h.

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

---

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

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