fhelium.compile.passes.program._eliminate_dead_values

Remove unused pure computations across represented execution regions.

EliminateDeadValuesPass

class View source

EliminateDeadValuesPass(name: str = 'eliminate-dead-values')

Erase unused operations according to registered effects.

The pass handles high-level CKKS, lowered RNS/NTT, and pure fusion regions. It enters known structured regions, preserving their terminators and result interfaces. Unknown operations/regions, random draws, mutation, and opaque effects remain roots. Registration must name the exact operation class; inheriting a Pure trait does not grant an extension permission to disappear.

Attributes

Name	Type	Default/value
name	str	'eliminate-dead-values'

run

method

def run(compilation: 'Compilation') -> PassResult: ...

Walk blocks in reverse dependency order and remove dead producers.