Base class for all Defs. More...

#include <mim/def.h>

Inheritance diagram for mim::Def:

Public Member Functions
Getters
World &	world () const

flags_t	flags () const

u32	gid () const

hash_t	hash () const

node_t	node () const

std::string_view	node_name () const

type
const Def *	type () const

const Def *	unfold_type () const
	Yields the type of this Def and builds a new `Type (UInc n)` if necessary.

bool	is_term () const
	Yields `true` if `this:T` and `T:(Type 0)`.

arity
Ref	arity () const

std::optional< nat_t >	isa_lit_arity () const

nat_t	as_lit_arity () const

ops
template<size_t N = std::dynamic_extent>
auto	ops () const

const Def *	op (size_t i) const

size_t	num_ops () const

Setting Ops (Mutables Only)
You can set and change the Def::ops of a mutable after construction. However, you have to obey the following rules: If Def::is_set() is ... ... `false`, set the operands from left (`i == 0`) to right (`i == num_ops() - 1`). ... `true`, reset the operands from left to right as in 1a. In addition, you can invoke Def::unset() at any time to start over with 1a: mut->unset()->set({a, b, c}); // This will always work, but should be your last resort. MimIR assumes that a mutable is final, when its last operand is set. Then, Def::check() will be invoked.
Def *	set (size_t i, const Def *def)
	Successively set from left to right.

Def *	reset (size_t i, const Def *def)
	Successively reset from left to right.

Def *	set (Defs ops)
	Def::set `ops` all at once.

Def *	reset (Defs ops)
	Def::reset `ops` all at once.

Def *	unset ()
	Unsets all Def::ops; works even, if not set at all or partially.

Def *	set_type (const Def *)

void	unset_type ()

void	update ()
	Resolves Infers of this Def's type.

bool	is_set () const
	Yields `true` if empty or the last op is set.

extended_ops
Includes Def::type() (if not `nullptr`) and then the other Def::ops() in this order. Def::ops() is only included, if Def::is_set.
Defs	extended_ops () const

const Def *	extended_op (size_t i) const

size_t	num_extended_ops () const

partial_ops
Includes Def::type() and then the other Def::ops() in this order. Also works with partially set Defs and doesn't assert. Unset operands are `nullptr`.
Defs	partial_ops () const

const Def *	partial_op (size_t i) const

size_t	num_partial_ops () const

uses
const Uses &	uses () const

size_t	num_uses () const

dep
unsigned	dep () const

bool	has_dep (Dep d) const

bool	has_dep (unsigned u) const

bool	dep_const () const

proj
Splits this Def via Extracts or directly accessing the Def::ops in the case of Sigmas or Arrays. std::array<const Def, 2> ab = def->projs<2>(); std::array<u64, 2> xy = def->projs<2>([](auto def) { return Lit::as(def); }); auto [a, b] = def->projs<2>(); auto [x, y] = def->projs<2>([](auto def) { return Lit::as(def); }); Array<const Def> projs1 = def->projs(); // "projs1" has def->num_projs() many elements Array<const Def> projs2 = def->projs(n);// "projs2" has n elements - asserts if incorrect // same as above but applies Lit::as<nat_t>(def) to each element Array<const Lit> lits1 = def->projs( [](auto def) { return Lit::as(def); }); Array<const Lit> lits2 = def->projs(n, [](auto def) { return Lit::as(def); }); mim::Lit::as static T as(Ref def) Definition* def.h:768
nat_t	num_projs () const

nat_t	num_tprojs () const
	As above but yields 1, if Flags::scalarize_threshold is exceeded.

const Def *	proj (nat_t a, nat_t i) const
	Similar to World::extract while assuming an arity of `a`, but also works on Sigmas and Arrays.

const Def *	proj (nat_t i) const
	As above but takes Def::num_projs as arity.

const Def *	tproj (nat_t i) const
	As above but takes Def::num_tprojs.

template<nat_t A = -1_n, class F >
auto	projs (F f) const
	Splits this Def via Def::projections into an Array (if `A == -1_n`) or `std::array` (otherwise).

template<class F >
auto	tprojs (F f) const

template<class F >
auto	projs (nat_t a, F f) const

template<nat_t A = -1_n>
auto	projs () const

auto	tprojs () const

auto	projs (nat_t a) const

var
Retrieve Var for mutables. See also proj
nat_t	num_vars ()

nat_t	num_tvars ()

Ref	var (nat_t a, nat_t i)

Ref	var (nat_t i)

Ref	tvar (nat_t i)

template<nat_t A = std::dynamic_extent, class F >
auto	vars (F f)

template<class F >
auto	tvars (F f)

template<nat_t A = std::dynamic_extent>
auto	vars ()

auto	tvars ()

template<class F >
auto	vars (nat_t a, F f)

auto	vars (nat_t a)

Ref	var ()
	Not necessarily a Var: E.g., if the return type is `[]`, this will yield `()`.

const Var *	has_var ()
	Only returns not `nullptr`, if Var of this mutable has ever been created.

const Var *	has_var () const
	As above if `this` is a mutable.

Free Vars and Muts
local_muts() / local_vars() are Vars/mutables reachable by following immutable extended_ops(). local_muts() / local_vars() are cached and hash-consed. free_vars() compute a global solution, i.e., by transitively following mutables as well. free_vars() are computed on demand and cached. They will be transitively invalidated by following fv_consumers(), if a mutable is mutated.
Muts	local_muts () const

Vars	local_vars () const

Vars	free_vars () const

Vars	free_vars ()

bool	is_open () const
	Has free_vars()?

bool	is_closed () const
	Has no free_vars()?

Muts	fv_consumers ()

external
bool	is_external () const

void	make_external ()

void	make_internal ()

void	transfer_external (Def *to)

Casts
See also Upcast for Built-ins
template<class T = Def>
const T *	isa_imm () const

template<class T = Def>
const T *	as_imm () const

template<class T = Def, class R >
const T *	isa_imm (R(T::*f)() const) const

template<class T = Def, bool invert = false>
T *	isa_mut () const
	If `this` is mutable, it will cast `const`ness away and perform a `dynamic_cast` to `T`.

