From: Aki Van Ness <aki@yosyshq.com>
Date: Thu, 17 Feb 2022 13:15:48 +0000 (-0500)
Subject: pass jny: fixed the signed output for param value output
X-Git-Tag: smtlib2-expr-support-on-0.13-old~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbecf12375cb41a6aab5603ac8650b13c2c81ea5;p=yosys.git

pass jny: fixed the signed output for param value output

(cherry picked from commit 52ea944012a43f3b00f60023108ed7dd8b38eafb)
---

diff --git a/backends/jny/jny.cc b/backends/jny/jny.cc
index 752ff6312..5a83c5578 100644
--- a/backends/jny/jny.cc
+++ b/backends/jny/jny.cc
@@ -304,7 +304,7 @@ struct JnyWriter
 
             f << get_string(str);
         } else if ((v.flags & RTLIL::ConstFlags::CONST_FLAG_SIGNED) == RTLIL::ConstFlags::CONST_FLAG_SIGNED) {
-            f << stringf("\"%dsd %d\"", v.size(), v.as_int());
+            f << stringf("\"%dsd %d\"", v.size(), v.as_int(true));
         } else if ((v.flags & RTLIL::ConstFlags::CONST_FLAG_REAL) == RTLIL::ConstFlags::CONST_FLAG_REAL) {
 
         } else {