aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-04-20 15:50:12 -0700
committerAlberto Gonzalez <boqwxp@airmail.cc>2020-05-14 20:06:55 +0000
commitdabeb1e8a136730536d17fd79e6c348d8cdca271 (patch)
treed317fcc09b9db18ab07ca43ea7139b6c7c2f7ca8 /kernel
parentbd54d67ad4a24992c4161f12b2c8e42df2a65569 (diff)
downloadyosys-dabeb1e8a136730536d17fd79e6c348d8cdca271.tar.gz
yosys-dabeb1e8a136730536d17fd79e6c348d8cdca271.tar.bz2
yosys-dabeb1e8a136730536d17fd79e6c348d8cdca271.zip
techmap: prefix special wires with backslash for use as IdString
Diffstat (limited to 'kernel')
-rw-r--r--kernel/constids.inc1
-rw-r--r--kernel/rtlil.h2
2 files changed, 2 insertions, 1 deletions
diff --git a/kernel/constids.inc b/kernel/constids.inc
index aa75a9c09..5c8373513 100644
--- a/kernel/constids.inc
+++ b/kernel/constids.inc
@@ -169,6 +169,7 @@ X(techmap_autopurge)
X(_TECHMAP_BITS_CONNMAP_)
X(_TECHMAP_CELLTYPE_)
X(techmap_celltype)
+X(_TECHMAP_FAIL_)
X(techmap_maccmap)
X(_TECHMAP_REPLACE_)
X(techmap_simplemap)
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index dad8508c3..11c45bbec 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -150,7 +150,7 @@ namespace RTLIL
if (!p[0])
return 0;
- log_assert(p[0] == '$' || p[0] == '\\' || strncmp(p, "_TECHMAP_", strlen("_TECHMAP_")) == 0);
+ log_assert(p[0] == '$' || p[0] == '\\');
log_assert(p[1] != 0);
auto it = global_id_index_.find((char*)p);