template<class T = Def, bool invert = false>
T *	as_mut () const
	Asserts that `this` is a mutable, casts `const`ness away and performs a `static_cast` to `T`.

Dbg Getters
Dbg	dbg () const

Loc	loc () const

Sym	sym () const

std::string	unique_name () const
	name + "_" + Def::gid

Dbg Setters
Every subclass `S` of Def has the same setters that return `S`/`const S` via the mixin Setters.
template<bool Ow = false>
const Def *	set (Loc l) const

template<bool Ow = false>
Def *	set (Loc l)

template<bool Ow = false>
const Def *	set (Sym s) const

template<bool Ow = false>
Def *	set (Sym s)

template<bool Ow = false>
const Def *	set (std::string s) const

template<bool Ow = false>
Def *	set (std::string s)

template<bool Ow = false>
const Def *	set (Loc l, Sym s) const

template<bool Ow = false>
Def *	set (Loc l, Sym s)

template<bool Ow = false>
const Def *	set (Loc l, std::string s) const

template<bool Ow = false>
Def *	set (Loc l, std::string s)

template<bool Ow = false>
const Def *	set (Dbg d) const

template<bool Ow = false>
Def *	set (Dbg d)

debug_prefix/suffix
Prepends/Appends a prefix/suffix to Def::name - but only in `Debug` build.
const Def *	debug_prefix (std::string) const

const Def *	debug_suffix (std::string) const

Rebuild
Def *	stub (World &w, Ref type)

Def *	stub (Ref type)

Ref	rebuild (World &w, Ref type, Defs ops) const
	Def::rebuilds this Def while using `new_op` as substitute for its `i'th` Def::op.

Ref	rebuild (Ref type, Defs ops) const

virtual const Def *	immutabilize ()
	Tries to make an immutable from a mutable.

const Def *	refine (size_t i, const Def *new_op) const

DefVec	reduce (const Def *arg) const
	Rewrites Def::ops by substituting `this` mutable's Var with `arg`.

DefVec	reduce (const Def *arg)

Type Checking
virtual void	check ()

dump
void	dump () const

void	dump (int max) const

void	write (int max) const

void	write (int max, const char *file) const

std::ostream &	stream (std::ostream &, int max) const

dot
Dumps DOT to `os` while obeying maximum recursion depth of `max`. If `types` is `true`, Def::type() dependencies will be followed as well.
void	dot (std::ostream &os, uint32_t max=0xFFFFFF, bool types=false) const

void	dot (const char *file=nullptr, uint32_t max=0xFFFFFF, bool types=false) const
	Same as above but write to `file` or `std::cout` if `file` is `nullptr`.

void	dot (const std::string &file, uint32_t max=0xFFFFFF, bool types=false) const

Protected Member Functions
	Def (World , node_t, const Def type, Defs ops, flags_t flags)
	Constructor for an immutable Def.

	Def (node_t n, const Def *type, Defs ops, flags_t flags)
	As above but World retrieved from `type`.

	Def (node_t, const Def *type, size_t num_ops, flags_t flags)
	Constructor for a mutable Def.

virtual	~Def ()=default

Wrappers for World::sym
These are here to have Def::setters inline without including `mim/world.h`.
Sym	sym (const char *) const

Sym	sym (std::string_view) const

Sym	sym (std::string) const

Protected Attributes
Dbg	dbg_

union {

NormalizeFn	normalizer_
	Axiom only: Axioms use this member to store their normalizer.

const Axiom *	axiom_
	App only: Curried Apps of Axioms use this member to propagate the Axiom.

const Var *	var_
	Mutable only: Var of a mutable.

World *	world_

};

flags_t	flags_

u8	curry_

u8	trip_

Private Member Functions
virtual Def *	stub_ (World &, Ref)

virtual Ref	rebuild_ (World &w, Ref type, Defs ops) const =0

Friends
class	World

void	swap (World &, World &) noexcept

Detailed Description

Base class for all Defs.

The data layout (see World::alloc and Def::partial_ops) looks like this:

Def| type | op(0) ... op(num_ops-1) |
          |-----------ops-----------|
   |----------partial_ops-----------|
 
             extended_ops
   |--------------------------------| if type() != nullptr &&  is_set()
          |-------------------------| if type() == nullptr &&  is_set()
   |------|                           if type() != nullptr && !is_set()
   ||                                 if type() == nullptr && !is_set()

Attention: This means that any subclass of Def must not introduce additional members.

See also: Immutables vs. Mutables

Definition at line 223 of file def.h.

Constructor & Destructor Documentation

◆ Def() [1/3]

mim::Def::Def	(	World *	w,
		node_t	node,
		const Def *	type,
		Defs	ops,
		flags_t	flags )

protected

Constructor for an immutable Def.

Definition at line 16 of file def.cpp.

References extended_ops(), flags_, gid(), local_muts(), local_vars(), mim::World::merge(), mim::murmur3(), mim::murmur3_finalize(), mim::murmur3_rest(), mim::World::next_gid(), node(), num_ops(), op(), ops(), type(), mim::Node::Univ, var(), mim::World::vars(), and world().

◆ Def() [2/3]

mim::Def::Def	(	node_t	n,
		const Def *	type,
		Defs	ops,
		flags_t	flags )

protected

As above but World retrieved from type.

Definition at line 57 of file def.cpp.

◆ Def() [3/3]

mim::Def::Def	(	node_t	node,
		const Def *	type,
		size_t	num_ops,
		flags_t	flags )

protected

Constructor for a mutable Def.

Definition at line 60 of file def.cpp.

References dep_const(), gid(), mim::murmur3(), mim::World::next_gid(), num_ops(), mim::Use::Type, type(), and world().

◆ ~Def()

virtual mim::Def::~Def ( )

protectedvirtualdefault

Member Function Documentation

◆ arity()

Ref mim::Def::arity ( ) const

Definition at line 481 of file def.cpp.

References mim::World::lit_nat(), mim::World::lit_nat_1(), type(), and world().

Referenced by mim::plug::autodiff::AutoDiffEval::augment_pack(), mim::World::extract(), mim::World::insert(), mim::tuple2str(), and mim::unflatten().

◆ as_imm()

template<class T = Def>

const T * mim::Def::as_imm ( ) const

inline

Definition at line 442 of file def.h.

