mim::plug::mem Namespace Reference

The mem Plugin More...

Namespaces
namespace	pass
namespace	phase

Enumerations
%mem.Ptr
enum class	AddrSpace : nat_t {   Generic = 0 ,   Global = 1 ,   Texture = 2 ,   Shared = 3 ,   Constant = 4 }
enum class	Ptr : flags_t
%mem.Ptr0
enum class	Ptr0 : flags_t
%mem.free
enum class	free : flags_t
%mem.ignore
enum class	ignore : flags_t
%mem.rm
enum class	rm : flags_t
%mem.add_mem_phase
enum class	add_mem_phase : flags_t
%mem.remem_repl
enum class	remem_repl : flags_t
%mem.alloc2malloc_repl
enum class	alloc2malloc_repl : flags_t
%mem.ssa_pass
enum class	ssa_pass : flags_t
%mem.copy_prop_pass
enum class	copy_prop_pass : flags_t
%mem.reshape_mode
enum class	reshape_mode : flags_t
%mem.reshape_flat
enum class	reshape_flat : flags_t
%mem.reshape_arg
enum class	reshape_arg : flags_t
%mem.reshape_pass
enum class	reshape_pass : flags_t

Functions
void	register_normalizers (Normalizers &normalizers)

Variables
static constexpr plugin_t	Plugin_Id = 0x3863800000000000

%mem.M
enum class	M : flags_t
enum class	m : flags_t
Lam *	mut_con (World &w)
	Yields con[mem.M].
Lam *	mut_con (const Def *dom)
	Yields con[mem.M, dom].
const Def *	mem_def (const Def *def)
	Returns the (first) element of type mem::M from the given tuple.
const Def *	mem_var (Lam *lam)
	Returns the memory argument of a function if it has one.
const Def *	replace_mem (const Def *mem, const Def *arg)
	Swaps the memory occurrences in the given def with the given memory.
const Def *	strip_mem_ty (const Def *def)
	Removes recusively all occurences of mem from a type (sigma).
const Def *	strip_mem (const Def *def)
	Recursively removes all occurrences of mem from a tuple.

%mem.load
enum class	load : flags_t
const Def *	normalize_load (const Def *type, const Def *, const Def *arg)

%mem.store
enum class	store : flags_t
const Def *	normalize_store (const Def *, const Def *, const Def *arg)

%mem.remem
enum class	remem : flags_t
const Def *	op_remem (const Def *mem)
const Def *	normalize_remem (const Def *, const Def *, const Def *)

%mem.alloc
enum class	alloc : flags_t
const Def *	op_alloc (const Def *type, const Def *mem)

%mem.slot
enum class	slot : flags_t
const Def *	op_slot (const Def *type, const Def *mem)

%mem.malloc
enum class	malloc : flags_t
const Def *	op_malloc (const Def *type, const Def *mem)

%mem.mslot
enum class	mslot : flags_t
const Def *	op_mslot (const Def *type, const Def *mem, const Def *id)

%mem.lea
enum class	lea : flags_t
const Def *	op_lea (const Def *ptr, const Def *index)
const Def *	op_lea_unsafe (const Def *ptr, const Def *i)
const Def *	op_lea_unsafe (const Def *ptr, u64 i)
const Def *	normalize_lea (const Def *, const Def *, const Def *arg)

Detailed Description

The mem Plugin

Enumeration Type Documentation

add_mem_phase

enum class mim::plug::mem::add_mem_phase : flags_t

strong

Definition at line 123 of file autogen.h.

AddrSpace

enum class mim::plug::mem::AddrSpace : nat_t

strong

Enumerator
Generic
Global
Texture
Shared
Constant

Definition at line 100 of file mem.h.

alloc

enum class mim::plug::mem::alloc : flags_t

strong

Definition at line 59 of file autogen.h.

alloc2malloc_repl

enum class mim::plug::mem::alloc2malloc_repl : flags_t

strong

Definition at line 137 of file autogen.h.

copy_prop_pass

