3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-24 14:41:31 +00:00

select: New type props

This commit is contained in:
Krystine Sherwin 2025-11-22 16:19:50 +13:00
parent b48881e996
commit c08665f68d
No known key found for this signature in database

View file

@ -146,6 +146,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
@ -160,6 +163,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());
}