References as_mut().

◆ as_lit_arity()

nat_t mim::Def::as_lit_arity ( ) const

inline

Definition at line 259 of file def.h.

References isa_lit_arity().

Referenced by mim::World::extract(), mim::plug::regex::normalize_conj(), mim::plug::regex::normalize_disj(), and projs().

◆ as_mut()

template<class T = Def, bool invert = false>

T * mim::Def::as_mut ( ) const

inline

Asserts that this is a mutable, casts constness away and performs a static_cast to T.

Definition at line 455 of file def.h.

Referenced by mim::BetaRed::analyze(), mim::EtaExp::analyze(), mim::plug::mem::CopyProp::analyze(), mim::plug::mem::SSAConstr::analyze(), as_imm(), mim::plug::clos::clos_type(), mim::plug::autodiff::AutoDiffEval::derive_(), mim::ast::TuplePtrn::emit_body(), mim::Var::mut(), mim::ll::Emitter::prepare(), mim::Cleanup::start(), and mim::Emitter< Value, Type, BB, Child >::visit().

◆ check()

virtual void mim::Def::check ( )

inlinevirtual

Reimplemented in mim::Arr, mim::Lam, mim::Pi, and mim::Sigma.

Definition at line 528 of file def.h.

Referenced by set().

◆ dbg()

Dbg mim::Def::dbg ( ) const

inline

Definition at line 466 of file def.h.

References dbg_.

Referenced by rebuild(), mim::Arr::stub(), stub(), mim::Global::stub(), mim::Infer::stub(), mim::Lam::stub(), mim::Pack::stub(), mim::Pi::stub(), mim::Sigma::stub(), mim::TBound< Up >::stub(), and mim::TExt< Up >::stub().

◆ debug_prefix()

const Def * mim::Def::debug_prefix ( std::string prefix ) const

Definition at line 448 of file def.cpp.

References dbg_, mim::Dbg::set(), sym(), and world().

◆ debug_suffix()

const Def * mim::Def::debug_suffix ( std::string suffix ) const

Definition at line 449 of file def.cpp.

References dbg_, mim::Dbg::set(), sym(), and world().

◆ dep()

unsigned mim::Def::dep ( ) const

inline

See also: Dep.

Definition at line 335 of file def.h.

Referenced by has_dep().

◆ dep_const()

bool mim::Def::dep_const ( ) const

inline

Definition at line 338 of file def.h.

References has_dep(), mim::Mut, and mim::Var.

Referenced by Def(), mim::Scheduler::early(), mim::Scheduler::late(), mim::plug::core::normalize_pe(), mim::Rewriter::rewrite_imm(), and unset_type().

◆ dot() [1/3]

void mim::Def::dot	(	const char *	file = nullptr,
		uint32_t	max = 0xFFFFFF,
		bool	types = false ) const

Same as above but write to file or std::cout if file is nullptr.

Definition at line 122 of file dot.cpp.

References dot().

◆ dot() [2/3]

void mim::Def::dot	(	const std::string &	file,
		uint32_t	max = 0xFFFFFF,
		bool	types = false ) const

inline

Definition at line 547 of file def.h.

References dot().

◆ dot() [3/3]

void mim::Def::dot	(	std::ostream &	os,
		uint32_t	max = 0xFFFFFF,
		bool	types = false ) const

Definition at line 120 of file dot.cpp.

Referenced by dot(), and dot().

◆ dump() [1/2]

void mim::Def::dump ( ) const

Definition at line 450 of file dump.cpp.

◆ dump() [2/2]

void mim::Def::dump ( int max ) const

Definition at line 451 of file dump.cpp.

◆ extended_op()

const Def * mim::Def::extended_op ( size_t i ) const

inline

Definition at line 312 of file def.h.

References extended_ops().

◆ extended_ops()

Defs mim::Def::extended_ops ( ) const

Definition at line 441 of file def.cpp.

References is_set(), and type().

Referenced by Def(), mim::Scheduler::early(), extended_op(), num_extended_ops(), mim::PassMan::run(), and mim::ClosedMutPhase< M >::start().

◆ flags()

flags_t mim::Def::flags ( ) const

inline

Definition at line 238 of file def.h.

References flags_.

Referenced by mim::Axiom::base(), mim::Pi::is_implicit(), mim::Global::is_mutable(), mim::UInc::offset(), mim::optimize(), mim::Proxy::pass(), mim::Axiom::plugin(), mim::Axiom::sub(), mim::Axiom::tag(), and mim::Proxy::tag().

◆ free_vars() [1/2]

Vars mim::Def::free_vars ( )

Definition at line 334 of file def.cpp.

References free_vars(), is_set(), and isa_mut().

◆ free_vars() [2/2]

Vars mim::Def::free_vars ( ) const

Definition at line 326 of file def.cpp.

References isa_mut(), local_muts(), local_vars(), mim::World::merge(), vars(), and world().

Referenced by free_vars(), mim::Arr::immutabilize(), mim::Pack::immutabilize(), mim::Pi::immutabilize(), mim::Sigma::immutabilize(), is_closed(), is_open(), and mim::VarRewriter::rewrite_mut().

◆ fv_consumers()

Muts mim::Def::fv_consumers ( )

inline

Definition at line 426 of file def.h.

◆ gid()

u32 mim::Def::gid ( ) const

inline

Definition at line 239 of file def.h.

Referenced by mim::commute(), Def(), Def(), mim::PipelineBuilder::def2pass(), mim::plug::refly::normalize_gid(), mim::UseHash::operator()(), mim::register_pass_with_arg(), and unique_name().

◆ has_dep() [1/2]

bool mim::Def::has_dep ( Dep d ) const

inline

Definition at line 336 of file def.h.

References has_dep().

Referenced by dep_const(), has_dep(), and mim::Infer::should_eliminate().

◆ has_dep() [2/2]

bool mim::Def::has_dep ( unsigned u ) const

inline

Definition at line 337 of file def.h.

References dep().

◆ has_var() [1/2]

const Var * mim::Def::has_var ( )

inline

Only returns not nullptr, if Var of this mutable has ever been created.

Definition at line 405 of file def.h.

