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

Inheritance diagram for mim::FPPhase:

Public Member Functions
	FPPhase (World &world, std::string_view name)

void	start () override
	Actual entry.

virtual bool	analyze ()=0

Public Member Functions inherited from mim::RWPhase
	RWPhase (World &world, std::string_view name)

World &	world ()

void	start () override
	Actual entry.

Public Member Functions inherited from mim::Phase
	Phase (World &world, std::string_view name, bool dirty)

virtual	~Phase ()=default

World &	world ()

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)

World &	world ()

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
World &	world_

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 73 of file phase.h.

Constructor & Destructor Documentation

mim::FPPhase::FPPhase	(	World &	world,
		std::string_view	name )

inline

Definition at line 75 of file phase.h.

virtual bool mim::FPPhase::analyze ( )

pure virtual

Referenced by start().

void mim::FPPhase::start ( )

overridevirtual

Actual entry.

Implements mim::Phase.

Definition at line 17 of file phase.cpp.

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