fhelium.compile.passes.frontend._lower_semantic_to_logical

Lower captured semantic operations to role-explicit logical operations.

LowerSemanticToLogicalPass

class View source

LowerSemanticToLogicalPass(name: str = 'lower-semantic-to-logical')

Classify registered encrypted semantic operations by operand roles.

Other dialects, public-only arithmetic, malformed operations, and unknown value roles remain structurally intact so partial mixed-level Programs stay valid inputs and outputs of the pass.

Attributes

Name	Type	Default/value
name	str	'lower-semantic-to-logical'

run

method

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

Lower matching operation classes and report unchanged candidates.