fhelium.compile.passes.program._purity

Classify effects using registered operation semantics, not trait hints.

known_region_blocks

function View source

def known_region_blocks(operation: Operation) -> tuple[Block, ...]: ...

Enter regions with known execution semantics; leave extensions opaque.

known_pure

function View source

def known_pure(operation: Operation) -> bool: ...

Recognize exact registered pure classes, including pure fusion bodies.

A trait alone is insufficient: some operations consume randomness despite carrying a structural Pure hint. Unknown classes, effects, properties, and control flow are retained. Terminators are liveness roots even when their operation registration describes no external side effect.