mim::PassMan Class Reference

An optimizer that combines several optimizations in an optimal way. More...

#include <mim/pass/pass.h>

Public Member Functions
	PassMan (World &world)
Getters
World &	world () const
const auto &	passes () const
bool	fixed_point () const
Def *	curr_mut () const

Friends
template<class P, class M>
class	FPPass

Create and run Passes
void	run ()
	Run all registered passes on the whole World.
template<class P>
P *	find ()
template<class P, class... Args>
P *	add (Args &&... args)
	Add a pass to this PassMan.
template<class P, class... Args>
static void	run (World &world, Args &&... args)
	Runs a single Pass.
template<class A, class P, class... Args>
static void	hook (Flags2Passes &passes, Args &&... args)

Detailed Description

An optimizer that combines several optimizations in an optimal way.

This is loosely based upon: "Composing dataflow analyses and transformations" by Lerner, Grove, Chambers.

Definition at line 111 of file pass.h.

Constructor & Destructor Documentation

PassMan()

mim::PassMan::PassMan ( World & world )

inline

Definition at line 113 of file pass.h.

References world().

Referenced by hook(), and run().

Member Function Documentation

add()

template<class P, class... Args>

P * mim::PassMan::add ( Args &&... args )

inline

Add a pass to this PassMan.

If a pass of the same class has been added already, returns the earlier added instance.

Definition at line 138 of file pass.h.

References find().

Referenced by reg_stages(), and run().

curr_mut()

Def * mim::PassMan::curr_mut ( ) const

inline

Definition at line 121 of file pass.h.

Referenced by mim::RWPass< P, M >::curr_mut(), and mim::RWPass< P, M >::inspect().

find()

template<class P>

P * mim::PassMan::find ( )

inline

Definition at line 129 of file pass.h.

Referenced by add().

fixed_point()

bool mim::PassMan::fixed_point ( ) const

inline

Definition at line 120 of file pass.h.

hook()

template<class A, class P, class... Args>

static void mim::PassMan::hook ( Flags2Passes & passes, Args &&... args )

inlinestatic

Definition at line 157 of file pass.h.

References mim::assert_emplace(), mim::Annex::Base, passes(), and PassMan().

Referenced by reg_stages(), and reg_stages().

passes()

const auto & mim::PassMan::passes ( ) const

inline

Definition at line 119 of file pass.h.

Referenced by hook(), and run().

run() [1/2]

void mim::PassMan::run

(

)

Run all registered passes on the whole World.

Definition at line 43 of file pass.cpp.

References mim::World::debug_dump(), mim::Def::deps(), mim::No_Undo, passes(), mim::pop(), mim::Phase::run(), mim::World::verify(), and world().

Referenced by run().

run() [2/2]

template<class P, class... Args>

static void mim::PassMan::run ( World & world, Args &&... args )

inlinestatic

Runs a single Pass.

Definition at line 150 of file pass.h.

References add(), PassMan(), run(), and world().

world()

World & mim::PassMan::world ( ) const

inline

Definition at line 118 of file pass.h.

Referenced by PassMan(), run(), run(), and mim::Pass::world().

Friends And Related Symbol Documentation

FPPass

template<class P, class M>

friend class FPPass

friend

Definition at line 233 of file pass.h.

References FPPass.

Referenced by FPPass.

---

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

• include/mim/pass/pass.h
• src/mim/pass/pass.cpp