Referenced by has_var(), mim::Arr::immutabilize(), mim::Pack::immutabilize(), mim::Pi::immutabilize(), mim::Sigma::immutabilize(), and mim::VarRewriter::rewrite_mut().

◆ has_var() [2/2]

const Var * mim::Def::has_var ( ) const

inline

As above if this is a mutable.

Definition at line 407 of file def.h.

References has_var(), and isa_mut().

◆ hash()

hash_t mim::Def::hash ( ) const

inline

Definition at line 240 of file def.h.

◆ immutabilize()

virtual const Def * mim::Def::immutabilize ( )

inlinevirtual

Tries to make an immutable from a mutable.

This usually works if the mutable isn't recursive and its var isn't used.

Reimplemented in mim::Arr, mim::Pack, mim::Pi, and mim::Sigma.

Definition at line 517 of file def.h.

◆ is_closed()

bool mim::Def::is_closed ( ) const

Has no free_vars()?

Definition at line 395 of file def.cpp.

References mim::PooledSet< T >::empty(), free_vars(), is_external(), local_muts(), and local_vars().

Referenced by mim::World::make_external(), and mim::World::verify().

◆ is_external()

bool mim::Def::is_external ( ) const

inline

Definition at line 431 of file def.h.

Referenced by is_closed(), mim::isa_workable(), mim::World::make_external(), and mim::World::make_internal().

◆ is_open()

bool mim::Def::is_open ( ) const

Has free_vars()?

Definition at line 403 of file def.cpp.

References mim::PooledSet< T >::empty(), free_vars(), local_muts(), and local_vars().

◆ is_set()

bool mim::Def::is_set ( ) const

Yields true if empty or the last op is set.

Definition at line 309 of file def.cpp.

References num_ops(), op(), and ops().

Referenced by mim::EtaExp::analyze(), mim::World::app(), extended_ops(), free_vars(), mim::isa_workable(), mim::EtaExp::rewrite(), mim::EtaRed::rewrite(), mim::Rewriter::rewrite_mut(), mim::PassMan::run(), and mim::Emitter< Value, Type, BB, Child >::visit().

◆ is_term()

bool mim::Def::is_term ( ) const

Yields true if this:T and T:(Type 0).

Definition at line 470 of file def.cpp.

References mim::Lit::isa(), and type().

Referenced by mim::flatten().

◆ isa_imm() [1/2]

template<class T = Def>

const T * mim::Def::isa_imm ( ) const

inline

Definition at line 441 of file def.h.

References isa_mut().

Referenced by mim::World::app(), mim::merge_sigma(), mim::merge_tuple(), mim::plug::core::normalize_trait(), rebuild(), and mim::Infer::should_eliminate().

◆ isa_imm() [2/2]

template<class T = Def, class R >

const T * mim::Def::isa_imm ( R(T::* f )() const ) const

inline

Definition at line 443 of file def.h.

References isa_mut().

◆ isa_lit_arity()

std::optional< nat_t > mim::Def::isa_lit_arity ( ) const

Definition at line 488 of file def.cpp.

References mim::Lit::isa(), num_ops(), and type().

Referenced by as_lit_arity(), mim::flatten(), mim::World::insert(), num_projs(), and num_tprojs().

◆ isa_mut()

template<class T = Def, bool invert = false>

T * mim::Def::isa_mut ( ) const

inline

If this is *mut*able, it will cast constness away and perform a dynamic_cast to T.

Definition at line 447 of file def.h.

Referenced by mim::BetaRed::analyze(), mim::EtaExp::analyze(), mim::EtaRed::analyze(), mim::plug::mem::SSAConstr::analyze(), mim::World::app(), mim::plug::autodiff::AutoDiffEval::augment_(), mim::Scheduler::early(), mim::World::extract(), mim::Bound::find(), mim::Infer::find(), free_vars(), free_vars(), has_var(), mim::plug::clos::isa_clos_type(), isa_imm(), isa_imm(), mim::Scheduler::late(), local_muts(), proj(), mim::Arr::reduce(), reduce(), mim::Pack::reduce(), mim::EtaExp::rewrite(), mim::EtaRed::rewrite(), mim::plug::affine::LowerFor::rewrite(), mim::plug::mem::SSAConstr::rewrite(), mim::Rewriter::rewrite(), mim::Scalarize::rewrite(), mim::plug::clos::ClosConvPrep::rewrite_arg(), mim::Scheduler::Scheduler(), mim::World::tuple(), mim::Emitter< Value, Type, BB, Child >::visit(), and mim::plug::mem::AddMem::visit().

◆ loc()

Loc mim::Def::loc ( ) const

inline

Definition at line 467 of file def.h.

References dbg_, and mim::Dbg::loc().

Referenced by mim::World::app(), mim::Arr::check(), mim::Lam::check(), mim::Pi::check(), mim::World::extract(), mim::World::insert(), mim::World::lit(), mim::World::type(), and mim::World::uinc().

◆ local_muts()

Muts mim::Def::local_muts ( ) const

Definition at line 321 of file def.cpp.

References isa_mut(), mim::World::muts(), and world().

Referenced by Def(), free_vars(), is_closed(), is_open(), mim::VarRewriter::rewrite_imm(), and mim::ClosedMutPhase< M >::start().

◆ local_vars()

Vars mim::Def::local_vars ( ) const

inline

Definition at line 421 of file def.h.

Referenced by Def(), free_vars(), is_closed(), is_open(), and mim::VarRewriter::rewrite_imm().

◆ make_external()

void mim::Def::make_external ( )

Definition at line 508 of file def.cpp.

References mim::World::make_external(), and world().

Referenced by transfer_external().

◆ make_internal()

void mim::Def::make_internal ( )

Definition at line 509 of file def.cpp.

References mim::World::make_internal(), and world().

Referenced by mim::plug::compile::InternalCleanup::enter(), mim::optimize(), and transfer_external().

◆ node()

node_t mim::Def::node ( ) const

inline

Definition at line 241 of file def.h.

Referenced by Def(), mim::Pi::isa_cn(), and node_name().

◆ node_name()

std::string_view mim::Def::node_name ( ) const

Definition at line 431 of file def.cpp.

References CODE, MIM_NODE, and node().

Referenced by mim::plug::autodiff::AutoDiffEval::augment_(), and mim::plug::autodiff::autodiff_type_fun().

