fhelium.experimental.jit.passes.late_relinearization

Reporting pass for backend-specific late-relinearization optimization.

LateRelinearizationPass

class View source

LateRelinearizationPass(name: str = 'late-relinearization')

Count explicit relinearization candidates and preserve their placement.

Relinearization movement changes key-switch error scheduling and requires backend-specific legality analysis. This module-wide reporting step returns a legal no-op with every candidate counted as both matched and skipped, plus one explanatory diagnostic when candidates exist. A caller composes a backend optimizer to perform any authorized movement.

Attributes

Name	Type	Default/value
name	str	'late-relinearization'

run

method

def run(program: Program, workspace: MutableMapping[Any, Any]) -> PassResult: ...

Return an unchanged Program with candidate counts and diagnostics.