seo.cpp File Reference

#include "mim/plug/mem/phase/seo.h"
#include <mim/lam.h>
#include "mim/plug/mem/mem.h"

Include dependency graph for seo.cpp:

Go to the source code of this file.

Namespaces
namespace	mim
namespace	mim::plug
namespace	mim::plug::mem
	The mem Plugin
namespace	mim::plug::mem::phase

Enumerations
enum	{   mim::plug::mem::phase::Proxy_SCCP_Top ,   mim::plug::mem::phase::Proxy_Bundle ,   mim::plug::mem::phase::Proxy_Sloxy ,   mim::plug::mem::phase::Proxy_Phi }

Functions
static size_t	mim::plug::mem::phase::idx_of (Defs vars, const Def *p)
static const Proxy *	mim::plug::mem::phase::isa_bundle (const Def *def, Lam *lam)
static const Def *	mim::plug::mem::phase::mk_phi (World &w, Lam *lam, const Def *sloxy)
static const Var *	mim::plug::mem::phase::slot_var (const Def *ptr)
static std::pair< const Proxy *, DefVec >	mim::plug::mem::phase::sloxy_path (const Def *abstr_ptr)
	The sloxy abstr_ptr points into, and the literal mem.lea indices on the way, outermost first.
static bool	mim::plug::mem::phase::keep (Lam *lam, const Def *old_var, const Def *abstr)