mim::ll::Emitter Class Reference

Inheritance diagram for mim::ll::Emitter:

Public Types
using	Super = mim::Emitter<std::string, std::string, BB, Emitter>

Public Member Functions
	Emitter (World &world, std::ostream &ostream)
bool	is_valid (std::string_view s)
void	start () override
	Actual entry.
void	emit_imported (Lam *)
void	emit_epilogue (Lam *)
std::string	emit_bb (BB &, const Def *)
std::string	prepare ()
void	finalize ()
template<class... Args>
void	declare (const char *s, Args &&... args)
Public Member Functions inherited from mim::NestPhase< Lam >
	NestPhase (World &world, std::string_view name, bool dirty, bool elide_empty)
const Nest &	nest () const
Public Member Functions inherited from mim::ClosedMutPhase< Lam >
	ClosedMutPhase (World &world, std::string_view name, bool dirty, bool elide_empty)
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.

Additional Inherited Members
template<class P, class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Public Attributes inherited from mim::Emitter< std::string, std::string, BB, Emitter >
Tab	tab
Tab	tab
Protected Member Functions inherited from mim::Emitter< std::string, std::string, BB, Emitter >
	Emitter (World &world, std::string_view name, std::ostream &ostream)
std::ostream &	ostream () const
std::string	emit (const Def *def)
	Recursively emits code.
std::string	emit_unsafe (const Def *def)
	As above but returning !child().is_valid(value) is permitted.
void	visit (const Nest &nest) override
	Emitter (World &world, std::string_view name, std::ostream &ostream)
std::ostream &	ostream () const
std::string	emit (const Def *def)
	Recursively emits code.
std::string	emit_unsafe (const Def *def)
	As above but returning !child().is_valid(value) is permitted.
void	visit (const Nest &nest) override
Protected Member Functions inherited from mim::ClosedMutPhase< Lam >
Lam *	root () const
Protected Member Functions inherited from mim::Phase
void	set_name (std::string name)
Protected Attributes inherited from mim::Emitter< std::string, std::string, BB, Emitter >
Lam *	curr_lam_
std::ostream &	ostream_
Scheduler	scheduler_
DefMap< std::string >	locals_
DefMap< std::string >	globals_
DefMap< std::string >	types_
LamMap< BB >	lam2bb_
Lam *	curr_lam_
std::ostream &	ostream_
Scheduler	scheduler_
DefMap< std::string >	locals_
DefMap< std::string >	globals_
DefMap< std::string >	types_
LamMap< BB >	lam2bb_

Detailed Description

Definition at line 111 of file ll.cpp.

Member Typedef Documentation

Super

using mim::ll::Emitter::Super = mim::Emitter<std::string, std::string, BB, Emitter>

Definition at line 113 of file ll.cpp.

Constructor & Destructor Documentation

Emitter()

mim::ll::Emitter::Emitter ( World & world, std::ostream & ostream )

inline

Definition at line 115 of file ll.cpp.

References mim::Emitter< std::string, std::string, BB, Emitter >::ostream(), and mim::Phase::world().

Member Function Documentation

declare()

template<class... Args>

void mim::ll::Emitter::declare ( const char * s, Args &&... args )

inline

Definition at line 126 of file ll.cpp.

References mim::print().

Referenced by emit_bb(), and emit_epilogue().

emit_bb()

std::string mim::ll::Emitter::emit_bb	(	BB &	bb,
		const Def *	def )

Definition at line 450 of file ll.cpp.

References mim::Lit::as(), mim::ll::BB::assign(), mim::Annex::Base, mim::bitcast(), mim::ll::BB::body(), mim::App::callee(), declare(), mim::Emitter< std::string, std::string, BB, Emitter >::emit(), mim::Emitter< std::string, std::string, BB, Emitter >::emit_unsafe(), mim::error(), mim::force(), mim::Emitter< std::string, std::string, BB, Emitter >::globals_, mim::Idx::isa(), mim::Lit::isa(), mim::Emitter< std::string, std::string, BB, Emitter >::lam2bb_, mim::match(), mim::Phase::name(), mim::print(), mim::Def::proj(), mim::Def::projs(), mim::ClosedMutPhase< Lam >::root(), mim::Idx::size2bitwidth(), mim::ll::BB::tail(), and mim::Def::type().

emit_epilogue()

void mim::ll::Emitter::emit_epilogue

(

Lam *

lam

)

Definition at line 309 of file ll.cpp.

References mim::Lam::body(), declare(), mim::Emitter< std::string, std::string, BB, Emitter >::emit(), mim::Emitter< std::string, std::string, BB, Emitter >::emit_unsafe(), mim::Pi::isa_basicblock(), mim::Lam::isa_mut_basicblock(), mim::Pi::isa_returning(), mim::Emitter< std::string, std::string, BB, Emitter >::lam2bb_, mim::Emitter< std::string, std::string, BB, Emitter >::locals_, mim::match(), mim::Phase::name(), mim::Def::num_vars(), mim::print(), mim::ClosedMutPhase< Lam >::root(), and mim::Phase::world().

emit_imported()

void mim::ll::Emitter::emit_imported

(

Lam *

lam

)

Definition at line 251 of file ll.cpp.

References mim::match(), mim::print(), mim::Pi::ret_pi(), and mim::Lam::type().

finalize()

void mim::ll::Emitter::finalize

(

)

Definition at line 281 of file ll.cpp.

References mim::Emitter< std::string, std::string, BB, Emitter >::lam2bb_, mim::NestPhase< Lam >::nest(), mim::print(), mim::Scheduler::schedule(), and mim::Emitter< std::string, std::string, BB, Emitter >::tab.

is_valid()

bool mim::ll::Emitter::is_valid ( std::string_view s )

inline

Definition at line 118 of file ll.cpp.

prepare()

std::string mim::ll::Emitter::prepare

(

)

Definition at line 265 of file ll.cpp.

References mim::Emitter< std::string, std::string, BB, Emitter >::locals_, mim::match(), mim::Phase::name(), mim::print(), mim::ClosedMutPhase< Lam >::root(), mim::Def::unique_name(), and mim::Def::vars().

start()

void mim::ll::Emitter::start ( )

overridevirtual

Actual entry.

Reimplemented from mim::ClosedMutPhase< Lam >.

Definition at line 241 of file ll.cpp.

References mim::Emitter< std::string, std::string, BB, Emitter >::ostream(), and mim::Phase::start().

---

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

• src/mim/plug/core/be/ll.cpp