hwt.hdl.statements.utils package

Submodules

hwt.hdl.statements.utils.comparison module

hwt.hdl.statements.utils.comparison.isSameStatementList(stmListA: ListOfHdlStatement, stmListB: ListOfHdlStatement) → bool

Returns:

True if two lists of HdlStatement instances are same

hwt.hdl.statements.utils.comparison.statementsAreSame(statements: ListOfHdlStatement) → bool

Returns:

True if all statements are same

hwt.hdl.statements.utils.ioDiscovery module

hwt.hdl.statements.utils.ioDiscovery.HdlStatement_discover_enclosure_for_statements(statements: ListOfHdlStatement, outputs: List[RtlSignalBase]) → Set[RtlSignalBase]

Discover enclosure for list of statements

Parameters:

• statements – list of statements in one code branch

• outputs – list of outputs which should be driven from this statement list

Returns:

set of signals for which this statement list have always some driver (is enclosed)

hwt.hdl.statements.utils.listOfHdlStatements module

class hwt.hdl.statements.utils.listOfHdlStatements.ListOfHdlStatement(*args)

Bases: list

A list of hdl statements used in statements to keep track of children

__init__(*args)

_iter_stms_with_branches()

Returns:

iterate statement with rank > 0

_registerOutput(o: RtlSignalBase, stm: HdlStatement)

_unregisterOutput(o: RtlSignalBase, stm: HdlStatement)

append(v: HdlStatement)

Append object to the end of the list.

discard(item)

extend(stms: Sequence[HdlStatement])

Extend list by appending elements from the iterable.

insert(i: int, v: HdlStatement)

Insert object before index.

iterStatementsWithOutput(out: RtlSignalBase)

pop()

Remove and return item at index (default last).

Raises IndexError if list is empty or index is out of range.

remove(item)

Remove first occurrence of value.

Raises ValueError if the value is not present.

replace(parentStm: HdlStatement, toReplaceStm: HdlStatement, index: int, replacement: List[HdlStatement])

Replace a single statement in this list with the list of statements while updating all cached values.

sort(*args, **kwargs)

Sort the list in ascending order and return None.

The sort is in-place (i.e. the list itself is modified) and stable (i.e. the order of two equal elements is maintained).

If a key function is given, apply it once to each list item and sort them, ascending or descending, according to their function values.

The reverse flag can be set to sort in descending order.

hwt.hdl.statements.utils.reduction module

hwt.hdl.statements.utils.reduction.HdlStatement_merge_statement_lists(stmsA: ListOfHdlStatement, stmsB: ListOfHdlStatement) → ListOfHdlStatement

Merge two lists of statements into one

Returns:

list of merged statements

hwt.hdl.statements.utils.reduction.HdlStatement_merge_statements(statements: ListOfHdlStatement) → Tuple[ListOfHdlStatement, int]

Merge statements in list to remove duplicated if-then-else trees

Returns:

tuple (list of merged statements, rank decrease due merging)

Note:

rank decrease is sum of ranks of reduced statements

Attention:

statement list has to me mergable

hwt.hdl.statements.utils.reduction.HdlStatement_reduce_overridden_assignments(statements: ListOfHdlStatement) → Tuple[ListOfHdlStatement, bool, int]

hwt.hdl.statements.utils.reduction.HdlStatement_try_reduce_list(statements: ListOfHdlStatement) → Tuple[ListOfHdlStatement, int, bool]

Simplify statements in the list

hwt.hdl.statements.utils.reduction.is_mergable_statement_list(stmsA: ListOfHdlStatement, stmsB: ListOfHdlStatement)

Walk statements and compare if they can be merged into one statement list

hwt.hdl.statements.utils.signalCut module

hwt.hdl.statements.utils.signalCut.HdlStatement_cut_off_drivers_of_list(sig: RtlSignalBase, statements: ListOfHdlStatement, keep_mask: List[bool], new_statements: ListOfHdlStatement) → bool

Cut all logic from statements which drives signal sig.

Parameters:

• sig – signal which drivers should be removed

• statements – list of statements to filter

• keep_mask – list of flags if True statements was driver only of sig

• new_statements – output list of filtered statements

Returns:

True if all input statements were reduced