tiny.choir

Overview · API · Code relationships · Verification · Audit

Overview

Multi-level intermediate representation framework with extensible dialects and interned contexts.

Dialects declare domain-specific operations, types, and attributes on top of a common structural substrate (Context, Operation, Block, Region). The shared context interns identifiers, types, and attributes, centralizing memory ownership across dialect boundaries.

PassManager coordinates transformation pipelines across IR regions. Callers can opt into runtime structural verification with enableVerifier, checking dominance, typing, and predecessor-successor symmetry between passes.

Definitions

Actions

Public operations.

• singleAttributePropertiesModel
• initCompilerContext
• operationFingerprint

Types and contracts

Public types and contracts.

• StableValueNumbering
• CompilerContextOptions
• ThreadingOptions
• Attribute
• Dialect
• Location
• NamedAttribute
• NamedAttributeList
• OperationEquivalence
• OperationFingerprintError
• OperationProduct
• OperationPropertiesModel
• Pass
• PassManager
• SymbolTable
• Type
• Value
• StableHasher
• Context
• Operation
• OperationBuilder
• Block
• Region
• CompilerSession

Namespaces

Public namespaces.

• compiler
• threading
• backends
• passes
• bytecode
• composition: Durable cross-pipeline compilation products and their runtime materialization.
• diagnostics
• dialects
• egraph
• eval
• product
• serialization
• versus
• inspection
• ir
• extensions

Values and defaults

Public values and defaults.

• choir_optimization_package_extension

Code relationships

Direct static dependencies extracted from parsed source by semantic graph analysis.

Uses: alloc_fixed, alloc_phase, tiny.accy, tiny.bench, tiny.bumpalo, tiny.chant, tiny.css, tiny.deadalloc, tiny.filigree, tiny.geometry, tiny.hypothesis, tiny.isa, tiny.machine, tiny.pluck, tiny.preserves, tiny.pretty, tiny.sdfii, tiny.simd, tiny.smg, tiny.sql, tiny.sys, tiny.termtex, tiny.tldr, tiny.trace, tiny.tracy, tiny.wayland, tiny.zen
Used by: alloc_phase, tiny.accy, tiny.chant, tiny.gpu, tiny.pluck, tiny.profiling, tiny.reticulum, tiny.sdfii, tiny.smg, tiny.sql, tiny.sys, tiny.termtex, tiny.tldr, tiny.trace

Verification

Audited connections to formal Lean models, property tests, or differential checks.

• choir.cfg.predecessor-mirror — CFG predecessor consistency

Audit