Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::RWPhase Class Reference

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

#include <thorin/phase/phase.h>

Inheritance diagram for thorin::RWPhase:
[legend]

Public Member Functions

 RWPhase (World &world, std::string_view name)
 
Worldworld ()
 
void start () override
 Actual entry.
 
- Public Member Functions inherited from thorin::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 thorin::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 thorin::Phase
template<class P , class... Args>
static void run (Args &&... args)
 Runs a single Phase.
 
- Protected Attributes inherited from thorin::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 53 of file phase.h.

Constructor & Destructor Documentation

◆ RWPhase()

thorin::RWPhase::RWPhase ( World world,
std::string_view  name 
)
inline

Definition at line 55 of file phase.h.

Member Function Documentation

◆ start()

void thorin::RWPhase::start ( )
overridevirtual

◆ world()

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

Definition at line 59 of file phase.h.

References thorin::Phase::world().

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


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