FHElium

Appearance

fhelium.compile.passes.ckks._transition_state ​

Reconcile represented CKKS value state after transition placement.

infer_logical_representation ​

function View source

python
def infer_logical_representation(value: SSAValue, memo: dict[SSAValue, tuple[str, str]]) -> tuple[str, str]: ...

Infer the representation selected by the logical CKKS route.

compatible_states ​

function View source

python
def compatible_states(lhs: dict[str, Attribute], rhs: dict[str, Attribute]) -> bool: ...

Return whether two values can share a linear CKKS transition region.

exclusive_to ​

function View source

python
def exclusive_to(value: SSAValue, consumer: Operation) -> bool: ...

Return whether every terminal use reaches one consumer.

is_ckks_value_bridge ​

function View source

python
def is_ckks_value_bridge(operation: object) -> bool: ...

Identify a cross-dialect cast that carries one encrypted value.

Same-dialect casts may intentionally refine represented CKKS state and are never transparent to transition placement.

is_same_dialect_ckks_cast ​

function View source

python
def is_same_dialect_ckks_cast(operation: object) -> bool: ...

Identify an opaque cast between two CKKS ciphertext states.

is_three_component ​

function View source

python
def is_three_component(value: SSAValue) -> bool: ...

Return whether a value represents a Q-basis CT3 ciphertext.

reconcile_transition_paths ​

function View source

python
def reconcile_transition_paths(program: Program, roots: tuple[SSAValue, ...]) -> int: ...

Reconcile only paths whose values a placement pass rewrote.

represented_state ​

function View source

python
def represented_state(value: SSAValue) -> dict[str, Attribute] | None: ...

Return a mutable copy of represented open state when present.

retype_path ​

function View source

python
def retype_path(casts: tuple[UnrealizedConversionCastOp, ...], state: dict[str, Attribute]) -> None: ...

Make transparent cast results represent the propagated state.

retype_result ​

function View source

python
def retype_result(value: SSAValue, state: dict[str, Attribute]) -> SSAValue: ...

Replace one result with the same value kind and new represented state.

source_through_casts ​

function View source

python
def source_through_casts(value: SSAValue) -> tuple[Operation | None, SSAValue, tuple[UnrealizedConversionCastOp, ...]]: ...

Return the producer reached through one-to-one state casts.

terminal_uses ​

function View source

python
def terminal_uses(value: SSAValue) -> tuple[Use, ...]: ...

Return uses reached through one-to-one state casts.