mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 08:35:32 +00:00
Code Activity

Use basename for filename in id

Browse source
This commit is contained in:
Akash Levy 2024-12-13 13:32:34 -08:00
parent 707970e300
commit dda4d9afce
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

12
kernel/rtlil.h
View file

@ -449,11 +449,17 @@ namespace RTLIL
static inline std::string encode_filename(const std::string &filename)
{
// SILIMATE: take basename of filename
std::string basename = filename;
size_t pos = filename.find_last_of('/');
if (pos != std::string::npos)
basename = basename.substr(pos + 1);
std::stringstream val;
if (!std::any_of(filename.begin(), filename.end(), [](char c) {
if (!std::any_of(basename.begin(), basename.end(), [](char c) {
return static_cast<unsigned char>(c) < 33 || static_cast<unsigned char>(c) > 126;
})) return filename;
for (unsigned char const c : filename) {
})) return basename;
for (unsigned char const c : basename) {
if (c < 33 || c > 126)
val << stringf("$%02x", c);
else