Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

Cmim::World::Move::[struct].arena
Cmim::ast::AnnexInfo::[struct].id
Cmim::ast::AnnexInfo::[struct].sym
Cmim::Annex	Holds info about an entity defined within a Plugin (called Annex)
Cmim::World::Annexes
Cmim::ast::AnnexInfo	Bookkeeping of an annex introduced by an AxmDecl
Cmim::plug::regex::app_range
Cmim::ast::AST	Owns the arena all AST nodes live in as well as the AnnexInfos of all plugins
Cautomaton::AutomatonBase< NodeType >
Cautomaton::AutomatonBase< DFANode >
Cautomaton::DFA
Cautomaton::AutomatonBase< NFANode >
Cautomaton::NFA
Cmim::ast::Scopes::Barrier
Cmim::plug::ll::BB
Cmim::ast::Bind	One name in a Scope: the Decl it introduces and the Vis of this binding
Cmim::plug::mem::EscapeAnalysis::Chain
Cmim::Check
Cmim::Nest::Node::Children
Cmim::plug::clos::ClosLit	Lightweight, non-owning view onto a closure literal (env_type, fn, env); see isa_clos_lit
Cfe::CodeDiag
Cmim::Diag	Renders a diagnostic through PlainNames and - if that turned out ambiguous - once more with Def::unique_name
Cmim::World::CurrLoc	World::get_loc together with its interned DbgKey, so pushing/popping a Loc never re-interns it
Cmim::DefKey	Grants fe::Patricia access to Def::gid_
Cmim::plug::nvptx::DeviceEmitFlags
Cautomaton::DFANode
Cmim::DotConfig	Options for Def::dot, World::dot, and Nest::dot
Cfe::Driver
Cmim::Driver	Some "global" variables needed all over the place
Cmim::ast::Emitter
Cmim::Driver::Imports::Entry
Cmim::World::Annexes::Entry
Cmim::World::Externals
Cmim::Flags	Compiler switches that must be saved and looked up in later phases of compilation
Cmim::ast::AST::ForeignAlias	An anx alias in one plugin for an annex of another, e.g. anx M = core.M; in mem
Cmim::plug::clos::phase::FreeDefAna	Computes, on demand and with memoization, the free Defs that a Lam must capture in its closure environment
Cmim::GIDHash< T >
Cmim::GIDLt< T >
Cmim::Driver::Imports
Cmim::Axm::IsA< Id, D >
Cmim::Axm::IsANode< T >
Cmim::plug::ord::Key_field	The fields of ord.Key, by index
Cmim::plug::tensor::phase::Leaf	A chain operand; the chain reads its transpose if t
Cfe::Lexer
Cmim::ast::Lexer
Cautomaton::DFANode::Lt
Cautomaton::NFANode::Lt
Cmim::plug::btensor::MapRedPost	The curried meta arguments of a tensor.map_reduce_post or btensor.map_reduce_post callee (same layout)
Cmim::ast::Mods	Raw, unvalidated combination of priv/pub/extern/anx modifiers written before a declaration
Cmim::Driver::Names
Cmim::Nest	Builds a nesting tree for all mutables/binders
Cautomaton::NFANode
Cmim::Nest::Node
Cmim::ast::Emitter::NomInfo
Cmim::detail::NullSafeDefGIDLt	Like GIDLt, but the nesting virtual root is represented as a nullptr Def%, which must sort first
Cmim::plug::option::Opt_ctor	The ctors of option.Opt, by index
Cmim::Out	A file name from the command line and the stream to write to;
Cfe::Parser
Cmim::ast::Parser	Parses Mim code as AST
Cmim::Driver::Paths	An ordered list of directories
Cmim::PlainNames	Renders Defs with their plain Def::sym instead of Def::unique_name while alive
Cmim::Plugin	Basic info and registration function pointer to be returned from a specific plugin
Cmim::PluginArg	One -X <plugin>:<arg> a Plugin understands; see Arguments
Cmim::PluginEnv	One environment variable a Plugin reads; see Environment Variables
Cmim::PluginSym	One symbol a Plugin offers to other Plugins; see Driver::get_fun_ptr
Cmim::World::State::POD	Plain Old Data
Cmim::plug::tensor::PureRead	A pure re-indexed read: the source tensor, the access map into it (over the read's output coordinates), and the source's element type/rank/shape
Cmim::ast::R< T >
Cautomaton::RangeCompare
Cmim::plug::btensor::MapRedPost::Ranks
Cmim::Rewriter	Recurseivly rebuilds part of a program into the provided World w.r.t. Rewriter::map
Cmim::Analysis	Traverses the current World using Rewriter infrastructure while staying in the same world
Cmim::plug::gpu::phase::MemChecks
Cmim::plug::mem::EscapeAnalysis	Determines which allocations stay within the scope that allocates them
Cmim::Importer	Imports from Driver::library: an annex therein is looked up via World::annex, so it is imported only once
Cmim::RWPhase	Rebuilds old_world() into new_world() and then swaps them
Cmim::ADCE	Aggressive Dead Code Elimination
Cmim::BetaRed	Inlines in post-order all Lams that occur exactly once in the program or are trivial forwarders
Cmim::Cleanup	Removes unreachable and dead code by rebuilding the whole World into a new one and swapping them afterwards
Cmim::DispatchNormalize	Normalizes Dispatches: η-expands non-Lam targets so that every target of a (t_0, ..., t_n)#index jump table is a Lam, as later phases and the backends expect
Cmim::EtaConv	Combined η-normalization: folds η-reduction and η-expansion into a single, idempotent phase
Cmim::LamSpec	Specializes a Lam at its call site by inlining all Pi-typed (i.e. higher-order) arguments
Cmim::NomErasure	Eliminates all nominal newtypes, so that no Nom/Name/Struc ever reaches a backend
Cmim::Repl	An RWPhase that searches for a pattern and replaces it
Cmim::RetWrap
Cmim::SCCP	SCCP - Sparse Conditional Constant Propagation - but propagates arbitrary expressions
Cmim::Scalarize	Scalarization (= argument simplification):
Cmim::SingleErasure	Eliminates all types that have exactly one inhabitant, so that no Single/Wrap ever reaches a backend
Cmim::StaticArgOpt	Static Argument Transformation
Cmim::plug::affine::phase::LowerFor	Lowers the for axm to actual control flow in CPS
Cmim::plug::affine::phase::LowerIndex	Lowers the affine index algebra to core arithmetic
Cmim::plug::autodiff::phase::Eval	This phase is the heart of AD
Cmim::plug::btensor::phase::LowerMapReduce	Lowers the buffer-world operations (btensor.map_reduce_post, btensor.broadcast, btensor.pad, btensor.concat, btensor.gather, btensor.scatter) into affine.For loop nests over buffer.read / buffer.write / buffer.alloc, threading mem.M
Cmim::plug::buffer::LowerPtr	Lowers the buffer abstraction to the low-level pointer representation
Cmim::plug::clos::phase::BranchClosElim	Flattens branches over closure literals back into a direct branch over Lams
Cmim::plug::clos::phase::Clos2SJLJ	Lowers basicblock closures that are passed as arguments (i.e
Cmim::plug::clos::phase::ClosConv	Performs typed closure conversion, rebuilding the old world into a new one
Cmim::plug::clos::phase::ClosConvPrep	Wraps operands with the clos.anno annotations (returning, free_bb, fstclass_bb, ...) and eta-expands branches and continuations so that ClosConv sees a canonical program
Cmim::plug::clos::phase::LowerTypedClos	This pass lowers typed closures to untyped closures
Cmim::plug::clos::phase::LowerTypedClosPrep	Escape analysis for closures: closure literals get their function wrapped in clos.anno.esc or clos.anno.bottom, depending on whether their environment escapes
Cmim::plug::cps::Conv	Full CPS conversion in one recursive rewrite
Cmim::plug::gpu::phase::LowerMapReduce
Cmim::plug::gpu::phase::RemoveDoubleSyncs
Cmim::plug::gpu::phase::SplitApply
Cmim::plug::gpu::phase::SplitOffKernels	Afterwards, old_world() is the host, which keeps each kernel as a declaration, and new_world() the device
Cmim::plug::mem::phase::AddMem	Threads the mem.M memory monad through the world: mem-extends continuations and rewires every memory operand to the current memory at that program point
Cmim::plug::mem::phase::FreeLocals	Frees the memory a function allocates but does not let escape; see mem::EscapeAnalysis
Cmim::plug::mem::phase::Heap2Stack	Turns a mem.alloc that does not escape its function (see mem::EscapeAnalysis) into a mem.slot
Cmim::plug::mem::phase::SEO	Symbolic Expression Optimization
Cmim::plug::regex::LowerRegex	Lowers a regex axm application to a DFA matcher function
Cmim::plug::tensor::phase::Fuse
Cmim::plug::tensor::phase::Lower	Lowers the high-level tensor axioms into the low-level tensor axioms (map_reduce, …)
Cmim::plug::tensor::phase::LowerMapReduce	Lowers the low-level tensor axioms (map_reduce, generate, pad, concat, broadcast) directly to their underlying primitives (loops, extract, insert, pack, …)
Cmim::plug::tensor::phase::LowerToMem	Bufferizes the low-level tensor axioms onto the shared buffer layer
Cmim::plug::tensor::phase::Reassoc	Reassociates chains of tensor.product_2d with the classic matrix-chain-order dynamic program, so that a chain is evaluated with the least number of vector-lane slots
Cmim::VarRewriter	Extends Rewriter for variable substitution
Cmim::Zonker
Cmim::plug::btensor::Ring_field	The fields of btensor.Ring, by index
Cfe::RuntimeCast
Cmim::Def	Base class for all Defs
Cmim::App
Cmim::Axm
Cmim::Ext	Common base for TExtremum
Cmim::TExt< false >
Cmim::TExt< true >
Cmim::TExt< Up >	Extremum. Either Top (Up) or Bottom
Cmim::Extract	Extracts from a Sigma or Array-typed Extract::tuple the element at position Extract::index
Cmim::Hole	This node is a hole in the IR that is inferred by its context later on
Cmim::Idx	A built-in constant of type Nat -> *
Cmim::Inj	Constructs a Join or Variant value
Cmim::Insert	Creates a new Tuple / Pack by inserting Insert::value at position Insert::index into Insert::tuple
Cmim::Join	A union type whose ops are sorted and deduplicated: T ∪ T is T
Cmim::LMax
Cmim::LSucc
Cmim::Lam	A function
Cmim::Level
Cmim::Lit
Cmim::Match	Scrutinize Match::scrutinee() and dispatch to Match::arms
Cmim::Name	Nominal newtype term introduction
Cmim::Nat
Cmim::Nom	Nominal newtype formation
Cmim::Pi	A dependent function type
Cmim::Prod	Base class for Sigma and Tuple
Cmim::Sigma	A dependent tuple type
Cmim::Tuple	Data constructor for a Sigma
Cmim::Proxy	Used as intermediate value during optimizatinos such as Analysis
Cmim::Reform	Type formation of a rewrite Rule
Cmim::Rule	A rewrite rule
Cmim::Seq	Base class for Arr and Pack
Cmim::Arr	A (possibly paramterized) Array
Cmim::Pack	A (possibly paramterized) Tuple
Cmim::Single	Singleton type formation
Cmim::Struc	Nominal newtype term elimination
Cmim::Type
Cmim::Var	A variable introduced by a binder (mutable)
Cmim::Variant	A sum type whose cases are positional: unlike a Join, they are neither sorted nor deduplicated
Cmim::Wrap	Singleton term introduction
Cmim::Phase	A Phase performs one self-contained task over the whole World
Cmim::ClosedMutPhase< Def >
Cmim::NestPhase< M >	Like ClosedMutPhase but computes a Nest for each NestPhase::visit
CNamed	Phase hook for compile.named
Cmim::Analysis	Traverses the current World using Rewriter infrastructure while staying in the same world
Cmim::ClosedMutPhase< M >	Transitively visits all reachable, closed mutables in the World
Cmim::NestPhase< Lam >
Cmim::plug::ll::Emitter
Cmim::plug::nvptx::DeviceEmitter
Cmim::plug::nvptx::HostEmitter
Cmim::PhaseMan	Organizes several Phases into a pipeline
Cmim::RWPhase	Rebuilds old_world() into new_world() and then swaps them
Cmim::plug::ll::Emit	Pipeline phase for ll.emit
Cmim::plug::nvptx::Emit
Cmim::ast::Node	Base class of all AST nodes
Cmim::ast::Decl	Base class of all declarations; caches the emitted Decl::def
Cmim::ast::AxmDecl::Name	dbg = alias_0 = ... = alias_n-1 - one axiom of the family, which each of its names binds to
Cmim::ast::DummyDecl
Cmim::ast::IdDecl	dbg bound to a Def whose type the binding construct dictates; hence, it carries no annotation
Cmim::ast::Ptrn	Base class of all patterns
Cmim::ast::AliasPtrn	ptrn as dbg
Cmim::ast::ErrorPtrn	Erroneous pattern
Cmim::ast::GrpPtrn	dbg_i of a group dbg_0 ... dbg_n-1: type for i > 0; the leading IdPtrn::id owns type
Cmim::ast::IdPtrn	dbg: type
Cmim::ast::TuplePtrn	(ptrn_0, ..., ptrn_n-1), [ptrn_0, ..., ptrn_n-1], or {ptrn_0, ..., ptrn_n-1}
Cmim::ast::ValDecl	Base class of all declarations that bind values
Cmim::ast::AliasDecl	anx dbg = path; - a compiler-exposed alias sharing its target's annex slot
Cmim::ast::AxmDecl	axm dbg: type, normalizer, curry, trip; or a family axm (name, ...): type, normalizer, curry, trip;
Cmim::ast::LetDecl	let ptrn = value;
Cmim::ast::ModDecl	mod dbg decls end; also the base of the anonymous File
Cmim::ast::File	The AST of one source file: an anonymous ModDecl that a UseDecl binds under a name of its own
Cmim::ast::MutualDecl	mutual decl* end groups RecDecls that may refer to each other
Cmim::ast::RecDecl	rec dbg = body;
Cmim::ast::LamDecl	tag dbg dom_0 ... dom_n-1: codom = body; with LamDecl::tag lam/con/fun or anonymous λ/cn/fn
Cmim::ast::NomDecl	nom dbg = body; - a nominal newtype
Cmim::ast::RuleDecl	rule dbg var: lhs when guard => rhs; or norm instead of rule if RuleDecl::is_normalizer
Cmim::ast::UseDecl	import "file"|name [as alias|*];, plugin name [as alias|*];, or use path [as alias|*]; as * splices instead of naming; a use without an as is sugar for as *
Cmim::ast::Expr	Base class of all expressions
Cmim::ast::AppExpr	callee arg
Cmim::ast::DeclExpr	decls expr or expr where decls if DeclExpr::is_where
Cmim::ast::ErrorExpr	Erroneous expression
Cmim::ast::HoleExpr	?
Cmim::ast::InfixExpr	lhs op rhs; InfixExpr::op picks the meaning - see MIM_INFIX
Cmim::ast::LamExpr	Wraps a LamDecl as Expr
Cmim::ast::LitExpr	tok:type
Cmim::ast::MatchExpr	match scrutinee with | arm_0 | ... | arm_n-1
Cmim::ast::PathExpr	path
Cmim::ast::PiExpr	dom → codom, Cn dom, or Fn dom → codom depending on PiExpr::tag
Cmim::ast::PrefixExpr	op rhs; PrefixExpr::op picks the meaning - see MIM_PREFIX
Cmim::ast::PrimaryExpr	tag
Cmim::ast::RetExpr	ret ptrn = callee $ arg; body
Cmim::ast::RuleExpr	Rule dom
Cmim::ast::SeqExpr	«index: shape; body» or ‹index: shape; body› if SeqExpr::is_pack; index: is optional
Cmim::ast::SigmaExpr	Wraps a TuplePtrn as Expr
Cmim::ast::SingleExpr	«body» or ‹body› if SingleExpr::is_wrap
Cmim::ast::TupleExpr	(elem_0, ..., elem_n-1)
Cmim::ast::TypeExpr	Type level
Cmim::ast::VariantExpr	| ctor_0: type_0 | ... | ctor_n-1: type_n-1; a constructor without a type carries []
Cmim::ast::MatchExpr::Arm	ptrn => body, ctor ptrn => body, or index [ptrn] => body of a MatchExpr
Cmim::ast::Path	dbg_0.....dbg_n-1
Cmim::ast::PiExpr::Dom	One dom of a PiExpr: ptrn with an optional -> ret type
Cmim::ast::LamDecl::Dom	One dom of a LamDecl: ptrn@(filter) with an optional : ret type
Cmim::ast::VariantExpr::Ctor	dbg: type of a VariantExpr
Cmim::ast::S
Cmim::plug::btensor::Sched_field	The fields of btensor.Sched, by index
Cmim::Scheduler
Cmim::Rewriter::Scope
Cmim::ast::Scopes
Cmim::Setters< P, D >	CRTP-based mixin to declare setters for Def::loc & Def::name using a covariant return type
Cmim::Setters< App >
Cmim::App
Cmim::Setters< Arr >
Cmim::Arr	A (possibly paramterized) Array
Cmim::Setters< Axm >
Cmim::Axm
Cmim::Setters< Extract >
Cmim::Extract	Extracts from a Sigma or Array-typed Extract::tuple the element at position Extract::index
Cmim::Setters< Hole >
Cmim::Hole	This node is a hole in the IR that is inferred by its context later on
Cmim::Setters< Idx >
Cmim::Idx	A built-in constant of type Nat -> *
Cmim::Setters< Inj >
Cmim::Inj	Constructs a Join or Variant value
Cmim::Setters< Insert >
Cmim::Insert	Creates a new Tuple / Pack by inserting Insert::value at position Insert::index into Insert::tuple
Cmim::Setters< Join >
Cmim::Join	A union type whose ops are sorted and deduplicated: T ∪ T is T
Cmim::Setters< Lam >
Cmim::Lam	A function
Cmim::Setters< Level >
Cmim::Level
Cmim::Setters< Lit >
Cmim::Lit
Cmim::Setters< LMax >
Cmim::LMax
Cmim::Setters< LSucc >
Cmim::LSucc
Cmim::Setters< Match >
Cmim::Match	Scrutinize Match::scrutinee() and dispatch to Match::arms
Cmim::Setters< Name >
Cmim::Name	Nominal newtype term introduction
Cmim::Setters< Nat >
Cmim::Nat
Cmim::Setters< Nom >
Cmim::Nom	Nominal newtype formation
Cmim::Setters< Pack >
Cmim::Pack	A (possibly paramterized) Tuple
Cmim::Setters< Pi >
Cmim::Pi	A dependent function type
Cmim::Setters< Prod >
Cmim::Prod	Base class for Sigma and Tuple
Cmim::Setters< Proxy >
Cmim::Proxy	Used as intermediate value during optimizatinos such as Analysis
Cmim::Setters< Reform >
Cmim::Reform	Type formation of a rewrite Rule
Cmim::Setters< Rule >
Cmim::Rule	A rewrite rule
Cmim::Setters< Seq >
Cmim::Seq	Base class for Arr and Pack
Cmim::Setters< Sigma >
Cmim::Sigma	A dependent tuple type
Cmim::Setters< Single >
Cmim::Single	Singleton type formation
Cmim::Setters< Struc >
Cmim::Struc	Nominal newtype term elimination
Cmim::Setters< TExt< Up > >
Cmim::TExt< false >
Cmim::TExt< true >
Cmim::TExt< Up >	Extremum. Either Top (Up) or Bottom
Cmim::Setters< Tuple >
Cmim::Tuple	Data constructor for a Sigma
Cmim::Setters< Type >
Cmim::Type
Cmim::Setters< Var >
Cmim::Var	A variable introduced by a binder (mutable)
Cmim::Setters< Variant >
Cmim::Variant	A sum type whose cases are positional: unlike a Join, they are neither sorted nor deduplicated
Cmim::Setters< Wrap >
Cmim::Wrap	Singleton term introduction
Cmim::Shape	The extents of a Seq's axes: a plain Nat for a single axis, an aggregate of them for several
Cmim::Nest::Node::SiblDeps
Cmim::Sieve	Filters the components of an aggregate and keeps track of where the survivors end up
Cmim::plug::tensor::phase::Slots	The five parallel per-slot lists of a map_reduce_post input group: element type, rank, shape, access map, and the tensor itself
Cmim::plug::tensor::phase::Split	One node of a bracketing: i … j splits after s
Cmim::World::State
Cmim::Switch	Matches a jump table (target_0, target_1, ...)#index where index is a non-Literal Idx n and n the arity
Cmim::Dispatch	Matches (target_0, target_1, ...)#index arg
Cmim::Select	Matches (ff, tt)#cond - where cond is a Bool but not a Literal
Cmim::Branch	Matches (ff, tt)#cond arg where cond is not a Literal
Cmim::ast::Tok
Cstd::unordered_map
Cmim::ast::AST::Files
Cmim::Use	Const Def*erences a user
Cmim::UseEq
Cmim::UseHash
Cmim::Version
Cfe::VLA
Cmim::ast::AxmDecl	axm dbg: type, normalizer, curry, trip; or a family axm (name, ...): type, normalizer, curry, trip;
Cmim::ast::AxmDecl::Name	dbg = alias_0 = ... = alias_n-1 - one axiom of the family, which each of its names binds to
Cmim::ast::DeclExpr	decls expr or expr where decls if DeclExpr::is_where
Cmim::ast::LamDecl	tag dbg dom_0 ... dom_n-1: codom = body; with LamDecl::tag lam/con/fun or anonymous λ/cn/fn
Cmim::ast::MatchExpr	match scrutinee with | arm_0 | ... | arm_n-1
Cmim::ast::MutualDecl	mutual decl* end groups RecDecls that may refer to each other
Cmim::ast::Path	dbg_0.....dbg_n-1
Cmim::ast::TupleExpr	(elem_0, ..., elem_n-1)
Cmim::ast::TuplePtrn	(ptrn_0, ..., ptrn_n-1), [ptrn_0, ..., ptrn_n-1], or {ptrn_0, ..., ptrn_n-1}
Cmim::ast::VariantExpr	| ctor_0: type_0 | ... | ctor_n-1: type_n-1; a constructor without a type carries []
Cmim::detail::w2f_< int >
Cmim::detail::w2s_< int >
Cmim::detail::w2s_< 1 >	See above
Cmim::detail::w2s_< 16 >
Cmim::detail::w2s_< 32 >
Cmim::detail::w2s_< 64 >
Cmim::detail::w2s_< 8 >
Cmim::detail::w2u_< int >
Cmim::detail::w2u_< 1 >	Map both signed 1 and unsigned 1 to bool
Cmim::detail::w2u_< 16 >
Cmim::detail::w2u_< 32 >
Cmim::detail::w2u_< 64 >
Cmim::detail::w2u_< 8 >
Cmim::World	The World represents the whole program and manages creation of MimIR nodes (Defs)
Cconst bool
Cint
Clist< DFANode >
Clist< NFANode >
Cstatic constexpr bool