fhelium.compile.passes.backend

Resolve Program operations and link live resources for execution.

ResolveMaterialRequirementsPass

class View source

ResolveMaterialRequirementsPass(registry: OperationImplementationRegistry | None = None, key_layouts: Mapping[str, Mapping[str, object]] = field(default_factory=dict), name: str = 'resolve-material-requirements')

Resolve key layouts and implementation material operands across a Program.

The registry defaults to the Compilation workspace. key_layouts adds caller layout declarations keyed by material symbol or label. Existing operands and compatible metadata are retained; insufficient facts leave the corresponding requirements unresolved.

Attributes

Name	Type	Default/value
registry	OperationImplementationRegistry | None	None
key_layouts	Mapping[str, Mapping[str, object]]	field(default_factory=dict)
name	str	'resolve-material-requirements'

run

method

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

AssignImplementationsPass

class View source

AssignImplementationsPass(selections: Mapping[str, str] = field(default_factory=dict), overwrite: bool = False, name: str = 'assign-implementations')

Attach requested implementation names to selected operation classes.

selections maps registered textual operation names to implementation names. Matching uses full-name equality. Unselected operations remain unchanged. The resulting attributes constrain subsequent Backend resolution, which checks implementation availability.

Attributes

Name	Type	Default/value
selections	Mapping[str, str]	field(default_factory=dict)
overwrite	bool	False
name	str	'assign-implementations'

run

method

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

Annotate matching operation names and report each assignment.

AssignNttImplementationPass

class View source

AssignNttImplementationPass(implementation: str | None = None, overwrite: bool = False, ntt_backend: str | None = None, algorithm: str | None = None, group_width: int | None = None, radix: int | None = None, name: str = 'assign-ntt-implementation')

Assign a complete schedule or partial algorithm constraints.

Algorithm constraints apply to logical NTT operations and CKKS domain transitions. A concrete implementation applies to logical NTT operations; place this pass after CKKS lowering when assigning that implementation. Unspecified fields remain available to subsequent selection passes.

Attributes

Name	Type	Default/value
implementation	str | None	None
overwrite	bool	False
ntt_backend	str | None	None
algorithm	str | None	None
group_width	int | None	None
radix	int | None	None
name	str	'assign-ntt-implementation'

run

method

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

SelectNttImplementationsPass

class View source

SelectNttImplementationsPass(registry: OperationImplementationRegistry | None = None, name: str = 'select-ntt-implementations')

Ask the selected NTT implementation to complete missing schedule choices.

Caller assignments and supplied Tensor operands remain authoritative. Missing transform tables become ordinary material references, whose data must be supplied separately. Operations with insufficient selection facts remain unchanged and report why their choice was deferred.

Attributes

Name	Type	Default/value
registry	OperationImplementationRegistry | None	None
name	str	'select-ntt-implementations'

run

method

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

InitializeResourceBindingsPass

class View source

InitializeResourceBindingsPass(resources: ResourceBindings = field(default_factory=ResourceBindings), name: str = 'initialize-resource-bindings')

Replace resource state left by an earlier build with this build's base.

Attributes

Name	Type	Default/value
resources	ResourceBindings	field(default_factory=ResourceBindings)
name	str	'initialize-resource-bindings'

run

method

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

LinkProgramPass

class View source

LinkProgramPass(name: str = 'link-backend-program')

Match all external references and produce the Program executable.

Attributes

Name	Type	Default/value
name	str	'link-backend-program'

run

method

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

MaterializeResourcesPass

class View source

MaterializeResourcesPass(materializer: ResourceMaterializer, name: str = 'materialize-backend-resources')

Create missing constructible resources once for the whole Program.

Attributes

Name	Type	Default/value
materializer	ResourceMaterializer
name	str	'materialize-backend-resources'

run

method

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

ResolveBackendOperationsPass

class View source

ResolveBackendOperationsPass(registry: OperationImplementationRegistry, in_place: bool = False, name: str = 'resolve-backend-operations')

Require Backend support and build the Program dispatch table.

Attributes

Name	Type	Default/value
registry	OperationImplementationRegistry
in_place	bool	False
name	str	'resolve-backend-operations'

run

method

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

ResolveTensorPlaceholdersPass

class View source

ResolveTensorPlaceholdersPass(name: str = 'resolve-tensor-placeholders')

Bind Program Tensor references from a symbol-to-Tensor table.

A partial table resolves the symbols it contains and leaves other references unchanged. Linking checks the references still required for execution.

Attributes

Name	Type	Default/value
name	str	'resolve-tensor-placeholders'

run

method

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

ValidateExecutionRepresentationsPass

class View source

ValidateExecutionRepresentationsPass(name: str = 'validate-execution-representations')

Require concrete legal representations at fixed executable ABIs.

Attributes

Name	Type	Default/value
name	str	'validate-execution-representations'

run

method

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

backend_linking_pipeline

function View source

def backend_linking_pipeline(backend: OperationBackend, *, in_place: bool=False) -> Pipeline: ...

Return the standard Backend linking sequence as an editable Pipeline.