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 bool	mim::plug::mem::phase::is_dependent (Lam *lam)
	Does lam's signature refer to its own binder's Var?
static const Def *	mim::plug::mem::phase::mk_phi (World &w, Lam *lam, const Def *sloxy)
static bool	mim::plug::mem::phase::keep (Lam *lam, const Def *old_var, const Def *abstr)