◆ num_extended_ops()

size_t mim::Def::num_extended_ops ( ) const

inline

Definition at line 313 of file def.h.

References extended_ops().

◆ num_ops()

size_t mim::Def::num_ops ( ) const

inline

◆ num_partial_ops()

size_t mim::Def::num_partial_ops ( ) const

inline

Definition at line 323 of file def.h.

References partial_ops().

◆ num_projs()

nat_t mim::Def::num_projs ( ) const

inline

Yields Def::as_lit_arity(), if it is in fact a Lit, or 1 otherwise.

Definition at line 357 of file def.h.

References isa_lit_arity().

Referenced by mim::plug::clos::clos_insert_env(), mim::plug::clos::clos_remove_env(), mim::plug::mem::mem_def(), proj(), projs(), and mim::plug::mem::replace_mem().

◆ num_tprojs()

nat_t mim::Def::num_tprojs ( ) const

As above but yields 1, if Flags::scalarize_threshold is exceeded.

Definition at line 513 of file def.cpp.

References mim::World::flags(), isa_lit_arity(), mim::Flags::scalarize_threshold, and world().

Referenced by tproj(), and tprojs().

◆ num_tvars()

nat_t mim::Def::num_tvars ( )

inline

Definition at line 401 of file def.h.

◆ num_uses()

size_t mim::Def::num_uses ( ) const

inline

Definition at line 329 of file def.h.

References uses().

◆ num_vars()

nat_t mim::Def::num_vars ( )

inline

Definition at line 401 of file def.h.

Referenced by mim::ll::Emitter::emit_epilogue(), and mim::Lam::ret_var().

◆ op()

const Def * mim::Def::op ( size_t i ) const

inline

Definition at line 269 of file def.h.

References ops().

Referenced by mim::BetaRed::analyze(), mim::EtaExp::analyze(), mim::EtaExp::analyze(), mim::plug::mem::CopyProp::analyze(), mim::plug::mem::SSAConstr::analyze(), mim::plug::mem::SSAConstr::analyze(), mim::App::arg(), mim::Arr::body(), mim::Lam::body(), mim::Pack::body(), mim::App::callee(), mim::Test::clash(), mim::plug::clos::clos_type_to_pi(), mim::Pi::codom(), Def(), mim::Pi::dom(), mim::World::extract(), mim::Lam::filter(), mim::Infer::find(), mim::Bound::get(), mim::Sigma::immutabilize(), mim::Extract::index(), mim::Insert::index(), mim::Singleton::inhabitant(), mim::Global::init(), is_set(), mim::plug::clos::isa_clos_type(), mim::Type::level(), mim::Test::match(), mim::Var::mut(), mim::plug::mem::normalize_load(), mim::Infer::op(), mim::UInc::op(), mim::Test::probe(), proj(), mim::EtaExp::rewrite(), mim::EtaRed::rewrite(), mim::plug::mem::SSAConstr::rewrite(), mim::plug::mem::SSAConstr::rewrite(), mim::rewrite(), mim::rewrite(), mim::Rewriter::rewrite_imm(), mim::Rewriter::rewrite_mut(), mim::PassMan::run(), set(), mim::Arr::shape(), mim::Extract::tuple(), mim::Insert::tuple(), unset(), mim::Insert::value(), mim::Pick::value(), mim::Test::value(), and mim::Vel::value().

◆ ops()

template<size_t N = std::dynamic_extent>

auto mim::Def::ops ( ) const

inline

◆ partial_op()

const Def * mim::Def::partial_op ( size_t i ) const

inline

Definition at line 322 of file def.h.

References partial_ops().

◆ partial_ops()

Defs mim::Def::partial_ops ( ) const

inline

Definition at line 321 of file def.h.

Referenced by num_partial_ops(), and partial_op().

◆ proj() [1/2]

const Def * mim::Def::proj	(	nat_t	a,
		nat_t	i ) const

Similar to World::extract while assuming an arity of a, but also works on Sigmas and Arrays.

Definition at line 518 of file def.cpp.

References mim::Lit::isa(), isa_mut(), op(), mim::Extract::tuple(), type(), uses(), and world().

Referenced by mim::plug::clos::clos_remove_env(), mim::ll::Emitter::emit_bb(), mim::ast::TuplePtrn::emit_value_(), mim::flatten(), mim::World::insert(), projs(), projs(), mim::plug::clos::ClosConvPrep::rewrite_arg(), and tproj().

◆ proj() [2/2]

const Def * mim::Def::proj ( nat_t i ) const

inline

As above but takes Def::num_projs as arity.

Definition at line 362 of file def.h.

References num_projs(), and proj().

Referenced by proj().

◆ projs() [1/4]

template<nat_t A = -1_n>

auto mim::Def::projs ( ) const

inline

Definition at line 385 of file def.h.

References projs().

Referenced by projs(), projs(), projs(), and tprojs().

◆ projs() [2/4]

template<nat_t A = -1_n, class F >

auto mim::Def::projs ( F f ) const

inline

Splits this Def via Def::projections into an Array (if A == -1_n) or std::array (otherwise).

Applies f to each element.

Definition at line 367 of file def.h.

References as_lit_arity(), num_projs(), proj(), and projs().

◆ projs() [3/4]

auto mim::Def::projs ( nat_t a ) const

inline

Definition at line 391 of file def.h.

References projs().

◆ projs() [4/4]

template<class F >

auto mim::Def::projs	(	nat_t	a,
		F	f ) const

inline

Definition at line 381 of file def.h.

References proj(), and mim::Vector().

◆ rebuild() [1/2]

Ref mim::Def::rebuild	(	Ref	type,
		Defs	ops ) const

inline

Definition at line 513 of file def.h.

References ops(), rebuild(), type(), and world().

Referenced by rebuild().

◆ rebuild() [2/2]

Ref mim::Def::rebuild	(	World &	w,
		Ref	type,
		Defs	ops ) const

inline

Def::rebuilds this Def while using new_op as substitute for its i'th Def::op.

Definition at line 509 of file def.h.

References dbg(), isa_imm(), ops(), rebuild_(), set(), and type().

Referenced by refine(), mim::EtaExp::rewrite(), and mim::Rewriter::rewrite_imm().

