mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-27 02:45:52 +00:00
ast/simplify: improve enum handling.
Before this commit, enum values were serialized as attributes of form \enum_<width>_<value> where <value> was a decimal signed integer. This has multiple drawbacks: * Enums with large values would be hard to process for downstream tooling that cannot parse arbitrary precision decimals. (In fact Yosys also did not correctly process enums with large values, and would overflow `int`.) * Enum value attributes were not confined to their own namespace, making it harder for downstream tooling to enumerate all such attributes, as opposed to looking up any specific value. * Enum values could not include x or z, which are explicitly permitted in the SystemVerilog standard. After this commit, enum values are serialized as attributes of form \enum_value_<value> where <value> is a bit sequence of the appropriate width.
This commit is contained in:
parent
f44b287f8e
commit
2106f78bb1
2 changed files with 5 additions and 7 deletions
|
@ -443,8 +443,8 @@ Verilog Attributes and non-standard features
|
|||
- The ``wiretype`` attribute is added by the verilog parser for wires of a
|
||||
typedef'd type to indicate the type identifier.
|
||||
|
||||
- Various ``enum_{width}_{value}`` attributes are added to wires of an
|
||||
enumerated type to give a map of possible enum items to their values.
|
||||
- Various ``enum_value_{value}`` attributes are added to wires of an enumerated type
|
||||
to give a map of possible enum items to their values.
|
||||
|
||||
- The ``enum_base_type`` attribute is added to enum items to indicate which
|
||||
enum they belong to (enums -- anonymous and otherwise -- are
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue