From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sun, 30 Aug 2020 11:33:03 +0000 (+0200)
Subject: ast recognize lower case x and z and verific gives upper case
X-Git-Tag: working-ls180~288^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3af499c60f664711501cf3ee1ab5ff1943315e82;p=yosys.git

ast recognize lower case x and z and verific gives upper case
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index c974c3faa..4358d957d 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -203,8 +203,12 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
 				auto p = v;
 				if (p) {
 					if (*p != '"') {
-						if (p != nullptr)
-							attributes.emplace(stringf("\\enum_value_%s", p), RTLIL::escape_id(k));
+						auto l = strlen(p);
+						auto q = (char*)malloc(l+1);
+						strncpy(q, p, l);
+						q[l] = '\0';
+						for(char *ptr = q; *ptr; ++ptr )*ptr = tolower(*ptr);
+						attributes.emplace(stringf("\\enum_value_%s", q), RTLIL::escape_id(k));
 					} else {
 						auto *q = p+1;
 						for (; *q != '"'; q++)