Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
thorin::FPPhase Class Referenceabstract

Like a RWPhase but starts with a fixed-point loop of FPPhase::analyze beforehand. More...

#include <thorin/phase/phase.h>

Inheritance diagram for thorin::FPPhase:
[legend]

Public Member Functions

 FPPhase (World &world, std::string_view name)
 
void start () override
 Actual entry.
 
virtual bool analyze ()=0
 
- Public Member Functions inherited from thorin::RWPhase
 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

Like a RWPhase but starts with a fixed-point loop of FPPhase::analyze beforehand.

Inherit from this one to implement a classic data-flow analysis.

Definition at line 74 of file phase.h.

Constructor & Destructor Documentation

◆ FPPhase()

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

Definition at line 76 of file phase.h.

Member Function Documentation

◆ analyze()

virtual bool thorin::FPPhase::analyze ( )
pure virtual

Referenced by start().

◆ start()

void thorin::FPPhase::start ( )
overridevirtual

Actual entry.

Implements thorin::Phase.

Definition at line 19 of file phase.cpp.

References analyze(), and thorin::RWPhase::start().


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