MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
mim::RWPhase Class Reference

Visits the current Phase::world and constructs a new RWPhase::world along the way. More...

#include <mim/phase/phase.h>

Inheritance diagram for mim::RWPhase:
[legend]

Public Member Functions

 RWPhase (World &world, std::string_view name)
 
Worldworld ()
 
void start () override
 Actual entry.
 
- Public Member Functions inherited from mim::Phase
 Phase (World &world, std::string_view name, bool dirty)
 
virtual ~Phase ()=default
 
Worldworld ()
 
std::string_view name () const
 
bool is_dirty () const
 
virtual void run ()
 Entry point and generates some debug output; invokes Phase::start.
 
- Public Member Functions inherited from mim::Rewriter
 Rewriter (World &world)
 
Worldworld ()
 
Ref map (Ref old_def, Ref new_def)
 Map old_def to new_def and returns new_def;.
 
virtual Ref rewrite (Ref)
 
virtual Ref rewrite_imm (Ref)
 
virtual Ref rewrite_mut (Def *)
 

Additional Inherited Members

- Static Public Member Functions inherited from mim::Phase
template<class P , class... Args>
static void run (Args &&... args)
 Runs a single Phase.
 
- Protected Member Functions inherited from mim::Phase
- Protected Attributes inherited from mim::Phase
Worldworld_
 
std::string name_
 
bool dirty_
 

Detailed Description

Visits the current Phase::world and constructs a new RWPhase::world along the way.

It recursively rewrites all World::externals().

Note
You can override Rewriter::rewrite, Rewriter::rewrite_imm, and Rewriter::rewrite_mut.

Definition at line 52 of file phase.h.

Constructor & Destructor Documentation

◆ RWPhase()

mim::RWPhase::RWPhase ( World & world,
std::string_view name )
inline

Definition at line 54 of file phase.h.

Member Function Documentation

◆ start()

void mim::RWPhase::start ( )
overridevirtual

Actual entry.

Implements mim::Phase.

Definition at line 11 of file phase.cpp.

References mim::World::externals(), mim::Rewriter::rewrite(), and world().

Referenced by mim::FPPhase::start().

◆ world()

World & mim::RWPhase::world ( )
inline

Definition at line 58 of file phase.h.

References mim::Phase::world().

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


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