enum class mim::plug::mem::copy_prop_pass : flags_t

strong

Definition at line 151 of file autogen.h.

free

enum class mim::plug::mem::free : flags_t

strong

Definition at line 80 of file autogen.h.

ignore

enum class mim::plug::mem::ignore : flags_t

strong

Definition at line 109 of file autogen.h.

lea

enum class mim::plug::mem::lea : flags_t

strong

Definition at line 94 of file autogen.h.

load

enum class mim::plug::mem::load : flags_t

strong

Definition at line 35 of file autogen.h.

M

enum class mim::plug::mem::M : flags_t

strong

Definition at line 14 of file autogen.h.

m

enum class mim::plug::mem::m : flags_t

strong

Definition at line 102 of file autogen.h.

malloc

enum class mim::plug::mem::malloc : flags_t

strong

Definition at line 73 of file autogen.h.

mslot

enum class mim::plug::mem::mslot : flags_t

strong

Definition at line 87 of file autogen.h.

Ptr

enum class mim::plug::mem::Ptr : flags_t

strong

Definition at line 21 of file autogen.h.

Ptr0

enum class mim::plug::mem::Ptr0 : flags_t

strong

Definition at line 28 of file autogen.h.

remem

enum class mim::plug::mem::remem : flags_t

strong

Definition at line 51 of file autogen.h.

remem_repl

enum class mim::plug::mem::remem_repl : flags_t

strong

Definition at line 130 of file autogen.h.

reshape_arg

enum class mim::plug::mem::reshape_arg : flags_t

strong

Definition at line 172 of file autogen.h.

reshape_flat

enum class mim::plug::mem::reshape_flat : flags_t

strong

Definition at line 165 of file autogen.h.

reshape_mode

enum class mim::plug::mem::reshape_mode : flags_t

strong

Definition at line 158 of file autogen.h.

reshape_pass

enum class mim::plug::mem::reshape_pass : flags_t

strong

Definition at line 179 of file autogen.h.

rm

enum class mim::plug::mem::rm : flags_t

strong

Definition at line 116 of file autogen.h.

slot

enum class mim::plug::mem::slot : flags_t

strong

Definition at line 66 of file autogen.h.

ssa_pass

enum class mim::plug::mem::ssa_pass : flags_t

strong

Definition at line 144 of file autogen.h.

store

enum class mim::plug::mem::store : flags_t

strong

Definition at line 43 of file autogen.h.

Function Documentation

mem_def()

const Def * mim::plug::mem::mem_def ( const Def * def )

inline

Returns the (first) element of type mem::M from the given tuple.

Definition at line 25 of file mem.h.

References mim::Axm::isa(), mem_def(), mim::Def::num_projs(), mim::Def::projs(), and mim::Def::type().

Referenced by mem_def(), mem_var(), and mim::plug::affine::phase::LowerFor::rewrite_imm_App().

mem_var()

const Def * mim::plug::mem::mem_var ( Lam * lam )

inline

Returns the memory argument of a function if it has one.

Definition at line 38 of file mem.h.

References mem_def(), and mim::Def::var().

Referenced by mim::plug::clos::Clos2SJLJ::enter(), mim::plug::mem::pass::CopyProp::rewrite(), and mim::plug::affine::phase::LowerFor::rewrite_imm_App().

mut_con() [1/2]

Lam * mim::plug::mem::mut_con ( const Def * dom )

inline

Yields con[mem.M, dom].

Definition at line 19 of file mem.h.

References mim::Def::world().

mut_con() [2/2]

Lam * mim::plug::mem::mut_con ( World & w )

inline

Yields con[mem.M].

Definition at line 16 of file mem.h.

Referenced by mim::plug::clos::Clos2SJLJ::enter(), and mim::plug::matrix::LowerMatrixMediumLevel::rewrite_().

normalize_lea()

const Def * mim::plug::mem::normalize_lea	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 7 of file normalizers.cpp.

References mim::Axm::as(), mim::Lit::isa(), and mim::Def::projs().

