@[reducible, inline]

abbrev Sparkle.IR.Specialize.Bindings : Type

One explicit retained-parameter configuration.

Equations

• Sparkle.IR.Specialize.Bindings = List (String × Nat)

partial def Sparkle.IR.Specialize.specializeType (bindings : Bindings) (context : String) : «Type».HWType → Except String «Type».HWType

Replace a symbolic hardware width with one concrete positive width. Existing concrete zero-bit bookkeeping is preserved so the standard optimizer can remove it after specialization.

partial def Sparkle.IR.Specialize.specializeExpr (bindings : Bindings) : AST.Expr → Except String AST.Expr

Evaluate symbolic slice bounds and recursively specialize every expression constructor.

def Sparkle.IR.Specialize.specializeStmt (bindings : Bindings) : AST.Stmt → Except String AST.Stmt

Recursively specialize all expression-bearing statement constructors.

Equations

• One or more equations did not get rendered due to their size.

def Sparkle.IR.Specialize.specializeModule (hardwareModule : AST.Module) (bindings : Bindings) : Except String AST.Module

Specialize one module. The supplied bindings must match that module's retained parameter declarations exactly.

Equations

• One or more equations did not get rendered due to their size.

def Sparkle.IR.Specialize.specializeDesign (design : AST.Design) (bindings : Bindings) : Except String AST.Design

Specialize every module in a design with one explicit configuration.

The current IR does not encode per-instance parameter overrides, so a name shared by multiple modules receives the same value. All declarations must be bound explicitly; Parameter.defaultValue is metadata for native parameter backends and is deliberately not an implicit CSim choice.

Equations

• One or more equations did not get rendered due to their size.