◆ rebuild_()

virtual Ref mim::Def::rebuild_	(	World &	w,
		Ref	type,
		Defs	ops ) const

privatepure virtual

Implemented in mim::Ac, mim::App, mim::Arr, mim::Axiom, mim::Extract, mim::Global, mim::Idx, mim::Infer, mim::Insert, mim::Lam, mim::Lit, mim::Nat, mim::Pack, mim::Pi, mim::Pick, mim::Proxy, mim::Sigma, mim::Singleton, mim::TBound< Up >, mim::Test, mim::TExt< Up >, mim::Tuple, mim::Type, mim::UInc, mim::UMax, mim::Univ, mim::Var, and mim::Vel.

Referenced by rebuild().

◆ reduce() [1/2]

DefVec mim::Def::reduce ( const Def * arg )

Definition at line 211 of file def.cpp.

References mim::rewrite(), and world().

◆ reduce() [2/2]

DefVec mim::Def::reduce ( const Def * arg ) const

Rewrites Def::ops by substituting this mutable's Var with arg.

Definition at line 206 of file def.cpp.

References isa_mut(), and ops().

Referenced by mim::World::app(), mim::World::extract(), and mim::plug::compile::handle_optimization_part().

◆ refine()

const Def * mim::Def::refine	(	size_t	i,
		const Def *	new_op ) const

Definition at line 218 of file def.cpp.

References ops(), rebuild(), and type().

Referenced by mim::plug::clos::clos_sub_env(), mim::EtaRed::rewrite(), mim::plug::mem::SSAConstr::rewrite(), mim::plug::clos::ClosConvPrep::rewrite_arg(), and mim::plug::clos::ClosConvPrep::rewrite_callee().

◆ reset() [1/2]

Def * mim::Def::reset ( Defs ops )

Def::reset ops all at once.

Definition at line 243 of file def.cpp.

References num_ops(), ops(), and reset().

◆ reset() [2/2]

Def * mim::Def::reset	(	size_t	i,
		const Def *	def )

inline

Successively reset from left to right.

Definition at line 291 of file def.h.

References set(), and unset().

Referenced by mim::plug::clos::Clos2SJLJ::enter(), mim::RetWrap::enter(), mim::Infer::find(), reset(), mim::Infer::reset(), and mim::PassMan::run().

◆ set() [1/14]

template<bool Ow = false>

Def * mim::Def::set ( Dbg d )

inline

Definition at line 487 of file def.h.

References set().

Referenced by set().

◆ set() [2/14]

template<bool Ow = false>

const Def * mim::Def::set ( Dbg d ) const

inline

Definition at line 486 of file def.h.

References set().

Referenced by set().

◆ set() [3/14]

Def * mim::Def::set ( Defs ops )

Def::set ops all at once.

Definition at line 242 of file def.cpp.

References num_ops(), ops(), and set().

◆ set() [4/14]

template<bool Ow = false>

Def * mim::Def::set ( Loc l )

inline

Definition at line 477 of file def.h.

References dbg_, mim::Dbg::loc(), and mim::Dbg::set().

◆ set() [5/14]

template<bool Ow = false>

const Def * mim::Def::set ( Loc l ) const

inline

Definition at line 476 of file def.h.

References dbg_, mim::Dbg::loc(), and mim::Dbg::set().

◆ set() [6/14]

template<bool Ow = false>

Def * mim::Def::set	(	Loc	l,
		std::string	s )

inline

Definition at line 485 of file def.h.

References set(), and sym().

Referenced by set().

◆ set() [7/14]

template<bool Ow = false>

const Def * mim::Def::set	(	Loc	l,
		std::string	s ) const

inline

Definition at line 484 of file def.h.

References set(), and sym().

Referenced by set().

◆ set() [8/14]

template<bool Ow = false>

Def * mim::Def::set	(	Loc	l,
		Sym	s )

inline

Definition at line 483 of file def.h.

References set().

Referenced by set().

◆ set() [9/14]

template<bool Ow = false>

const Def * mim::Def::set	(	Loc	l,
		Sym	s ) const

inline

Definition at line 482 of file def.h.

References set().

Referenced by set().

◆ set() [10/14]

Def * mim::Def::set	(	size_t	i,
		const Def *	def )

Successively set from left to right.

Definition at line 246 of file def.cpp.

References check(), num_ops(), op(), and update().

Referenced by mim::plug::autodiff::AutoDiffEval::augment_extract(), mim::plug::autodiff::AutoDiffEval::augment_tuple(), mim::plug::autodiff::AutoDiffEval::derive_(), mim::ast::TuplePtrn::emit_body(), mim::ast::Ptrn::emit_value(), mim::plug::direct::op_cps2ds_dep(), rebuild(), reset(), mim::LamSpec::rewrite(), mim::plug::affine::LowerFor::rewrite(), mim::plug::mem::SSAConstr::rewrite(), mim::plug::clos::ClosConvPrep::rewrite_arg(), mim::plug::clos::ClosConvPrep::rewrite_callee(), set(), mim::Global::set(), mim::Infer::set(), mim::Lam::set(), mim::Pack::set(), mim::Sigma::set(), mim::Sigma::set(), mim::Arr::set_body(), mim::Lam::set_body(), mim::Pi::set_codom(), mim::Pi::set_dom(), mim::Pi::set_dom(), mim::Lam::set_filter(), mim::Arr::set_shape(), mim::Arr::stub(), and stub().

◆ set() [11/14]

template<bool Ow = false>

Def * mim::Def::set ( std::string s )

inline

Definition at line 481 of file def.h.

References set(), and sym().

Referenced by set().

◆ set() [12/14]

template<bool Ow = false>

const Def * mim::Def::set ( std::string s ) const

inline

Definition at line 480 of file def.h.

References set(), and sym().

Referenced by set().

◆ set() [13/14]

template<bool Ow = false>

Def * mim::Def::set ( Sym s )

inline

Definition at line 479 of file def.h.

References dbg_, mim::Dbg::set(), and mim::Dbg::sym().

◆ set() [14/14]

template<bool Ow = false>

const Def * mim::Def::set ( Sym s ) const

inline

Definition at line 478 of file def.h.

