fhelium.experimental.jit.passes.late_rescale

Reporting pass for backend-specific late-rescale optimization.

LateRescalePass

class View source

LateRescalePass(name: str = 'late-rescale')

Count explicit rescale candidates and preserve their placement.

Rescale movement changes CKKS rounding and accumulation behavior 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-rescale'

run

method

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

Return an unchanged Program with candidate counts and diagnostics.