fhelium.experimental.jit.passes.eliminate_dead_values

Remove unreachable known-pure values while preserving effect roots.

EliminateDeadValuesPass

class View source

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

Delete dead operations from a closed set of pure names.

Every unknown or extension operation is an effectful liveness root. Known operations carrying properties, regions, or successors are also retained, so this module-wide pass preserves unclassified and structural effects.

Attributes

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

run

method

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

Compute module-wide SSA liveness from returns and effect roots.