3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-20 07:36:39 +00:00

select: New type props

This commit is contained in:
Krystine Sherwin 2025-02-25 13:41:14 +13:00
parent 647ea922f1
commit 425c7fe4cf
No known key found for this signature in database

View file

@ -147,6 +147,9 @@ static bool match_type_prop(RTLIL::IdString type, const std::string &property)
if (ct == nullptr) {
return false;
} else
if (property.compare("internal") == 0) {
return ct->is_internal;
} else
if (property.compare("evaluable") == 0) {
return ct->is_evaluable;
} else
@ -161,6 +164,12 @@ static bool match_type_prop(RTLIL::IdString type, const std::string &property)
} else
if (property.compare("formal") == 0) {
return ct->is_formal;
} else
if (property.compare("metainfo") == 0) {
return ct->is_metainfo;
} else
if (property.compare("effects") == 0) {
return ct->has_effects;
} else
log_cmd_error("Unsupported type property '%s'!\n", property.c_str());
}