FHElium

fhelium.ir._program ​

Neutral mixed-dialect xDSL program representation.

Program ​

class View source

python
Program(module: ModuleOp)

Own a structurally valid mixed-level xDSL module and its material annotations.

The module may combine registered FHElium operations, extension dialects, and partially represented value state. Consumers inspect, transform, link, or execute this shared representation.

material_descriptions ​

property

python
material_descriptions: dict[str, dict[str, object]]

Return saved material annotations, independently of live bindings.

Descriptions are open JSON objects. They explain data to callers and preparation tools; numerical execution does not validate against them. Mutate descriptions with set_material_description.

set_material_description ​

method

python
def set_material_description(symbol: str, description: Mapping[str, object]) -> None: ...

Set descriptive metadata for a material symbol.

empty ​

method

python
def empty(operations: Iterable[Operation]=(), *, attributes: Mapping[str, Attribute] | None=None) -> Program: ...

Construct a structurally valid module with default version marks.

from_function ​

method

python
def from_function(block: Block, result_types: Sequence[Attribute]=(), *, name: str='main', visibility: str | None=None, module_attributes: Mapping[str, Attribute] | None=None) -> Program: ...

Wrap one caller-built block in a top-level function.

parse ​

method

python
def parse(text: str, *, source_name: str='<unknown>') -> Program: ...

Parse structural IR while preserving unknown dialect content.

load ​

method

python
def load(path: str | PathLike[str]) -> Program: ...

Load one UTF-8 textual module.

to_text ​

method

python
def to_text(*, generic: bool=False, include_locations: bool=False) -> str: ...

Return xDSL text for the current module.

save ​

method

python
def save(path: str | PathLike[str]) -> None: ...

Write the current module and symbolic references as UTF-8 text.

clone ​

method

python
def clone() -> Program: ...

Return a structurally independent copy.

verify_structure ​

method

python
def verify_structure() -> None: ...

Run xDSL structural verification on the current module.

walk ​

method

python
def walk(*, include_module: bool=False) -> Iterator[Operation]: ...

Traverse operations in structural preorder.

functions ​

property

python
functions: tuple[FuncOp, ...]

Return registered top-level functions in module order.

function ​

method

python
def function(name: str='main') -> FuncOp: ...

Return the uniquely named top-level registered function.

single_block ​

method

python
def single_block(name: str='main') -> Block: ...

Return one function's block when a consumer needs that form.