References dbg_, mim::Dbg::set(), and mim::Dbg::sym().

◆ set_type()

Def * mim::Def::set_type ( const Def * type )

Definition at line 288 of file def.cpp.

References mim::Use::Type, type(), and unset_type().

Referenced by mim::Arr::check(), mim::Pi::check(), mim::Sigma::check(), and update().

◆ stream()

std::ostream & mim::Def::stream	(	std::ostream &	os,
		int	max ) const

Definition at line 431 of file dump.cpp.

◆ stub() [1/2]

Def * mim::Def::stub ( Ref type )

inline

Definition at line 506 of file def.h.

References stub(), type(), and world().

Referenced by stub().

◆ stub() [2/2]

Def * mim::Def::stub	(	World &	w,
		Ref	type )

inline

Definition at line 505 of file def.h.

References dbg(), set(), stub_(), and type().

Referenced by mim::LamSpec::rewrite(), and mim::Rewriter::rewrite_mut().

◆ stub_()

virtual Def * mim::Def::stub_	(	World &	,
		Ref	)

inlineprivatevirtual

Reimplemented in mim::Arr, mim::Global, mim::Infer, mim::Lam, mim::Pack, mim::Pi, mim::Sigma, mim::TBound< Up >, and mim::TExt< Up >.

Definition at line 562 of file def.h.

Referenced by stub().

◆ sym() [1/4]

Sym mim::Def::sym ( ) const

inline

Definition at line 468 of file def.h.

References dbg_, and mim::Dbg::sym().

Referenced by mim::plug::autodiff::AutoDiffEval::augment_lam(), debug_prefix(), debug_suffix(), mim::plug::compile::InternalCleanup::enter(), mim::World::make_external(), mim::World::make_internal(), mim_get_plugin(), set(), set(), set(), set(), mim::Scope::sym(), and unique_name().

◆ sym() [2/4]

Sym mim::Def::sym ( const char * s ) const

protected

Definition at line 411 of file def.cpp.

References mim::World::sym(), and world().

◆ sym() [3/4]

Sym mim::Def::sym ( std::string s ) const

protected

Definition at line 413 of file def.cpp.

References mim::World::sym(), and world().

◆ sym() [4/4]

Sym mim::Def::sym ( std::string_view s ) const

protected

Definition at line 412 of file def.cpp.

References mim::World::sym(), and world().

◆ tproj()

const Def * mim::Def::tproj ( nat_t i ) const

inline

As above but takes Def::num_tprojs.

Definition at line 363 of file def.h.

References num_tprojs(), and proj().

◆ tprojs() [1/2]

auto mim::Def::tprojs ( ) const

inline

Definition at line 388 of file def.h.

References tprojs().

Referenced by tprojs().

◆ tprojs() [2/2]

template<class F >

auto mim::Def::tprojs ( F f ) const

inline

Definition at line 379 of file def.h.

References num_tprojs(), and projs().

◆ transfer_external()

void mim::Def::transfer_external ( Def * to )

inline

Definition at line 434 of file def.h.

References make_external(), and make_internal().

◆ tvar()

Ref mim::Def::tvar ( nat_t i )

inline

Definition at line 401 of file def.h.

◆ tvars() [1/2]

auto mim::Def::tvars ( )

inline

Definition at line 401 of file def.h.

◆ tvars() [2/2]

template<class F >

auto mim::Def::tvars ( F f )

inline

Definition at line 401 of file def.h.

◆ type()

const Def * mim::Def::type ( ) const

inline

Yields the raw type of this Def, i.e. maybe nullptr.

See also: Def::unfold_type.

Definition at line 248 of file def.h.

Referenced by mim::World::app(), arity(), mim::plug::autodiff::AutoDiffEval::augment_(), mim::plug::autodiff::AutoDiffEval::augment_app(), mim::plug::autodiff::AutoDiffEval::augment_extract(), mim::plug::autodiff::AutoDiffEval::augment_pack(), mim::plug::autodiff::AutoDiffEval::augment_tuple(), mim::App::callee_type(), mim::Arr::check(), mim::Pi::check(), mim::Sigma::check(), mim::plug::clos::clos_pack(), mim::plug::matrix::counting_for(), Def(), Def(), mim::plug::autodiff::AutoDiffEval::derive_(), mim::ll::Emitter::emit_bb(), mim::plug::clos::ClosLit::env_type(), mim::plug::clos::ClosConvPrep::eta_wrap(), extended_ops(), mim::World::extract(), mim::Bound::find(), mim::flatten(), mim::plug::clos::ClosLit::fnc_type(), mim::Bound::get(), mim::plug::compile::handle_optimization_part(), mim::World::iapp(), mim::World::iinfer(), mim::World::insert(), is_term(), mim::is_unit(), isa_lit_arity(), mim::plug::mem::mem_def(), mim::merge_tuple(), mim::plug::core::normalize_bitcast(), mim::plug::core::normalize_conv(), mim::plug::math::normalize_conv(), mim::plug::core::normalize_shr(), mim::plug::core::op(), mim::plug::mem::op_lea(), mim::plug::mem::op_lea_unsafe(), mim::plug::matrix::op_read(), mim::optimize(), mim::World::pack(), proj(), rebuild(), rebuild(), refine(), mim::plug::mem::replace_mem(), mim::EtaExp::rewrite(), mim::plug::matrix::LowerMatrixHighLevelMapRed::rewrite_(), mim::plug::clos::ClosConvPrep::rewrite_callee(), mim::plug::matrix::LowerMatrixLowLevel::rewrite_imm(), mim::Rewriter::rewrite_imm(), mim::Rewriter::rewrite_mut(), mim::PassMan::run(), mim::Scheduler::Scheduler(), set_type(), mim::Pack::shape(), mim::plug::mem::strip_mem(), mim::Arr::stub(), stub(), stub(), mim::Infer::stub(), mim::Pack::stub(), mim::Pi::stub(), mim::Sigma::stub(), mim::TBound< Up >::stub(), mim::TExt< Up >::stub(), mim::World::test(), mim::World::tuple(), mim::Global::type(), mim::Lam::type(), mim::plug::clos::ClosLit::type(), mim::World::type(), mim::World::uinc(), update(), and world().