normalize_load()

const Def * mim::plug::mem::normalize_load	(	const Def *	type,
		const Def *	,
		const Def *	arg )

Definition at line 16 of file normalizers.cpp.

References mim::Axm::as(), mim::Def::num_ops(), mim::Def::op(), and mim::Def::projs().

normalize_remem()

const Def * mim::plug::mem::normalize_remem	(	const Def *	,
		const Def *	,
		const Def *	)

Definition at line 31 of file normalizers.cpp.

normalize_store()

const Def * mim::plug::mem::normalize_store	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 33 of file normalizers.cpp.

References mim::Seq::body(), and mim::Def::projs().

op_alloc()

const Def * mim::plug::mem::op_alloc ( const Def * type, const Def * mem )

inline

Definition at line 136 of file mem.h.

Referenced by mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm_App().

op_lea()

const Def * mim::plug::mem::op_lea ( const Def * ptr, const Def * index )

inline

Definition at line 111 of file mem.h.

References mim::Axm::as(), mim::tuple_of_types(), mim::Def::type(), and mim::Def::world().

Referenced by op_lea_unsafe().

op_lea_unsafe() [1/2]

const Def * mim::plug::mem::op_lea_unsafe ( const Def * ptr, const Def * i )

inline

Definition at line 118 of file mem.h.

References mim::Axm::as(), op_lea(), mim::Def::type(), mim::plug::core::u, and mim::Def::world().

Referenced by op_lea_unsafe().

op_lea_unsafe() [2/2]

const Def * mim::plug::mem::op_lea_unsafe ( const Def * ptr, u64 i )

inline

Definition at line 123 of file mem.h.

References mim::World::lit_i64(), op_lea_unsafe(), and mim::Def::world().

op_malloc()

const Def * mim::plug::mem::op_malloc ( const Def * type, const Def * mem )

inline

Definition at line 152 of file mem.h.

References mim::plug::core::size.

Referenced by reg_stages().

op_mslot()

const Def * mim::plug::mem::op_mslot ( const Def * type, const Def * mem, const Def * id )

inline

Definition at line 161 of file mem.h.

References mim::plug::core::size.

Referenced by reg_stages().

op_remem()

const Def * mim::plug::mem::op_remem ( const Def * mem )

inline

Definition at line 128 of file mem.h.

Referenced by mim::plug::mem::pass::SSA::rewrite().

op_slot()

const Def * mim::plug::mem::op_slot ( const Def * type, const Def * mem )

inline

Definition at line 144 of file mem.h.

Referenced by mim::plug::clos::Clos2SJLJ::enter().

register_normalizers()

void mim::plug::mem::register_normalizers

(

Normalizers &

normalizers

)

Referenced by mim_get_plugin().

replace_mem()

const Def * mim::plug::mem::replace_mem ( const Def * mem, const Def * arg )

inline

Swaps the memory occurrences in the given def with the given memory.

Definition at line 41 of file mem.h.

References mim::Axm::isa(), mim::Def::num_projs(), and mim::Def::type().

strip_mem()

const Def * mim::plug::mem::strip_mem ( const Def * def )

inline

Recursively removes all occurrences of mem from a tuple.

Returns an empty tuple if applied with mem alone.

Definition at line 72 of file mem.h.

References mim::Axm::isa(), mim::Def::projs(), strip_mem(), mim::Def::type(), and mim::Def::world().

Referenced by strip_mem().

strip_mem_ty()

const Def * mim::plug::mem::strip_mem_ty ( const Def * def )

inline

Removes recusively all occurences of mem from a type (sigma).

Definition at line 54 of file mem.h.

References mim::Axm::isa(), mim::Def::ops(), strip_mem_ty(), and mim::Def::world().

Referenced by strip_mem_ty().

Variable Documentation

Plugin_Id

plugin_t mim::plug::mem::Plugin_Id = 0x3863800000000000

staticconstexpr

Definition at line 10 of file autogen.h.