◆ unfold_type()

const Def * mim::Def::unfold_type ( ) const

Yields the type of this Def and builds a new Type (UInc n) if necessary.

Definition at line 421 of file def.cpp.

References mim::World::type(), and world().

Referenced by mim::World::arr(), mim::Arr::check(), and mim::Pi::infer().

◆ unique_name()

std::string mim::Def::unique_name ( ) const

name + "_" + Def::gid

Definition at line 511 of file def.cpp.

References gid(), and sym().

◆ unset()

Def * mim::Def::unset ( )

Unsets all Def::ops; works even, if not set at all or partially.

Definition at line 264 of file def.cpp.

References num_ops(), op(), and unset().

Referenced by reset(), mim::Arr::unset(), unset(), mim::Infer::unset(), mim::Lam::unset(), mim::Pack::unset(), mim::Pi::unset(), and mim::Sigma::unset().

◆ unset_type()

void mim::Def::unset_type ( )

Definition at line 298 of file def.cpp.

References dep_const(), and mim::Use::Type.

Referenced by set_type().

◆ update()

void mim::Def::update ( )

inline

Resolves Infers of this Def's type.

Definition at line 299 of file def.h.

References mim::Ref::refer(), set_type(), and type().

Referenced by mim::Infer::find(), and set().

◆ uses()

const Uses & mim::Def::uses ( ) const

inline

Definition at line 328 of file def.h.

Referenced by num_uses(), and proj().

◆ var() [1/3]

Ref mim::Def::var ( )

Not necessarily a Var: E.g., if the return type is [], this will yield ().

Definition at line 454 of file def.cpp.

References world().

Referenced by Def(), mim::Arr::immutabilize(), mim::Pack::immutabilize(), mim::Pi::immutabilize(), and mim::Lam::ret_var().

◆ var() [2/3]

◆ var() [3/3]

Ref mim::Def::var ( nat_t i )

inline

Definition at line 401 of file def.h.

◆ vars() [1/4]

template<nat_t A = std::dynamic_extent>

auto mim::Def::vars ( )

inline

Definition at line 401 of file def.h.

Referenced by free_vars().

◆ vars() [2/4]

template<nat_t A = std::dynamic_extent, class F >

auto mim::Def::vars ( F f )

inline

Definition at line 401 of file def.h.

Referenced by mim::plug::clos::Clos2SJLJ::enter(), mim::RetWrap::enter(), and mim::plug::affine::LowerFor::rewrite().

◆ vars() [3/4]

auto mim::Def::vars ( nat_t a )

inline

Definition at line 401 of file def.h.

◆ vars() [4/4]

template<class F >

auto mim::Def::vars	(	nat_t	a,
		F	f )

inline

Definition at line 401 of file def.h.

◆ world()

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

Definition at line 415 of file def.cpp.

References type(), and world().

◆ write() [1/2]

void mim::Def::write ( int max ) const

Definition at line 458 of file dump.cpp.

◆ write() [2/2]

void mim::Def::write	(	int	max,
		const char *	file ) const

Definition at line 453 of file dump.cpp.

Friends And Related Symbol Documentation

◆ swap

void swap	(	World &	,
		World &	)

friend

◆ World

friend class World

friend

Definition at line 619 of file def.h.

Member Data Documentation

◆ [union]

union { ... } mim::Def

◆ curry_

u8 mim::Def::curry_

protected

Definition at line 589 of file def.h.

Referenced by mim::App::curry(), and mim::Axiom::curry().

◆ dbg_

Dbg mim::Def::dbg_

mutableprotected

Definition at line 581 of file def.h.

Referenced by dbg(), debug_prefix(), debug_suffix(), loc(), set(), set(), set(), set(), and sym().

◆ flags_

flags_t mim::Def::flags_

protected

Definition at line 588 of file def.h.

Referenced by Def(), flags(), mim::Lit::get(), mim::Pi::make_explicit(), and mim::Pi::make_implicit().

◆ trip_

u8 mim::Def::trip_

protected

Definition at line 590 of file def.h.

Referenced by mim::App::trip(), and mim::Axiom::trip().

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

include/mim/def.h
src/mim/def.cpp
src/mim/dot.cpp
src/mim/dump.cpp

Public Member Functions

Protected Member Functions

Protected Attributes

Private Member Functions

Friends

Detailed Description

Constructor & Destructor Documentation

◆ Def() [1/3]

◆ Def() [2/3]

◆ Def() [3/3]

◆ ~Def()

Member Function Documentation

◆ arity()

◆ as_imm()

◆ as_lit_arity()

◆ as_mut()

◆ check()

◆ dbg()

◆ debug_prefix()

◆ debug_suffix()

◆ dep()

◆ dep_const()

◆ dot() [1/3]

◆ dot() [2/3]

◆ dot() [3/3]

◆ dump() [1/2]

◆ dump() [2/2]

◆ extended_op()

◆ extended_ops()

◆ flags()

◆ free_vars() [1/2]

◆ free_vars() [2/2]

◆ fv_consumers()

◆ gid()

◆ has_dep() [1/2]

◆ has_dep() [2/2]

◆ has_var() [1/2]

◆ has_var() [2/2]

◆ hash()

◆ immutabilize()

◆ is_closed()

◆ is_external()

◆ is_open()

◆ is_set()

◆ is_term()

◆ isa_imm() [1/2]

◆ isa_imm() [2/2]

◆ isa_lit_arity()

◆ isa_mut()

◆ loc()

◆ local_muts()

◆ local_vars()

◆ make_external()

◆ make_internal()

◆ node()

◆ node_name()

◆ num_extended_ops()

◆ num_ops()

◆ num_partial_ops()

◆ num_projs()

◆ num_tprojs()

◆ num_tvars()

◆ num_uses()

◆ num_vars()

◆ op()

◆ ops()

◆ partial_op()

◆ partial_ops()

◆ proj() [1/2]

◆ proj() [2/2]

◆ projs() [1/4]

◆ projs() [2/4]

◆ projs() [3/4]

◆ projs() [4/4]

◆ rebuild() [1/2]

◆ rebuild() [2/2]

◆ rebuild_()

◆ reduce() [1/2]

◆ reduce() [2/2]

◆ refine()